Prohlížení Fakulta jaderná a fyzikálně inženýrská dle názvu
Zobrazují se záznamy 1575-1594 z 2131
-
Statistické vlastnosti termodynamického částicového plynu s kombinovaným potenciálem
; Vedoucí práce: Krbálek Milan; Oponent práce: Zuščák Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-05-27)Tato práce se zabývá revizí potenciálů pro model termodynamického dopravního plynu. Počáteční část této práce je věnována úvodu do statistického odhadování odstupů vozidel, balančních částicových systému a jeho charakteristik. ... -
Statistické zpracování simulovaných dat v částicové fyzice
; Vedoucí práce: Kůs Václav; Oponent práce: Hakl František
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-05-28)Simulace elementárních částic hrají klíčovou roli při objevování nových zákonů fyziky, proto je kladen velký důraz na jejich přesnost. Standardním přístupem pro získání simulací je použití algoritmů na principu Monte Carlo ... -
Statisticko-ekonometrické testy pro aplikaci Gretl
; Vedoucí práce: Kalčevová Jana
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14) -
Stereotaktická radioterapie plicních tumorů se zaměřením na volbu bezpečnostních lemů
; Vedoucí práce: Otáhal Břetislav; Oponent práce: Trojková Darina
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-07-07)V této práci jsou teoreticky popsány základní principy radioterapie. Jsou definovány bezpečností lemy, je rozebrána problematika build up efektu, jsou charakterizovány jednotlivé radioterapeutické metody a jejich vliv na ... -
Stochastické diferenciální rovnice se skoky a jejich aplikace pro popis přírodních jevů
; Vedoucí práce: Veverka Petr; Oponent práce: Matějů Michael
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-10-01) -
Stochastické metody propojující neuronové sítě s náhodnými lesy a jejich využití v analýze medicínských dat
; Vedoucí práce: Bukáček Marek; Oponent práce: Machlica Lukáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-07-22)Tato práce se zabývá možnou kombinací náhodných rozhodovacích lesů a neuronových sítí, která by dala vzniknout hybridním klasiťikátorům s velkým klasiťikačním potenciálem, využívajících předností obou těchto základních ... -
Stochastické metody v kvantitativní sociodynamice
; Vedoucí práce: Krbálek Milan; Oponent práce: Apeltauer Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14) -
Stochastické modely chemické kinetiky
; Vedoucí práce: Vejchodský Tomáš; Oponent práce: Klika Václav
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-01-06)Obsahem této práce je studie tří základních stochastických modelů chemické kinetiky. Konkrétn ě se věnujeme porovnání Gillespieho stochastického simulačního algoritmu a základní chemické rovnici s jejich aproximací ve formě ... -
Stochastické modely chemických systémů s komplexním chováním
; Vedoucí práce: Vejchodský Tomáš; Oponent práce: Kozák Michal
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-12)Vnitřní šum významnově ovlivňuje kinetiku soustavy chemických reakcí s malým počtem molekul. Cílem této práce je studium oscilací mezi limitními cykly konkrétní chemické reakční sítě z [19]. Zejména jsou porovnány přístupy ... -
Stochastické odhadování modelů s omezeným šumem
; 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., 2017-09-01)Bakalářská práce se věnuje odhadům parametrů lineárního regresního modelu, predikci výstupu a porovnání jednotlivých odhadovacích algoritmů. Je rozdělena do dvou částí. První se zabývá vysvětlením bayesovského přístupu, ... -
Stochastický integrál podle Wienerova procesu
; Vedoucí práce: Veverka Petr; Oponent práce: Staněk Jakub
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-10-01) -
Strategie proti technické analýze
; Vedoucí práce: Šmíd Martin; Oponent práce: Vácha Lukáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-08-26)Práca poskytuje základný úvod do teórie dynamického a približného dynamického programovania s dôrazom na využitie daných metód v oblastiach finančných trhov. Na modeli zjednodušeného obchodovania s jednou akciou sa venuje ... -
Strojové ověření konstruktivního důkazu úplnosti klasické výrokové logiky
; 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 ... -
Strojové ověření Rose-Rosserova důkazu úplnosti ž,ukasiewiczovy výrokové logiky - syntax
(2021)Tato práce se zabývá formalizací základů ž.ukasiewiczovy logiky a strojovým ověřením první poloviny prvního známého důkazu její úplnosti, t.j. ověřením celkem 23 lemmat s rozsáhlými syntaktickými důkazy, na jejichž výsledcích ... -
Strojové ověření Rose-Rosserova důkazu úplnosti Łukasiewiczovy výrokové logiky
; Vedoucí práce: Lávička Tomáš; Oponent práce: Cerna David M.
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-05-28)Tato práce se zabývá formalizací základů Łukasiewiczovy logiky a strojovým ověřením větší části prvního známého důkazu její úplnosti, t.j. za prvé ověřením celkem 23 lemmat s rozsáhlými syntaktickými důkazy, za druhé ... -
Strojové učení pro jetovou fyziku
; Vedoucí práce: Bielčíková Jana; Oponent práce: Kůs Václav
(Č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)Moderní metody strojového učení značným způsobem ovlivnily obor počítačového vidění, jehož cílem je naučit stroje chápat informaci proudící z vizuálních zdrojů (obrázky, videa atd.). Ukazuje se, že tyto metodiky nacházejí ... -
Strojové učení pro klasifikaci zdrojů spojité akustické emise
; Vedoucí práce: Chlada Milan; Oponent práce: Franc Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-09-02)Strojové učení je v současné době velmi populární oblastí umělé inteligence. Hluboké učení poté zpracovává vstupní data skrze vrstvy předávající datům smysluplnější reprezentace. Jedním z modelů, které hluboké učení k ... -
Strojový překlad pojmenovaných entit mezi anglickým a německým jazykem
; Vedoucí práce: Zeman Daniel; Oponent práce: Bojar Ondřej
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-09-04) -
Stromy palindromů v nekonečných slovech
; Vedoucí práce: Ambrož Petr; Oponent práce: Hejda Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-09-05) -
Struktura a mechanické vlastnosti titanu.
; Vedoucí práce: Jäger Aleš; Oponent práce: Gartnerová Viera
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-09-12)