• Asynchronní iterativní řešiče 

      Autor: Martin Quarda; 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., 2019-06-20)
      Práce se zabývá třemi algoritmy na řešení lineární soustavy rovnic. Algo-ritmy řeší pravou stranu matice udavající soustavu rovnic. Matice musí spl-ňovat jeden ze dvou předpokladů, aby to zvládly vyřešit. Vybrané algoritmyjsou ...
    • Asynchronní iterativní řešiče 

      Autor: Martin Quarda; 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., 2020-01-30)
      Práce se zabývá třemi algoritmy hledajícími řešení lineárních soustav rovnic. Ty zvládnou vyřešit omezenou skupinu matic. Vybrané algoritmy jsou Jacobiho, Gauss-Seidelova a SOR metoda. Implementoval jsem je sekvenčně a ...
    • Automatická klasifikace síťových entit 

      Autor: Jančička Jakub; Vedoucí práce: Čejka Tomáš; Oponent práce: Bartoš Václav
      (Č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)
      Zpracování nahlášených bezpečnostních incidentů je poměrně obtížný úkol, který zahrnuje analýzu velkého množství událostí a dohledání dodatečných informací. Jedním z nástrojů pracujících s přijatými bezpečnostními incidenty, ...
    • Automatická rekonstrukce chybějících dat 

      Autor: Záleský David; Vedoucí práce: Jiřina Marcel; Oponent práce: Kroha 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 zaměřuje na chyby vzniklé při měření chování zákazníků v prodejně obchodního řetězce. Popisuje průběh a metodiku měření, identifikuje druhy možných chyb, příčiny jejich vzniku a možná řešení. Řešení dále ...
    • Automatické generování hudby 

      Autor: Adam Beckert; Vedoucí práce: Surynek Pavel; Oponent práce: Friedjungová Magda
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-08-26)
      Tato bakalářská práce se zabývá algoritmickým generováním hudby. Práce shrnuje aktuální řešení automatické kompozice a jejich výsledky. Jsou zde převážně zmíněné rozdíly mezi jednotlivými přístupy a jejich nevýhodami.~V ...
    • Automatizované provádění transformací cyklů 

      Autor: Ječmen Jan; Vedoucí práce: Šimeček Ivan; Oponent práce: Trávníček Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
    • Automatizované provádění transformací cyklů ve zdrojových kódech 

      Autor: Heger Tomáš; Vedoucí práce: Šimeček Ivan; Oponent práce: Plicka Martin
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24)
    • 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 ...