• Algoritmy pro řešení problému 0-1 baťohu 

      Autor: Jakub Pečenka; Vedoucí práce: Šimeček Ivan; Oponent práce: Šoch Michal
      (Č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)
      Tato Bakalářská práce se zabývá problémem batohu 0-1 a přístupy hledajícími jeho optimální řešení. V práci je implementován v jazyce C++ algoritmus založený na metodě větví a mezí, dále algoritmus založený na metodě ...
    • Algoritmy pro výpočet Ludolphova čísla a ověření normality jeho aproximací 

      Autor: Martin Kostrubanič; Vedoucí práce: Šimeček Ivan; Oponent práce: Kalvoda Tomáš
      (Č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)
      Práce se zabývá Ludolfovým číslem, algoritmy pro jeho výpočet a jeho normalitou. V teoretické části je popsáno Ludolfovo číslo a vybrané algoritmy pro jeho aproximaci. V praktické části jsou tyto algoritmy implementovány ...
    • Algoritmy výpočetní krystalografie 

      Autor: Michal Dufek; Vedoucí práce: Šimeček Ivan; Oponent práce: Rohlíček Jan
      (Č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)
      Tato bakalářská práce se zabývá rozšiřováním balíčku ParaCell o novou výpočetní metodu přizpůsobenou k optimalizaci kvality indexace a to za pomocí opravy chyby posunutí nuly (zeroshift error) před samotnou indexací ...
    • 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 ...
    • Efektivní násobení řídkých matic 

      Autor: Thanh Quang Mai; 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)
      Tato bakalářská práce se zabývá formáty pro uložení řídkých matic COO, CSR, CSC a algoritmy pro násobení matic v těchto formátech. Cílem práce je i implementace těchto algoritmů a formátů v programovacím jazyce C++ a změření ...
    • Efektivní řešič lineárních nerovnic: 

      Autor: Tomáš Janecký; Vedoucí práce: Šimeček Ivan; Oponent práce: Ječmen 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-20)
      Tato práce se zabývá implementací algoritmu pro řešení soustav lineárních nerovnic pomocí řešení konfliktů. Algoritmus je implementován v C++17, jeho paralerizace je docílena pomocí knihovny OpenMP.
    • Implementace a porovnání různých typů vyhledávacích stromů 

      Autor: Michal Štěpánek; Vedoucí práce: Šimeček Ivan; Oponent práce: Kozický Claudio
      (Č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)
      Tato práce se zabývá datovou strukturou vyhledávací strom, především jejími typy. V práci je detailně popsán vyhledávací strom, jednotlivé typy vyhledávacích stromů, jejich výhody, nevýhody, vlastnosti a příklady využití. ...
    • Implementace automatových algoritmů na hledání jader 

      Autor: Veronika Dolanská; Vedoucí práce: Guth Ondřej; 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., 2020-06-20)
      Tato bakalářská práce se věnuje vyhledávání pravidelností v řetězcích, konkrétně vyhledávání jader. Obsahuje popis algoritmů vyhledávajících přesná i přibližná jádra s určitou maximální Hammingovou vzdáleností. Algoritmy ...
    • Implementace B-stromů na GPU 

      Autor: Tat Dat Duong; Vedoucí práce: Oberhuber Tomáš; 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., 2021-08-26)
      B-Tree je datová struktura, která provádí vkládání, mazání a vyhledávání klíčů a hodnot se složitostí O(log n). Tato práce se zabývá jejich studiem a implementací na kartách GPU. Byly naimplementovány dvě varianty B-Tree: ...
    • Lexikální analyzátor pro C++ generovaný v čase kompilace 

      Autor: Boris Rúra; Vedoucí práce: Trávníček Jan; Oponent práce: Vagner Ladislav
      (Č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)
      Užitečnost lexikální analýzy je nepopiratelná, ať už se jedná o zpracování přirozených jazyků, jako jsou textové zprávy, nebo zpracování zdrojových kódů kompilátory. Zjednodušení jejich tvorby a zvýšení jejich výkonnosti ...
    • Paralelizace algoritmů pro toky v síti 

      Autor: Jan Groschaft; Vedoucí práce: Blažej Václav; 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-06-20)
      Tato práce se zabývá možnostmi paralelizace vybraných algoritmů pro nalezení maximálního toku v síti. Je zaveden potřebný teoretický základ, na který navazuje popis existujících sekvenčních a paralelních algoritmů. Následně ...
    • Předzpracování dat pro řazení algoritmem Sample sort 

      Autor: Pavel Erazím; 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)
      Tato bakalářská práce se zaměřuje na řadici algoritmus Samplesort.Cilem bylo algoritmus implementovat a paralelizovat. V této práci ukáži, že představená implementace pro CPU se podle výsledků měřeni ukazuje jako efektivnějši ...
    • Resoluce pro predikátovou logiku 

      Autor: Michal Dvořák; Vedoucí práce: Starý Jan; Oponent práce: Knop Dušan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-17)
      Výroková logika je rozhodnutelná – existuje algoritmus, který pro zadanou výrokovou formuli rozhodne, zda je splnitelná. Predikátová logika rozhodnutelná není – žádný algoritmus, který by v plné obecnosti rozhodoval o ...
    • Rozpoznání konečného automatu z obrazu 

      Autor: Lukáš Horák; Vedoucí práce: Trávníček Jan; Oponent práce: Novák Jakub
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-20)
      Tato bakalářská práce se zabývá strojovým rozpoznáním diagramů konečných automatů z obrazu. Samotný obraz bude mít omezení, že na snímku bude jediný diagram automatu bez objektů v pozadí. Tento problém je řešen pomocí ...
    • Slovníkové kompresní metody 

      Autor: Matěj Javorka; Vedoucí práce: Pecka Tomáš; 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., 2023-06-15)
      Náplní této bakalářské práce je analýza, návrh a implementace slovníkových kompresních metod LZ77, LZ78, LZSS a LZW. V literární rešerši jsou popsány základní pojmy, principy a metody komprese dat. Podrobně se literární ...
    • Vývoj paralelních řadících algoritmů na GPU 

      Autor: Xuan Thang Nguyen; Vedoucí práce: Oberhuber Tomáš; 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., 2021-06-17)
      Tato práce se zabývá vybranými paralelními řadícími algoritmy vhodnými pro implementaci na GPU. Jedná se konkrétně o Bitonic sort a Quicksort. Bitonic sort, i když má vyšší časovou složitost, je vhodným kandidátem na řazení ...
    • Zpracování POSIX regulárních výrazů 

      Autor: Oleksandr Zaporozhchenko; Vedoucí práce: Guth Ondřej; 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., 2020-06-25)
      Rozšířením tradiční syntaxe regulárních výrazů o zpětné reference vznikne mocný prostředek, kterým lze popsat jazyky silnější než regulární. Tato bakalářská práce se zabývá problémem zpracování regulárních výrazů se zpětnými ...