Browsing Diplomové práce - 18101 by Author "Trávníček Jan"

Now showing items 1-20 of 21

    • Analýza datových toků v SQL skriptech dialektu Databricks 

      Author: Lucie Procházková; Supervisor: Trávníček Jan; Opponent: Mácha Radek
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-09)
      Tato diplomová práce zkoumá dialekt Databricks SQL a navrhuje metodu automatické analýzy skriptů a prototyp skeneru pro nástroj Manta, který se zabývá data lineage. Data lineage je nezbytná pro integritu a správu dat. ...

    • Implementace vylepšených suffixových polí a jejich použití 

      Author: Minh Trieu Quang; Supervisor: Trávníček Jan; Opponent: Guth Ondřej
      (Č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)
      Hlavní nevýhodou suffixového stromu je velká paměťová náročnost. Jedna z paměťově efektivnějších struktur je suffixové pole, a nedávno se ukázalo, že každý algoritmus řešený suffixovým stromem lze nahradit stejně časově ...

    • Indexování XML dokumentů 

      Author: Šestáková Eliška; Supervisor: Janoušek Jan; Opponent: 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í komprese založená na clusterování 

      Author: Krčál Luboš; Supervisor: Holub Jan; Opponent: Trávníček Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)

    • Komprese souborů FASTQ 

      Author: Jakub Novák; Supervisor: Polách Radomír; Opponent: 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., 2020-08-27)
      Tato práce se zabývá analýzou struktury FASTQ souborů, výběrem vhodného kompresniho algoritmu a jeho implementaci. Velká část práce se zabývá popisem algoritmu mixováni kontextů a jeho implementaci. Dále v práci popisuji ...

    • Konstrukce zásobníkového automatu přijímajícího jazyk daný regulárním stromovým výrazem 

      Author: Pecka Tomáš; Supervisor: Trávníček Jan; Opponent: 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., 2016-05-09)
      Tato práce studuje regulárni stromové výrazy, formalismus pro popis regulárnich stromových jazyků. Hlavnim přinosem práce je nový algoritmus pro převod regulárniho stromového výrazu na ekvivalentni zásobnikový automat, ...

    • Konverze stromových konečných automatů na stromové regulární výrazy metodou eliminace stavů 

      Author: Tomáš Dejmek; Supervisor: Trávníček Jan; Opponent: Pecka Tomáš
      (Č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 diplomová práce se zabývá stromovými jazyky. Stromový jazyk se skládá z množiny stromů, podobně jako textový jazyk se skládá z množiny textových řetězců. Jelikož byla dokázána rovnost mezi třídou jazyků přijímaných ...

    • Minimalizace stromových a zásobníkových automatů 

      Author: Plachý Štěpán; Supervisor: Trávníček Jan; Opponent: 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., 2017-05-09)
      Práce se zabývá vztahem mezi konečnými stromovými automaty a zásobníkovými automaty, a jejich minimalizací. Konečné Stromové automaty jsou rozšířením konečných automatů a zpracovávají regulární stromové jazyky. V práci ...

    • Nástroj na extrakci datových toků pro programovací jazyk Cobol 

      Author: Andrej Taňkoš; Supervisor: Trávníček Jan; Opponent: 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., 2021-01-29)
      Táto práca sa zaoberá analýzou dátových tokov programovacieho jazyka COBOL, konkrétne IBM COBOL dialektu. Práca najprv skúma rôzne prístupy k analýze dátových tokov, ich reprezentáciu a vizualizáciu v projekte Manta. ...

    • Návrh a implementace prototypu virtuálního stroje pro Component-based jazyk Compo 

      Author: Licek Tomáš; Supervisor: Špaček Petr; Opponent: 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-09)
      Tato práce se zabývá návrhem a implementaci virtuálniho stroje pro komponentově orientovaný programovaci jazyk Compo. Komponentově orientované programováni je obecně založeno na skládáni jednoduchých komponent do komplexnich ...

    • Optimalizace ASM kódu pro DLX procesor pomocí LLVM systému 

      Author: Bureš Michal; Supervisor: Šimeček Ivan; Opponent: 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., 2019-01-31)
      Tato práce popisuje proces vytvořeni nového backendu pro architekturu DLX pomoci LLVM kompilátoru. Procházi všemi nezbytnými součástmi tvorby nového backendu pro kompilátory, jako napřilkad výběr instrukci nebo přiřa-zeni ...

    • Přední část LLVM pro jazyk Scheme 

      Author: Noha Jan; Supervisor: Polách Radomír; Opponent: 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-09)
      Tato práce se zabývá problémem překladu programovacího jazyka Scheme do nativního kódu a zkoumá možnost vytvoření nové přední části překladače pro jazyk Scheme s využitím LLVM. Dále předkládá návrh tohoto překladače a jeho ...

    • Převod konečných stromových automatů na stromové regulární výrazy 

      Author: Jakub Doupal; Supervisor: Trávníček Jan; Opponent: Pecka Tomáš
      (Č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 diplomová práce studuje regulární stromové výrazy a metodu převodu ze stromového automatu na regulární stromový výraz pomocí rovnic. Daná metoda je poté implementována v knihovně algoritmů vyvíjené na Katedře teoretické ...

    • Přístupy k automatizaci 3D tisku 

      Author: Žehra Marek; Supervisor: Kordík Pavel; Opponent: Trávníček Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)

    • Quantum leap vyhledávání v linearizovaných stromech 

      Author: Josef Erik Sedláček; Supervisor: Trávníček Jan; Opponent: Plachý Štěpán
      (Č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)
      Práce se zabývá vyhledáváním stromových vzorů ve stromech. Konkrétně se pracuje s linearizovanými stromy v prefixové notaci. Práce přejímá myšlenku algoritmu Quantum Leap pro vyhledávání v řetězcích a využívá ji pro ...

    • Regulární stromový výraz a jeho derivace 

      Author: Košař Jan; Supervisor: Polách Radomír; Opponent: Trávníček Jan
      Práce představuje novou metodu pro rozpoznávání stromových (nebo i bezkontextových) jazyků za použití derivací regulárních stromových výrazů. Tato metoda je zobecněním převodu regulárních výrazů na konečný automat pomocí ...

    • Vyhledávání nelineárních vzorků ve stromech 

      Author: Boček Prokop; Supervisor: Janoušek Jan; Opponent: 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 

      Author: Obůrka Robin; Supervisor: Trávníček Jan; Opponent: 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ů 

      Author: Milík Jan; Supervisor: Janoušek Jan; Opponent: 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 ...

    • Zotavení se z chyb v nástrojích pro automatizovanou analýzu programových artefaktů 

      Author: Valenta Jakub; Supervisor: Janoušek Jan; Opponent: Trávníček Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-02-12)