Prohlížení Bakalářské práce - 18101 dle autora "Trávníček Jan"
-
Analýza datových toků v Azure Data Factory
Autor: Jan Chybík; Vedoucí práce: Trávníček Jan; Oponent práce: Košvanec Petr
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-16)Tato práce se zaměřuje na analýzu datových toků v nástroji Azure data factory. Zkoumá reprezentaci datových toků projektu Manta. Prozkoumává a popisuje zdrojové soubory Azure data factory a následně navrhuje způsob, jak ... -
Automatizované provádění transformací cyklů
Autor: Ječmen Jan; Vedoucí práce: Šimeček Ivan; Oponent práce: Trávníček Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27) -
Automatová knihovna - převody mezi regulárními výrazy, regulárními gramatikami a konečnými automaty
Autor: Pecka Tomáš; Vedoucí práce: Trávníček Jan; Oponent práce: Baier Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27) -
Automatová knihovna - determinizace konečných a zásobníkových automatů
Autor: Veselý Jan; Vedoucí práce: Trávníč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) -
Automatová knihovna - Grafy a grafové algoritmy
Autor: Brož Jan; Vedoucí práce: Polách Radomír; 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-18)Tato práce se zabývá algoritmy z teorie grafů a reprezentací grafů v paměti počítače. Cílem je nastudovat a implementovat vybrané grafové algoritmy a integrovat je do knihovny zvané Automata Library (zkráceně ALib), vyvíjené ... -
Automatová knihovna - isomorfismus planárních grafů
Autor: Rosca David; Vedoucí práce: Polách Radomír; 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-01-11)Předmětem této práce je problém isomorfismu planárních grafů. Práce v první části popisuje implementaci základních grafových struktur a algoritmů. Dále je popsána implementace algoritmu Hopcroft-Wong pro řešení problému ... -
Automatová knihovna - konstrukce LR analyzátoru
Autor: Kočička Martin; Vedoucí práce: Trávníček Jan; Oponent práce: Baier 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-18)Předmětem této práce jsou základní LR parsovací algoritmy. Práce v úvodu popisuje obecně bottom-up a shift-reduce parsování. Dále se zaměřuje na LR parsování, specificky LR(0) a SLR(1) parsery. Práce obsahuje návrh potřebných ... -
Automatová knihovna - konstrukce LR analyzátoru
Autor: Kočička Martin; Vedoucí práce: Trávníček Jan; Oponent práce: Baier 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-18)Předmětem této práce jsou základní LR parsovací algoritmy. Práce v úvodu popisuje obecně bottom-up a shift-reduce parsování. Dále se zaměřuje na LR parsování, specificky LR(0) a SLR(1) parsery. Práce obsahuje návrh potřebných ... -
Automatová knihovna - Stromové automaty a algoritmy nad stromy
Autor: Plachý Štěpán; Vedoucí práce: Trávníč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)Práce se zabývá konečnými stromovými automaty, což je výpočetní model pro zpracování regulárních stromových jazyků, a jejich implementací v projektu Automatová knihovna. V práci jsou navrženy a implementovány datové struktury ... -
Automatová knihovna - vnitřní a komunikační formát
Autor: Žák Martin; Vedoucí práce: Trávníček Jan; Oponent práce: Poliak Martin
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-02-12) -
Burrows-Wheelerova transformace a vyhledávání v textu
Autor: Martin Prokopič; Vedoucí práce: Trávníček Jan; Oponent práce: 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., 2021-06-12)Tato bakalářská práce popisuje dopřednou a zpětnou Burrows-Wheelerovu transformaci a obsahuje rešerši existujících algoritmů řešících problém vyhledávání přesného vzorku v transformovaném textu. Přiložena je potom naše ... -
Deminifikace a deobfuskace JavaScriptu
Autor: Platkevič Adam; Vedoucí práce: Polách Radomír; 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., 2018-06-13)Jazyk JavaScript je výhradní prostředek skriptování v rámci webovských stránek. Aby chránili své duševní vlastnictví či skryli nekalý úmysl, někteří programátoři přistupují u svého kódu k záměrnému snížení jeho srozumitelnosti, ... -
Editor konečných automatů na dotykových zařízeních
Autor: Marek Fořt; Vedoucí práce: Trávníček Jan; Oponent práce: Šestáková Eliška
(Č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 bakalářská práce se zaobírá návrhem a implementací prototypu editoru konečných automatů na iPad zařízení a následném uživatelském testováním na vytvořeném prototypu. Také obsahuje analýzu webového rozhraní knihovny ... -
Experimenty s algoritmy na vyhledávání jader v řetězcích
Autor: Jůna Martin; Vedoucí práce: Guth Ondřej; 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 této práci jsem se zaměřil na dva algoritmy hledající vlastní přibližná jádra řetězců. Na řešení tohoto problému existují dva odlišné algoritmy. Za účelem jejich srovnání jsem provedl sadu experimentů s těmito algoritmy. ... -
Generátor syntaktického analyzátoru s transformacemi gramatik
Autor: Uzel Matěj; Vedoucí práce: Trávníček Jan; Oponent práce: Máj Petr
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-17)Práce rozebírá principy provádění deterministické jednoprůchodové syntaktické analýzy. Především je kladen důraz na přístup shora dolů metodu rekurzivního sestupu. Dále se práce zabývá transformacemi gramatik na LL(1) ... -
Grafy a grafové algoritmy pro knihovnu algoritmů
Autor: Uhlík Jan; Vedoucí práce: Trávníč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., 2018-06-13)Tato bakalářská práce vylepšuje implementaci grafů a grafových algoritmů v knihovně algoritmů ALib vyvíjené na Katedře teoretické informatiky FIT ČVUT v Praze. Hlavní důraz je kladen na univerzalitu návrhu, který vede ke ... -
Implementace algoritmu hledání repetic ve stromech
Autor: Shatrovskii Aleksandr; Vedoucí práce: Trávníček Jan; Oponent práce: 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., 2017-05-16)Předmětem této práce je implementace algoritmu hledání repetic v ohodnocených označených uspořádaných stromech. V práci je podrobně analyzován a popsán efektivní algoritmus, předloženy Michalisem Christou a dalšími, je ... -
Implementace algoritmů vyhledávání v řetězcích s konstantní pracovní pamětí navíc
Autor: Jan Jirák; Vedoucí práce: Trávníček Jan; Oponent práce: Matyáš Petr
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-20)Cilem této práce je uvedeni do problematiky přesného vyhledáváni v řetězci s požadavkem použiti pouze konstantniho množstvi paměti. Práce se dále zabývá implementaci probiraných algoritmů, které tento problém řeši. Tyto ... -
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 větvících regulárních výrazů
Autor: Sochor Miroslav; Vedoucí práce: Polách Radomír; 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., 2018-06-13)Větvící regulární výrazy jsou regulární výrazy rozšířené o unární operátor Fork. Tento operátor přidává souběžnou složku k výrazům. Cílem práce je tyto Větvící regulární výrazy implementovat, aby se daly využít k analýze ...