Master Theses - 13136
Now showing items 1-20 of 966
-
Řešení složitých omezení v Top-N doporučovacích systémech
; Supervisor: Řehořek Tomáš; Opponent: Drchal Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-20)V reálných doporučovacích scénářích mají platformy používající doporučovací systémy často vlastní kritéria pro to, co by se mělo v doporučeních zobrazovat. Tato kritéria se projevují jako složitá kombinatorická omezení, ... -
Detekce anomálií v transportních objednávkách firmy Metrans
; Supervisor: Komárek Martin; Opponent: Frajták Karel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-20)Tato diplomová práce se zabývá detekcí anomálií v přepravních objednávkách zpracovávaných společností Metrans, významným poskytovatelem logistických služeb ve střední Evropě. Na základě analýzy historických dat o objednávkách ... -
Škálovatelnost neuronových sítí pro booleovskou splnitelnost
; Supervisor: Hůla Jan; Opponent: Adamczyk David
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-19)Tato dizertační práce zkoumá aplikaci grafových neuronových sítí (GNN) pro řešení problémů Booleovské splnitelnosti (SAT), s hlavním zaměřením na zlepšení škalovatelnosti modelu. Zde škalovatelnost zahrnuje jak schopnosti ... -
Webová aplikace pro plánovací systém ve výrobě
; Supervisor: Míkovec Zdeněk; Opponent: Čmolík Ladislav
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-19)Tato diplomová práce se zaměřuje na návrh a implementaci webové aplikace pro podporu plánování ve výrobě. Hlavním cílem je vytvořit nástroj, který zjednoduší vizualizaci výrobních příkazů, jejich vzájemných vztahů, a zároveň ... -
Analýza a predikce systémové odchylky v přenosové soustavě elektrické energie
; Supervisor: Kuželka Ondřej; Opponent: Wang Yuanhong
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-19)Tato diplomová práce se zabývá krátkodobou predikcí systémové odchylky v elektrizační soustavě České republiky s využitím metod strojového učení. Problém je formulován jako úloha binární klasifikace, jejímž cílem je určit ... -
Učení heuristic pro klasické plánování na základě instancí problémů
; Supervisor: Urbanovská Michaela; Opponent: Fritzsche Markus
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-19)Klasické plánování je oblast umělé inteligence, která se zaměřuje na vývoj algoritmů a technik pro řešení problémů v deterministickém a plně pozorovatelném prostředí. Nedávné výzkumy ukázaly slibné výsledky při použití ... -
Zobecněné modely pravděpodobnosti
; Supervisor: Navara Mirko; Opponent: Kalina Martin
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-19)Zabýváme se několika přístupy k teorii fuzzy pravděpodobnosti, zejména v MV-algebrách a ve fuzzy σ-algebrách. Studujeme na nich stavy a bereme v úvahu výsledky z teorie fuzzy měr jakožto zobecnění výsledků z Boolových ... -
Minimální solvery se zkrácenými normálními formami
; Supervisor: Pajdla Tomáš; Opponent: Kúkelová Zuzana
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-19)Tato práce se zabývá teoretickým zázemím, implementací a testováním tří minimálních solverů, které implementují algebraický základ pro rychlý a robustní výpočet řešení soustav polynomiálních rovnic. Nejprve se čtenář seznámí ... -
Automatizace nástrojů SCA
; Supervisor: Burčík Jaroslav; Opponent: Koumar Josef
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-19)Tato diplomová práce se zabývá návrhem a implementací nástroje pro Software Composition Analysis (SCA), který slouží k identifikaci a analýze závislostí v softwarových projektech a detekci jejich potenciálních zranitelností. ... -
Automatická behaviorální analýza chováni včelí matky
; Supervisor: Krajník Tomáš; Opponent: Coppola Claudio
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-19)Tato práce zkoumá chování včelí matky a možnosti jeho automatické analýzy. Je navržen nový systém, který využívá konvoluční neuronovou síť v kombinaci s časovým modelem pro automatickou analýzu jejího chování. Časový model ... -
Integrace grafových neuronových sítí se symbolickými procedurami pro MAX-SAT
; Supervisor: Hůla Jan; Opponent: Adamczyk David
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-19)Tato práce zkoumá, jak mohou techniky neuronového předávání zpráv doplňovat tradiční symbolické přístupy k SAT a Max-SAT. Po přehledu současných algoritmů a teorie porovnávám řešič založený na D3PM se standardním NeuroSAT ... -
Vývoj řídícího systému a ovládacího rozhraní pro automaticky naváděný vozík
; Supervisor: Chudoba Jan; Opponent: Mráz Milan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-19)Webová aplikace pro řízení AGV umožňuje teleoperaci v manuálním, automatickém a autonomním ovládacím režimu pomocí ROS 2, .NET a Dockeru. Aplikace integruje zprávy ROS 2 do SignalR API pro komunikaci v reálném čase a využívá ... -
Modelování průběhu veřejného nabíjení elektromobilů v Praze
; Supervisor: Miltner Marek; Opponent: Vašata Daniel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-20)Tato práce zkoumá výzvu předpovídání poptávky po nabíjení elektrických vozidel (EV) v Praze prostřednictvím analýzy dat a přístupů strojového učení. Při práci s daty poskytnutými společností PREdistribuce zkoumáme, zda ... -
Monitorování a detekce hrozeb v rozsáhlém DNS provozu
; Supervisor: García Sebastián; Opponent: Hynek Karel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-20)Systém doménových jmen (DNS) je základní součástí internetu, ale často bývá zneužíván pro škodlivé účely, jako je phishing, šíření malwaru či komunikace mezi útočníkem a infikovanými zařízeními. Včasná detekce škodlivých ... -
Ptejte se CourseWare: Retrieval-augmented generation a její pokročilé metody na upskilling LLM doménově specifickými daty
; Supervisor: Ullrich Herbert; Opponent: Šír Gustav
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-20)Velké jazykové modely (LLMs) nabízejí silné generativní schopnosti, ale narážejí na problémy s halucinacemi, zastaralými znalostmi a omezenou přizpůsobivostí doménově specifickým datům. Retrieval-Augmented Generation (RAG) ... -
Racionalizace nemocničních zobrazovacích vyšetření s využitím strojového učení
; Supervisor: Kléma Jiří; Opponent: Šůcha Přemysl
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-20)V současnosti se mnoho lékařských zobrazovacích vyšetření provádí zbytečně. Jde o důsledek několika faktorů, včetně lepší dostupnosti, automatizace a širšího portfolia vyšetření. Nadbytek vyšetření je také často spojen s ... -
Optimalizovaný mód transakcí pouze pro čtení v knihovně JOPA
; Supervisor: Ledvinka Martin; Opponent: Aubrecht Petr
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-20)JOPA (Java OWL Persistence API) je knihovna pro perzistenci dat určená pro sémantický web, která se používá v několika informačních systémech vyvíjených ve skupině KBSS na FEL ČVUT. JOPA, mimo jiné, podporuje transakční ... -
Negace tvrzení pro automatizované ověřování faktů
; Supervisor: Drchal Jan; Opponent: Kubalík Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-20)Tato diplomová práce zkoumá techniky negace tvrzení pro automatizované systémy ověřování faktů. V době, kdy šíření dezinformací nadále představuje výzvu pro společnosti po celém světě, se účinná automatizovaná řešení stávají ... -
Jazykové modely s informací o čase
; Supervisor: Herel David; Opponent: Hůla Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-20)V poslední době dosáhly jazykové modely výrazného pokroku a vykazují výjimečné schopnosti v širokém spektru úloh zpracování přirozeného jazyka. Přesto však často narážejí na omezení při práci s časovými informacemi a jejich ... -
Efektivní modelování OpenAPI: Integrace verzování a znovupoužitelných API komponent
; Supervisor: Kadleček David; Opponent: Šebek Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-14)Diplomová práce se věnuje návrhu řešení pro správu OpenAPI specifikací, které slouží k jednoznačnému popisu HTTP API. Návrh vychází z analýzy stávajících nástrojů pro správu OpenAPI a nabízí alternativní přístup s důrazem ...