Now showing items 1-20 of 176

  • Optimalizace zarovnání dat z next-generation sekvenování 

    Šalanda, Vojtěch
    Tato práce přináší optimalizaci nástrojů pro zarovnání sekvenčních čtení, která jsou produktem sekvenačních technik druhé generace. Výsledné zarovnání existujících nástrojů lze ovlivnit různým nastavením parametrů. Za tímto ...
  • Vizuální efekty ve 3D aplikacích 

    Duží, Martin
    Tato diplomová práce se zabývá tvorbou vizuálních efektů v 3D grafických aplikacích. Předpokládá vykreslení scény metodou rasterizace pomocí knihovny OpenGL. Teoretická část popisuje několik vybraných efektů a následně ...
  • Testování platformy JBoss Drools založené na modelu 

    Široký, Petr
    Technika testování založeného na modelu (MBT) využívá model chování systému k automatickému generování sady testů, čímž snižuje nákladnost testování oproti konvenčnímu manuálnímu vývoji a udržbě testů. Tato práce se zaměřuje ...
  • Neuro-fuzzy systémy 

    Dalecký, Štěpán
    Diplomová práce se zabývá teorií umělých neuronových sítí, následně jsou popsány fuzzy množiny a vysvětlena fuzzy logika. Na základě neuronových sítí, fuzzy množin a fuzzy logiky je navržen hybridní neuro-fuzzy systém ...
  • Bezpečné objevování sousedů 

    Bezdíček, Lukáš
    Tato zpráva se zabývá návrhem a vývojem ucelené implementace protokolu SEND pro operační systémy GNU/Linux. První část dokumentu obsahuje popis protokolů ND a SEND. Druhá část dokumentu definuje možné bezpečnostní hrozby ...
  • Zdokonalení procesu automatického testování softwarových aplikací 

    Šmerda, Jakub
    Práce se zabývá procesem automatického testování software. Popisuje základní principy tvorby testů a seznamuje s běžnými nástroji pro průběžnou integraci. Hlavním cílem práce je zlepšení procesu automatického testování v ...
  • Techniky umělé inteligence pro filtraci nevyžádané pošty 

    Matula, Tomáš
    Diplomová práce se zaměřuje na klasifikaci elektronické pošty. Popisuje základní způsoby filtrování nevyžádané pošty. Následně se zabývá bayesovskými klasifikátory spamu a umělými imunitními systémy. Popisuje existující ...
  • A Decision Procedure for the WSkS Logic 

    Fiedor, Tomáš
    Různé typy logik se často používají jako prostředky pro formální specifikaci systémů. Slabá monadická logika druhého řádu s k následníky (WSkS) je jednou z nich a byť má poměrně velkou vyjadřovací sílu, stále je rozhodnutelná. ...
  • Modelování procesů zvoleného rámce pro komplexní řízení podnikové informatiky v ARIS Designer 

    Štanglica, Jakub
    Tato diplomová práce se zabývá modelováním procesů zvoleného rámce pro komplexní řízení podnikové informatiky s využitím nástroje ARIS Designer. Čtenář je nejprve uveden do problematiky procesního řízení podniku a modelování ...
  • Predikce škodlivosti aminokyselinových mutací s využitím metody MAPP 

    Pelikán, Ondřej
    Práce se zabývá problematikou predikce škodlivosti aminokyselinových mutací pomocí metody MAPP. Tato metoda pro svoji činnost potřebuje vícenásobné zarovnání a fylogenetický strom vytvořený pomocí nástrojů třetích stran. ...
  • Šifrování bezdrátové hlasové komunikace 

    Klikar, Václav
    Tato práce se zabývá šifrováním hlasu v bezdrátové komunikaci. Nejprve je uveden nutný teoretický základ ohledně mobilní telefonní sítě, který je následován popisem a porovnáním existujících metod šifrování hlasu v bezdrátové ...
  • Rozpoznání obličeje 

    Vojáček, Cyril
    Práce pojednává o detekci a rozpoznání obličejů ve videu. Hlavní důraz je kladen na rychlost aplikace, aby byla použitelná pro práci s videem v reálném čase. Nejprve jsou zde popsány jednotlivé přístupy jak pro detekci, ...
  • Programovací prostředí s virtuálními roboty 

    Maťátko, Martin
    Tato diplomová práce se zabývá teoretickým rozborem, návrhem a implementací programovacího prostředí s virtuálními roboty. Roboti pomocí senzorů získávají informace o okolním prostředí, které dále ovlivňují virtuálními ...
  • Evoluční model s učením (LEM) pro optimalizační úlohy 

    Grunt, Pavel
    Tato práce se zabývá evolučním modelem s učením, relativně novou evoluční optimalizační metodou používající klasifikační algoritmy. Její optimalizační průběh je řízen dle charakteristiky rozdílu skupiny nejlepších od skupiny ...
  • Generátor záznamů o síťových útocích 

    Daněk, Jakub
    Tato práce popisuje návrh a implementaci modulu do systému Nemea, sloužícímu ke generování záznamů o simulovaných síťových útocích. Dále tato práce obsahuje stručný popis systému Nemea a některých síťových útoků. V neposlední ...
  • Fingerprint Damage Simulation 

    Kanich, Ondřej
    Cílem této práce je návrh a implementace aplikace pro simulaci poškození umělého otisku prstu. Při studiu jsem se soustředil hlavně na projekt SFinGe, který je průkopníkem v této oblasti. Specifikoval jsem přesněji oblast ...
  • Přibližné vyhledávání řetězců v předzpracovaných dokumentech 

    Toth, Róbert
    Tato práce se zabývá problémem přibližného vyhledávání řetězců, označovaným též jako vyhledávání s chybami. Práce se zaměřuje na oblast offline algoritmů, které umožňují po jednorazovém předspracování textu velmi rychlé ...
  • Paralelní numerické řešení parciálních diferenciálních rovnic 

    Nečasová, Gabriela
    Práce se zabývá tématem paralelního numerického řešení parciálních diferenciálních rovnic. Práce se nejprve zaměřuje na obyčejné parciální diferenciální rovnice (ODR) a jejich metody řešení pomocí Taylorova polynomu. Další ...
  • HiFi DA převodník a sluchátkový zesilovač 

    Doležal, Pavel
    Tato práce se zabývá návrhem a konstrukcí D/A převodníku a sluchátkového zesilovače pro stereofonní reprodukci ve třídě Hi-Fi. V úvodní kapitole je popsána problematika digitálního přenosu zvuku, dále je rozebrán návrh ...
  • Transformace ontologií 

    Kopecký, Marek
    Tato diplomová práce je zaměřena na import ontologie v jazyku OWL 2 do vnitřních struktur anotačního 4A serveru. Zabývá se především způsobem zpracování anonymních uzlů, jako například anonymních tříd nebo vlastností. V ...