Prohlížení katedra matematiky dle názvu
Zobrazují se záznamy 373-392 z 457
-
Statistické modelování dopravního toku na neřízené křižovatce typu T
(2021)Tato práce se zabývá statistickým modelováním kritických světlostí, které jsou hlavním předmětem teorie akceptování mezer, neboli Gap Acceptance. Nejdříve jsme definovali základní matematický model neřízené křižovatky typu ... -
Statistické modely pro odhad kapacity neřízených křižovatek
; Vedoucí práce: Hobza Tomáš; 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., 2022-09-02)V této práci uvažujeme pravděpodobnostní model neřízené křižovatky typu T a pracujeme s pojmy světlost a kritická světlost. Kritické světlosti jsou hlavním předmětem Teorie akceptování mezer, jež je základem pro analytické ... -
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 ... -
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é 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 ...