Nedávno přidané

Zobrazují se záznamy 1-20 z 134

    • 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 ...
    • Podchycování cest v grafech 

      Autor: Červený Radovan; 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., 2018-06-06)
      Problém zvaný d-Path Vertex Cover, d-PVC spočívá v nalezení podmnožiny F vrcholů daného grafu G=(V,E) takové, že G \ F neobsahuje žádnou cestu na d vrcholech. Cesty, které chceme takto podchytit, nemusí být indukované. Je ...
    • Aplikace přepisovacích pravidel v teorii čísel 

      Autor: Oppl David; Vedoucí práce: Dombek Daniel; Oponent práce: 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., 2018-06-06)
      Tato diplomová práce se zabývá jazykem přepisovacích pravidel, speciálních zobrazení na množině nekonečných slov. Práce obsahuje přehled základních pojmů z teorie formálních jazyků a teorie čísel. Následně je čtenáři uvedena ...
    • Record a Replay debugování v R 

      Autor: Slavík Kryštof; Vedoucí práce: Máj Petr; Oponent práce: 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., 2018-06-06)
      Nedeterminismus v programech často způsobuje, že se v nich nežádoucí chování vyskytuje zdánlivě náhodně. Record and Replay debugger je nástroj, který umožňuje programátorům izolovat takové chování tím, že se běh programu ...
    • 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í ...
    • Výběr náhradních modelů pro evoluční black-box optimalizaci v zašuměném prostředí 

      Autor: Hejl Vojtěch; Vedoucí práce: Holeňa Martin; Oponent práce: Žegklitz Jan
      (Č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)
      Tato práce navazuje na výzkum L. Bajera, Z. Pitry, J. Repického a M. Holeňi o náhradním modelování v algoritmu CMA-ES. Cílem této práce bylo ověřit kvalitu současného návrhu a poté navrhnout varianty s testováním více ...
    • 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 ...
    • Efektivní dotazování nad databází PubChem 

      Autor: Valášek Jan; Vedoucí práce: Galgonek Jakub; 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., 2018-01-10)
      Tato práce se zabývá způsoby a technologiemi vyhodnocování dotazů v jazyce SPARQL na rozsáhlých RDF datech pocházejících z projektu \mbox{PubChemRDF}. Součástí publikace je popis jednotlivých nástrojů, použitých optimalizací, ...
    • Analýza leteckých dat a hledání anomálních pasažérů 

      Autor: Tóth Matúš; Vedoucí práce: Kordík Pavel; Oponent práce: Kopp Martin
      (Č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)
      V tejto diplomovej práci sa venujem preskúmaniu možností detekcie anomálií v rôznych typoch dát, spracovaniu leteckých dát poskytnutých Polícou ČR do formy vhodnej pre modelovanie a detekciu spomínaných anomálií. Pre letecké ...
    • Určování DNA sekvencí z Nanopore dat 

      Autor: Horák Tomáš; Vedoucí práce: Daněček Petr; 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-06-28)
      Určování DNA sekvencí z Nanopore dat se v současnosti velmi rychle vyvíjí. Od představení zařízení MinION je možné se soustředit na část zvanou určování bází. Tato práce implementuje snadno použitelný nástroj, který k ...
    • Porozumění dokumentům pomocí metod text miningu 

      Autor: Stamenov Sergii; Vedoucí práce: Kordík Pavel; Oponent práce: Paščenko Petr
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-02-17)
      Klíčová slova jsou výrazy které popisují téma dokumentu. Používají se také pro shrnutí dokumentu nebo při optimalizaci jejich vyhledávaní. Cílem této práce je prozkoumat možnosti vylepšení extrakce klíčových slov a jejich ...
    • 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 ...
    • Analýza argumentov Najvyššieho amerického súdu pomocou techník spracovania prirodzeného jazyka 

      Autor: Polák Lukáš; Vedoucí práce: Webb Nicholas; Oponent práce: Dojčinovski Milan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-01-12)
      Táto práca používá jednoduché techniky NLP pre natrénovanie modelu schopného predpovedať rozhodnutie prípadu vypočutého Najvyšším Americkým Súdom na základe analýzy ústneho pojednávania súdu. Pokúša sa ukázať, že jednoduché ...
    • Rozšíření systému NEMEA pro nasazení v distribuovaném prostředí 

      Autor: Švepeš Marek; Vedoucí práce: Čejka Tomáš; Oponent práce: Benáček 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-17)
      Množství dat, které musí v dnešní době monitorovací systémy zpracovávat, roste kvůli zvyšující se rychlosti počítačových sítí a přibývajícímu počtu připojených zařízení. Kvůli různým typům bezpečnostních hrozeb musí být ...
    • Škálovatelnost prediktivních modelů 

      Autor: Frýda Tomáš; Vedoucí práce: Kordík Pavel; 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., 2017-01-11)
      Tato práce má dva hlavní cíle - (1) paralelizovat FAKE GAME integrací do open source frameworku H2O, zaměřeného na strojové učení, a (2) hodnocení anytime vlastností algoritmů strojového učení a vlivu optimalizace ...
    • Plánovač setkání 

      Autor: Koc Lukáš; 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.Czech Technical University in Prague. Computing and Information Centre., 2017-02-19)
      Tato diplomová práce se zabývá vytvořením a následném měřením aplikace Plánovač setkání. Cílem aplikace je nalezení optimálního místa setkání pro skupinu lidí tak, aby pro každého z účastníků byla vzdálenost k výstupnímu ...
    • GCC a LLVM - Porovnání implementací zadních částí překladačů 

      Autor: Löbl Pavel; Vedoucí práce: Polách Radomír; 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., 2017-02-17)
      Tato diplomová práce se zabývá problematikou překladu programovacích jazyků do strojového kódu. Zaměřuje se na zadní část překladače a vysvětluje základní pojmy a principy fungování generátoru strojového kódu. Dále podrobněji ...
    • Online Ramsey teorie 

      Autor: Blažej Václav; Vedoucí práce: Valla Tomáš; Oponent práce: Starý 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)
      Tato práce se zabývá online Ramseyovou teorií. Problém je definován jako kombinatorická hra Buidera a Paintera. Je dán libovolný graf H a hrací plocha nekonečně mnoha nezávislých vrcholů. Každé kolo Builder postaví novou ...
    • Minimalizace stromových a zásobníkových automatů 

      Autor: Plachý Štěpán; 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., 2017-05-09)
      Práce se zabývá vztahem mezi konečnými stromovými automaty a zásobníkovými automaty, a jejich minimalizací. Konečné Stromové automaty jsou rozšířením konečných automatů a zpracovávají regulární stromové jazyky. V práci ...
    • 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 ...