Doctoral Theses - 18000
Now showing items 1-20 of 52
-
Synchronizující řetězcové a stromové automaty a jejich paralelizace
; Supervisor: Janoušek Jan; Opponent: Mráz František
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-11-22)Tato dizertační práce se zabývá synchronizační vlastností konečných řetězcových a stromových automatů. Řetězec je synchronizující pro deterministický konečný automat, pokud čtení řetězce končí ve stejném stavu bez ohledu ... -
Parametrizované algoritmy pro podchycování podgrafů
; Supervisor: Suchý Ondřej; Opponent: Fiala Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-09-27)V této dizertační práci se zabýváme rodinou problémů pokrývání podgrafů. Soustředíme se zejména na problém F-Subgraph Vertex Deletion (F-SVD), kde F je konečná množina souvislých grafů. V tomto problému je nám na vstup dán ... -
Hierarchické Semi-Sparse Kostky - škálovatelné řešení pro kombinování dimenzionálně multi-modálních velkých dat
; Supervisor: Tvrdík Pavel; Opponent: Zeitouni Karine
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-08-31)Vzhledem k tomu, že Moorův zákon se vztahuje i na detektory, které data produkují, objem pozorovaných dat v astronomii se každý rok zhruba zdvojnásobuje. Důkazem je například nová Square Kilometer Array (SKA) astronomická ... -
Přesné sledování ruky pomocí více optických senzorů
; Supervisor: Jiřina Marcel; Opponent: Váša Libor
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-30)Virtuální realita je jedním z nejrychleji rostoucích oborů v oblasti technologií. Vizuální kvalita, zorné pole, time-warping, to všechno se každým dnem zlepšuje. Existuje však také jeden další důležitý aspekt virtuální ... -
Booleovská splnitelnost modulo simulace diferenciálních rovnic
; Supervisor: Ratschan Stefan; Opponent: Fränzle Martin; Ueda Kazunori; André Étienne
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-24)SAT řešiče se ukázaly jako vhodné nástroje v oblasti plánování a formální verifikace. Nicméně, kromě Booleovských omezení je často důležité modelovat také spojité jevy, k čemuž jsou nesmírně důležité diferenciální rovnice. ... -
Protiopatření proti rozdílové odběrové analýze v programovatelném hardwaru
; Supervisor: Schmidt Jan; Opponent: Martinásek Zdeněk
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-05-23)Tato práce se zabývá útoky postranními kanály, které představují hrozbu pro všechny kryptografické implementace a jsou rozsáhle zkoumanou oblastí. Hlavní zkoumanou oblastí práce jsou taková protiopatření, jejichž bezpečnost ... -
Zpracování, kontrola a modelování specifikace požadavků na softwarový systém v přirozeném jazyce
; Supervisor: Kroha Petr; Opponent: Svátek Vojtěch
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-04-03)Kvalita zpracování dílčích úkolů disciplíny zvané requirements engineering (ve volném překladu inženýrství požadavků) hraje důležitou roli pro celý životní cyklus vývoje softwarového projektu – protože to je fáze, na které ... -
Budování bránové ontologie mezi Normalizovanými systémy a konceptuálními modely
; Supervisor: Pergl Robert; Opponent: Duarte Guerreiro Sérgio Luís Proenca
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-11-22)Konceptuální modelování slouží v oblasti softwarového inženýrství k popisu problémové domény související se softwarovým systémem. Ačkoliv primárním účelem je zlepšení lidského porozumění a komunikace, konceptuální modely ... -
Bezpečnost postranních kanálů vestavných zařízení
; Supervisor: Novotný Martin; Opponent: Breier Jakub
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-11-10)Tato dizertační práce se zabývá fyzickou bezpečností kryptografických implementací ve vestavných zařízeních, konkrétně odolností proti útokům postranními kanály, mezi něž patří například rozdílová odběrová analýza. Pozornost ... -
Vliv šifrovaného DNS na síťovou bezpečnost
; Supervisor: Kubátová Hana; Opponent: Jirsík Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-10-10)Šifrované DNS vzniklo jako odpověď na zvýšené obavy uživatelů ohledně soukromí a zpracování dat. Masové sledování doménových jmen bylo v minulosti prokázáno u několika amerických poskytovatelů internetu, ale i u tajných ... -
Návrh systémů pro podporu řízení souladu s předpisy
; Supervisor: Pergl Robert; Opponent: Křemen Petr
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-09-07)Pojem řízení souladu s předpisy je chápán jako dodržování interních nebo externích předpisů ve společnosti. Jen pro dodržení právních předpisů se odhaduje, že společnosti vynaloží 6,2% svého obratu. Proto je potřeba tuto ... -
Vyhledávání vzorků ve stromech a indexování stromů za použití automatů zpracovávajících řetězce
; Supervisor: Janoušek Jan; Opponent: Meduna Alexander
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-30)Problém vyhledávání vzorků ve stromech lze definovat jako vyhledávání všech výskytů vzorku ve vstupním stromě. Tento problém je často připodobňován k problému vyhledávání v řetězcích. Jedním z přístupů používaném při ... -
Ontologie v rekomendačních systémech
; Supervisor: Kordík Pavel; Opponent: Peška Ladislav
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-09-01)The cold-start problem is typical in recommender systems (RS). There are several ways to reduce this problem. There are naive approaches, or there are algorithms that try to reduce the problem by using attributes or ... -
Analýza velkých repozitářů kódu
; Supervisor: Janoušek Jan; Opponent: Petříček Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-30)Softwarové inženýrství těží z poznatků získaných z velkých softwarových repozitářů, které nabízejí bezkonkurenční vhled do vývojového procesu. Jejich rozsah sám o sobě je příslibem široké použitelnosti výsledků. Tento ... -
Automatické generování testovacích vektorů s nulovým maskováním pro obecný kompaktor odezvy
; Supervisor: Fišer Petr; Opponent: Eggersgluess Stephan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-02-22)D˚uleˇzitost a obt´ıˇznost testov´an´ı souˇcasn´ych ˇc´ıslicov´ych obvod˚u roste se zvyˇsuj´ıc´ı se komplexitou dneˇsn´ıch obvod˚u. Tato disertaˇcn´ı pr´ace m´a 2 t´emata. Hlavn´ım t´ematem je generov´an´ı testu s nulov´ym ... -
Podobnostní vyhledávání v nestrukturovaných datech využitím datově-tranzitivních modelů
; Supervisor: Skopal Tomáš; Opponent: Dohnal Vlastislav
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-12-08)Podobnostní vyhledávání se stává součástí aplikací, které používáme každý den, např. doporučovací systémy nebo aplikace pro vyhledávání multimedií. S rostoucím množstvím dat roste i potřeba v těchto nestrukturovaných datech ... -
Randomizované indexy pro přibližné vyhledávání v multidimenzionálních polích
; Supervisor: Holub Jan; Opponent: Krátký Michal
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-08-31)Multidimensional data, either in the form of dense arrays, or sparse relational data are a common data structure for effective storage, access, management, querying, disseminating, analysis, and visualization of scientific ... -
Získávání znalostí z multimediálního obsahu
; Supervisor: Holeňa Martin; Opponent: Perfiljeva Irina
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-08-31)Kdo, co, kde, kdy, jak a proč? Záznam odpovědí na tyto základní otázky dokáže objasnit okolnosti děje v reálném světě. V případě fotografií, nebo obrazového záznamu ale dokážeme na tyto otázky odpovědět jen velmi obecně, ... -
Lineární kryptoanalýza Baby Rijndael a implementační postranní kanály AES
; Supervisor: Lórencz Róbert; Opponent: Colombier Brice
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-08-31)In this dissertation thesis we study selected security aspects of AES, the Advanced Encryption Standard. Specically, we approach the issue from three sides: First, we are trying to verify whether AES is indeed resistant ... -
Správa důvěryhodnosti v bezdrátových ad hoc sítích
; Supervisor: Tvrdík Pavel; Opponent: Vozňák Miroslav
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-08-31)Tato disertacni prace se zabyva problematikou duveryhodnosti v bezdratovych ad hoc sitich. Takoveto site jsou zranitelne zejmena kvuli absenci centralni spravy identit uzlu a pevne infrastruktury. Duvera v oblasti bezdratove ...