Prohlížení dle autora "Plachý Štěpán"
-
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 ... -
Implementace paralelního algoritmu pro běh k-lokálních stromových automatů
Autor: Milan Borový; Vedoucí práce: Plachý Štěpán; Oponent práce: Kozický Claudio
(Č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)Tato práce se zabývá k-lokálními deterministickými konečnými stromovými automaty (DKSA), které hrají důležitou roli při hledání vzorů ve stromových strukturách. Existuje pracovně optimální paralelní algoritmus pro běh ... -
Minimalizace stromových a zásobníkových automatů
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., 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ávrh šablonovacího jazyka a implementace překladače
Autor: Adam Plodek; Vedoucí práce: Plachý Štěpán; Oponent práce: Jirůtka Jakub
(Č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)Cílem této práce je návrh a implementace šablonavacího jazyka, pro tvorbu HTML stránek, který se zaměřuje na podporu funkcionálního stylu programování, pomocí nehož lze vylepšit vlastnosti šablonovacích jazyků. Základními ... -
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ů. ... -
Průzkum metod řešících problém indexování stromových datových struktur
Autor: Karolina Hrnčiříková; Vedoucí práce: Šestáková Eliška; Oponent práce: 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., 2022-06-16)Stromové indexování je problém vyhledávání určitého typu dotazů v předzpracovaných datech, které mají tvar stromové struktury. Tento problém existuje v mnoha variantách. Jelikož jsme nenašli shrnutí, které by popisovalo ... -
Překladač jazyka kontrol do SQL
Autor: Otto Šleger; Vedoucí práce: Plachý Štěpán; Oponent práce: Pecka Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-02-08)Tato bakalářská práce se zabývá analýzou, návrhem a implementací překladače jazyka kontrol navrženého Českou národní bankou. Tento překladač umožňuje překlad jazyka kontrol do jazyka SQL, který je následně možné spustit ... -
Quantum leap vyhledávání v linearizovaných stromech
Autor: Josef Erik Sedláček; Vedoucí práce: Trávníček Jan; Oponent práce: 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 ... -
Webové uživatelské rozhraní pro projekt Grades
Autor: Marek Mouček; Vedoucí práce: Plachý Štěpán; Oponent práce: Bernhauer David
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-20)Tato práce se zabývá redesignem a přepsáním webové aplikace (frontend) pro projekt Grades do nejnovějších technologií s podporou offline funkcionality a optimalizací pro obrazovky mobilních zařízení. Nová webová aplikace ...