• Inkrementální učení kvantové generativní adversariální sítě 

      Autor: Artem Kandaurov; 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 

      Autor: Brožek Miloslav; 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 

      Autor: Michal Čermák; 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 

      Autor: Michal Čermák; 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 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 ...