Browsing 2014 by Issue Date
Now showing items 1-20 of 175
-
Optimalizace zarovnání dat z next-generation sekvenování
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
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
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
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ů
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í
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
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
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
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
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
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
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
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
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
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
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
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
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č
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í
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 ...