• Algoritmy kombinatoriky na slovech 

      Autor: Martin Rejmon; Vedoucí práce: Starosta Š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., 2021-06-05)
      V této práci je podrobně popsáno několik algoritmů řešících problémy z matematického oboru kombinatorika na slovech. Součástí práce je i jejich implementace v svobodném a otevřeném počítačovém algebraickém systému SageMath ...
    • Algoritmy pro určování vlastností D0L systémů 

      Autor: Anežka Štěpánková; Vedoucí práce: Klouda Karel; 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-29)
      Cílem této práce je v první řadě seznámení se se základními pojmy z kombinatoriky na slovech a s teorií D0L-systémů. Další část práce se zabývá nastudováním a porozuměním algoritmům pro zjišťování vybraných vlastností ...
    • Automatické plánování pro skladovou logistiku 

      Autor: Klára Dvořáková; Vedoucí práce: Surynek Pavel; 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-05)
      Tato práce se zabývá automatickou skladovou logistikou. Práce se zaměřuje na pohyb robotů ve skladu tak, aby nedocházelo ke kolizím a roboti efektivně plnili své úkoly. Typickým úkolem je přesun položky z místa uskladnění ...
    • Datová analýza pro rekonstrukci hmoty Higgsova bosonu v ttH produkci 

      Autor: Petr Urban; Vedoucí práce: Sopczak André; 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., 2019-06-09)
      Tato práce se zabývá problémem rekonstrukce klidové hmotnosti částice známé jako Higgsův boson pomocí technik strojového učení - neuronových sítí. Je zaměřena na rozpadový kanál 2lSS+1Tau-had. V první části je vysvětlen ...
    • Detekce pozice poznávací značky z kamerových záznamů jedoucích aut 

      Autor: Jásek Vladislav; 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-09)
      Tato práce se zabývá problémem detekce registračních značek z kamery jedoucího auta. Některé stávající přístupy k problematice jsou v této práci shrnuty. Dále je představeno několik state-of-the-art algoritmů pro detekci ...
    • Dynamická 3D rekonstrukce obrazu z více kamer 

      Autor: Blažíček Jan; Vedoucí práce: Přeučil Libor; 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., 2016-07-01)
      Práce se zabývá problematikou rekonstrukce hloubkové informace v obraze získaném ze dvou vzájemně synchronizovaných a kalibrovaných kamer uložených ve stejné horizontální rovině. Speciální důraz je kladen na rozšiřitelnost ...
    • Generování cílového kódu s pomocí indexu AST 

      Autor: Málek Jaroslav; Vedoucí práce: Janoušek Jan; Oponent práce: Guth Ondřej
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-02-12)
    • Indexování XML dokumentů 

      Autor: Šestáková Eliška; 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., 2015-06-08)
      Výzkum v oblasti indexování řetězců má již mnoho prezentovaných výsledků, což však neplatí pro ostatní datové struktury, jakými jsou například stromy. Tato práce obsahuje v prvé řadě shrnutí metod pro indexování řetězců a ...
    • Inkrementální analýza PL/SQL skriptů 

      Autor: Strnad Jan; Vedoucí práce: Janoušek Jan; Oponent práce: Toušek Jiří
      Tato práce se zabývá vylepšením mechanizmu transformací u systému \acrlong{mt}. Transformace umožňuje automaticky upravit \acrshort{plsql} kód, reprezentovaný pomocí \acrshort{ast}, tak, aby splňoval určitá pravidla. ...
    • Kontrola kompatibility datových typů v Oracle SQL 

      Autor: Pelech Ondřej; 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.Czech Technical University in Prague. Computing and Information Centre., 2015-06-08)
      Programy v Oracle SQL mohou selhat, když obsahují chyby. V této práci představíme metodu pro odhalování chyb specifického druhu -- nekompatibilita datových typů. Analyzujeme datové typy a vestavěné funkce v dialektu Oracle ...
    • Lehký just-in-time kompilátor pro aritmetické výrazy 

      Autor: Kokorev Igor; Vedoucí práce: Ratschan Stefan; 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-01-13)
      Úkolem této práce bylo vytvořit knihovnu, která je využitelná ve spojení s některou z knihoven pro nelineární optimalizaci. Pro daný aritmetický výraz (zadaný jako bajtový řetězec v kódování ASCII) je za běhu programu ...
    • Minifikace a obfuskace JavaScriptu 

      Autor: Jakub Holub; 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., 2019-06-06)
      Tato práce se zabývá minifikací a obfuskací jazyka JavaScript. Je provedena analýza stávajících prací a volně dostupných knihoven zabývajících se obfuskací tohoto jazyka. Výstupem práce je modulární obfuskátor postavený ...
    • P4 MLIR Midend 

      Autor: Šimon Bařinka; Vedoucí práce: Puš Viktor; 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., 2024-06-06)
      Jazyk P4 je používán pro programování konfigurovatelných síťových zařízení. V této práci zkoumáme využití MLIR k vytvoření rozšiřitelného P4 překladače, který je schopen pracovat s několika hardwarovými a P4 architekturami. ...
    • SWM - Simple Window Manager 

      Autor: Jan Bína; Vedoucí práce: Křikava 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-06-11)
      Tato práce se zabývá návrhem a implementací klasického (nedlaždicového) správce oken pro X Window System. Správce oken se stará o rozmístění a vzhled oken jednotlivých aplikací na obrazovce a je tedy klíčovou součástí ...
    • Vyhledávání a indexování v neseřazených stromech 

      Autor: Sobota Vojtěch; Vedoucí práce: Melichar Bořivoj; Oponent práce: Janoušek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-16)
    • Vyhledávání nelineárních vzorků ve stromech 

      Autor: Boček Prokop; 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)
    • Vyhledávání ve stromech na principu mrtvých zón 

      Autor: Obůrka Robin; Vedoucí práce: Trávníček 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., 2016-04-23)
      V práci jsou představeny dva nové algoritmy pro vyhledávání ve stromech - sousměrný algoritmus (založený na algoritmu Morris-Pratt) a algoritmus na principu mrtvých zón. Algoritmy naleznou všechny výskyty daného stromového ...
    • Vyhledávání výskytů stromových vzorků v seřazených stromech s pomocí indexů 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.Czech Technical University in Prague. Computing and Information Centre., 2015-06-08)
      Tato práce porovnává dvě existující schémata pro indexování stromů. Jedno je založené na nedeterministickém faktorovém automatu, druhé na deterministickém kompaktním sufixovém automatu. Je zde popsáno třetí, nové schéma ...
    • Využití přirozené dynamiky výtvarných médií k stylizaci vektorové animace 

      Autor: Adam Platkevič; Vedoucí práce: Sýkora Daniel; 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-29)
      V této práci představujeme vlastní metodu pro automatickou stylizaci vektorových animaci s použitím vzhledu běžných uměleckých médií, primárně zaměřenou na akvarely. Naším hlavním cílem je co nejlépe zachovat vizuální ...
    • Zotavení se z chyb v nástrojích pro automatizovanou analýzu programových artefaktů 

      Autor: Valenta 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., 2014-02-12)