Now showing items 1-20 of 250

    • Časový vývoj metamateriálových strun 

      Author: Sabina Zairova; Supervisor: Krejčiřík David; Opponent: Kalvoda Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-31)
      Bakalářská práce se zabývá časovým vývojem metamateriálové struny generovaným Schrodingerovou rovnicí. Z Maxwellových rovnic odvozujeme teoretický model pro případ současně záporné permitivity a permeability. Matematický ...
    • Automatické rozmisťování propojených modulů v nástroji I3T 

      Author: Marek Nechanský; Supervisor: Felkel Petr; Opponent: Sloup Jaroslav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-31)
      Důležitou roli při pochopení grafu hraje jeho graficka representace. Vykreslení grafu by mělo být závislé na typu grafu. Hodně specifický typ grafu je pužíván v programu nazvaném Interactive Tool for Teaching Transformations. ...
    • Odhad stavu omezených lineárních systémů 

      Author: Eva Lainová; Supervisor: Pavelková Lenka; Opponent: Jirsa Ladislav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-30)
      Tato práce se zabývá problematikou odhadování omezených lineárních stochastických systémů. Pro odhadování je použit model se vstupy, výstupy a stavy v disktrétních časových okamžicích. Byly sestaveny algoritmy pro odhad ...
    • Lineární inverzní modely a jejich využití při určování zdroje radiačního úniku do atmosféry 

      Author: Tomáš Brisučiak; Supervisor: Tichý Ondřej; Opponent: Ulrych Lukáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-30)
      Práce se zabývá možnostmi odhadu časového průběhu radiačního úniku do atmosféry pomocí měření senzory koncentrací látek ve vzduchu. Jsou představeny základní poznatky z Bayesovské teorie pravděpodobnosti a možnosti aproximace ...
    • Aplikace statistických metod a machine learningu na produkty srážek tězkých jader 

      Author: Kateřina Hladká; Supervisor: Kůs Václav; Opponent: Kramárik Lukáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-30)
      Jedním z klíčových problémů v analýze dat rozpadů mezonů D z experimentu STAR je separace párů pionů ~ a kaonů K pocházejících z tohoto rozpadu od kombinatorického pozadí. K této separaci se využívá pokročilých metod ...
    • Odhadování pohybu mikrorobotů v magnetickém poli 

      Author: Zuzana Sabolová; Supervisor: Šmídl Václav; Opponent: Mach František
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-30)
      Táto bakalárska práca sa zaoberá populárnymi metódami Bayesovskej filtrácie. Popisuje Kalmanov a časticový filter a ukazuje ich efektivitu a citlivosť na vol'bu parametrov na simulovanom príklade. Následne sú filtre ...
    • Modelování zastavovací fáze pohybu pracovního bodu průmyslových robotů 

      Author: Ondřej Poláček; Supervisor: Belda Květoslav; Opponent: Petráček Petr
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-29)
      ato práce se zabývá zastavovací fází pohybu pracovního bodu průmyslových robotů. V práci jsou představeny algoritmy generující polohu v závislosti na čase. Algoritmy vychází z tvaru dráhy, kinematických limitů stroje a ...
    • Strojové ověření konstruktivního důkazu úplnosti klasické výrokové logiky 

      Author: Jáchym Šimon; Supervisor: Lávička Tomáš; Opponent: Chvalovský Karel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-29)
      Cílem této práce je strojové ověření důkazu o úplnosti klasická výrokové logiky. Nejdříve si řekneme něco o klasické výrokové logice a uvedeme si zákldní pojmy. Druhá kapitola pojednává o dokazovači Lean. Ukážeme si, jak ...
    • Algoritmy strojového učení pro aproximaci inverzních matic 

      Author: Viktor Bílek; Supervisor: Oberhuber Tomáš; Opponent: Škardová Kateřina
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-29)
      Bakalářská práce se zabývá novým modelem strojového učení diferenciálními neuronovými sítěmi. Tento model nahrazuje diskrétní vrstvy klasické neuronové sítě obyčejnou diferenciální rovnicí. V první části práce je shrnut ...
    • Okrajové podmínky pro směsi látek 

      Author: Barbora Votinská; Supervisor: Klika Václav; Opponent: Pavelka Michal
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-29)
      Shrneme základní pojmy a pozorování mechaniky kontinua a představíme principy popisu směsí látek. Budeme se zabývat formulací okrajových podmínek pro dvoufázové směsi s využitím dříve publikovaných článků. Pro nestlačitelné ...
    • Iterace aritmetických funkcí a jejich cykly 

      Author: Hynek Peřina; Supervisor: Pelantová Edita; Opponent: Svobodová Milena
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-28)
      Nechť je b základ číselné soustavy. Pak ciferněsoučtové zobrazení S : 5ln ~ 5ln definujeme předpisem S (x) = g,". n f(x;), kde f : (0, 1..., b — 1) ~ 5ln a x; jsou cifry přirozeného čísla x zapsaného v základu b. Dokázali ...
    • Lokalizace kořenů polynomů s celočíselnými koeficienty 

      Author: Pavla Veselá; Supervisor: Masáková Zuzana; Opponent: Vávra Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-28)
      Tato práce se zabývá charakterizací komplexních Pisotových čísel nízkého stupně. V teoretické části jsou představeny různé metody lokalizace kořenů polynomů v závislosti na tvaru jejich koeficientů, mimo jiné i Schurovo-Cohnovo ...
    • Adversariální strojové učení a teorie her 

      Author: Dominik Šepák; Supervisor: Pevný Tomáš; Opponent: Oberhuber Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-28)
      Tato práce se zaměřuje na aplikaci teorie her, zejména pak Double Oracle algoritmu, v oblasti adversariálního strojového učení. V průběhu práce jsou vysvětleny některé základní pojmy z oblasti dopředných neuronových sítí ...
    • Analýza AES white-box schémat pomocí útoku postranním kanálem 

      Author: Jakub Klemsa; Supervisor: Matyáš Václav; Opponent: Svenda Petr
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-06-10)
      Nejenže jsou všechna současná vědecká white-box schémata standardizovaných šifer matematicky zlomená, další ránu pro ně představuje nový útok od autorů Bos a kol. představený v červenci 2015 ve článku Differential Computation ...
    • Metody porovnání klastrování založené na využití modelu směsi distribucí pro překrývající se komponenty 

      Author: Dominika Vlčková; Supervisor: Suzdaleva Evženie; Opponent: Nagy Ivan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-13)
      Klastrování slouží k setřídění dat s podobnými vlastnostmi do skupin, které nazýváme klastry. V případě použití různých klastrovacích algoritmů vzniká úloha porovnání výsledků shlukování. V této práci (i) porovnáváme ...
    • Exktrakce pravidel z hlubokých neuronových sítí 

      Author: Matěj Fanta; Supervisor: Holeňa Martin; Opponent: Gemrot Jakub
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-13)
      Od konce osmdesátýchlet, kdy byla objevena univerzální aproximační vlastnost umělých neuronových sítí, tj. schopnost aproximovat vztah nebo závislost s libovolnou přesností, bylo její úplné vysvětlení skryto v čistě numerické ...
    • Implementace numerických schémat pro simulaci stlačitelného turbulentního proudění 

      Author: Jan Schäfer; Supervisor: Oberhuber Tomáš; Opponent: Klement Vladimír
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-13)
      Tato práce se zabývá implementací schémat typu upwind založenýchna Setgerovu-Warmingovu dělení toku, Van Leerovu dělení toku a schématu AUSM+, která jsou implementována pro výpočcty modelů turbulencí. Předmětné modely jsou ...
    • Aplikace testů homogenity a klasifikace částic v neutrinové fyzice 

      Author: Jakub Trusina; Supervisor: Franc Jiří; Opponent: Smolík Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-13)
      Konvoluční neuronové sítě jsou často užívaným nástrojem pro klasifikaci částic v neutrinové fyzice. Je potřeba ověřit, zdali jsou naměřená data dobře simulována vygenerovanými Monte Carlo vzorky, na kterých se klasifikace ...
    • Analýza biomarkerů psychiatrických pacientů pomocí analýzy EEG signálu a strojového učení 

      Author: Miroslav Kovář; Supervisor: Basterrech Sebastian; Opponent: Sojka Eduard
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-13)
      Depresivní porucha je závažným psychiatrickým onemocněním s vysokou globální prevalencí, závažnými dopady na kvalitu života, a v nejvážnější podobě může vyústit sebevraždou. Brzká diagnóza a přesná předpověd’ průběhu léčby ...
    • Zobecněné lineární smíšené modely pro odhadování v malých oblastech 

      Author: Tomáš Košlab; Supervisor: Hobza Tomáš; Opponent: Grim Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-13)
      V práci je prezentovaný nový logistický regresný model na úrovni jedincov v tvare používanom v problematike odhadovania v malých oblastiach (SAE). Tento model používa pevné efekty na modelovanie oblastí, v ktorých je väčšie ...