Now showing items 1-20 of 966

    • Řešení složitých omezení v Top-N doporučovacích systémech 

      Author: Jáchym Staněk; 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 

      Author: Jakub Ambroz; 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 

      Author: Ziwei Li; 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ě 

      Author: David Kiml; 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 

      Author: Oľga Ostashchuk; 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ů 

      Author: Dinh Dinh Truong; 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 

      Author: Kamila Houšková; 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 

      Author: Oskar Krejčí; 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 

      Author: Adam Chmiel; 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 

      Author: Kristina Žampachů; 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 

      Author: Ziyu Zhou; 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 

      Author: Jan Holub; 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 

      Author: Jakub Zíka; 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 

      Author: Tigran Oganesian; 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 

      Author: Valeriia Klimova; 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í 

      Author: David Čech; 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 

      Author: Petr Jůza; 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ů 

      Author: Lukáš Frána; 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 

      Author: Vojtěch Bartek; 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 

      Author: Tomáš Palivec; 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 ...