• Integrace systému Portál spolupráce s průmyslem do datového skladu ČVUT 

      Autor: Mikeš Jan; 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 

      Autor: Štádler Michal; 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 ...
    • Karkulka v gramatickém lese: Samoučící 2D hra generovaná gramatikou 

      Autor: Hájková Klára; Vedoucí práce: Richtr Radek; Oponent práce: Chludil Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-01-10)
      Práce se věnuje procedurálnímu generování samoučící 2D hry typu platformer. Generování je prováděno stochastickou kontextovou gramatikou, jejíž pravidla se vytvářejí podle herních objektů definovaných uživatelem. Model ...
    • Klasifikace časových řad pomocí umělých neuronových sítí 

      Autor: Waller Jakub; Vedoucí práce: Borovička Tomáš; 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., 2017-05-09)
      Mnoho různých architektur umělých neuronových sítí bylo navrženo, kupříkladu konvoluční neuronové sítě a long short-term memory neuronové sítě. Cílem této práce je aplikovat tyto sítě na klasifikaci časových řad. Po ...
    • Kombinatorické hry typu Taking and Breaking 

      Autor: Šimon Lomič; Vedoucí práce: Valla Tomáš; Oponent práce: Šámal Robert
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-09)
      V této práci analyzujeme několik otevřených problémů v oblasti nestranných i stranných her typu Taking and Breaking. Pro nestranné odčítací hry dokážeme existenci hry s aperiodickou nim-sekvencí a periodickou sekvencí ...
    • Komprese přirozeného českého textu 

      Autor: Navara Jan; Vedoucí práce: Holub Jan; Oponent práce: Procházka Petr
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-06-30)
      V rámci práce byly navrženy a implementovány 4 algoritmy pro bezeztrátovou kompresi přirozeného českého textu využívající lemmatizátor, morfologický tagger a morfologický generátor obsažený v softwaru MorphoDiTa. První z ...
    • Komprese souborů FASTQ 

      Autor: Jakub Novák; 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., 2020-08-27)
      Tato práce se zabývá analýzou struktury FASTQ souborů, výběrem vhodného kompresniho algoritmu a jeho implementaci. Velká část práce se zabývá popisem algoritmu mixováni kontextů a jeho implementaci. Dále v práci popisuji ...
    • Komprese souborů s notovými zápisy 

      Autor: Baier Jan; Vedoucí práce: Holub Jan; Oponent práce: Balík Miroslav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-02-10)
    • Kompresní metoda PPM využívající de Bruijnovy grafy 

      Autor: Kulík Jakub; Vedoucí práce: Holub Jan; Oponent práce: Procházka Petr
      (Č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)
      Tato práce pojednavá o odlišném přístupu k PPM kompresnímu algoritmu založeném na succinct de Bruijnových grafech. Využívá dynamické binární vektory a waveletové stromy sloučené do jediného stromu pro vytvoření vysoce ...
    • Kompresní metody LZ 

      Autor: Zemančík Tomáš; Vedoucí práce: Baier Jan; Oponent práce: Guth Ondřej
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24)
    • Konstrukce zásobníkového automatu přijímajícího jazyk daný regulárním stromovým výrazem 

      Autor: Pecka Tomáš; Vedoucí práce: Trávníček Jan; Oponent práce: Polách Radomír
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-09)
      Tato práce studuje regulárni stromové výrazy, formalismus pro popis regulárnich stromových jazyků. Hlavnim přinosem práce je nový algoritmus pro převod regulárniho stromového výrazu na ekvivalentni zásobnikový automat, ...
    • Kontextová historie v shellu 

      Autor: Šimon Let; Vedoucí práce: Bařinka Lukáš; 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., 2020-06-11)
      I dnes zůstává příkazová řádka populárním způsobem jak ovládat počítač. Historie shellu umožňuje lidem snadno opakovat předchozí příkazy což zvyšuje jejich produktivitu. Způsob jakým lidé používají shell závisí na kontextu ...
    • Kontrola kompatibility datových typů v Oracle SQL 

      Autor: Pelech Ondřej; Vedoucí práce: Janoušek Jan; Oponent práce: Polách Radomír
      (Č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)
      Programy v Oracle SQL mohou selhat, když obsahují chyby. V této práci představíme metodu pro odhalování chyb specifického druhu -- nekompatibilita datových typů. Analyzujeme datové typy a vestavěné funkce v dialektu Oracle ...
    • Konverze stromových konečných automatů na stromové regulární výrazy metodou eliminace stavů 

      Autor: Tomáš Dejmek; Vedoucí práce: Trávníček Jan; 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., 2019-06-09)
      Tato diplomová práce se zabývá stromovými jazyky. Stromový jazyk se skládá z množiny stromů, podobně jako textový jazyk se skládá z množiny textových řetězců. Jelikož byla dokázána rovnost mezi třídou jazyků přijímaných ...
    • Lehký just-in-time kompilátor pro aritmetické výrazy 

      Autor: Kokorev Igor; Vedoucí práce: Ratschan Stefan; 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., 2017-01-13)
      Úkolem této práce bylo vytvořit knihovnu, která je využitelná ve spojení s některou z knihoven pro nelineární optimalizaci. Pro daný aritmetický výraz (zadaný jako bajtový řetězec v kódování ASCII) je za běhu programu ...
    • LLVM obfuskátor 

      Autor: Petráček Martin; Vedoucí práce: Zahradnický Tomáš; Oponent práce: Blažek Rudolf Bohumil
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-06)
      Obfuskace je známá technika pro ochranu duševního vlastnictví obsaženého v software. Obfuskace softwaru může být prováděna ručně vývojáři, ale to je časově náročné a omezuje to jeho udržovatelnost. Domníváme se, že lepším ...
    • Meta-learning na relačních datech 

      Autor: Blažková Adéla; Vedoucí práce: Motl Jan; Oponent práce: Š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., 2018-01-09)
      Předmětem této práce je návrh a implementace meta-learningového modelu, který predikuje optimální pořadí výpočtu příznaků při transformaci relačních dat do jedné tabulky. V návrhu řešení je stanovena metrika pro vyhodnocení ...
    • Metody pro identifikaci vzorků z hutní výroby 

      Autor: Leškanič Juraj; Vedoucí práce: Kordík Pavel; Oponent práce: Haindl Michal
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24)
    • Metody pro přibližné vyhledávání vzorků v řídkých multidimensionálních polích pomocí metod strojového učení 

      Autor: Kučerová Anna; Vedoucí práce: Krčál Luboš; Oponent práce: Holub Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-09)
      Hlavním cílem této práce je navrhnout řešení přibližného vyhledávání vzorů, které používá některou z metod strojového učení. Toho je dosaženo využitím hashování a již existujících algoritmů. Hashování se používá k nalezení ...
    • Metody výběru příznaků pro klasifikační a regresní úlohy 

      Autor: Verner Pavel; Vedoucí práce: Jiřina Marcel; Oponent práce: Kordík Pavel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-09)
      Diplomová práce se zabývá analýzou metod selekce příznaků a následně porovnáním jejich výkonnosti. V první části jsou metody rozděleny do jednotlivých kategorií, obsahující společné znaky a vlastnosti. Dále rozebírá jejich ...