• Návrh komprimace výstupů z digitální evoluce SVET 

      Autor: Jásek Vladislav; Vedoucí práce: Scholtzová Jiřina; Oponent práce: Dombek Daniel
      (Č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)
      Cílem této bakalářské práce je navrhnout a naimplementovat optimální kom- presi z výstupu systému digitální evoluce SVET. Navrhl jsem kompresi šitou na míru digitální evoluci SVET, výsledkem je program, který komprimuje původní ...
    • Přepisování číselných řetězců a jeho aplikace v teorii čísel 

      Autor: Oppl David; Vedoucí práce: Dombek Daniel; Oponent práce: Scholtzová Jiřina
      (Č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 se věnuje studiu aplikací tzv. přepisovacích pravidel, speciálních zobrazení na množině nekonečných slov. Rešeršní část shrnuje problematiku poziční reprezenzace čísel a ukazuje, jak lze přepisovací pravidla ...
    • Rekurzivně konstruovatelné grafy 

      Autor: Štěpánková Anežka; Vedoucí práce: Scholtzová Jiřina; Oponent práce: Dombek Daniel
      (Č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)
      Cílem této práce je představit rekurentní grafy definované v BI-GRA a příslušné lineární rekurentní rovnice k těmto grafům. Dále seznámit se s třídami rekurzivně konstruovatelných grafů a podobně jako u BI-GRA grafů pro ...