Bakalářské práce - 18101

 

Zobrazují se záznamy 21-40 z 360

    • Frontend překladače pro podmnožinu programovacího jazyka C++ 

      Autor: Daniel Král; Vedoucí práce: Pecka Tomáš; Oponent práce: Plachý Š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., 2024-06-20)
      Překladače pro programovací jazyky jsou nezbytnou součástí vývoje moderního software. Tato práce se zabývá návrhem přední části překladače pro (skoro) podmnožinu jazyka C++ nazvanou C+-. Nejprve je specifikován rozsah C+-. ...

    • Symbolická exekuce pro R 

      Autor: Petr Šťastný; Vedoucí práce: Donat-Bouillud Pierre; Oponent práce: Krynski Sebastián
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-20)
      Symbolic execution je technika, která umožňuje testovat programy a dokazovat jejich netriviální vlastnosti. Vytvoření nového systému pro symbolic execution je náročné. Místo toho je použita technika, kdy je symbolicky ...

    • Parametrizované algoritmy pro problém zkrácené metrické dimenze 

      Autor: Jiří Jirásek; Vedoucí práce: Suchý Ondřej; Oponent práce: Opler Michal
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-20)
      Tato práce se zabývá FPT algoritmy řešící problém Zkrácené Metrické Dimenze. Představíme dva již známé algoritmy řešící problém Metrické Dimenze. Pro algoritmus parametrizovaný šířkou modulu ukážeme jeho jednoduchou ...

    • Parameterized Algorithms for the Truncated Metric Dimension problem 

      Autor: Jiří Jirásek; Vedoucí práce: Suchý Ondřej; Oponent práce: Opler Michal
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-02-08)
      Tato práce se zabývá FPT algoritmy řešící problém zkrácené metrické dimenze. Nejdříve představíme dva již známé algoritmy řešící problém metrické dimenze. Poté představíme dva jednoduché protipříklady algoritmu, jehož ...

    • Překladač jazyka kontrol do SQL 

      Autor: Otto Šleger; Vedoucí práce: Plachý Štěpán; 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., 2024-02-08)
      Tato bakalářská práce se zabývá analýzou, návrhem a implementací překladače jazyka kontrol navrženého Českou národní bankou. Tento překladač umožňuje překlad jazyka kontrol do jazyka SQL, který je následně možné spustit ...

    • Implementace Simple Object Machine v funkcionálním programovacím jazyce 

      Autor: Filip Říha; Vedoucí práce: Křikava Filip; Oponent práce: Sliacký Jan
      (Č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)
      Tato práce se zabývá implementaci dialektu programovacího jazyka Smalltak nazývaného Simple Object Machine (SOM), a to v čistě funkcionálním programovacím jazyce Haskell. Práce zkoumá syntaxi a sémantiku SOM programu a ...

    • Vícevláknová metoda řazení Timsort 

      Autor: Daniel Blažek; 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., 2023-06-15)
      Cílem této práce je zabývat se sekvenčními optimalizacemi algoritmu Timsort a jeho paralelizací pomocí OpenMP. Nově vzniklé algoritmy jsou otestovány a porovnány se základní verzí Timsortu a dalšími vybranými řadícími ...

    • Skrývání vůdců skrytých sítí: perspektiva výpočetní složitosti 

      Autor: Patrik Drbal; Vedoucí práce: Schierreich Šimon; 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., 2023-06-15)
      V této práci poskytujeme úvod do problematiky skrytých sítí (covert networks) a jejich analýzy, s důrazem na problém Hiding Leaders, který zkoumáme s ohledem na míru centrality měřenou stupněm uzlu (degree centrality) a ...

    • 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ýpočetní složitost problémů blízkých TSP v řídkých grafových třídách 

      Autor: Vitalii Shakhmatov; Vedoucí práce: Knop Dušan; 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., 2023-06-15)
      V této bakalářské práci představujeme a zkoumáme problém Multi-Graph Multi-Constrained Optimal Path (MGMCOP). Tento problém souvisi s problémem obchodniho cestujiciho (TSP), který je známý jako NP-úplný problém. Problém ...

    • Výpočetní složitost problému Maximum Betweenness Centrality: Multivarietní analýza 

      Autor: José Gaspar Smutný; Vedoucí práce: Schierreich Šimon; Oponent práce: Opler Michal
      (Č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)
      Problém Maximum Betweenness Centrality spočívá ve výběru skupiny úzlů uživateli zadané velikosti ze sociální sítě tak, abychom maximalizovali pravděpodobnost zachycení komunikace probíhající po nejkratších cestách v rámci ...

    • Strukturované volby komisí 

      Autor: Terezie Hrubanová; Vedoucí práce: Knop Dušan; Oponent práce: Opler Michal
      (Č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)
      Tato práce se zabývá hledáním vítěze ve volbách komisí. Poskytujeme přehled volebních systémů pro single-winner a multi-winner volby. Hledání vítěze je často výpočetně náročné, proto zavádíme volby se strukturovanými ...

    • Stability koalic a změna agentů 

      Autor: Suzan Catay; Vedoucí práce: Knop Dušan; 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., 2023-06-15)
      Práce se věnuje Hedonickým hrám a přináší přehled používaných konceptů stability a omezení preferenčních profilů. Dále se zaměřuje na upravenou verzi Hedonických her, při které se z existující struktury koalic tvoří nová, ...

    • K-means clustering algoritmus na paralelních platformách 

      Autor: Emil Eyvazov; 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., 2023-02-10)
      Implementace shlukovaciho algoritmu K-means na vicevláknové platformě pomoci OpenMP a na GPU pomoci technologie CUDA. Porovnáni doby prováděni implementace CUDA s vicevláknovými a sekvenčnimi implementacemi na CPU.

    • Průzkum metod řešících problém indexování stromových datových struktur 

      Autor: Karolina Hrnčiříková; Vedoucí práce: Šestáková Eliška; Oponent práce: Plachý Š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., 2022-06-16)
      Stromové indexování je problém vyhledávání určitého typu dotazů v předzpracovaných datech, které mají tvar stromové struktury. Tento problém existuje v mnoha variantách. Jelikož jsme nenašli shrnutí, které by popisovalo ...

    • Nové modely ve vícevrstevném přiřazování 

      Autor: Kryštof Razima; Vedoucí práce: Knop Dušan; 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., 2022-06-16)
      Přiřazovací problém je problémem na pomezí matematické a ekonomické teorie. Přiřazovací problém se skládá z agentů a položek, agenti vyjadřují své preference k položkám a cílem je najít (určitým způsobem) optimální přiřazení. ...

    • Problém monitorovaní hran vzdálenostmi vzhledem ke strukturálním parametrům 

      Autor: Václav Lepič; Vedoucí práce: Suchý Ondřej; 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., 2022-06-16)
      Tato práce se zabývá problémem monitorování hran pomocí vzdáleností. Problém je nejdříve popsán a poté je k němu přistoupeno z pohledu strukturálních parametrů. Algoritmus parametrizovaný velikostí vrcholového pokrytí byl ...

    • Paralelní výpočty na strukturovaných mřížkách na GPU 

      Autor: Yury Hayeu; 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., 2022-06-16)
      Různé numerické metody používají strukturované ortogonální mřížky kvůli jejich jednoduché implementaci. Tato práce se zaměřuje na zdokonalení implementace strukturovaných ortogonálních mřížek v knihovně Template Numerical ...

    • Analýza datových toků v Azure Data Factory 

      Autor: Jan Chybík; Vedoucí práce: Trávníček Jan; Oponent práce: Košvanec Petr
      (Č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 zaměřuje na analýzu datových toků v nástroji Azure data factory. Zkoumá reprezentaci datových toků projektu Manta. Prozkoumává a popisuje zdrojové soubory Azure data factory a následně navrhuje způsob, jak ...

    • 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í ...