Kolekce v této sbírce

Poslední příspěvky

  • Rekonfigurovatelná analýza strojového kódu 

    Křoustek, Jakub
    Analýza softwaru je metodologie, jejímž účelem je analyzovat chování daného programu. Jednotlivé metody této analýzy je možné využít i v dalších oborech, jako je zpětné inženýrství, migrace kódu apod. V této práci se ...
  • Metody akcelerace verifikace logických obvodů 

    Zachariášová, Marcela
    Při vývoji současných číslicových systémů, např. vestavěných systému a počítačového hardware, je nutné hledat postupy, jak zvýšit jejich spolehlivost. Jednou z možností je zvyšování efektivity a rychlosti verifikačních ...
  • Automaty v nekonečně stavové formální verifikaci 

    Lengál, Ondřej
    Tato práce se zaměřuje na konečné automaty nad konečnými slovy a konečnými stromy, a použití těchto automatů při formální verifikaci nekonečně stavových systémů. Práce se nejdříve věnuje rozšíření existujícího přístupu pro ...
  • Simulační architektura založená na službách 

    Polášek, Petr
    Tato práce se zabývá problematikou návrhu, modelování a simulace heterogenních systémů, s důrazem na systémy založené na diskrétních událostech. Mezi hlavní přínosy této práce patří návrh simulační architektury založené ...
  • Hybridní rozpoznávání 3D obličeje 

    Mráček, Štěpán
    Tato disertační práce se zabývá biometrickým rozpoznáváním 3D obličejů. V úvodu práce jsou prezentovány současné metody a techniky pro rozpoznávání. Následně je navržen nový algoritmus, který využívá tzv. multialgoritmickou ...
  • Využití GPU pro algoritmy grafiky a zpracování obrazu 

    Jošth, Radovan
    Táto práca popisuje niekoľko vybraných algoritmov, ktoré boli primárne vyvinuté pre CPU procesory, avšak vzhľadom k vysokému dopytu po ich vylepšeniach sme sa rozhodli ich využiť v prospech GPGPU (procesorov grafického ...
  • Algoritmy klasifikace paketů 

    Puš, Viktor
    Tato práce se zabývá klasifikací paketů v počítačových sítích. Klasifikace paketů je klíčovou úlohou mnoha síťových zařízení, především paketových filtrů - firewallů. Práce se tedy týká oblasti počítačové bezpečnosti. Práce ...
  • Inteligence skupiny 

    Winklerová, Zdenka
    Záměrem disertační práce je aplikovaný výzkum skupinové ( kolektivní ) inteligence . K prokázání použitelnosti inteligence skupiny je zkoumán algoritmus na bázi roje částic ( Particle Swarm Optimization PSO ), v němž je ...
  • Modelování prozodických příznaků pro ověřování mluvčího v pod-prostorech 

    Kockmann, Marcel
    Předložená disertační práce se zabývá ověřováním mluvčího pomocí prozodických příznaků zahrnujících hodnoty základního tónu, energie a délek řečových úseků. Studovali jsme dvě rozdílné techniky pro parametrizaci: první ...
  • Verifikace Programů se složitými datovými strukturami 

    Šimáček, Jiří
    Tato práce se zabývá verifikací nekonečně stavových systémů, konkrétně, verifikací programů využívajích složité dynamicky propojované datové struktury. V minulosti se k řešení tohoto problému objevilo mnoho různých přístupů, ...
  • Optimalizace modelování gaussovských směsí v podprostorech a jejich skórování v rozpoznávání mluvčího 

    Glembek, Ondřej
    Tato práce pojednává o modelování v podprostoru parametrů směsí gaussovských rozložení pro rozpoznávání mluvčího. Práce se skládá ze tří částí. První část je věnována skórovacím metodám při použití sdružené faktorové analýzy ...
  • Akcelerace detekce objektů pomocí klasifikátorů 

    Juránek, Roman
    Detekce objektů v počítačovém vidění je složítá úloha. Velmi populární a rozšířená metoda pro detekci je využití statistických klasifikátorů a skenovacích oken. Pro učení kalsifikátorů se často používá algoritmus AdaBoost ...
  • Statistické jazykové modely založené na neuronových sítích 

    Mikolov, Tomáš
    Statistické jazykové modely jsou důležitou součástí mnoha úspěšných aplikací, mezi něž patří například automatické rozpoznávání řeči a strojový překlad (příkladem je známá aplikace Google Translate). Tradiční techniky pro ...
  • Analýza síťové bezpečnosti 

    de Silva, Hidda Marakkala Gayan Ruchika
    Práce představuje model a metody analýzy vlasností komunikace v počítačových sítích. Model dosažitelnosti koncových prvků v IP sítích je vytvořen na základě konfigurace a síťové topologie a umožňuje ukázat, že vabraný ...
  • Analýza a testování vícevláknových programů 

    Letko, Zdeněk
    V disertační práci je nejprve uvedena taxonomie chyb v souběžném zpracování dat a přehled technik pro jejich dynamickou detekci. Následně jsou navrženy nové metriky pro měření synchronizace a souběžného chování programů ...
  • Zpracování obrazu pro lepší vjem a interakci 

    Seeman, Michal
    Reprodukce obrazu má zprostředkovat vjem co nejvíce podobný tomu, když pozorujeme původní obraz. Digitální reprodukce obrazu zahrnuje snímání, zpracování a vykreslení. Mnohé postupy v tomto procesu nejsou dokonalé. Tato ...
  • Důvěra a reputace v distribuovaných systémech 

    Samek, Jan
    Tato disertační práce se zabývá problematikou modelování důvěry v distribuovaných systémech, konkrétně pak více-kontextové důvěry v distribuovaných multi-agentních systémech. V současné době existuje velké množství modelů ...
  • Acceleration Methods for Evolutionary Design of Digital Circuits 

    Vašíček, Zdeněk
    Ačkoliv můžeme v literatuře nalézt řadu příkladů prezentujících evoluční návrh jakožto zajímavou a slibnou alternativu k tradičním návrhovým technikám používaným v oblasti číslicových obvodů, praktické nasazení je často ...
  • Analýza stiff soustav diferenciálních rovnic 

    Šátek, Václav
    Řešení tuhých ("stiff") soustav diferenciálních rovnic patří i v současné době stále mezi komplikované úlohy. Základním problémem je přesná definice tuhých systémů. Jednoznačná definice tuhých systémů stále neexistuje. ...
  • Gramatiky s omezenými derivačními stromy 

    Koutný, Jiří
    V této disertační práci jsou studovány teoretické vlastnosti gramatik s omezenými derivačními stromy. Po uvedení současného stavu poznání v této oblasti je výzkum zaměřen na tři základní typy omezení derivačních stromů. ...

Zobrazit další