Kolekce v této sbírce

Poslední příspěvky

  • 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 ...
  • Obrazová analýza v tribotechnické diagnostice 

    Machalík, Stanislav
    Obrazová analýza částic opotřebení je v práci využita ke klasifikaci jejich obrazů do tříd odpovídajících stanoveným typům opotřebení. Dává možnost získat informace nejen o základních parametrech otěrových částic, ale také ...
  • Charakterizace Kódu pro Automatické Generování Uživatelského Rozhraní 

    Kadlec, Jaroslav
    Práce představuje nový přístup v automatizovaném vytváření uživatelských rozhraní. Na základě taxonomie pro charakterizaci dat byla vyvinuta nová taxonomie pro charakterizaci kódu. Tato taxonomie označuje významné vlastnosti ...
  • 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 ...
  • Simulations and Antichains for Efficient Handling of Finite Automata 

    Holík, Lukáš
    Cílem této práce je vývoj technik umožňujících praktické využití nedeterministických konečných automatů, zejména nedeterministických stromových automatů. Jde zvláště o techniky pro redukci velikosti a testování jazykové ...
  • Parametrizace bodů a čar pomocí paralelních souřadnic pro Houghovu transformaci 

    Juránková, Markéta
    Tato dizertační práce se zaměřuje na použití paralelních souřadnic pro parametrizaci čar a bodů. Paralelní souřadný systém má souřadnicové osy vzájemně rovnoběžné. Bod ve dvourozměrném prostoru je v paralelních souřadnicích ...
  • NOVÝ ÚSVIT POJMENOVÁVÁNÍ, ADRESOVÁNÍ A SMĚROVÁNÍ NA INTERNETU 

    Veselý, Vladimír
    Internet roku 2015 se potýká s problémy, které jsou důsledky špatného designu pojmenovávání a adresování v TCP/IP a jež mají přeneseny vliv i na škálovatelnost směrování. Problémy jako růst páteřních směrovacích tabulek, ...
  • Jádra schématu lifting pro vlnkovou transformaci 

    Bařina, David
    Práce se zaměřuje na efektivní výpočet dvourozměrné diskrétní vlnkové transformace. Současné metody jsou v práci rozšířeny v několika směrech a to tak, aby spočetly tuto transformaci v jediném průchodu, a to případně ...
  • OPTIMALIZACE ALGORITMŮ A DATOVÝCH STRUKTUR PRO VYHLEDÁVÁNÍ REGULÁRNÍCH VÝRAZŮ S VYUŽITÍM TECHNOLOGIE FPGA 

    Kaštil, Jan
    Disertační práce se zabývá rychlým vyhledáváním regulárních výrazů v síťovém provozu s použitím technologie FPGA. Vyhledávání regulárních výrazů v síťovém provozu je výpočetně náročnou operací využívanou převážně v oblasti ...
  • Detekce Útoků v Síťovém Provozu 

    Homoliak, Ivan
    Tato práce se zabývá problematikou anomální detekce síťových útoků s využitím technik strojového učení. Nejdříve jsou prezentovány state-of-the-art datové kolekce určené pro ověření funkčnosti systémů detekce útoků a také ...
  • Zpracování multimediálních dat v heterogenním distribuovaném prostředí 

    Kajan, Rudolf
    Pervasive computing sa zameriava odstránenie zložitostí pri interakcii s výpočtovou technikou a zvýšenie efektivity pri jej každodennom používaní. Ale i po viac ako 15 rokoch od sformulovania hlavných cieľov Pervasive ...
  • Bezpečnost protokolů bezkontaktních čipových karet 

    Henzl, Martin
    Tato práce analyzuje hrozby pro protokoly využívající bezkontaktní čipové karty a představuje metodu pro poloautomatické hledání zranitelností v takových protokolech pomocí model checkingu. Návrh a implementace bezpečných ...
  • Kvalitní zobrazení stínů pro složité světelné zdroje 

    Navrátil, Jan
    V interaktivních aplikacích jsou stíny tradičně zobrazovány s pomocí algoritmu založeným na stínových mapách. Nevýhodou toho algoritmu je, že stínová mapa, reprezentovaná texturou, má pouze omezené rozlišení. To může vést ...
  • Sdílení lokální informace pro rychlejší detekci objektů 

    Hradiš, Michal
    Cílem této dizertační prace je vylepšit existující detektory objektů pomocí sdílení informace a výpočtů mezi blízkými pozicemi v obraze. Navrhuje dvě metody, které jsou založené na Waldově sekvenčním testu poměrem ...
  • Generický zpětný překlad za účelem rozpoznání chování 

    Ďurfina, Lukáš
    Práce je zaměřena na rozpoznávání specifického chování pomocí generického zpětného překladu. Generický zpětný překlad je proces, který transformuje spustitelné soubory z různých architektur a formátů objektových souborů ...
  • Fyzikální modelování a simulace 

    Dvořák, Radim
    Disertační práce se zabývá modelováním znečištění ovzduší, jeho transportních a disperzních procesů ve spodní části atmosféry a zejména numerickými metodami, které slouží k řešení těchto modelů. Modelování znečištění ovzduší ...
  • Jednostranné gramatiky s nahodilým kontextem 

    Zemek, Petr
    Tato disertační práce zavádí jednostranné gramatiky s nahodilým kontextem jako řízené gramatiky založené na bezkontextových gramatikách. V těchto gramatikách je ke každému pravidlu přiřazena množina povolujících symbolů a ...
  • Synchronní formální systémy založené na gramatikách a převodnících 

    Horáček, Petr
    Tato disertační práce studuje synchronní formální systémy založené na gramatikách a převodnících a zkoumá jak jejich teoretické vlastnosti, tak i perspektivy praktických aplikací. Práce představuje nové koncepty a definice ...
  • 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 ...

Zobrazit další