• Agentní model globální komerční námořní dopravy 

      Autor: Pelech Ondřej; Vedoucí práce: Vaněk Ondřej; Oponent práce: Janoušek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24)
    • Algoritmy a datové struktury pro hešování na GPU 

      Autor: Askar Kolushev; Vedoucí práce: Oberhuber Tomáš; Oponent práce: Janoušek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-01-28)
      Hešovaci tabulka je typ datové struktury, která umožňuje vloženi a vyhledáváni kličů se složitosti O(1). Některé hešovaci tabulky jsou optimalizované pro práci na grafických procesorech (GPU). Tato práce je zaměřena na ...
    • Analýza dynamického SQL kódu v projektu Manta 

      Autor: Nasyrov Artur; Vedoucí práce: Janoušek Jan; Oponent práce: Toušek Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-13)
      Cílem práce je analýza typických případů použití dynamického SQL v datových skladech a rozšíření projektu Manta sadou strategií, které umožní analýzu dynamického SQL kódu v některých případech. Předmětem práce je vyhledání ...
    • Detekce zboží v ruce zákazníka pomocí analýzy snímků z termokamery 

      Autor: Brchl Lukáš; Vedoucí práce: Jiřina Marcel; Oponent práce: Janoušek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-16)
      Tato práce se zabývá detekcí zboží v ruce zákazníka pomocí analýzy snímků z termokamery. Kamera je umístěna nad regálem, kde snímá oblast bezprostředního dění před ním. Snímaná data z kamery obsahují informace o teplotách ...
    • Formální specifikace šablonovacího jazyka Latte a implementace pluginu pro platformu IntelliJ IDEA 

      Autor: Tvrdík Jan; Vedoucí práce: Janoušek Jan; Oponent práce: Polách Radomír
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
    • Grafické prostředí pro testování agentů 

      Autor: Horák Jakub; Vedoucí práce: Kolář Josef; Oponent práce: Janoušek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-28)
    • Implementace indexu stromu pro stromové vzorky 

      Autor: Vozáb Lukáš; Vedoucí práce: Janoušek Jan; Oponent práce: Trávníček Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-19)
      Tato práce se zabývá implementací indexace a vyhledávání vzorků ve stromových strukturách. Je použita nová metoda využívající kompaktní suffixový automat, který představuje především drastickou paměťovou úsporu. Vyhledávací ...
    • Implementace Stromového kompresního automatu (TCA) 

      Autor: Obůrka Robin; Vedoucí práce: Poliak Martin; Oponent práce: Janoušek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-28)
    • Implementace zrychlené LR analýzy 

      Autor: Doupal Jakub; Vedoucí práce: Janoušek Jan; Oponent práce: Trávníček Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-19)
      Tato bakalářská práce se zabývá implementací zrychlené LR syntaktické analýzy do automatové knihovny vyvíjené na Katedře teoretické informatiky na Fakultě informačních technologií ČVUT v Praze. Tato knihovna umožňuje práci ...
    • Metriky procesu vývoje softwaru 

      Autor: Basel Samy Mohamed Kamaleldin Elshanawany; Vedoucí práce: Vondra Tomáš; Oponent práce: Janoušek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-02-03)
      Cílem této práce je analyzovat metriky pracovního toku vývoje softwaru a vytvořit webovou aplikaci, která pomáhá vývojářům softwaru vizualizovat a sledovat jejich produktivitu. Analýza vedla ke shromažďování dat z určitých ...
    • Monitoring kvality vody v Internetu věcí 

      Autor: Hynek Jakub; Vedoucí práce: Ubik Sven; Oponent práce: Janoušek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-13)
      Práce se zabývá tématikou Internetu věcí, konkrétně popisuje nejčastěji používané technologie pro výměnu zpráv. Z komunikačních technologií se zaměřuje zejména na nově vzniklé Low Power Wide Area (LPWA) sítě, jejich ...
    • Omezení oboru hodnot výrazu v AST z definičních oborů proměnných 

      Autor: Jan Pokorný; Vedoucí práce: Plachý Štěpán; Oponent práce: Janoušek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-25)
      Tato bakalářská práce se zabývá omezením možných hodnot výrazu reprezentovaného pomocí abstraktního syntaktického stromu na základě omezení hodnot vstupních proměnných. Výrazy mohou obsahovat hodnoty různých datových typů. ...
    • Re-identifikace osob v systému kamer. 

      Autor: Erik Hulmák; Vedoucí práce: Naiser Filip; Oponent práce: Janoušek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-09-03)
      Sledování pohybu předmětů a těžba dat z kamerového obrazu je zajímavá oblast výzkumu s širokou aplikací. V našem případě je cílem sběr statistik o průchodech lidí komplexními budovami, jako jsou například obchodní centa. ...
    • Realizace grafických komponent pro měření a řízení technologických procesů 

      Autor: Jíša Nikolas; Vedoucí práce: Haubert Tomáš; Oponent práce: Janoušek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-10-01)
    • Řešič Morpion Solitaire 

      Autor: Kryštof Zindulka; Vedoucí práce: Polách Radomír; Oponent práce: Janoušek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-17)
      Morpion solitaire je hra s tužkou a papírem pro jednoho hráče. Cílem hry je zahrát co nejvíce tahů. Tato hra je zajímavá v tom, že překonat řešení nalezené člověkem trvalo pomocí počítače 34 let. V této práci jsou ukázána ...
    • Simulace nedeterministického zásobníkového automatu pro indexování stromů 

      Autor: Milík Jan; Vedoucí práce: Janoušek Jan; Oponent práce: Trávníček Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24)
    • Vizualizace konečných automatů 

      Autor: Lessner Petr; Vedoucí práce: Janoušek Jan; Oponent práce: Poliak Martin
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-02-06)
    • Výpočetní modul pro on-line zpracování dat z miniaturního trasovacího detektoru částic pro monitorování radiace ve vemíru 

      Autor: Václav Lepič; Vedoucí práce: Jakubek Jan; Oponent práce: Janoušek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-12)
      Tato práce není a nebude dokončená. Rád bych to zkusil znovu s novým zadáním.