Prohlížení katedra teoretické informatiky dle názvu
Zobrazují se záznamy 205-224 z 545
-
Implementace Stromového kompresního automatu (TCA)
; Vedoucí práce: Poliak Martin; Oponent práce: Janoušek Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-28) -
Implementace větvících regulárních výrazů
; Vedoucí práce: Polách Radomír; Oponent práce: Trávníček Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-13)Větvící regulární výrazy jsou regulární výrazy rozšířené o unární operátor Fork. Tento operátor přidává souběžnou složku k výrazům. Cílem práce je tyto Větvící regulární výrazy implementovat, aby se daly využít k analýze ... -
Implementace Virtualniho Stroje SOM
; Vedoucí práce: Máj Petr; Oponent práce: Siek Konrad
(Č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)Táto práca popisuje implementáciu virtuálneho stroja pre programovací jazyk Simple Object Machine, založenom na Smalltalku. Takisto obsahuje analýzu existujúcich riešení a analýzu vlastného riešenia. Práca prezentuje ... -
Implementace vyhledávání v řetězcích pomocí kompaktního suffixového automatu
; Vedoucí práce: Trávníček Jan; 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., 2018-06-17)Práce se zabývá problémem rozhodnout, jestli pro zadaná slova w a u platí, že u je podslovem w a případně vrátit množinu pozic, kde se u nachází. Konkrétně se zabývá přímou konstrukcí kompaktního suffixového automatu, který ... -
Implementace vylepšených suffixových polí a jejich použití
; Vedoucí práce: Trávníček Jan; 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., 2020-06-11)Hlavní nevýhodou suffixového stromu je velká paměťová náročnost. Jedna z paměťově efektivnějších struktur je suffixové pole, a nedávno se ukázalo, že každý algoritmus řešený suffixovým stromem lze nahradit stejně časově ... -
Implementace zrychlené LR analýzy
; Vedoucí práce: Janoušek Jan; Oponent práce: Trávníček Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-19)Tato bakalářská práce se zabývá implementací zrychlené LR syntaktické analýzy do automatové knihovny vyvíjené na Katedře teoretické informatiky na Fakultě informačních technologií ČVUT v Praze. Tato knihovna umožňuje práci ... -
Indexování XML dokumentů
; Vedoucí práce: Janoušek Jan; Oponent práce: Trávníček Jan
(Č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)Výzkum v oblasti indexování řetězců má již mnoho prezentovaných výsledků, což však neplatí pro ostatní datové struktury, jakými jsou například stromy. Tato práce obsahuje v prvé řadě shrnutí metod pro indexování řetězců a ... -
Indexování XML dokumentů pomocí automatů: implementace a experimentální vyhodnocení
; Vedoucí práce: Šestáková Eliška; Oponent práce: Trávníček Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-13)Tato práce se zabývá implementací a experimentálním vyhodnocením metod pro indexování XML dokumentů. Konkrétně se jedná o metody Tree String Path Automaton (TSPA), Tree String Path Subsequence Automaton (TSPSA) a Tree Path ... -
Indexování XML dokumentů pomocí automatů: výběr neznámých uzlů
; Vedoucí práce: Šestáková Eliška; 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., 2018-06-13)Tato práce je součástí projektu "Indexování XML dokumentů pomocí automatů". Popisuje existující metody pro indexování XML dokumentů, které jsou založeny na teorii automatů, a jejich rozšíření, za účelem umožnění efektivního ... -
Informační podpora klinických studií
; Vedoucí práce: Kordík Pavel; Oponent práce: Borovička Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-02-12) -
Informační systém pro evidence počítačových komponent
; Vedoucí práce: Koller Jan; Oponent práce: Vagner Ladislav
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-16) -
Inkrementální analýza PL/SQL skriptů
; Vedoucí práce: Janoušek Jan; Oponent práce: Toušek Jiří
Tato práce se zabývá vylepšením mechanizmu transformací u systému \acrlong{mt}. Transformace umožňuje automaticky upravit \acrshort{plsql} kód, reprezentovaný pomocí \acrshort{ast}, tak, aby splňoval určitá pravidla. ... -
Inkrementální komprese založená na clusterování
; Vedoucí práce: Holub Jan; Oponent práce: Trávníček Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27) -
Inkrementální učení kvantové generativní adversariální sítě
; Vedoucí práce: Petr Ivo; Oponent práce: Vašata Daniel
(Č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)Obor strojového učení ukázal neuvěřitelný dopad na mnoho druhů optimalizačních problémů. Nedávno byla síla strojového učení použita k zrychlení přípravy kvantových stavů. Navzdory skutečnosti, že aproximace stavu pomocí ... -
Integerové datové struktury
; Vedoucí práce: Valla Tomáš; Oponent práce: Mareš Martin
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-01-31)Cílem této práce je návrh a zrychlení datových struktur a algoritmů na modelu RAM s velkou šířkou slova. Zrychlení se děje zejména za pomoci bitových paralelních instrukcí. V práci tuto techniku aplikujeme pro zlepšení ... -
Integrace metody ITO do nástroje ParaCell
; Vedoucí práce: Šimeček Ivan; Oponent práce: 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-02-03)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 ... -
Integrace metody ITO do nástroje ParaCell
; Vedoucí práce: Šimeček Ivan; Oponent práce: 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 ... -
Integrace syntaxe založené na jazyku Python pro Clang/LLVM překladač jazyka C++
; Vedoucí práce: Polách Radomír; Oponent práce: Trávníček Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-01-14)Tato práce se zabývá návrhem a implementací rozšíření jazyka C++ pro překladač Clang/LLVM. Cílem tohoto rozšíření je zjednodušení a zlepšení čitelnosti. Hlavní inspirací jsou jazyky Python a CoffeeScript. Obsahem práce je ... -
Integrace systému Portál spolupráce s průmyslem do datového skladu ČVUT
; Vedoucí práce: Kuznetsov Stanislav; Oponent práce: Friedjungová Magda
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-04)Tato práce se zabývá integrací dat Portálu spolupráce s průmyslem do datového skladu ČVUT. Nad oběma systémy byla nejdříve provedena analýza. Z ní vychází návrh všech vrstev, které odpovídají architektuře existujícího ... -
Integrace systému V3S do datového skladu ČVUT
; Vedoucí práce: Kuznetsov Stanislav; Oponent práce: Valenta 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-11)Práce obsahuje analýzu systému V3S pro účel jeho integrace do Datového skladu ČVUT. Dále popisuje návrh a realizaci stage, integrované, sémantické, přístupové a prezentační vrstvy nově integrovaných dat z V3S do Datového ...