Zobrazují se záznamy 1-20 z 360

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

      Autor: Jakub Charvát; Vedoucí práce: Hanzálek Zdeněk; Oponent práce: 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 

      Autor: Matěj Ptáček; Vedoucí práce: Plachý Štěpán; Oponent práce: 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 

      Autor: Petr Laštovička; Vedoucí práce: Legerský Jan; 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., 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 

      Autor: Josef Melcr; Vedoucí práce: Hodač Petr; Oponent práce: 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 

      Autor: Jakub Švec; Vedoucí práce: Knop Dušan; Oponent práce: 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 

      Autor: Filip Dilmaghani; Vedoucí práce: Pecka Tomáš; Oponent práce: 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 

      Autor: Jarmila Fialová; Vedoucí práce: Hušek Radek; 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., 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 

      Autor: Oliver Tušla; Vedoucí práce: Verter Jan Liam; Oponent práce: 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í 

      Autor: Emma Hovorková; Vedoucí práce: Valla Tomáš; Oponent práce: 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 

      Autor: Antonín Drdácký; Vedoucí práce: Knop Dušan; Oponent práce: 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 

      Autor: Aleksei Grachev; Vedoucí práce: Plachý Štěpán; Oponent práce: 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í 

      Autor: Václav Turek; Vedoucí práce: Schierreich Šimon; Oponent práce: 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 

      Autor: Maksim Gusev; Vedoucí práce: Máj Petr; 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-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ů 

      Autor: Aleksandr Levin; 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-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 

      Autor: Daria Objeleanscaia; 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., 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í 

      Autor: Vojtěch Kopal; Vedoucí práce: Schierreich Šimon; Oponent práce: 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 

      Autor: Jiří Skotal; Vedoucí práce: Verter Jan Liam; 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-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 

      Autor: Richard Hartmann; 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., 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 

      Autor: Adam Procházka; Vedoucí práce: Suchánek Marek; Oponent práce: 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 

      Autor: Daniel Dajbov; Vedoucí práce: Opler Michal; 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., 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 ...