• Agregace a prohledávání poštovních logů 

      Autor: Lacina Miroslav; Vedoucí práce: Baier Jan; Oponent práce: Polách Radomír
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-09-05)
    • Analýza pohybu pro staticky umístěnou kameru 

      Autor: Cvacho Ondřej; Vedoucí práce: Polách Radomír; Oponent práce: Šlapák Martin
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
    • Analýza pohybu pro staticky umístěnou kameru 

      Autor: Baloun Lubomír; Vedoucí práce: Polách Radomír; Oponent práce: Pulc 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-18)
      Tato práce se zabývá implementací algoritmů pro sledování jednotlivých osob, rozhodnutí o přítomnosti určitého objektu a analyzování pohybu do teplotní mapy. V práci je proveden rozbor technik pro vhodné řešení této ...
    • 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 - 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 ...
    • 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, ...
    • Dynamické mapy s víceuživatelským přístupem 

      Autor: Blažek Milan; Vedoucí práce: Baier Jan; Oponent práce: Polách Radomír
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-10-01)
    • Formální specifikace šablonovacího jazyka Latte a implementace pluginu pro platformu IntelliJ IDEA 

      Autor: Tvrdík Jan; 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., 2014-06-27)
    • 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 kompresních metod LZY, LZMW a LZAP v jazyce Java 

      Autor: Bobot Ján; Vedoucí práce: Polách Radomír; Oponent práce: Šimeček Ivan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-02-09)
      Tato práce se zabývá slovníkovými kompresními metodami LZMW, LZAP a LZY, které jsou variantami metody LZW. Práce popisuje na jakých principech dané metody fungují a zabývá se také jejich implementací. Algoritmy jsou ...
    • 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 ...
    • Integrace syntaxe založené na jazyku Python pro Clang/LLVM překladač jazyka C++ 

      Autor: Červený 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., 2017-01-14)
      Tato práce se zabývá návrhem a implementací rozšíření jazyka C++ pro překladač Clang/LLVM. Cílem tohoto rozšíření je zjednodušení a zlepšení čitelnosti. Hlavní inspirací jsou jazyky Python a CoffeeScript. Obsahem práce je ...
    • Komprese LZ77 pomocí OpenCL 

      Autor: Bobek Martin; Vedoucí práce: Polách Radomír; Oponent práce: Šimeček Ivan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-16)
      Tato bakalářská práce se zabývá implementací paralelní verze kompresního algoritmu LZ77 pro výpočet na grafických kartách s využitím frameworku OpenCL. V rámci řešení byly pro vyhledávání implementovány a porovnány ...
    • Kompresní metoda LZFSE 

      Autor: Hron Martin; Vedoucí práce: Baier 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-15)
      Tato práce se zabývá kompresní metodou LZFSE, která kombinuje slovníkovou kompresi s technikou založenou na ANS (asymmetric numeral systems). Práce popisuje principy, na kterých tato metoda funguje, a analyzuje referenční ...
    • Kompresní metoda Zstandard 

      Autor: Vladyka Ondřej; Vedoucí práce: Baier 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-16)
      V práci se zaměřuji na nový algoritmus pro bezeztrátovou kompresi dat zvaný Zstandard. Teoretická část se zabývá úvodem do kompresních algoritmů a analýzou algoritmu Zstandard. V praktické části je algoritmus implementován ...
    • Konstrukce a simulace vyhledávacích automatů přesného a přibližného vyhledávání 

      Autor: Čapek Tomáš; 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-17)
      Cílem této práce je implementovat algoritmy konstrukce vyhledávacích automatů. Dále se práce zabývá simulacemi tohoto druhu automatů. V práci jsou implementovány metody, používající Hammingovu, Levenshteinovu a Zobecněnou ...
    • Minifikace a obfuskace JavaScriptu 

      Autor: Hanák Samuel; 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-16)
      Práce se zaměřuje na problematiku minifikace a obfuskace, tj. automatizovaného znepřehlednění zdrojového kódu, za účelem ochrany autorského práva autora zdrojového kódu, při zachování původní funkcionality. Předmětem ...
    • Nástroj na vyhodnocování lambda kalkulu 

      Autor: Václav Málek; Vedoucí práce: Polách Radomír; 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., 2020-06-25)
      Tato bakalářská práce se zabývá analýzou, návrhem a implementací nástroje pro vyhodnocování lambda kalkulu. Vytvořený nástroj, nazvaný LambdaEvaluator, podporuje normální a aplikativní vyhodnocování, symbolické názvy a ...