• Automatizované zkracování textu 

      Autor: Sklenář Ivo; Vedoucí práce: Jiřina Marcel; Oponent práce: Klouda Karel
      (Č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 práce je prozkoumat a implementovat některé metody pro automatizované zkracování textu. Práce důkladně zkoumá čtyři takové algoritmy a kromě algoritmů pro zkracování textu se také zabývá podpůrnými metodami pro ...
    • 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)
    • Bitcoinová peněženka pro Android podporující zařízení TREZOR 

      Autor: Skála Matouš; Vedoucí práce: Starý Jan; Oponent práce: Starosta Š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., 2018-06-17)
      Tato práce se zabývá návrhem Bitcoinové peněženky pro OS Android, která využívá zařízení TREZOR jako úložiště privátních klíčů. Navržená aplikace umožňuje zobrazit seznam transakcí, vytvořit novou transakci, podepsat ji ...
    • blockchain pro FITCOIN 

      Autor: Dvořák Mikuláš; Vedoucí práce: Starý Jan; Oponent práce: Starosta Š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., 2018-06-17)
      lem této bakalářské práce je zahrnout technologii blockchain do školní kryptoměny FITCOIN. Blockchain je decentralizovaná databáze, do které se dají přidávat pouze nové záznamy. V teoretické části práce je zanalyzovaná ...
    • 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 ...
    • Cantor, Gödel, Turing a paradox lháře 

      Autor: Martin Slávik; Vedoucí práce: Trlifajová Kateřina; Oponent práce: Šolcová Alena
      (Č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á vysvětlením jednotlivých problémů, zasazením do souvislostí a rozborem důkazů. Cantorova věta, Gödelova věta a problémem zastavení Turingova stroje jsou tři důležitá negativní tvrzení z ...
    • Code refactoring using Codiscent's projective technologies 

      Autor: Tomáš Buňata; Vedoucí práce: Pergl Robert; Oponent práce: Dvořák Ondřej
      (Č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 práce se zabývá refaktoringem kódu s využitím projektivních technologií společnosti Codiscent. Teoretická část obsahuje analýzu současných přístupů k refaktoringu a nástrojů k udržování čistého kódu. Poskytuje úvod ...
    • Code refactoring using Codiscent's projective technologies 

      Autor: Tomáš Buňata; Vedoucí práce: Pergl Robert; Oponent práce: Dvořák Ondřej
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-01-30)
      Práce se zabývá využitím projektivních technologí k refaktoringu a analýzou současných přístupů a nástrojů k udržování čistého kódu. Poskytuje úvod do refaktoringu, testování a srovnání využití možností refaktoringu v ...
    • Databázový systém pro numerické struktury 

      Autor: Mašat Miroslav; Vedoucí práce: Šimeček Ivan; Oponent práce: Langr Daniel
      (Č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)
      Cílem této práce je nastudovat a implementovat algoritmus numerického databázového systému s využitím datové struktury ohodnoceného binárního stromu. Implementace v jazyce C++ bude srovnána s původní implementací v jazyce ...
    • Databázový systém pro numerické struktury 

      Autor: Kroilov Viacheslav; Vedoucí práce: Šimeček Ivan; Oponent práce: Langr 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-17)
      Numerická databáze zrychluje výpočet ukládáním mezivýsledků do pamětí. Kanonická implementace numerické databáze je založená na ohodnoceném binárním stromu - kombinace AVL-stromu a binární haldy. V této práci je diskutována ...
    • Debugger SECD virtuálního stroje 

      Autor: Vojtěch Rozhoň; Vedoucí práce: Máj Petr; 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., 2022-06-16)
      Práce popisuje implementaci debuggeru SECD stroje, sestávajícího se z SECD virtualního stroje a frontendové části. Programovací jazyk tiny-lisp je navržen jako jazyk, jehož programy budou interpretovány SECD virtuálním ...
    • Decentralizované prohledávání neznámého prostoru 

      Autor: Slyusar Khilda; Vedoucí práce: Kulich Miroslav; Oponent práce: Buk Zdeněk
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-23)
      Tato bakalářská práce se zabývá problémem decentralizovaného prohledávání neznámého prostředí homogenním týmem autonomních robotů. Jako základ navrženého systému slouží softwarový rámec pro prohledávání více roboty vyvinutý ...
    • Deep learning pro algoritmické obchodování 

      Autor: Mikšů Vojtěch; Vedoucí práce: Kordík Pavel; Oponent práce: Konfršt Zdeněk
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)