Department of Theoretical Computer Science
Recent Submissions
-
Implementace staticky typovaného, lazy, funkcionálního jazyka
; Supervisor: Culpepper Ryan Michael; 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., 2022-08-25)Tato práce se věnuje implementaci funkcionálního, staticky typovaného programovacího jazyka inspirovaného jazykem Haskell. Hlavním bodem zájmu práce je implementace typového systému pro tento jazyk. Implementace vychází z ... -
Průzkum metod řešících problém indexování stromových datových struktur
; Supervisor: Šestáková Eliška; Opponent: 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í
; 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., 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
; Supervisor: Suchý Ondřej; 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., 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
; 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., 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
; Supervisor: Trávníček Jan; Opponent: 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
; Supervisor: Šimeček Ivan; Opponent: 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í ... -
Implementace a porovnání různých typů vyhledávacích stromů
; Supervisor: Šimeček Ivan; 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., 2022-06-16)Tato práce se zabývá datovou strukturou vyhledávací strom, především jejími typy. V práci je detailně popsán vyhledávací strom, jednotlivé typy vyhledávacích stromů, jejich výhody, nevýhody, vlastnosti a příklady využití. ... -
Platforma pro měření efektivity komunikace mikrokontroleru Arduino s externími senzory
; Supervisor: Kubalík Pavel; Opponent: Hülle Robert
(Č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)Práce se zabývá analýzou a měřením sítě senzorů a jiných modulů, centrálně řízenou mikrokontrolérem Arduino (modely Uno a Mega 2560) přes RS485. Je navrhnut jednoduchý komunikační protokol, který je následně použit pro ... -
Sledování chodců ve video sekvencích
; Supervisor: Naiser Filip; Opponent: Hrabák Pavel
(Č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)Sledováni pohybu objektů ve videosekvencich nabizi velký výzkumný i komerčni potenciál. Jedná se napřiklad o sledováni pohybu zákazniků a zaplněnosti budov. V rámci práce zkoumáme jak co nejpřesněji a nejeefektivněji ziskat ... -
Návrh šablonovacího jazyka a implementace překladače
; Supervisor: Plachý Štěpán; Opponent: Jirůtka Jakub
(Č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)Cílem této práce je návrh a implementace šablonavacího jazyka, pro tvorbu HTML stránek, který se zaměřuje na podporu funkcionálního stylu programování, pomocí nehož lze vylepšit vlastnosti šablonovacích jazyků. Základními ... -
Debugger SECD virtuálního stroje
; 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., 2022-06-16)Práce popisuje implementaci debuggeru SECD stroje, sestávajícího se z SECD virtualního stroje a frontendové části. Programovací jazyk tiny-lisp je navržen jako jazyk, jehož programy budou interpretovány SECD virtuálním ... -
Ověřená binární halda
; 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., 2022-06-16)Tato práce popisuje implementaci binární minimové haldy a formální důkazy korektnosti jednotlivých operací. Ověřená binární halda je následně použita v Dijkstrově algoritmu pro hledání nejkratší cesty v grafu. -
Vyhledávání opsaných programů
; Supervisor: Vagner Ladislav; Opponent: Balík Miroslav
(Č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)Plagiátorství zdrojových kódů je problematika, se kterou se musí potýkat nejeden vysokoškolský kurz programování. Tato bakalářská práce se zaměřuje na vylepšení detekce opsaných programů pro systém ProgTest, portál pro ... -
Integrace metody ITO do nástroje ParaCell
; Supervisor: Šimeček Ivan; Opponent: 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-02)Tato práce se zabývá zpracováním dat získaných pomocí metody práškové difrakce. Konkrétně se zabývá jednou z metod indexace těchto dat, ITO. Práce obsahuje základní pojmy z oblasti krystalografie a s ní spjatou metodou ... -
Ahead-of-time kompilátor pro jazyk microC
; Supervisor: Křikava Filip; 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., 2022-06-02)Cílem této práce je implementace ahead-of-time optimalizujícího kompilátoru microC---jazyku, který se používá v předmětu NI-APR (Vybrané metody analýzy programů) na FIT ČVUT pro výuku analýz programů. Tento kompilátor má ... -
Nástroj pro inspekci vnitřního stavu runtime jazyka R
; Supervisor: Siek Konrad; Opponent: Máj 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-02)Tento projekt se zaměřuje na vizualizaci vnitřního stavu interpreteru jazyka R. -
Power manager pro jakýkoliv linuxový desktop
; Supervisor: Křikava Filip; 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., 2022-06-02)Správce napájení je služba, která reaguje na aktivitu uživatele a spouští různé akce pro úsporu energie. Například ztlumí jas obrazovky, uzamkne uživatelskou relaci nebo převede systém do režimu spánku. Většina stávajících ... -
Paralelní algoritmy pro hešování dat na GPU
; 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., 2022-06-02)Tato práce se zabývá problematikou hešovacích tabulek na grafických kartách využívajících technologii CUDA. Je zaveden potřebný teoretický základ, ve kterém je kladen důraz na datovou strukturu HashGraph, propojující ... -
Analýza toku výjimek v Kotlinu
; Supervisor: Hunka Jiří; 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., 2022-06-02)Ošetřování výjimek je nezbytnou součástí vývoje softwaru, je však zároveň také jednou z nejnáročnějších. Chyby ve zpracování výjimek mohou způsobit mnoho problémů - od špatného uživatelského rozhraní až po bezpečnostní ...
RSS 1.0