Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 10441-10500 z 11244
-
Atraktory celulárních automatů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Práce se zabývá heuristickými algoritmy Omega a Spread. Algoritmus Omega hledá maximální atraktory celulárních automatů. Atraktory se sestrojí spojením jednoduchých invariantních posunů konečného typu, které jsou obsaženy ... -
Dotazování na proudy dat
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008V poslednom období vznikajú nové aplikácie, ktoré využívajú dáta nie ako perzistentnú vrstvu, ale ako dočasný prúd dát. Táto práca sa zaoberá problematikou spracovania prúdu dát, vytvárania systému SŘPD a hlavne porovnáva ... -
Aproximace obtížných rozvrhovacích úloh
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Tato práce zkoumá rozvrhování problémů typu "shop". Po zavedení notace a základních definic používaných v rozvrhování přinášíme přehled známých výsledků o výpočetní složitosti různých rozvrhovacích problémů typu "open ... -
Aktivní XML
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Tato práce se zabývá využitím takzvaného aktivního XML pro implementaci distribuovaných algoritmů. Aktivní XML je představeno ve formě webových služeb (Web Services) a protokolu XML-RPC. Obě tyto technologie jsou založeny ... -
Detekce meteorů na širokoúhlém CCD snímku
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008BOOTES je česko-španělský robotický systém pro automatickou správu teleskopů umístěných v Ondřejove a v pohoří Sierra Nevada. Cílem diplomové práce je navrhnout a implementovat nástroj pro detekci stop meteoritů a otestovat ... -
Akviziční systém odborné literatury s podporou informovaného rozhodování
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Knihovny jsou důležitým zdrojem informací nezbytných pro vědeckou a výzkumnou činnost, pro práci v akademickém prostředí či rozvoj naší společnosti. Knihovny investují ročně velké částky do nákupu informačních zdrojů pro ... -
Zpracování terénu na moderních GPU
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Prudký vývoj grafického hardwaru umožňuje nacházet stále nové techniky pro zobrazování terénu. Dříve používané postupy jsou postaveny na silné redukci geometrie prováděné na CPU. Novější postupy se snaží přenést zátěž na ... -
Simultání lokalizace a mapování v reálném prostředí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Práce se zabývá definicí a řešením problému pohybu autonomního vozidla neznámým prostředím. Přináší podrobný rozbor řešení simultánní lokalizace a mapování pomocí rozšířeného Kalmanova filtru. Také ukazuje další jednodušších ... -
Locating Performance Changes in Source Code
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008V regresivním testování výkonnosti je často komplikované najít změnu ve zdrojovém kódu, která způsobila změnu výkonnosti detekovanou dílčím výkonnostním testem. Protože změn je typicky hodně, ruční prohledání všech změn a ... -
Prostředky podpory byznysu v moderních informačních systémech
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Byznys inteligence (BI) je schopnost najít a pochopit komplexní vztahy v byznysu, efektivně se adaptovat změnám prostředí (konkurence, trhu, trendům), učit se z dat. Integrace BI aplikací do existujících podnikových ... -
Využití ontologií pro GUHA procedury
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Cílem diplomové práce je implementace dříve navržených postupů pro využití ontologií při procesu dobývání znalostí z databází (DZD). Implementace je provedena pomocí krabiček v prostředí Ferda, což je modulární prostředí ... -
Ukládání XML dat popsaných modelem XSEM v databázi
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Jazyk XML je v současné době standardem pro výměnu dat mezi informačními systémy. Proto vzrůstají nároky na jeho popis jak na logické, tak i konceptuální úrovni. Jedním z nových konceptuálních modelů pro XML data je model ... -
Analytické zpracování XML dokumentů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008V této práci se zabýváme rozšířením jazyka XQuery o analytické konstrukce známé z jazyka SQL - group by, roll up a cube. Navíc zavádíme novou konstrukci topologický roll up. Implementaním prostředím je nativní XML databáze ... -
Compiling Planning Problems
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Napriek tomu, že techniky splňovania podmienok (SP) sú častým spôsobom riešenia rozvrhovacích problémov, v plánovaní sa stále vyskytujú iba zriedka. Na riešenie plánovacích problémov bolo síce vyskúšaných niekol'ko rôznych ... -
Artificial neural networks for pattern recognition
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008V této práci jsou popsány možnosti, výhody a nevýhody využití neuronových sítí při rozpoznávání vzorů. Je představeno několik modelů neuronových sítí použitelných pro tuto úlohu. Standartní vícevrstvá perceptronová síť je ... -
Autentizace v prostředí distibuovaných vyrovnávacích pamětí webů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Serverom, ktoré obsahujú informácie vyžadujúce autentifikovaný prístup je možné znižovať záťaž pomocou webových cache v distribuovanom prostredí. Táto diplomová práca sa zaoberá návrhom distribuovaného systém autentifikácie ... -
Metody aproximace plně pravděpodobnostního návrhu rozhodování za neúplné znalosti
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008V diplomové práci představujeme účinný algoritmus pro výpočet odhadu optimální strategie řízení dynamického systému. Tento algoritmus aproximuje optimální rovnice, aniž by potlačil principiální nejistotu plynoucí z neúplné ... -
Výhody a nevýhody použití perzistence objektů v jazyce Java
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Práce se soustředí na porovnání vývoje aplikace s využitím JDBC a Hibernate z řady hledisek. Rozhraní JDBC, v Javě standardně využívané pro práci s relačními databázemi poskytuje pouze základní prostředky. V případě ... -
Analyzer of Windows Kernel Models
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Diplomová práce předkládá nástroj pro analýzu modelů ve specifikačním jazyce DeSpec a pro jejich překlad do modelovacího jazyka Zing. Výsledné modely pak mohou být verifikovány model checkerem Zing. Jazyk DeSpec je navržen ... -
Refinement of timed automata models according to hardware characteristics
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Timed automata byla navržena na modelování real-time systémů. Formální teorie obsahuje některé nerealistické předpoklady, například nekonečně rychlé akce. Model pak musí toto chování namodelovat, což ale znepřehledňuje ... -
Neuronové sítě vyšších řádů pro rozpoznávání vzorů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Diplomová práce se zabývá studiem umělých neuronových sítí vyšších řádů pro rozpoznávání vzorů. Cílem práce je ověřit a otestovat modely neuronových sítí vyšších řádů použitelné pro rozpoznávání znaků české abecedy s ohledem ... -
Stereo-rekonstrukce z obrazů s vysokým FOV
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Tato práce prezentuje rektifikační metody párů obrázků poořízených všesměrovou kamerou. Je představeno několik metod včetně nové rektifikační metody nazvané stereografická rektifikace. V druhé části je prezentována metoda ... -
ENUM klient
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Pro označování a tedy i adresaci jednotlivých uzlů v síti Internet je používáno 32 bitové číslo známé jako IP adresa. Protože se ale dlouhá čísla špatně pamatují, je zavedena abstrakce označovaná jako doménové jméno, která ... -
Locating Performance Regressions In Code
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Cieľom tejto práce je vylepšiť hľadanie zmien v zdrojovom kóde, ktoré možu sposobovať zmenu výkonnosti a uľahčiť tak testovanie software. Pre tento účel je vytvorený framework, ktorý obsahuje popis prípadne vytvorenie ... -
Zobrazování povrchových detailů pomocí mapování textur
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Práce se zabývá algoritmy počítačové grafiky využívajícími pokročilé techniky mapování textur pro zvyšování úrovně detailů nerovných povrchů. Stručně seznamuje s historií vývoje a architekturou moderních grafických karet ... -
Simulace povlakování nástrojů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 31. 1. 2008Autor: Jan Ji'lek Katcdra: Katcdra aplikovanc matemaliky Vedouci bakalafske prace: RNDr. Jan Kara, Ph.D. e-mail vedouciho: Jan.KaratVnn ff.cuni.cz Abstrakl: Je dana povlakovaci komora, ve ktere je rolujiei system rotujicich ... -
Předtisková příprava dokumentů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 31. 1. 2008V předložené práci se zabýváme některými tiskovými formáty (PDF, PostScript) a možností úprav hotových dokumentů před samotným tiskem. Dále zkoumám současné nástroje pro dané úpravy. V části se zabývám návrhem a realizací ... -
Umělá inteligence do hry 3D bludiště
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 31. 1. 2008Cieľom práce je navrhnúť a implementovať počítačového nepriateľa (bota) do hry 3D bludisko. Rozhodovanie bota je realizované pomocou konečného stavového automatu. Súčasťou boja bota je nájdenie a zameranie nepriateľa (pre ... -
Simulace bitvy robotů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 31. 1. 2008V této práci se budu nejprve zabývat obecným pohledem na agenty, jakožto obecné objekty vědeckého zkoumání. Z jednoho druhu agentů jsou zkonkretizováním vytvořeni a implementováni roboti v mém sofwarovém projektu. Stejně ... -
Konfigurovatelné vyhledávání entit
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 31. 1. 2008Predložená bakalárská práce se zabývá úlohou extrakce informací. Predmetem práce je implementace systému pro extrakci informací, který bude zameren na ceské texty. Vytvorený systém nejprve na základe tréninkových príkladu ... -
Ontology Matching
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Mnoho nezávislých systémů je postaveno nad ontologiemi. Takto vznikají ontologie, které často popisují stejnou oblast nebo se překrývají. Aby mohli uživatelé či samostaní agenti tyto ontologie využívat, musí nalézt vztahy ... -
Server pro online soutěže v programování
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 31. 1. 2008Cieľom práce je navrhnúť a zostaviť aplikáciu pre vyhodnocovanie a správu programátorských súťaží. Aplikácia by mala byť navrhnutá tak, aby bola rovnako dobre použiteľná na programátorských súťažiach ale aj na vyhodnocovanie ... -
Monitorování serverů zapojených do výpočetního GRIDu
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Cí lem pr áce bylo studium obecn ých softwarov ých produktů, kter é se daj í použí t k monitorování v ýpočetní ch farem. Nagios a Ganglia byly vybrány jako vhodné produkty pro monitorování farmy Goli a s ve Fyzikální m ... -
Studium povrchových a korelačních jevů v lanthnato-strontnatých manganičitanech metodou elektronové tunelové spektroskopie
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 19. 10. 2007 -
Zajímavé vlastnosti chování dynamických systémů simulované v prostředí MAPLE V
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 26. 6. 2007 -
Analýza světelných efektů v atmosféře a ionosféře
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 25. 6. 2007 -
Vliv optických prvků na polarizaci světla
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 26. 6. 2007 -
Binární planetky
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 25. 6. 2007 -
Studium kolapsu v hydrogelech pomocí NMR spektroskopie
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 26. 6. 2007 -
Charakter přechodů do supravodivého stavu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 25. 6. 2007 -
Studium interakce hrotu rastrovacího tunelového mikroskopu s atomy kovu na povrchu křemíku
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 26. 6. 2007 -
Mikroskopie atomových sil povrchů makromolekulárních látek
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 25. 6. 2007 -
Propustnost lipidové membrány pro dvojmocné ionty – testování ionoforu 4-Br A23187.
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 26. 6. 2007 -
Využtí hadronů k léčení zhoubných nádorů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 26. 6. 2007 -
Porovnání současných a nových hašovacích funkcí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 26. 6. 2007Obsahem této práce je přinést popis a porovnání nejrozšířenějších kryptografických hašovacích funkcí, které se v současné době používají (květen 2007), a dále je porovnat s návrhy nových hašovacích funkcí vyvíjených pro ... -
Gravitační mikročočky s malým Einsteinovým poloměrem
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 25. 6. 2007 -
Optimalizace postupu určování koncentrace oligonukleotidů z UV absorpčních měření
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 25. 6. 2007 -
Použití Ramanovského mikroskopu ke studiu molekulární struktury látek
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 26. 6. 2007 -
Pružný rozptyl hadronů při vysokých energiích
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 26. 6. 2007 -
Databáze sekundárních struktur RNA
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 26. 6. 2007V předložené práci studujeme primární a sekundární struktury RNA a stanovujeme vhodné modely pro jejich počítačové vyjádření. Dále stanovujeme kritéria pro výběr metod na porovnávání primárních a sekundárních struktur a ... -
Vázané stavy v kuželovité vrstvě
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 26. 6. 2007 -
Mapování lokální hustoty stavů lineárních kovových řetízků na povrchu Si(100)-(2×1) metodou STM/STS
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 25. 6. 2007 -
Optický jev "duha" a jeho využití ve výuce fyziky
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 25. 6. 2007 -
Preprocesor grafového jazyka
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 26. 6. 2007Úkolem bylo navrhnout grafový jazyk, ve kterém by bylo snadné napsaní libovolného grafového algoritmu. Kromě intuitivního psaní kódu byl kladen důraz i na jeho délku. Výsledkem je tedy množinové chápaní grafu (vysvětleno ... -
Molekulárně-dynamické simulace komplexů sestávajících z nukleových kyselin a proteinů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 25. 6. 2007 -
Automatické doplňování diakritiky pro slovenštinu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 26. 6. 2007 -
Předpověď indexů stability a porovnání jejich použitelnosti (úspěšnosti) při předpovědi bouřek (silných konvektivních jevů)
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 26. 6. 2007 -
Detekce spamů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 26. 6. 2007 -
Bezpečnostní rizika bezdrátových sítí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 26. 6. 2007Cílem práce je zhodnotit rizika možných útoků na bezdrátové sítě. Vypracovat jejich seznam a navrhnout adekvátní způsoby obrany proti nim. Součástí práce by měl být návod, který by pomohl k rychlému rozpoznání typu útoku ... -
Jak zvoní zvon
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 25. 6. 2007