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 ...
  • Rozšíření pro pravděpodobnostní lineární diskriminační analýzu v rozpoznávání mluvčího 

    Plchot, Oldřich
    Tato práce se zabývá pravděpodobnostními modely pro automatické rozpoznávání řečníka. Podrobně analyzuje zejména pravděpodobnostní lineární diskriminační analýzu (PLDA), která modeluje nízkodimenzionální reprezentace promluv ...
  • 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 ...
  • 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 ...
  • 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 ...
  • Relační verifikace programů s celočíselnými daty 

    Konečný, Filip
    Tato práce představuje nové metody pro verifikaci programů pracujících s neomezenými celočíslenými proměnnými, konkrétně metody pro analýzu dosažitelnosti a~konečnosti. Většina těchto metod je založena na akceleračních ...
  • Zobrazení bodů na přímky a jiné parametrizace přímek nejen pro Houghovu transformaci 

    Havel, Jiří
    Tato práce se zabývá Houghovou transformací (HT). HT je nejčastěji používána pro detekci přímek nebo křivek, ale byla zobecněna i pro detekci libovolných tvarů. Hlavní téma této práce jsou parametrizace přímek, speciálně ...
  • Formální systémy automatů a gramatik 

    Čermák, Martin
    Tyto teze navazují na studium gramatických a automatových systémů. Na začátku, práce pojednává o regulárně řízených CD gramatických systémech využívající frázově strukturované gramatiky jako komponenty. Do systémů jsou ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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í ...
  • 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ů ...
  • On-line Analýza Dat s Využitím Vizuálních Slovníků 

    Beran, Vítězslav
    Práce představuje novou adaptabilní metodu pro on-line vyhledávání videa v reálném čase pomocí vizuálních slovníků. Nová metoda se zaměřuje na nízkou výpočetní náročnost a přesnost vyhledání při on-line použití. Metoda ...
  • Stabilita a konvergence numerických výpočtů 

    Sehnalová, Pavla
    Tato disertační práce se zabývá analýzou stability a konvergence klasických numerických metod pro řešení obyčejných diferenciálních rovnic. Jsou představeny klasické jednokrokové metody, jako je Eulerova metoda, Runge-Kuttovy ...
  • Metodika aplikace testu obvodu založená na identifikaci testovatelných bloků 

    Herrman, Tomáš
    Dizertační práce se zabývá analýzou číslicových obvodů popsaných na úrovni meziregistrových přenosů. Je v ní zahrnuta pouze problematika související s testovatelností obvodových datových cest, řadičem ovládajícím tok dat ...
  • Delaunay-based Vector Segmentation of Volumetric Medical Images 

    Španěl, Michal
    Image segmentation plays an important role in medical image analysis. Many segmentation algorithms exist. Most of them produce data which are more or less not suitable for further surface extraction and anatomical modeling ...

Zobrazit další