Collections in this community

Recent Submissions

  • Implementace B-stromů na GPU 

    Author: Tat Dat Duong; Supervisor: Oberhuber Tomáš; Opponent: Š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: ...
  • Regulární výrazy s rekurzivním zanořením 

    Author: Vojtěch Hruša; Supervisor: Guth Ondřej; Opponent: Pecka Tomáš
    (Č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 práce se zabývá regulárními výrazy s rekurzivním zanořením. Jedná se o rozšíření regulárních výrazů možností opakovaného využití podvýrazů v jiných částech výrazu. Mimo jiné i v rámci samotného podvýrazu. Nejprve ...
  • Automatické generování hudby 

    Author: Adam Beckert; Supervisor: Surynek Pavel; Opponent: 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 ...
  • Přibližná pokrytí textových řetězců 

    Author: Vendula Švastalová; Supervisor: Guth Ondřej; Opponent: Pecka Tomáš
    (Č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 práce staví na publikaci Kędzierského and Radoszewského, kteří představili vylepšené polynomiální algoritmy řešící problém k-přibližných pokrytí řetězců nad Hammingovou, Levenshteinovou a váženou editační vzdáleností. ...
  • Detektor gest s pomocí Leap Motion senzoru 

    Author: Viet Anh Tran; Supervisor: Nováček Tomáš; Opponent: Helcl Luboš
    (Č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)
    Zkoumání způsobů pro ovládání virtuálního prostředí je populárním cílem mnoha výzkumných prací v odvětví interakce člověka s počítačem. Jeden ze způsobů je použití Leap Motion optického senzoru, vyvíjeného specificky pro ...
  • Stabilita Hedonických her se strukturovanými preferencemi 

    Author: Jan Šmolík; Supervisor: Knop Dušan; Opponent: Blažej Václav
    (Č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)
    Problém stabilních spolubydlících s podmínkami různorodosti spočívá v rozdělení agentů dvou typů do koalic pevné velikosti na základě jejich preferencí, které závisí pouze na počtu agentů stejného typu. V této práci se ...
  • Klasifikace komunikace uvnitř Tor spojení 

    Author: Lukáš Jančička; Supervisor: Čejka Tomáš; Opponent: Hynek Karel
    (Č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 bakalářská práce se zabývá detekcí anonymizační sítě Tor a klasifikací jejího provozu pomocí metod strojového učení. Statistické vlastnosti síťového provozu získané z dat ve formě síťových toků jsou použity k trénování ...
  • Rozpoznávání a editace urbanistické scény II. 

    Author: Tatiana Popova; Supervisor: Richtr Radek; Opponent: Chludil Jiří
    (Č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)
    Registrace obrazu je velmi komplexní problém v rámci oboru strojového vidění. Takový problém pomáhají vyřešit moderní metody hlubokého učení. Tato práce se zabývá amalýzou metod pro registraci obrazů a implementací prototypu ...
  • Férová řešení pro problém Target Set Selection 

    Author: Bruno Kraus; Supervisor: Knop Dušan; Opponent: Schierreich Šimon
    (Č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)
    Target Set Selection je NP-těžký problém klíčový v oblasti virálního marketingu. Pro danou sociální síť se problém Target Set Selection zabývá minimální velikostí množiny agentů, jejichž působení nakonec ovlivní každého v ...
  • Udržování formací v multi-agentním hledání cest 

    Author: Jan Lidák; Supervisor: Surynek Pavel; Opponent: Legerský Jan
    (Č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á řešením problému udržení formace při hledání cest pro množinu agentů v rovinném prostředí mřížkových grafů. Na začátku je představena základní problematika hledání cest, hledání cest pro více agentů a ...
  • Diskrétní simulace automobilové dopravy se spojitým časem 

    Author: Patrik Schweika; Supervisor: Surynek Pavel; Opponent: Valla 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-17)
    V práci se zabýváme návrhem a realizací simulátoru automobilové dopravy s diskrétním prostorem a spojitým časem, jehož hlavní využití předpokládáme pro porovnání algoritmů na plánování tras. V simulátoru implementujeme dva ...
  • Vývoj paralelních řadících algoritmů na GPU 

    Author: Xuan Thang Nguyen; Supervisor: Oberhuber Tomáš; Opponent: Š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í ...
  • Algoritmy pro výpočet vlastních čísel matic 

    Author: Lucie Procházková; Supervisor: Kalvoda Tomáš; Opponent: Š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)
    Cílem práce je shrnout historii a aplikace výpočtu vlastních čísel. Práce analyzuje některé algoritmy používané pro výpočet vlastních čísel. V praktické části práce je implementován QR algoritmus s~Givensovými rotacemi ...
  • Implementace paralelního algoritmu pro běh k-lokálních stromových automatů 

    Author: Milan Borový; Supervisor: Plachý Štěpán; Opponent: Kozický Claudio
    (Č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á k-lokálními deterministickými konečnými stromovými automaty (DKSA), které hrají důležitou roli při hledání vzorů ve stromových strukturách. Existuje pracovně optimální paralelní algoritmus pro běh ...
  • Resoluce pro predikátovou logiku 

    Author: Michal Dvořák; Supervisor: Starý Jan; Opponent: 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 ...
  • Řešič Morpion Solitaire 

    Author: Kryštof Zindulka; Supervisor: Polách Radomír; Opponent: Janoušek Jan
    (Č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)
    Morpion solitaire je hra s tužkou a papírem pro jednoho hráče. Cílem hry je zahrát co nejvíce tahů. Tato hra je zajímavá v tom, že překonat řešení nalezené člověkem trvalo pomocí počítače 34 let. V této práci jsou ukázána ...
  • Praktická výkonnost různých implementací prioritní fronty 

    Author: Radoslav Hašek; Supervisor: Šimeček Ivan; Opponent: Kašpar Jiří
    (Č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)
    Teoretická část této práce popisuje abstraktní datovou strukturu prioritní fronta, její podporované operace a řadu možných implementací, které jsou podrobně rozebrány po teoretické stránce. Dále jsou uvedeny příklady užití ...
  • Výpočet softwarových metrik 

    Author: Filip Gregor; Supervisor: Vagner Ladislav; Opponent: 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., 2021-06-12)
    Cílem práce je popsat jednotlivé softwarové metriky a vytvořit software, který je bude měřit pro zdrojové soubory v jazycích C a C++. Pro implementaci měřiče byl využit překladač Clang. Jsou popsány jeho rozhraní a jak je ...
  • Algoritmy pro řešení neorientovaného a orientovaného Problému čínského listonoše 

    Author: Martin Vítek; Supervisor: Šimeček Ivan; Opponent: 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-12)
    Tato bakalářská práce se zabývá Problémem čínského listonoše, konkrétně jeho neorientovanou a orientovanou variantou. Problém čínského listonoše je optimalizační úloha z teorie grafů. V úvodu je tento problém rozebrán spolu ...
  • Burrows-Wheelerova transformace a vyhledávání v textu 

    Author: Martin Prokopič; Supervisor: Trávníček Jan; Opponent: 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 ...

View more