Browsing katedra matematiky by Title
Now showing items 124-143 of 457
-
Hašovací funkce a kombinatorika na slovech
; Supervisor: Balková Lubomíra; Opponent: Holub Štěpán
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-10-01) -
Heterogenní varianty balančních částicových systémů
; Supervisor: Krbálek Milan; Opponent: Studnička Filip
(Č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)V práci zavádíme homogenní balanční částicový systém a vyslovujeme známé vlastnosti systému. V hlavní části se zaměřujeme na zkoumání speciálních variant heterogenních balančních částicových systémů a jejich vlastností. ... -
Heuristiky v dolování dat z grafů pomocí vnoření uzlů
; Supervisor: Mojzeš Matej; Opponent: Blachowicz 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-30)Tato práce se zabývá využitím heuristických algoritmů v úlohách dolování dat v grafech. Jeden ze způsobů jak pracovat s grafy, je reprezentovat ve formě vektorů, tak zvaných vnořených uzlů — embeddingů. Algoritmy node2vec ... -
Hierarchické modely síťového provozu
; Supervisor: Pevný Tomáš; Opponent: 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 ... -
Hledání praktických robustních klasifikátorů
(2021)V rámci této práce je představeno několik existujících metod pro trénování prediktorů robustních vůči změně prostředí. V průběhu textu jsou vysvětleny základní pojmy strojového učení s učitelem a robustní predikce. Tyto ... -
Hledání praktických robustních klasifikátorů
; Supervisor: Pevný Tomáš; Opponent: Butora Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-05-26)V rámci této práce je představena studie některých metod strojového učení s učitelem a měr úspěšnosti predikce využívajících strukturovaných dat ve tvaru prostředí s různými data generujícími pravděpodobnostními distribucemi. ... -
Hybridní diskriminativně-generativní modely pro množinová data
; Supervisor: Šmídl Václav; Opponent: Najman Michal
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-05-26)Tato diplomová práce se zabývá hybridními diskriminativními a generativními modely a jejich možným využitím v multi-instačním učení, kde je jeden vzorek tvořen množinou vektorů. Doposud byly tyto modely trénovány pouze ... -
Identifikace operačních systémů na základě chování
; Supervisor: Kohout Jan; Opponent: Flusser Martin
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-05-26)Identifikácia operačného systému zariadenia zohráva v počítačovej bezpečnosti doležitú úlohu. Súčasné trendy šifrovania sieťovej komunikácie však podstatným sposobom obmedzujú zdroje informácií, ktoré možu byť za týmto ... -
Implementace algebraických operací s řetězcovými zlomky v systému SageMath
; Supervisor: Starosta Štěpán; Opponent: Ambrož Petr
(Č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)V této práci předkládáme přehled základní teorie řetězových zlomků a shrnutí vývoje výzkumu v oblasti algoritmů pro algebraické operace s řetězovými zlomky. Popisujeme jeden z těchto algoritmů, známý jako Gosperův algoritmus. ... -
Implementace algoritmů pro modelování vývoje hladkých křivek
; Supervisor: Oberhuber Tomáš; Opponent: Kolář Miroslav
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-09-10) -
Implementace blokové šifry Serpent pro ARM procesory
; Supervisor: Hojsik Michal; Opponent: Kechilbar Marian
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-10-01) -
Implementace maticových řešičů na GPU
; Supervisor: Oberhuber Tomáš; Opponent: Žabka Vítězslav
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14) -
Implementace numerických schémat pro simulaci nevazkého stlačitelného proudění
; Supervisor: Oberhuber Tomáš; Opponent: Fučík Radek
(Č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)Tato práce se zabýva implementací Laxova-Friedrichsova schématu pro transportní rovnici a Eulerovy rovnice v jedné dimenzi a ve dvou dimenzích. Popsán je obecný princip zákona zachování a odvození zákonů zachování použitých ... -
Implementace numerických schémat pro simulaci stlačitelného turbulentního proudění
; 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 ... -
Implementace paralelních algoritmů pro QR rozklad reálných matic v knihovně TNL a jejich aplikace
; Supervisor: Klinkovský Jakub; 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., 2023-08-26)Důležitou součástí matematiky je lineární algebra. QR rozklad se často používá k řešení výpočtu matic. Existuje několik metod pro výpočet QR rozkladu, jako je Gram-Schmidtův proces, Householderovy transformace a Givensovy ... -
Implementace řešiče Navierových-Stokesových rovnic pomocí metody konečných prvků
; Supervisor: Oberhuber Tomáš; Opponent: Žabka Vítězslav
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-02-08) -
Implementace řešičů řídkých matic na GPU
; Supervisor: Oberhuber Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14) -
Implicitně vážené robustní metody a jejich výpočetní aspekty
; Supervisor: Kalina Jan; Opponent: Kukal Jaromír
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-09-02)Práce se zabývá robustními statistickými metodami pro lineární regresi a odhad parametrů mnohorozměrných dat. Jsou zde představeny metoda nejmenších čtverců (LS), metoda useknutých nejmenších čtverců (LTS), metoda vážených ... -
Implicitní spolupráce agentů ve více-účastnickém prostředí
; Supervisor: Kárný Miroslav; 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., 2022-01-28)Tato bakalářská práce se zabývá problémem rozhodování za neurčitosti. Konkrétně zaměřuje se na implicitní kooperaci rozhodovacích agentů ve více agentním prostředí. Metodologicky jsou to nezávislé bayesovské bytosti, které ... -
Infinite sequences and symmetries in their languages
(2022)Cílem této práce je prozkoumat některé vlastnosti nekonečných slov nad abecedou fA, C, G, Tg, která je motivována strukturou DNA. V kapitole 2 podáváme přehled některých hlavních pojmů a výsledků kombinatoriky na slovech ...