Now showing items 1-20 of 163

  • Multiagentní podpora pro vytváření strategických her 

    Knapek, Petr
    Tato práce je věnována návrhu systému schopného tvorby obecných, autonomních ovládacích prvků strategických her založených na agentních systémech s podporou sociálních schopností, inteligentního rozhodování a učení. Budou ...
  • Lepší vymezení herního prostoru pro VR pomocí 3D sensorů 

    Tinka, Jan
    V posledních letech se na trhu začala objevovat VR zařízení, což má za následek celkový nárůst popularity VR. Špičkové produkty jako HTC Vive a Oculus Rift s přesným room-scale sledováním podporují z důvodu bezpečnosti a ...
  • Navigace pomocí hlubokých konvolučních sítí 

    Skácel, Dalibor
    Tato práce se věnuje problematice navigace a autonomního řízení za použití konvolučních neuronových sítí. Jsou zde představeny hlavní přístupy využívající zpracování senzorických vstupů uváděné v odborné literatuře a popsána ...
  • Opensource řešení EET s evidencí skladu a portálem pro zákazníky 

    Švestka, Jakub
    Tato práce se zabývá studií webových technologií pro vývoj informačních systémů, analýzou požadavků, návrhem a implementací systému pro prodej zboží, který podporuje evidenci tržeb do EET, evidenci skladu a dále nabízí ...
  • Vzdálená správa výtahu 

    Weisser, Filip
    Cílem diplomové práce bylo vytvořit vhodný a snadno použitelný systém, který může pomoct pracovníkům firem při obsluze výtahu. Pro tyto účely bylo nutné nastudovat komunikační rozhraní a protokol řídicí jednotky zapůjčené ...
  • Optimalizace strojového učení pro predikci KPI 

    Haris, Daniel
    Cieľom tejto práce je optimalizácia strojového učenia pre predikciu KPI metrík pre jednu organizáciu. Organizácia predpovedá oneskorenie termínov ukončenia poslednej fázy projektov v procese vývoja pomocou strojového učenia. ...
  • Automatická identifikace šablony generující spam kampaně 

    Kovařík, David
    Spam se typicky nevyskytuje ve formě samostatných zpráv, ale často bývá sdružován do takzvaných kampaní. Ty bývají automaticky generovány pomocí šablon. Díky tomu jsou jednotlivé zprávy sémanticky, ale ne syntakticky, ...
  • Nástroj pro abstraktní regulární model checking 

    Chalk, Matěj
    Metody formální verifikace mohou poskytnout automatizované ověření korektnosti softwaru (stavěné na matematických základech), což je velmi důležité. Jednou z těchto metod je abstraktní regulární model checking, jenž používá ...
  • Metodika měření kvality otisků prstu 

    Oravec, Tomáš
    Táto práca sa zaoberá metodikou hodnotenia kvality odtlačkov prstov. Prvou úlohou bola analýza už existujúceho softvéru na hodnotenie kvality, nazývaného NFIQ (NIST Fingerprint Image Quality), zhodnotenie jeho funkčnosti ...
  • Lokalizace mobilního robota v prostředí 

    Urban, Daniel
    Táto diplomová práca sa zaoberá problematikou lokalizácie mobilného robota v prostredí, na základe senzorických 2D a 3D dát a záznamov z minulosti. Práca je zameraná na detekciu robotom už navštívených miest. Implementovaný ...
  • Regulated Grammar Systems 

    Tomko, Martin
    Práce poskytuje přehled základů teorie formálních jazyků, regulovaných gramatik a analýzy LL(1) jazyků. Je zde navržen a analyzován algoritmus pro analýzu programovaných gramatik, inspirován LL(1) analyzátorem. Třída jazyků ...
  • Distribuovaná obnova hesel s využitím nástroje hashcat 

    Zobal, Lukáš
    Cílem této práce je vyvinout distribuované řešení pro obnovu hesel využívající nástroje hashcat. Základem tohoto řešení je nástroj pro obnovu hesel, Fitcrack, vyvinutý v rámci mé předchozí spolupráce na projektu TARZAN. ...
  • Aplikace teorie formálních jazyků v oblasti počítačové bezpečnosti 

    Regéciová, Dominika
    Počítačová bezpečnost je a vždy bude kritickou oblastí, která ovlivňuje každého z nás. Přes veškeré úsilí vynaložené na tvorbu bezpečnějších systémů a jejich testování se však stále objevují nové chyby a zranitelnosti ...
  • Webová aplikace pro grafické zadávání a spouštění Spark úloh 

    Hmeľár, Jozef
    Táto diplomová práca sa zaoberá problematikou spracovania Big data v distribuovanom systéme Apache Spark pomocou nástrojov, ktoré umožňujú vzdialené zadávanie a spúšťanie Spark úloh cez webové rozhranie. Autor v prvej časti ...
  • Simulátor dopravních infrastruktur a situací 

    Švaňa, Petr
    Cílem této diplomové práce je vytvořit simulační systém s využitím konfigurací dopravních řadičů sX od společnosti Siemens. Systém se skládá ze dvou aplikací. První aplikace využívá existující platformu SUMO jako zdroj ...
  • Inkrementální induktivní pokrytelnost pro alternující konečné automaty 

    Vargovčík, Pavol
    V tejto práci navrhujeme špecializáciu algoritmu inductive incremental  coverability, ktorá rieši problém prázdnosti alternujúcich konečných automatov. Experimentujeme s rôznymi návrhovými rozhodnutiami, analyzujeme ich a ...
  • Porovnání časově závislých metod pro převod barevného obrazu na šedotónový 

    Vlkovič, Vladimír
    Táto diplomová práca sa zaoberá porovnaním časovo závislých metód prevodu videa do šedotónu pomocou používateľského experimentu. Metodika testovania je založená na párovom teste pomocou metódy 2AFC. Obsahuje 2 varianty ...
  • Automatická mitigace DDoS útoku 

    Nagy, Peter
    Cieľom práce je automatizovaná mitigácia DDoS útokov. Táto práca sa zaoberá prehľadom jednotlivých GNU/Linux systémov používaných na konfiguráciu siete. Cieľom je výber platformy, ktorá môže byť vhodne rozšírená za účelom ...
  • Inteligentní jednací místnost ovládaná hlasem 

    Bauer, Jan
    Hlavním cílem práce je navrhnout a implementovat systém hlasového ovládání místnosti. Pro řešení práce je použit Phonexia Speech Engine, který je produktem společnosti Phonexia. Základem pro celý systém je minipočítač ...
  • Nová generace IPFIX kolektoru 

    Huták, Lukáš
    Tato práce se zabývá zpracováním záznamů toků vzniklých monitorováním provozu počítačových sítí z pohledu IPFIX kolektoru. Analyzuje současné řešení modulárního kolektoru, který již prošel značným historickým vývojem, a ...