Recent Submissions

  • 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ů ...
  • 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ý ...
  • 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 ...
  • 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é ...
  • 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 ...
  • 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é ...
  • 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 ...