Bakalářské práce - 18101
Zobrazují se záznamy 1-20 z 349
-
Strukturální vlastnosti infrastrukturních sítí
; 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
; 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ů
; 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
; 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í
; 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
; 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
; 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
; 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
; 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 ... -
Frontend překladače pro podmnožinu programovacího jazyka C++
; 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
; 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
; 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
; 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
; 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
; 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
; 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
; 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
; 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
; 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
; 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 ...
RSS 1.0