Zobrazují se záznamy 1-20 z 966

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

      Autor: Jáchym Staněk; Vedoucí práce: Řehořek Tomáš; Oponent práce: 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 

      Autor: Jakub Ambroz; Vedoucí práce: Komárek Martin; Oponent práce: 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 

      Autor: Ziwei Li; Vedoucí práce: Hůla Jan; Oponent práce: 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ě 

      Autor: David Kiml; Vedoucí práce: Míkovec Zdeněk; Oponent práce: Č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 

      Autor: Oľga Ostashchuk; Vedoucí práce: Kuželka Ondřej; Oponent práce: 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ů 

      Autor: Dinh Dinh Truong; Vedoucí práce: Urbanovská Michaela; Oponent práce: 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 

      Autor: Kamila Houšková; Vedoucí práce: Navara Mirko; Oponent práce: 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 

      Autor: Oskar Krejčí; Vedoucí práce: Pajdla Tomáš; Oponent práce: 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 

      Autor: Adam Chmiel; Vedoucí práce: Burčík Jaroslav; Oponent práce: 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 

      Autor: Kristina Žampachů; Vedoucí práce: Krajník Tomáš; Oponent práce: 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 

      Autor: Ziyu Zhou; Vedoucí práce: Hůla Jan; Oponent práce: 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 

      Autor: Jan Holub; Vedoucí práce: Chudoba Jan; Oponent práce: 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 

      Autor: Jakub Zíka; Vedoucí práce: Miltner Marek; Oponent práce: 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 

      Autor: Tigran Oganesian; Vedoucí práce: García Sebastián; Oponent práce: 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 

      Autor: Valeriia Klimova; Vedoucí práce: Ullrich Herbert; Oponent práce: Ší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í 

      Autor: David Čech; Vedoucí práce: Kléma Jiří; Oponent práce: Šů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 

      Autor: Petr Jůza; Vedoucí práce: Ledvinka Martin; Oponent práce: 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ů 

      Autor: Lukáš Frána; Vedoucí práce: Drchal Jan; Oponent práce: 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 

      Autor: Vojtěch Bartek; Vedoucí práce: Herel David; Oponent práce: 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 

      Autor: Tomáš Palivec; Vedoucí práce: Kadleček David; Oponent práce: Š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 ...