Poslední příspěvky

  • Navigace mobilních robotů 

    Rozman, Jaroslav
    Mobilní robotika je v posledních letech velice diskutované a rozšířené téma.    Souvisí to především se stále se zdokonalující výpočetní technikou, která tak umožňuje    vyvíjet stále složitější a dokonalejší roboty. Cílem ...
  • Evoluční přístup k syntéze a optimalizaci běžných a polymorfních obvodů 

    Gajda, Zbyšek
    Tato disertační práce se zabývá evolučním návrhem a optimalizací jak běžných, tak polymorfních digitálních obvodů. V práci jsou uvedena a vyhodnocena nová rozšíření kartézského genetického programování (Cartesian Genetic ...
  • 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é ...
  • 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 ...
  • 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é ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...