Prohlížení katedra matematiky dle názvu
Zobrazují se záznamy 379-398 z 457
-
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á klasifikace zdrojů akustické emise a stupeň poškození materiálu
; Vedoucí práce: Kůs Václav; Oponent práce: Chlada Milan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-05-29)Hlavním cílem této práce je identifikace, implementace a porovnání metod hlubokého učení za účelem rozpoznávání signálů akustické emise. Pro získání relevantních dat sloužících k porovnání jednotlivých metod byly provedeny ... -
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 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) -
Studie korelací v souborech empirických dopravních dat
; Vedoucí práce: Krbálek Milan; Oponent práce: Apeltauer Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-08-07)Dvousmyčkové detektory umístěné na Pražském okruhu nám poskytly dostatek dat pro studii korelací. Abychom se vyhnuli nehomogenitě, dopravní data jsme rozdělili do dvou kategorií: volného proudění a kondenzované fáze. Tento ... -
Sturmovská slova generovaná substitucemi a jejich derivovaná slova
; Vedoucí práce: Pelantová Edita; Oponent práce: Medková Kateřina
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-08-25)Tato práce nejdříve shrnuje základní vlastnosti sturmovských slov a zasvěcuje čtenáře do jejich problematiky. Zároveň je budován aparát, který je nutný k práci s hlavním tématem práce. Jsou jím sturmovská slova, která jsou ... -
Supernáhodné stavy termodynamického dopravního plynu a jejich matematické vlastnosti
; Vedoucí práce: Krbálek Milan; Oponent práce: Šeba František
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-08-26)Tato práce se zabývá modelem termodynamického dopravního plynu, rozptylem světlostí v dopravních datech a supernáhodnými stavy v teorii dopravy. Cást práce je věnována úvodu do statistického odhadování odstupů vozidel a ... -
Superpoissonovské stavy balančního částicového systému
; Vedoucí práce: Krbálek Milan; Oponent práce: Ledvinová Michaela
(Č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)Práce pojednává o vlastnostech super-poissonovkých systémů a jejich detekci v dopravních datech. Úvodní část práce shrnuje známé poznatky stochastického modelování dopravních systémů. Součástí této práce je zavedení modelu ... -
Supervizované a nesupervizované učení pro fyziku těžkých iontů
; Vedoucí práce: Kůs Václav; Oponent práce: Bielčíková Jana
(Č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)Potřeba řešení komplexních problémů binární klasifikace ve fyzice těžkých iontů vyústila v častější užívání supervizovaných i nesupervizovaných algoritmů strojového učení. Spolu s vhodným předzpracováním dat a optimalizací ... -
Symetrie faktorových jazyků a bohatost na palindromy
; Vedoucí práce: Pelantová Edita; Oponent práce: Starosta Štěpán
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-02-02)Cílem této práce je studium nekonečných palindromických slov. Často uvažujeme abecedu {A, C, G, T} a tato volba je motivována strukturou DNA. Nejprve uvedeme potřebnou teorii, v níž je pro nás klíčový pojem obecného ... -
Systém pro generování konfiguračních souborů
; Vedoucí práce: Oberhuber Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24) -
Systém pro inventury ve školství
; Vedoucí práce: Virius Miroslav; Oponent práce: Nový Josef
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-08-26)Každá úřední budova by měla mít inventarizační systém, který udržuje pořádek v majetku, a vzdělávací organizace nejsou výjimkou. Tato práce představuje analýzu inventarizačního systému, přehled současný konkurenčních ...