Nedávno přidané

Zobrazují se záznamy 1-20 z 143

    • Integrace syntaxe založené na jazyku Python pro Clang/LLVM překladač jazyka C++ 

      Autor: Červený Jan; 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 ...
    • Algoritmy kombinatoriky na slovech týkající se bohatosti na palindromy 

      Autor: Gura Matúš; 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 ...
    • Simulace pohybu těles v planetárním systému 

      Autor: Krutil Filip; 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., 2016-02-19)
      Tato práce je zaměřená na optimalizaci kódu, který představuje simulaci pohybu těles, které mezi sebou gravitačne interagují, konkrétně byla k simulaci použita data představující sluneční soustavu. Neoptimalizovaný algoritmus ...
    • Vizualizace implicitně zadaných ploch v SageMath 

      Autor: Koza Jan; Vedoucí práce: Kalvoda Tomáš; Oponent práce: Starosta Štěpán
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-01-10)
      Tato bakalářská práce se zabývá algoritmy pro numerické vykreslování implicitně zadaných ploch. Porovnává vlastnosti vybraných algoritmů a uvádí jejich výhody a nevýhody. Podrobněji zkoumá algoritmus Dual Marching Cubes. ...
    • Heuristiky pro propagaci intervalů 

      Autor: Kottnauer Jakub; Vedoucí práce: Ratschan Stefan; 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., 2016-05-13)
      Omezující podmínka je relace mezi proměnnými omezující množiny hodnot, kterých mohou proměnné nabývat. Problém splnitelnosti omezujících podmínek (CSP) je problém, jehož řešení spočívá v nalezení hodnot proměnných tak, aby ...
    • Automatová knihovna - Grafy a grafové algoritmy 

      Autor: Brož Jan; 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., 2016-05-18)
      Tato práce se zabývá algoritmy z teorie grafů a reprezentací grafů v paměti počítače. Cílem je nastudovat a implementovat vybrané grafové algoritmy a integrovat je do knihovny zvané Automata Library (zkráceně ALib), vyvíjené ...
    • Analýza pohybu pro staticky umístěnou kameru 

      Autor: Baloun Lubomír; Vedoucí práce: Polách Radomír; Oponent práce: Pulc Petr
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-18)
      Tato práce se zabývá implementací algoritmů pro sledování jednotlivých osob, rozhodnutí o přítomnosti určitého objektu a analyzování pohybu do teplotní mapy. V práci je proveden rozbor technik pro vhodné řešení této ...
    • Efektivní LU rozklad pro řídké matice 

      Autor: Turcajová Gabriela; 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-12)
      Cílem práce je implementace Doolitlova algoritmu pro LU rozklad řídkých matic a seznámení s různými heuristikami pro snížení tvorby nenulových prvků, konkrétně s algoritmy Multiple Minimum Degree, Reverse Cuthill-McKee a ...
    • Databázový systém pro numerické struktury 

      Autor: Mašat Miroslav; 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)
      Cílem této práce je nastudovat a implementovat algoritmus numerického databázového systému s využitím datové struktury ohodnoceného binárního stromu. Implementace v jazyce C++ bude srovnána s původní implementací v jazyce ...
    • Herní prostředí s umělou inteligencí pro motivační webovou aplikaci 

      Autor: Kulík Jakub; Vedoucí práce: Jiřina Marcel; Oponent práce: Novák Jakub
      (Č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)
      Bakalářská práce popisuje rozšíření motivační webové aplikace a její strategické hry o schéma inteligentního chování počítačového protivníka. Výsledná aplikace obsahuje pravidlový systém pro ovládání protivníků a multiagentní ...
    • Automatová knihovna - konstrukce LR analyzátoru 

      Autor: Kočička Martin; Vedoucí práce: Trávníček Jan; Oponent práce: Baier 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-18)
      Předmětem této práce jsou základní LR parsovací algoritmy. Práce v úvodu popisuje obecně bottom-up a shift-reduce parsování. Dále se zaměřuje na LR parsování, specificky LR(0) a SLR(1) parsery. Práce obsahuje návrh potřebných ...
    • Detekce vad skleněných tabulí 

      Autor: Tauchmanová Kristýna; Vedoucí práce: Jiřina Marcel; Oponent práce: Novák Jakub
      (Č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 zabývá detekováním vad skleněných tabulí. Na základě studie současných řešení je navržen algoritmus, který je schopen detekovat a klasifikovat různé typy vad. Algoritmus využívá metod zpracování ...
    • Efektivní násobení polynomů 

      Autor: Číla Michal; Vedoucí práce: Šimeček Ivan; Oponent práce: Vagner Ladislav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-12)
      Tato práce se zabývá efektivními algoritmy pro násobení polynomů, konkrétně algoritmy Karatsuba, Toom-Cook a Rychlá Fourierova transformace. Mimo jiné se práce zaměřuje na paralelizaci těchto algoritmů v jazyce C++ za ...
    • Výkonnostní analýza algoritmů neuronových sítí na různých počítačových systémech 

      Autor: Dragomirecký Alan; Vedoucí práce: Skrbek Miroslav; Oponent práce: Borovička 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-17)
      Tato práce pojednává o návrhu a implementaci systému pro automatizované testování výkonnosti algoritmů umělých neuronových sítí. Testování je zaměřeno hlavně na vestavěné systémy. K dosažení tohoto cíle byla vyvinuta ...
    • Detekce přítomnosti zboží v ruce zákazníka 

      Autor: Keruľ-Kmec Oliver; Vedoucí práce: Jiřina Marcel; Oponent práce: Novák Jakub
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-16)
      Táto bakalárska práca sa zaoberá detekciou tovaru v ruke zákazníka na kamerovom zázname. Záznam, ktorý sa skladá z RGB snímky a hĺbkovej mapy pochádza zo zariadenia Kinect. Cieľom práce je navrhnúť a implementovať algoritmus, ...
    • Přesné algoritmy pro geodetické číslo a metrickou dimenzi grafu 

      Autor: Jílek Marek; 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-12)
      Tato bakalářská práce se zabývá vytvořením parametrizovaného algoritmu hledajícího geodetické číslo na grafech s nízkým vrcholovým pokrytím. Geodetické číslo je velikost minimální množiny takové, že na nejkratších cestách ...
    • Klasifikace zařízení na základě toků v počítačových sítích 

      Autor: Kasner Zdeněk; Vedoucí práce: Čejka Tomáš; Oponent práce: Černý Viktor
      (Č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 zabývá automatickým rozpoznáváním typů zařízení komunikujících po síti. Zařízení v počítačových sítích generují provoz, který lze zachytit v podobě síťových toků. Ve své práci jsem navrhl metodu, ...
    • Implementace zrychlené LR analýzy 

      Autor: Doupal Jakub; 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 ...
    • Výměna klíčů založená na isogeniích supersingulárních eliptických křivek 

      Autor: Drhová Klára; Vedoucí práce: Buček Jiří; 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., 2016-05-21)
      Tato bakalářská práce se zabývá implementací výměny klíčů založené na isogeniích supersingulárních eliptických křivek, která se řadí do postkvantové kryptografie. S příchodem kvantových počítačů se dnes používané šifrovací ...
    • Identifikace funkčního stylu dokumentu 

      Autor: Ekimova Svetlana; 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., 2016-05-17)
      Práce se zabývá identifikací funkčního stylu textových dokumentů. Úloha identifikace je řešena jako úloha klasifikační: funkční styl dokumentu se určuje pomocí metod, které bývají používány pro klasifikaci textů. Pro naučení ...