Prohlížení Diplomové práce - 18101 dle autora "Janoušek Jan"
-
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)