Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 8881-8960 z 11264
-
Poloautomatická analýza struktury textu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 24. 5. 2010Práce popisuje návrh a implementaci algoritmu, který na základě počáteční lidské nápovědy převádí data v HTML dokumentech vygenerovaných z databáze, avšak určených pro lidské čtení, do strukturovaného tvaru vhodného pro ... -
Simulace obchodování na akciovém trhu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 31. 5. 2010Tato diplomová práce se zabývá simulací obchodování na elektronickém akciovém trhu NASDAQ. Soustředí se na simulaci obchodování s vysokou frekvencí, tzv. High Frequency Trading (HFT) strategií. Simulace je založena na ... -
Dynamické Kohonenovy mapy a jejich struktura
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 31. 5. 2010Tato diplomová práce se zabývá jedním z nejpoužívanějších modelů umělých neuronových sítí, a to Kohonenovými samoorganizujícími se mapami. Podrobně popíšeme jednotlivé modely Kohonenových map, provedeme jejich analýzu a ... -
Aplikace Baireovy věty
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 18. 9. 2009Cielom tejto práce je v troch roznych prípadoch dokázat', že množina prvkov s danou vlastnost'ou je množina typických prvkov. Najskor dokážeme, že typická spojitá funkcia, definovaná na intervale [0; 1], nemá deriváciu v ... -
Evoluce využívání paměti
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 22. 6. 2009Předmětem bakalářské práce je návrh a implementace aplikace pro simulaci vývoje populace jedinců. Výsledkem práce je studie závislosti využití paměti a energie organismů na prostředí, zadaném na počátku simulace. Z výsledků ... -
Možnosti zvýšení výkonu přírodou inspirovaných globálních optimalizačních metod
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 22. 6. 2009Tato práce se zabývá optimalizací funkcí reálných proměnných pomocí přírodou inspirovaných metod. Obsahuje popis vybraných globálních optimalizačních metod (Differential Evolution, Self-Organizing Migrating Algorithm, ... -
Free Query Tool - tool for enhanced querying SQL databases
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 22. 6. 2009Práce popisuje návrh a implementaci nástroje pro dotazování do SQL databáz (SQL konzolu), který ulehčí práci zkušenému SQL vývojáři. Především zefektivní psaní SQL dotazů ve volném textu tím, že kontroluje jména již napsaných ... -
Simulace burzovního trhu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 22. 6. 2009Tématem práce je simulace burzovního trhu. Studuje se závislost burzovního indexu PX Pražské burzy cenných papírů a.s. v závislosti na makroekonomických veličinách. Využívá se spojení metod neuronových sítí a náhodné ... -
Real-time fyzikální simulace pro mobilní zařízení
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 22. 6. 2009V bakalářské práci se zabývám implementací knihovny pro fyzikální simulaci na mobilních telefonech. Uvádím několik možných přístupů k problému, ze kterých jeden vyberu a popíši důkladněji. Dále se zabývám obecnými postupy ... -
Určení smysluplnosti české věty na základě syntaktické informace
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 22. 6. 2009Práce se zabývá navržením znalostního algoritmu pro rozpoznání smysluplnosti věty. Jedná se o velmi zajímavou úlohu v rámci zpracování přirozeného jazyka, například pro potřeby internetových vyhledávačů. "Smysluplnost" ... -
Simulace statiky budovy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 22. 6. 2009V předložené práci studujeme metody analýzy statiky budovy. Základem této práce je analýza statiky prutových konstrukcí. Na tomto základe, vybudujeme program schopný simulovat chování prostorové budovy zatížené kromě vlastní ... -
Český morfologický guesser
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 22. 6. 2009C ílem práace je implementace guesseru pro českýy jazyk, kter ý využívá slovní kov á data. První m krokem při analýze textu je p ři řazení morfologick ých tag ů jednotlivým slov ům v textu. Morfologick é tagy popisují ... -
Kreslení grafů s podmínkami na velikosti stěn
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 14. 9. 2009V této práci se věnujeme úsečkovým nakreslením rovinných grafů s předepsanými obsahy stěn. Pomocí genetického algoritmu hledáme grafy, které pravděpodobně nelze nakreslit se všemi stěnami stejně velkými. Pro jeden takový ... -
Komprese e-mailu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 14. 9. 2009E-mail je velmi specifická datová struktura upravená příslušnými normami RFC. Běžná komprese pro textová data použitá na emaily nezohledňuje strukturu emailu, nejvíce je patrná nízká účinnost běžných metod u malých souborů, ... -
Vizualizace algoritmů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 14. 9. 2009Cieľom práce je navrhnúť program pre vizualizáciu činnosti algoritmov pri výuke. Užívateľ vytvorí algoritmus a pripojí k jeho datovým štruktúram pripravené vizualizačné komponenty. Program potom zaznamená priebeh výpočtu ... -
Systém pro vytváření a kompilaci programů v grafickém daty řizeném paralelním programovacím jazyce
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 22. 6. 2009Ciel'om tejto práce je navrhnút' schému pre grafickú tvorbu dátmi riadených paralelných procesov naprogramovaných v jazyku JAVA, implementovat' editor pre vizuálne vytváranie daných schém a súcasne vykonávacie jadro, ktoré ... -
Bezpečnostní auditor WWW stránek
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 22. 6. 2010Tato práce řeší problématik bezpečnosti webových stránek primárně ze strany programátorů dynamických webových aplikací. Popisuje jednotlivé chyby, kterých se programátoři dopouštějí a vysvětluje, jak lze takovým chybám ... -
Webová aplikace pro výuku základních poznatků z matematiky na střední škole
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 22. 6. 2010Název práce: Webová aplikace pro výuku základních poznatků z matematiky na střední škole Autor: Vladimíra Pavlicová Katedra: Katedra didaktiky matematiky Vedoucí bakalářské práce: RNDr. Jarmila Robová, CSc. e-mail vedoucího: ... -
Návrh a analýza tvorby databázového systému personální agentury
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 15. 9. 2009Předmětem této práce je návrh a analýza tvorby databázového systému pro personální agenturu, která se zabývá zprostředkováním brigád pro studenty. Součástí systému je nejen vlastní podpora běžných procesů a pracovníků ... -
POMDPs for dynamic troubleshooting
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010Pojmem dynamický troubleshooting se označuje proces analýzy bezpečnostního systému v reálním čase, predikce a detekce možných problémů, řešení problémů a předchzení jejich výskytu. Je-li tento proces realizován počítačem, ... -
Model předjíždění na kruhovém objezdu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 11. 2. 2010Práce se zabývá rozšířenou verzí dopravního modelu, který byl představen v článku [9]. Model simuluje pohyb N-tice vozidel stejných vlastností po kruhové dráze. Rozšíření spočívá ve dvou ohledech: na rychlosti vozu se ... -
Modelování růstu kostní chrupavky na biodegrabilním scafoldu při mechanickém zatěžování.
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 14. 5. 2010V předložené práci se zabýváme modelováním růstu kostní chrupavky. Začínáme prozkoumáním pozadí problému, tj. biologií chrupavky, možnostmi léčení a metodami tkáňového inženýrství. Následuje odvození modifikovaného zákona ... -
Vliv volby generátoru stochastické dominance na eficienci portfolií
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 10. 2. 2010V předložené práci studujeme vlastnosti množin portfolií eficientních vzhledem k různým množinám užitkových funkcí. Zavádíme odborné pojmy z oblasti stochastické dominance, omezujeme se na scénářový přístup a definujeme ... -
Digitální restaurace nástěnných maleb
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 21. 9. 2009Diplomová práce zpracovává nástěnné malby za použití algoritmů pro image processing. Součástí jsou algoritmy pro registraci, fúzi a segmentaci obrazu. Vstupními daty jsou snímky v různých modalitách (viditelné a ultrafialové ... -
Umělé emoce v počítačových hrách
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 21. 9. 2009Vývoj inteligentních virtuálních agentů (IVA) je náročný proces obsahující mnoho dílčích podproblémů. Teoretická výuka se v této oblasti může opřít o několik vynikajících publikací. Naproti tomu praktickou výuku je v této ... -
Metody a možnosti anonymní komunikace
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010Práce se zabývá metodami komunikace, které poskytují účastníkům anonymitu. Předně jsou definovány základní pojmy, jako např. samotný pojem anonymity. Po nastínění možností hodnocení metod již práce zpracovává známé nebo ... -
Datové úložiště pro rozvolněné objekty
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Rozvolněné objekty jsou do databáze ukládány po jednotlivých atributech. Každý atribut je mapován na právě jednu tabulku. V každé tabulce jsou hodnoty pro všechny objekty, na kterých je příslušný atribut definován. Zatímco ... -
Řízení toku v přístupových bodech bezdrátové sítě IEEE 802.11
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Bezdrátové sítě založené na standardu IEEE 802.11 (Wi-Fi) se dnes často používají jako první míle pro připojení k Internetu. Standard však pro toto použití nebyl navržen a proto se tento způsob nasazení potýká s problémy. ... -
Modely uživatelských preferencí v prostředí webovských obchodů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010Cílem práce je získat přehled v široké oblasti modelů uživatelských preferencí v prostředí internetových obchodů. Z popsané množiny modelů bude vybrána část, pro kterou budou navrženy konkrétní metody výpočtu preferencí. ... -
Entropické kodéry
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Cílem této diplomové práce je implementace různých metod entropického kódování a měření jejich kompresního poměru a rychlosti v kontextu programu XBW [Lan07]. Tyto metody zahrnují aritmetické kódování (s použitím Moatovy ... -
Metody sledování chování procesů na Windows
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010Tato práce rekapituluje vybrané metody pro sledování chování procesů na operačních systémech Windows. Zvláštní pozornost je věnována použití virtualizace jako pomocného prostředku k řešení problému. Cílem práce bylo zhodnotit ... -
Methods for precise local affine frame constructions on MSERs
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010 -
Využitie webových aplikačných frameworkov pri tvorbe informačných systémov
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Webové aplikačné frameworky urýchľujú prácu pri tvorbe webových informačných systémov. V súčasnosti je vývojárom k dispozícii veľké množstvo frameworkov. Táto práca sa snaží nájsť vhodné kritéria pre ich porovnanie. Na ... -
XML based framework for transformation of Java source code
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010Cílem této práce bylo vytvoření frameworku pro transformaci zdrojových kódů v jazyce Java. Základem frameworku je XML technologie. Framework definuje XML Schema použité k reprezentaci zdrojových kódů. Tyto zdrojové kódy ... -
Memory Representation for Model Checker of C/C++
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010V předložené práci je popsán návrh a C++ implementace nově vytvořeného paměťového modulu, který bude použit k reprezentaci paměti zkoumaného programu v GIMPLE Model Checkeru (explicit state model checkeru). Modul se liší ... -
Algorithms for Parallel Searching in XML Datasets
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Práce se bude zabývat problematikou indexace XML dat a efektivního vyhledávání s indexem. Hlavním těžíštěm bude snaha navrhnout datové struktury a algoritmy, které umožní úlohu vyhledávání maximálně paralelizovat a využít ... -
Dynamic setup for clusters with multi-master architecture
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010Diplomová práce se zabývá problémem multi-master konfigurace pro počítačové clustery, na kterých běží systém PROOF. PROOF je framework postavený na master-worker architektuře, který se používá především na analýzu fyzikálních ... -
Koordinace mezi logickými agenty
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 21. 9. 2009V predloženej práci študujeme súčasné modely pre koordináciu a navrhujeme nový model založený na argumentačnom systéme. Tento systém, nazvaný Argumentation BlackBoard for Coordination (ABBC) a jeho rozšírenie, Abstract ... -
Samoorganizace a morphing
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 21. 9. 2009Morphing je známý fi lmový vizuální efekt. Spočívá v plynulé přeměně jednoho obrazu na jiný. Tak se například postava filmu změní v medvěda. Realizace takového efektu vyžaduje pečlivou, soustředěnou a drahou práci animátora. ... -
Podpora procesorů UltraSPARC III, IV, T1 a T2 v HelenOS
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Stručné představení operačního systému HelenOS. Přehled obecných vlastností 64-bitových procesorů SPARC (registry, trapy, jednotka správy paměti, OpenBoot PROM). Specifické vlastnosti procesorů vyhovujících JPS (Joint ... -
Bodová primitiva na grafických akcelerátorech
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010V posledních letech je bodům jako způsobu reprezentace objektů věnováno více pozornosti. V této práci jsou představeny možnosti zpracování modelů reprezentovaných body. Je zde uveden přehled algoritmů, které lze využít při ... -
Metody pro řešení úloh semi-infinitního programování
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 3. 6. 2009Cílem práce je dát přehled základních přístupů k řešení úloh lineárního semi-infinitního programování. Dále se práce podrobněji zabývá různými variantami metod sečných nadrovin pro úlohu lineárního semi-infinitního ... -
Mobilní telefon jako dálkoměr-hloubkoměr-pravítko
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Diplomová práce je zaměřena na vytvoření aplikace pro některou mobilní platformu (vybrána byla platforma Windows Mobile Professional), která automaticky a efektivně detekuje deformovaný pravoúhlý předmět ve snímku a díky ... -
Support for development of enterprise applications in Java
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Diplomová práce se zabývá srovnáním dvou často používaných technologií při vývoji aplikací na platformě Java, frameworku Spring 2.5 a komponentové architektury Enterprise JavaBeans (EJB) 3.0. Jejím cílem je poskytnout ... -
Syntax-based extraction of component behavior specifications
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010Pro velké softwarové systémy je možné použít komponentový způsob vývoje. Jeho výhody jsou, že lze snadno části použít opakovaně a pokud obsahuje i popis chování, tak lze systém snadněji analyzovat. Komponenty jsou tvořeny ... -
Interface k online internetovým přenosům v přirozeném jazyce
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 1. 2. 2010Tento text popisuje práci na vytvoření interfacu k živým internetovým přenosům. Ty bylo nutné převést z textové podoby do podoby hlasové a následně přehrát na elektronickém králíkovi Nabaztagovi. Uživateli je pak umožněno ... -
Pohyb částic v blízkosti kompaktních hvězdných objektů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 17. 5. 2010V této diplomové práci se zabýváme vlastnostmi hvězdného větru hnaného absorpcí záření ve spektrálních čarách v rentgenových dvojhvězdách. Na konkrétním případu systému Cygnus X-1 jsou analyzovány efekty, které má kompaktní ... -
Systémy pro formální matematiku
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 21. 9. 2009Typový systeé Mizaru je pomrěně sofistikovaný - obsahuje celou řadu vlastností, jako jsou závislé typy, atributy, přetěžování, konstrukci podtypů, struktury a další. Tyto vlastnosti nemalou měrou přispívají k tomu, že ... -
Segmentace orgánů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009 -
IntelliSense Implementation of a Dynamic Language
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Vývojáři během samotného programování často opakují stejná slova a stále opisují běžné výrazy. Dále také prohledávají dokumentace a zdrojové kódy, například kvůli znění deklarací metoda jiných symbolů. Z tohoto pohledu je ... -
Sémantická personalizace
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Cílem této diplomové práce je navrhnout a implementovat nástroj v podobě frameworku, který bude určen pro webové tvůrce a měl by umožňovat metody personalizace v rámci libovolné webové aplikace. Framework bude získávat ... -
Modely výpočetní inteligence pro hydrologické predikce
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010Tato práce se zabývá možností využití metod výpočetní umělé inteligence v oblasti hydrologických předpovědí. Praktická studie problému krátkodobé predikce průtoku na základě světových srážek je provedena na skutečných ... -
Využitie prostriedkov modelovania biznis procesov na implementáciu formalizovaných lekárskych doporučení
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Diplomová práca analyzuje prostriedky na modelovanie biznis procesov v oblasti lekárskych odporúčaní. Business Process Management Notation je použitý ako prostriedok na modelovanie biznis procesov a namodelované je ním ... -
Počítačem usnadněné bydlení - Inteligentní vytápění
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010Tématem práce je využití počítačových technologií pro usnadnění a vylepšení našeho života v domácnostech. Student zváží a porovná různé řídící postupy především s ohledem na dlouhodobé tepelné řízení budov. Vybrané postupy ... -
Unit checking for Java IDE
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., veri cation of device drivers by SLAM), the code model checking tools are not widely used in general software ... -
Systém pro detekci napadení databáze metodou "SQL injection"
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010 -
Nedávné rozpady asteroidů a akrece jejich prachu na Zemi
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 17. 5. 2010Hlavn ím c ílem pr áce je anal ýza akrece prachu poch ázejí cí ho z rozpad u asteroid ální ch rodin Emilkowalski a YC2. Pomocí numerick ého integr átoru budeme sledovat dr áhy jednotliv ých prachov ých částic, z nich ž n ... -
Metafory a modelování živých systémů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 21. 9. 2009Předložená práce si klade za cíl teoreticky prozkoumat a popsat některé modely živých systémů. V první části se zabývá modely autonomních systémů, jako je například buňka nebo živý tvor jako celek. V této části je představen ... -
Networking and TCP/IP stack for HelenOS system
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010V této práci studujeme implementaci TCP/IP subsystému. Důraz je kladen na návrh a implementaci respektující koncept operačního systému s mikrojádrem. Praktickou částí pak byl vývoj TCP/IP subsystému pro systém HelenOS. ... -
Bezztrátová komprese JPEG grafiky
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 21. 9. 2009JPEG je široce rozšířená metoda komprese grafiky určená především pro ukládání fotografií. Skládá se ze ztrátové a bezztrátové části. Poslední fází je statické Huffmanovo kódování, které lze nahradit pokročilejšími adaptivními ... -
Rozhodovací stromy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 21. 9. 2009Mezi známé metody dobývání znalostí patří neuronové sítě, ILP, asociační pravidla, Bayesovské sítě, klastrování, rozhodovací stromy a další. Tato práce se zabývá právě rozhodovacími stromy, jejich implementací, vizualizací, ... -
Hierarchické zaostřování fotografií
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010 -
Mapping the Prague Dependency Treebank Annotation Scheme onto Robust Minimal Recursion Semantics
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 1. 2. 2010This thesis investigates the correspondence between two semantic formalisms, namely the tectogrammatical layer of the Prague Dependency Treebank 2.0 (PDT) and Robust Minimal Recursion Semantics (RMRS). It is a rst attempt ... -
Implementace top-trees
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010Nazev prace: Implerneiitace top-trees Autor: Jifi Sofka Katedra (ustav): Katedra teoreticke informatiky a matematicke logiky Vedouci diplornove prace: Mgr. Vladan Majerech, Dr. e-mail vedouciho: Vladan.Majerech@mff.cuni.cz ... -
Extrakce znalostí z dat
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Predmetom diplomovej práce je zhrnutie celkového procesu dobývania znalostí z dát a popis existujúcich algoritmov na predspracovanie dát a tvorbu modelu. Vlastnosti algoritmov sú navzájom porovnané a výsledky podložené ... -
Fraktální komprese časových řad
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Cieľom tejto práce bolo vyhľadávanie jednorozmerných fraktálnych distribúcií v reálnych časových radoch a ich použitie na kompresiu týchto časových radov. Bola preskúmaná použiteľnosť tejto metódy na bezstratovú ako aj ... -
Určení kosmologických omega faktorů pomocí supernov typu Ia
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 17. 5. 2010Moje pr áce p ředstavuje pokus o ur čen í kosmologick ých omega faktor ů pomocí dat změřen ých z pozorov án í supernov typu Ia s kosmologick ým rud ým posuvem z 0,1. K ur čení omega faktor ů vyu žív ám metody fitov án í ... -
Methods of MCTS and the game Arimaa
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 21. 9. 2009Arimaa je strategická hra vytvořená za účelem být obzvláště těžká pro počítače. Většina existujících programů hrajících hru Arimaa je založena na ověřených postupech z problematiky počítačových šachů obzvláště pak na ... -
Integrace systémů pomocí společného doménového modelu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Kanonický dátový model (Canonical Data Model) obsahuje popis všetkých dát, ktoré sa v organizácií používajú. Všepokrývajúci model však môže byť náročný na realizáciu a preto sa zvyčajne rozsah tohto modelu definuje tak, ... -
Evoluce XML schémat
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009V předložené práci studujeme možnosti v oblasti evoluce XML schémat. Práce obsahuje přehled existujh technik pro konceptuální modelování XML dat, sjednocování schémat a evoluci XML schémat. Je zde prezentována nová ... -
Lingvistická komprese textu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 21. 9. 2009Při kompresi textu můžeme s úspěchem využít znalosti o přirozeném jazyce. V předkládané práci poukazujeme na možnost kódovat samostatně posloupnost slovních druhů nacházejících se ve větě(větný typ) a text samotný. Za tímto ... -
Úložiště pro rozvolněné objekty
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009V objektovém modelu je standardně každému objektu přiřazena třída, ve které jsou nejen definována data objektu, ale i metody, které s těmito daty pracují. Tento přístup není vhodný v dynamicky se měnícím heterogenním ... -
Volume data fusions
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009V předložené práci studujeme metody fúze objemových dat. Diplomová práce začíná vysvětlením základních fyzikálních principů vybraných metod pořízení medicínských dat - Počítačová Tomografie, Magnetická Rezonance a Pozitronová ... -
AI Planning with Time and Resource Constraints
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 21. 9. 2009Automatizované plánování hraje bezesporu klíčovou roli v mnoha oblastech lidského zájmu, kde složité a proměnlivé úlohy vyžadují efektivní řešení a omezení možných chyb. Další motivací pro výzkum plánování je zachycení ... -
Portál pro online průzkum trhu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Předložená diplomová práce pojednává o vzniku portálu pro online průzkumy trhu. Sleduje analýzu stěžejních témat stejně jako následný návrh portálu, popisuje implementační detaily a ověřuje výkonnost výsledného portálu ... -
SW podpora DNSSEC
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Predložená práca sa zaoberá vývojom systému DNSSEC (DNS Security extensions) ako nadstavby pre systém DNS od jeho počiatkov až po súčasný stav. Popisuje spôsob akým DNSSEC pomáha zabezpečiť systém DNS proti rôznym útokom, ... -
Prostředky zjednodušující pořizování dat v rozsáhlých podnikových informačních systémech v prostředí SAP.
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Diplomová práce se zabývá otázkou, jak jsou různá uživatelská rozhraní do informačního systému vhodná pro různé skupiny uživatelů IS. Autor v práci zkoumá jaký dopad má použití vhodného nebo nevhodného rozhraní na efektivitu ... -
Node Alias Resolution
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Při mapování počítačových sítí je důležité určit, které ze zjištěných IP adres patří příslušnému zařízení (směrovači). Směrovače mají zpravidla několik rozhraní. Zejména v případě, kdy zařízení odděluje dvě sítě z různých ... -
Identifying runtime components of the running SOFA 2 application
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Tato práce se zabývá návrhem dekompozice komponentového běhového prostředí SOFA 2. První část je věnovaná popisu logických částí prostředí a jejich vzájemných vazeb. Jsou zde popsány úlohy podpůrných programových celků ... -
Studium vlastností bimetalických nanostruktur na površích křemíku metodami STM a STS
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 17. 5. 2010Práce se zabývá studiem lineárních nanostruktur tvořených kovy III. (Al, In) a IV. (Sn) skupiny na povrchu Si(001)2×1 metodami řádkovací tunelové mikroskopie a spektroskopie. Atomy se na povrchu uspořádávají do atomárních ...
RSS 1.0