Hledat
Zobrazují se záznamy 1261-1270 z 2274
Vývoj laserového urychlovače elektronů pro ultrarychlou spektroskopii, Development of laser electron accelerator for ultrafast spectroscopy
; Vedoucí práce: Falk Kateřina; Oponent práce: Kozlová Michaela (Č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)
Bakalářská práce je věnována využití betatronového záření elektronů urychlených na plazmové vlně ke studiu ultrarychlých dynamických procesů. V první části práce je zpracována teorie šíření laseru prostředím, urychlování ...
Strojové ověření konstruktivního důkazu úplnosti klasické výrokové logiky, Automated proof-checking of the constructive proof of completeness of classical logic
; Vedoucí práce: Lávička Tomáš; Oponent práce: 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 ...
Odhad stavu omezených lineárních systémů, State estimation of constrained linear systems
; Vedoucí práce: Pavelková Lenka; Oponent práce: 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 ...
Algoritmy strojového učení pro aproximaci inverzních matic, Machine learning algorithms for approximation of inverse matrices
; Vedoucí práce: Oberhuber Tomáš; Oponent práce: Š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 ...
Produkce jetů s vysokou příčnou hybností v hadron-hadronových srážkách, High pT jet production in hadron hadron collisions
; Vedoucí práce: Hubáček Zdeněk; Oponent práce: Myška Miroslav (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-09-07)
Tato práce pojednává o jetech s vysokou příčnou hybností v hadronových srážkách se zaměřením na chybu teoretické předpovědi inklusivního diferenciálního jetového účinného průřezu. Data jsou získána z detektoru ATLAS při ...
Hierarchické modely síťového provozu, Hierarchical models of network traffic
; Vedoucí práce: Pevný Tomáš; Oponent práce: Kohout Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-08-30)
Současné přístupy k detekci nežádouciho software sledováním sítového provozu klientů využívají ručně navržených příznaků jako části modelu. Tento přístup má několik nevýhod. Tato práce navrhuje plně automatický klasifikátor ...
Prostorová distribuce dávky uvnitř Mezinárodní kosmické stanice, Dose distribution inside the International Space Station
; Vedoucí práce: Ambrožová Iva; Oponent práce: Musílek Ladislav (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-09-01)
Kosmické záření představuje veliký zdravotní risk při pobytu ve vesmíru. K jeho monitorování se používají i pasivní detektory, obzvláště pak termoluminiscenční detektory a detektory stop v pevné fázi. Za účelem stanovení ...
Využití gausovských procesů pro aktivní učení, Gaussian processes for active learning
; Vedoucí práce: Šmídl Václav; Oponent práce: Přikryl Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-08-26)
Náplní práce jest globální optimalizace neznámé funkce, čili nalezení jejího maxima. K tomu je využito techniky bayesovské optimalizace, která se znalostí několika naměřených hodnot zhotoví odhad této funkce a na jeho ...
Metody optimalizace rekonstrukce půvabných hadronů, Methods of optimalization of charm hadrons reconstruction
; Vedoucí práce: Bielčík Jaroslav; Oponent práce: Broz Michal (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-09-08)
Na Relativistickom urýchľovači ťažkých jadier RHIC v Brookhanveskom národnom laboratóriu a na Veľkom hadrónovom urýchľovači LHC v CERN sa skúma stav hustej a horúcej jadrovej hmoty, tzv. kvark-gluónovej plazmy, pomocou ...
Aproximace toku v celulárních modelech pohybu chodců, Flow approximation in cellular models of pedestrian dynamics
; Vedoucí práce: Hrabák Pavel; Oponent práce: Bukáček Marek (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-09-01)
Pojmem tok v evakuačních experimentech rozumíme počet chodců odcházejících z místnosti za časovou jednotku. Tato práce představuje postupy aproximace toku v modelech pohybu chodců. Jsou zde představeny základy celulárního ...