Bachelor Theses - 18101

 

Now showing items 1-20 of 360

    • Rozvrhování projektů s alternativními recepty 

      Author: Jakub Charvát; Supervisor: Hanzálek Zdeněk; Opponent: Pokorný Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-14)
      Výrobci neustále usilují o optimalizaci výrobních harmonogramů s cílem minimalizovat náklady. Zatímco tradiční modely plánovacích problémů předpokládají pevnou strukturu projektu, mnoho projektů v reálném světě je ze své ...

    • Syntaktická analýza zdola-nahoru a rezoluce datových typů pro obecné výrazy 

      Author: Matěj Ptáček; Supervisor: Plachý Štěpán; 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., 2025-06-14)
      V této práci implementujeme tabulku operátorů, pomocí které lze definovat formální jazyky. Tabulka je konvertována na gramatiku, ze které je vygenerován LR($1$) parser schopný vytvořit abstraktní syntaktický strom. Na tomto ...

    • Hledání NAC-obarvení: složitost a algoritmy 

      Author: Petr Laštovička; Supervisor: Legerský Jan; Opponent: Opler Michal
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-14)
      Jednou z otázek v strukturální teorii tuhosti (Rigidity Theory) je, zda realizace vrcholů grafu do roviny je pohyblivá, tj. zda umožňuje spojitou deformaci neměnící délku hran. Pohyblivá realizace souvislého grafu v rovině ...

    • Propagace konstant do OpenMP jader 

      Author: Josef Melcr; Supervisor: Hodač Petr; Opponent: Hubička Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-14)
      Propagace konstant je důležitou optimalizací v moderních překladačích. Tato práce se zabývá návrhem a implementací nového atributu funkcí a struktury rozšiřující graf volání pro umožnění propagace konstant do OpenMP jader. ...

    • Stainless pro vyvažované binární vyhledávací stromy 

      Author: Jakub Švec; Supervisor: Knop Dušan; Opponent: Pokorný Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-14)
      Tato práce se zabývá verifikovanou implementací vyvažovaných binárních vyhledávacích stromů pomocí jazyka Scala a frameworku Stainless. Konkrétními zkoumanými stromy jsou AVL a (left-leaning) red-black stromy. Stromy jsou ...

    • Implementace algoritmů pro regulární stromové gramatiky a výrazy 

      Author: Filip Dilmaghani; Supervisor: Pecka Tomáš; Opponent: Sedláček Josef Erik
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-14)
      Rankované stromy jsou koncept užitečný pro popis větvících se struktur, kde má každý uzel pevně daný počet potomků. Formálně je popisuje řada konceptů, které lze mezi sebou převádět regulární stromové gramatiky, konečné ...

    • Překlad MSOL formulí na konečné automaty 

      Author: Jarmila Fialová; Supervisor: Hušek Radek; Opponent: Opler Michal
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-14)
      Použití formální logiky pro verifikaci praktických řešení je dobře prozkoumaná metoda, využívaná mnoha různými obory od hardwarové verifikace až po syntézu kontrolerů. MONA je nástroj, který dostane na vstupu popis teorie ...

    • Návrh a implementace programovacího jazyka zaměřeného na Typestate 

      Author: Oliver Tušla; Supervisor: Verter Jan Liam; Opponent: Křikava Filip
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-14)
      V objektově orientovaném modelu určuje typestate množinu operací povolených nad instancí objektu v daném stavu. Takové operace jsou obvykle vyjádřené pomocí metod. Zavádíme nové softwarové návrhové paradigma, ve kterém je ...

    • Many-to-one jednostranné párování 

      Author: Emma Hovorková; Supervisor: Valla Tomáš; 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., 2025-06-14)
      Naše téma se zabývá teorií párování, která je podoborem v oblasti algorit-mické teorie her. V této práci zavádíme následující model nazvaný Agents to Facilities with Restriction Problem (AFR): Existuje m zařízení (facilities) ...

    • Cataclysm: Redukce nudných rutin hráče 

      Author: Antonín Drdácký; Supervisor: Knop Dušan; Opponent: Hušek Radek
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-02-07)
      Práce navrhuje a implementuje vybraná řešení pro hru Cataclysm: Dark Days Ahead se zaměřením na požitek hráče a rychlost kódu. Problémy nejsou samy o sobě složité, složitými je dělá kontext. Příklady řešených problémů jsou: ...

    • Výukový nástroj pro LR syntaktickou analýzu 

      Author: Aleksei Grachev; Supervisor: Plachý Štěpán; 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., 2025-02-07)
      This bachelor thesis focuses on the development of a learning tool app for generating LR parsers: LR(0), SLR(1), LALR(1), and LR(1). The goal was to create a modular Python application that enables users to define grammars, ...

    • Strukturální vlastnosti infrastrukturních sítí 

      Author: Václav Turek; Supervisor: Schierreich Šimon; Opponent: Pokorný Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-08-22)
      Tato práce se zaobírá zkoumáním strukturálních vlastností infrastrukturních sítí z pohledu teorie grafů. V práci byly měřeny tyto sítě: evropská elektrorozvodná síť, evropská síť plynovodů, severoamerická elektrorozvodná ...

    • TinyGo Jazyk 

      Author: Maksim Gusev; Supervisor: Máj Petr; 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., 2024-06-21)
      Tato práce představuje jazyk TinyGo a jeho překladač. TinyGo je zjednodušená verze skutečného programovacího jazyka GoLang. Byl vytvořen pro vzdělávací účely studia konstrukce kompilátoru a zachování nejdůležitějších ...

    • Syntaktická analýza obecných výrazů a popis syntaxe programovacího jazyka pomocí výrazů 

      Author: Aleksandr Levin; Supervisor: Plachý Štěpán; 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., 2024-06-21)
      Tato práce poskytuje parser LL(1) pro obecné výrazy. Za předpokladu správné tabulky priorit operátorů je analyzátor schopen analyzovat daný vstupní řetězec a v případě úspěchu poskytnout AST reprezentaci vstupu. Práce také ...

    • Vyvažovací lemata v kernelizaci 

      Author: Daria Objeleanscaia; Supervisor: Knop Dušan; Opponent: 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., 2024-06-21)
      Tato práce shrnuje známé výsledky problému Equitable Connected Partition a zavádí nový kernelizační algoritmus dokazující, že ECP připouští jádro o velikosti $2^{O(k^2)} \cdot n^{O(1)}$, když je parametrizováno krycí číslo ...

    • Strukturální vlastnosti chodníkových sítí 

      Author: Vojtěch Kopal; Supervisor: Schierreich Šimon; Opponent: Hušek Radek
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-21)
      V této práci analyzujeme reálné chodníkové sítě z pohledu grafové teorie. Začínáme získáním dat chodníkových sítí z OpenStreetMap a jejich serializací do různých datových formátů. Za pomocí řešičů celočíselného lineárního ...

    • Interpreter podmnožiny Prologu pomocí Warren Abstract Machine 

      Author: Jiří Skotal; Supervisor: Verter Jan Liam; 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., 2024-06-21)
      Tato práce se zabývá implementací interpreteru pro podmnožinu jazyka Prolog pomocí Warren Abstract Machine. Podrobně popisuje teoretický model Warren Abstract Machine, její vnitřní fungování a nabízí detailní příklady jako ...

    • Možná vylepšení pro algoritmy řešící problém Min-Power Symmetric Connectivity 

      Author: Richard Hartmann; Supervisor: Knop Dušan; Opponent: 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., 2024-06-20)
      V teto praci se zabyvame problemem minimalizace celkove spotreby energie bezdratove site, ktery je formalne znamy jako Min-Power Symmetric Connectivity. Modelem bezdratove site je hranove ohodnoceny neorientovany graf. ...

    • Využití praktik OOP a FP pro vývoj iOS mobilní aplikace pro Ace Volleyball Academy 

      Author: Adam Procházka; Supervisor: Suchánek Marek; Opponent: Blizničenko Jan
      (Č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 bakalářská práce se zabývá vývojem mobilní aplikace pro platformu iOS určené pro organizaci volejbalových tréninků a turnajů v multi-paradigmatickém jazyce Swift. Aplikace umožňuje uživatelům sledovat svůj profil, ...

    • Parametrizované algoritmy pro problém Min-Power Symmetric Connectivity 

      Author: Daniel Dajbov; Supervisor: Opler Michal; 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., 2024-06-20)
      V bakalářské práci představíme problém Min Power Symmetric connectivity (MinPSC), který je na obecných grafech NP-těžký. Problém MinPSC má uplatněni v sítích, kde pro daný uzel chceme zmenšit jeho spotřebu energii na co ...