Prohlížení katedra teoretické informatiky dle názvu
Zobrazují se záznamy 1-20 z 545
-
Agentní model globální komerční námořní dopravy
; Vedoucí práce: Vaněk Ondřej; Oponent práce: Janoušek Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24) -
Agregace a prohledávání poštovních logů
; Vedoucí práce: Baier Jan; Oponent práce: Polách Radomír
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-09-05) -
Ahead-of-time kompilátor pro jazyk microC
; Vedoucí práce: Křikava Filip; Oponent práce: 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á ... -
Algebraická kryptoanalýza zmenšených verzí šifry AES
; Vedoucí práce: Jureček Martin; Oponent práce: Lórencz Róbert
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-05)Tato práce navrhuje a demonstruje nové postupy v algebraické kryptoanalýze zmenšených verzí šifry s názvem Advanced Encryption Standard (AES). Tuto šifru modelujeme jako systém polynomiálních rovnic nad GF(2), který zahrnuje ... -
Algoritmus pro hledání podgrafu založený na barevném kódování
; Vedoucí práce: Suchý Ondřej; Oponent práce: Valla Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-10)Tato práce popisuje řešení problému izomorfismu podgrafů pomocí techniky barevného kódování. V práci je popsán problém izomorfismu podgrafů, jeho varianty a jeho aplikace. Dále je rozebrán problém tvorby hezkého stromového ... -
Algoritmus pro tvorbu asociačních pravidel z častých sekvencí
; Vedoucí práce: Kordík Pavel; Oponent práce: Čepek Miroslav
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24) -
Algoritmy a datové struktury pro hešování na GPU
; Vedoucí práce: Oberhuber Tomáš; 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., 2021-01-28)Hešovaci tabulka je typ datové struktury, která umožňuje vloženi a vyhledáváni kličů se složitosti O(1). Některé hešovaci tabulky jsou optimalizované pro práci na grafických procesorech (GPU). Tato práce je zaměřena na ... -
Algoritmy generující bispeciální faktory v D0L systémech
; Vedoucí práce: Starosta Štěpán; Oponent práce: Klouda Karel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2015-06-08)Táto diplomová práca pojednáva o non-pushy a cirkulárnych D0L-systémoch. Poskytujeme v nej prehľad hlavných výsledkov týkajúcich sa D0L-systémov, hlavne metódy popisujúcej všetky bišpeciálne faktory v pevnom bode morfizmu. ... -
Algoritmy kombinatoriky na slovech
; Vedoucí práce: Starosta Š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., 2021-06-05)V této práci je podrobně popsáno několik algoritmů řešících problémy z matematického oboru kombinatorika na slovech. Součástí práce je i jejich implementace v svobodném a otevřeném počítačovém algebraickém systému SageMath ... -
Algoritmy kombinatoriky na slovech týkající se bohatosti na palindromy
; Vedoucí práce: Starosta Štěpán; Oponent práce: Dvořáková Lubomíra
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2015-06-26)Pre danú konečnú grupu G skladajúcu sa z morfizmov a antimorfizmov, popisujeme konečné slová s jazykom uzavretým na grupe G. Definujeme súvisiace pojmy a definície, pričom sa zameriavame na G-bohatosť a k tomu úzko súvisiaci ... -
Algoritmy pro analýzu časoprostorového chování podezřelých osob
; Vedoucí práce: Kordík Pavel; Oponent práce: Buk Zdeněk
Mnoho studií prokázalo, že vzorce lidského pohybu mají vysoký stupeň jak prostorové, tak i časové pravidelnosti. Tento fakt nás ujišťuje, že je možné vytvořit model lidského chování pro extrakci vzorů chování a predikci ... -
Algoritmy pro detekci trajektorie míče
; Vedoucí práce: Šimeček Ivan; Oponent práce: Sušický Marek
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-02-03)V této práci je řešena problematika detekce trajektorie tenisového míčku, kurtu, hráčů a událostí (úder, dopad apod.) v televizním záznamu tenisového utkání. Práce předpokládá vyznačení začátku a konce tenisové výměny ... -
Algoritmy pro hledání v notových záznamech a jejich porovnání
; Vedoucí práce: Matyáš Petr; Oponent práce: Starý Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27) -
Algoritmy pro násobení polynomů
; Vedoucí práce: Šimeček Ivan; Oponent práce: Langr Daniel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-17)Tato bakalářská práce se zaměřuje na vybrané algoritmy pro násobení polynomů. V teoretické části jsou tyto algoritmy popsány a je vysvětlen jejich princip. Praktická část se zaměřuje na implementaci a následnou optimalizaci ... -
Algoritmy pro násobení polynomů
; 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., 2017-05-15)Bakalářská práce se zabývá vybranými algoritmy pro násobení polynomů, zejména Karatsubova a Schönhageho-Strassenova algoritmu. Cílem práce je implementace algoritmů v jazyku C++, optimalizace pomocí transformace zdrojového ... -
Algoritmy pro podporu sémantické analýzy
; Vedoucí práce: Jiřina Marcel; Oponent práce: Hanousek Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27) -
Algoritmy pro řešení neorientovaného a orientovaného Problému čínského listonoše
; Vedoucí práce: Šimeček Ivan; 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., 2021-06-12)Tato bakalářská práce se zabývá Problémem čínského listonoše, konkrétně jeho neorientovanou a orientovanou variantou. Problém čínského listonoše je optimalizační úloha z teorie grafů. V úvodu je tento problém rozebrán spolu ... -
Algoritmy pro řešení problému 0-1 baťohu
; 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., 2019-06-20)Tato Bakalářská práce se zabývá problémem batohu 0-1 a přístupy hledajícími jeho optimální řešení. V práci je implementován v jazyce C++ algoritmus založený na metodě větví a mezí, dále algoritmus založený na metodě ... -
Algoritmy pro řešení problému čínského listonoše
; Vedoucí práce: Šimeček Ivan; Oponent práce: Suchý Ondřej
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-09-03)Tato bakalářská práce se věnuje vybraným algoritmům pro řešení problému čínského listonoše (varianta DCPP), tj. jednou z optimalizačních úloh z oboru teorie grafů. Úkolem je najít nejkratší cestu listonoše na jeho cestě ... -
Algoritmy pro řešení problému čínského listonoše
; Vedoucí práce: Šimeček Ivan; Oponent práce: Suchý Ondřej
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-01-28)Tato bakalářská práce se věnuje vybraným algoritmům pro řešení problému čínského listonoše (varianta DCPP - Directed Chinese Postman Problem), tj. jedné z optimalizačních úloh z oboru teorie grafů. Úkolem této úlohy je ...