Recent Submissions

  • Odhad pózy kamery z přímek pomocí přímé lineární transformace 

    Přibyl, Bronislav
    Tato disertační práce se zabývá odhadem pózy kamery z korespondencí 3D a 2D přímek, tedy tzv. perspektivním problémem n  přímek (angl. Perspective- n -Line, PnL). Pozornost je soustředěna na případy s velkým počtem čar, ...
  • Ochrana citlivých informací na mobilních zařízení 

    Aron, Lukáš
    Tato práce analyzuje ochranu citlivých dat na mobilních zařízeních a představuje metodu pro ochranu těchto dat před možností úniku informaci ze zařízení. Ochrana se zaměřuje na využívání zařízení, jak pro osobní účely, tak ...
  • Klasifikace na nevyvážených datech 

    Hlosta, Martin
    Tématem této disertační práce je klasifikace daty s nevyváženými daty. Jedná se o oblast strojového, jejímž cílem je řešit problémy, které plynou z toho, že jedna ze tříd je v datech zastoupena výrazně méně než třída druhá. ...
  • Dolování víceúrovňových sekvenčních vzorů 

    Šebek, Michal
    Dolování sekvenčních vzorů je důležitá oblast získávání znalostí z databází. Stále více průmyslových a obchodních aplikací uchovává data mající povahu sekvencí, kdy je dáno pořadí jednotlivých transakcí. Toho může být ...
  • Softwarově řízené monitorování síťového provozu 

    Kekely, Lukáš
    Tato disertační práce se zabývá návrhem nového způsobu softwarově řízené (definované) hardwarové akcelerace pro moderní vysokorychlostní počítačové sítě. Hlavním cílem práce je formulace obecného, flexibilního a jednoduše ...
  • Automatický multikriteriální paralelní evoluční návrh a aproximace obvodů 

    Hrbáček, Radek
    Spotřeba a energetická efektivita se stává jedním z nejdůležitějších parametrů při návrhu počítačových systémů, zejména kvůli omezené kapacitě napájení u zařízení napájených bateriemi a velmi vysoké spotřebě energie ...
  • Formální modely distribuovaného výpočtu 

    Soukup, Ondřej
    Tato disertační práce představuje derivační stromy několika různých typů gramatik ve zobecněné Kurodově normální formě; jmenovitě obecné a regulárně řízené gramatiky, gramatiky s rozptýleným kontextem a spolupracující ...
  • Segmentace webových stránek s využitím shlukovacích technik 

    Zelený, Jan
    Získávání informací a jiné techniky dolování dat z webových stránek získávají na důležitosti s tím, jak se rozvíjí webové technologie a jak roste množství informací uložených na webu, jakožto jediném nosiči těchto informací. ...
  • Zákonné odposlechy: detekce identity 

    Polčák, Libor
    Komunikace předávaná skrze Internet zahrnuje komunikaci mezi pachateli těžké trestné činnosti. Státní zástupci schvalují cílené zákonné odposlechy zaměřené na podezřelé z páchání trestné činnosti. Zákonné odposlechy se v ...
  • Koevoluce prediktorů fitness v kartézském genetickém programování 

    Drahošová, Michaela
    Kartézské genetické programován (CGP) je evoluc inspirovaná metoda strojového učen, která je primárně určená pro automatizovaný návrh programů a čslicových obvodů. CGP je úspěšné v řešen mnoha úloh z reálného světa. Avšak ...
  • Akcelerace operací nad řídkými maticemi v nelineární metodě nejmenších čtverců 

    Polok, Lukáš
    Tato práce se zaměřuje na datové struktury pro reprezentaci řídkých blokových matic a s nimi spojených výpočetních algoritmů, jež jsem navrhl. Řídké blokové matice se vyskytují při řešení mnoha dílčích problémů jako například ...
  • Sémantická anotace textu 

    Dytrych, Jaroslav
    Tato práce se zabývá inteligentními systémy pro podporu sémantického anotování textu. Rozebírá motivaci vzniku takových systémů a stav poznání v oblastech souvisejících s jejich používáním. Popisuje také nově navržený a ...
  • Moderní metody modelování a simulace elektronických obvodů 

    Kocina, Filip
    Disertační práce se zabývá simulací elektronických obvodů. Popisuje metodu kapacitorové substituce (CSM) pro převod elektronických obvodů na elektrické obvody, jež mohou být následně řešeny pomocí numerických metod, zejména ...
  • Metodika návrhu systémů odolných proti poruchám do omezeného implementačního prostoru na bázi FPGA 

    Mičulka, Lukáš
    Tato práce popisuje navrženou metodologii pro návrh systémů odolných proti poruchám v FPGA schopnou ochránit systém před projevy přechodných a trvalých poruch. Oprava přechodné poruchy je prováděna částečnou dynamickou ...
  • Nástroj pro 3D rekonstrukci z dat z více typů senzorů 

    Šolony, Marek
    Realistické 3D modely prostředí jsou užitečné v mnoha oborech, od inspekce přírodních struktur nebo budov, navigace robotů a tvorby map až po filmový průmysl při zaměřování scény nebo pro integraci speciálních efektů. Je ...
  • Praktické metody automatizované verifikace paralelních programů 

    Fiedor, Jan
    V dnešní době jsou vícevláknové programy běžné a s nimi i chyby v souběžnosti. Během posledních let bylo vytvořeno mnoho technik pro detekci takovýchto chyb, a i přesto mají vývojáři softwaru problém nalézt správné nástroje ...