Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 8721-8800 z 11264
-
Task snapshoting in HelenOS
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010HelenOS je moderním mikrokernelovým operačním systémem vyvíjeným na Matematicko-Fyzikální fakultě Univerzity Karlovy v Praze. Checkpointing je technika běžně používaná pro zajištění určité úrovně chybové tolerance pro ... -
Model kódování ve sluchové dráze
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Cieľom tejto práce bolo preskúmanie funkcie častí sluchovej dráhy, ktoré sú zodpovedné za kódovanie akustických podnetov do neurálnej aktivity v sluchovom nerve. Tieto poznatky sú využívané pri konštrukcii kochleárnych ... -
Rozhraní pro ovladače zařízení v HelenOS
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 7. 9. 2010Uvedení do problematiky ovladačů zařízení, význam jednotného rozhraní pro ovladače zařízení v rámci operačního systému. Stručný popis základních principů hardware z pohledu programátora. Přehled vlastností operačního systému ... -
Similarity of XML Data
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010V předložné práci studujeme možnosti v oblasti reverzního inženýrství XML schémat. Práce obsahuje základní přehled jazyka XML a běžně použvaných jazyků pro zápis XML schémat, přehled existujících technik pro konceptuální ... -
History and Backup Support for zlomekFS
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010zlomekFS je distribuovaný souborový systém, který umožnuje práci se sdílenými soubory i bez aktivního pripojení, s využitím lokální kopie. Behem synchronizace lokálních zmen nabízí jednoduchý mechanizmus rešení konfliktních ... -
Netradiční motivační multimediální objekty ve výuce fyziky - interdisciplinární přístup
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 9. 9. 2010Vdiplomove prdcijsoupfedlozeny ndvrhy na laboratorni ulohy pro rozsifeni vyuky fyziky na stfedni skole apro zvysenijeji atraktivity pro studenty. Jejich cilemje pomoc ucitelumjyziky pfi tvorbe zajimavych mefeni v mezioborovych ... -
Analýza chování uživatele na webových stránkách
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 15. 9. 2010Diplomová práca zhromažďuje znalosti o súčasných metódach, ktoré analyzujú správanie sa používatela na webových stránkach a interpretujú toto správanie z hladiska jeho preferencií. Bežným spôsobom, ako získa informácie o ... -
Read-Copy-Update for OpenSolaris
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Cílem práce je návrh a implementace mechanismu RCU (Read-Copy-Update) pro OpenSolaris. Hlavním úcelem mechanismu RCU je zvýšení soubežnosti (paralelismu) pri synchronizaci mezi ctenári a zapisovateli, zejména u víceprocesorových ... -
Deduplikační metody v databázích
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010V této práci studujeme úlohy odhalování duplicit v databázích v rámci datové kvality. Za duplicity považujeme ty záznamy, které se sice mohou syntakticky lišit, ale které sémanticky představují tentýž objekt reálného světa. ... -
Semantics Detection in Partially Structured Sources
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Obsahem této práce je porovnání možností analýzy strukturovaných zdrojů dat, jako jsou emaily či HTML stránky. Práce se zaměřuje na praktické zhodnocení společných znaků těchto dokumentů, které lze využít k analýze, extrakci ... -
Vylepšení víceproudé komprese
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 13. 9. 2010Víceproudá komprese je založena na transformaci, která se výrazně liší od ostatních transformací běžně používaných pro kompresi dat. Diplomová práce se zaměřuje na použití této metody pro kompresi textových souborů v ... -
Migration and load-balancing in distributed hierarchical component systems
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Vyvážené využití zdrojů je jedním z cílů distribuovaných aplikací. Jeden ze způsobů, jak dosáhnou vyváženého využití je monitorování běhu aplikací a migrace jejich komponent mezi počítači. Migrace s sebou přináší mnoho ... -
Vyhledávání v českých strukturovaných datech pomocí stemmingu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Tato práce implementuje a popisuje komponentu pro fulltextové vyhledávání s podporou eského doplování diakritiky a stemmingu. Doplňovač diakritiky pracuje na statistickém principu a zohleduje kontext. Práce obsahuje pět ... -
Lineární programování ve výuce na střední škole
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 22. 9. 2010Cílem této diplomové práce je přiblížit problematiku lineárního programování středoškolským studentům a široké veřejnosti. Práce definuje úlohu lineárního programování a představuje dvě základní metody jejího řešení (grafické ... -
Skórkarty datové kvality
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Cílem práce je vytvořit systém pro automatické měření a vyhodnocování kvality dat a sledování účinnosti procesů řízení kvality dat na bázi Skórkaret datové kvality. Podstatou Skórkaret datové kvality je implementace ... -
Uživatelské anotace webových zdrojů mikroformáty
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Tato diplomová práce zkoumá využitelnost postupu uživatelem asistované anotace pro sémantickou anotaci webových zdrojů mikroformáty. Klíčovým ověřovaným principem je přístup, kdy data získaná díky uživatelově asistenci ... -
Processing of Incorrect XML Data
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010XML dokumenty a technologie reprezentují široce akceptovaný standard pro správu a výměnu semistrukturovaných dat. Překvapivě vysoký počet XML dokumentů však obsahuje chyby dobré formovanosti, strukturální validity nebo ... -
Connector generation process enhancement
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 7. 9. 2010Softwarové konektory poskytují možnost, jak modelovat a realizovat propojení komponent v komponentových systémech. Jednou z výhod konektorů je, že sestavení jejich programového kódu lze provádět automatizovaně - generovováním ... -
Systém pro monitorování kvality připojení
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 7. 9. 2010Cílem diplomové práce je navrhnut metodiku centralizovaného monitorování datového provozu u poskytovatele pripojení k internetu, které by umožnilo detekovat prípojky vykazující problémy s kvalitou pripojení a hodnotit míru ... -
Typické vzory užívání anglických sloves
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Metoda CPA (Corpus Pattern Analysis) je korpusová metoda, která analyzuje typické vzory užívání slov v jazykovém korpusu a popisuje význam sloves pomocí kontextových preferencí definovaných jak syntakticky, tak sémanticky ... -
Pokročilý korektor češtiny
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Cílem práce je implementovat český spell-checker, který bude využívat jazykové modely a lexikální morfologické analýzy za účelem nabízení co nejkvalitnějšího seznamu možností oprav pro jednotlivé překlepy a za účelm odhalení ... -
Data a jejich klastrování
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 13. 9. 2010Tato diplomová práce popisuje známé metody klastrování dat a zkoumá jejich možnou aplikaci na data z oblasti sociálních sítí. Z tohoto důvodu jsme zrekapitulovali, jak pomocí dat reálné objekty popisujeme a jaké využíváme ... -
Notový editor
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Cílem této práce bylo navrhnout a implementovat WYSIWYG notový editor, který by řešil některé problémy, se kterými se potýkají hudebníci v běžné praxi, a také se pokusil odstranit některé nedostatky existujících produktů. ... -
Machine Learning Approach to Anaphora Resolution
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Rozpoznávání anafory je klíčové pro některé z úloh zpracování přirozeného jazyka (NLP), jako extrakce informací nebo dialogové systémy. Tato informace může byt hodnotná taky při strojovém překladu. Všechny předešlé práce ... -
Comparison of Enterprise Application Integration platforms
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Diplomová práce zkoumá oblast integrace podnikových aplikací (angl. Enterprise Application Integration, EAI) spolu s nástroji a platformami, které takovou integraci umožňují. Koncept podnikové sběrnice služeb (angl. ... -
Monitoring procesních dat Národní vlakové linky
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Jedním z protokolů používaných pro komunikaci mezi vozy ve vlacích, je Národní vlaková linka (NVL). Výsledkem této práce je podpora diagnostiky NVL - zejména sledování toku procesních dat a přehledné monitorování vybraných ... -
Framework pro distribuované komponentové aplikace
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Prostredie PLAS slúži k jednoduchému vytváraniu aplikácií, ktoré sú spustitelné na roznych platformách, v podobe komponentového systému v programovacom jazyku JAVA. Výsledná aplikácia može být distribuovaná na viacero ... -
Deployment of SOFA 2 applications for embedded environment
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 7. 9. 2010Vývoj aplikácií pre vstavané zariadenia je náročnou úlohou hlavne vďaka rôznorodosti použitého hardwaru. Technológie ako Java ME sa snažia poskytnúť jednotný programový model v duchu hesla "write once - run anywhere", avšak ... -
Porovnání metod pro kompresi velké abecedy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Při kompresi textu nad abecedou slov nebo slabik je potřeba řešit problém, jak přenést abecedu mezi kodérem a dekodérem. Především u malých a středně velkých dokumentů tvoří kód abecedy významnou část výsledného souboru. ... -
HelenOS Monitoring
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 7. 9. 2010Hlavním úkolem operačního systému je poskytnout uživatelským úlohám stabilní, jednodché a přitom dostatečně silné rozhraní služeb. Nicméně pro praktické použití systému je často nutné zjistit v jakém stavu se systém opravdu ... -
Rich Features in Phrase-Based Machine Translation
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010V této práci zkoumáme metody, jak zlepšit kvalitu statistického strojového překladu použitím bohaté lingvistické informace. Nejdříve popíšeme SemPOS - metriku, která využívá mělké sémantické reprezentace vět k hodnocení ... -
Očekávaná výška binárních vyhledávacích stromů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 13. 9. 2010V této práci studujeme očekávanou výšku binárních vyhledávacích stromů a některé jejich další vlastnosti. Očekávanou výšku zjišťujeme u nevyvážených stromů, a u dvou asi nejznámějších a nejpoužívanějších variant vyvážených ... -
Webová aplikace pro výuku planimetrie
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 16. 9. 2010Tato práce vznikla jako webové stránky pro výuku planimetrie. Je určena především studentům a učitelům středních škol. Stránky jsou rozděleny na dvě hlavní části. Nejprve shrnutí středoškolské planimetrie, týkající se ... -
Constrained activity sequencing
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 7. 9. 2010Mnoho rozvrhovacích problémů lze považovat za problémy s hledáním posloupností aktivit splňujících určité podmínky a omezení. Typickým příkladem je rozvrhování letů v leteckém průmyslu, kde úlohou je přiřazení segmentů ... -
Machine Translation of Related Asian Languages
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010This thesis presents the development of an MT system between Indonesian and Malaysian. The system uses a method of almost a direct translation exploiting the similarity of both languages. This method was previously used ... -
Ontologický popis inteligentních agentů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 13. 9. 2010V práci predstavujeme multi-agentní systém Pikater, který zastrešuje ruzné výpocetní metody používané v umelé inteligenci, a nabízí uživatelum prostredí pro pohodlné provádení jednoduchých i složitejších experimentu, jednak ... -
Plánování osobní historie virtuálního agenta
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 7. 9. 2010Episodická paměť je důležitou součástí "mysli" mnoha virtuálních agentů, protože agent s osobní historií bývá efektivnější a uvěřitelnější. Dosud se výzkum v oblasti modelování episodické paměti těchto agentů soustředil ... -
Filtering Algorithms for Tabular Constraints
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 13. 9. 2010Předložená práce se zabývá implementací filtračních algoritmů hranové konzistence pro extenzivně definované podmínky. Zavádíme zde nový koncept binarizace pro rozkládání více-árních ad hoc podmínek na síť binárních podmínek. ... -
Perfektní simulace ve stochastické geometrii
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 20. 9. 2010Perfektní simulací označujeme metody, jež umožňují generování přesných vzorků z nějakého složitého, přímo nedostupného rozdělení, pomocí couplingu trajektorií zvoleného markovského řetězce. Tyto metody nejčastěji převádějí ... -
Analýza chyb a možností zlepšení frázového strojového překladu z angličtiny do urdštiny
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 4. 2. 2011Diplomová práce vyhodnocuje kvalitu frázového strojového překladu pro překlad z angličtiny do urdštiny. Popisujeme anotační schéma pro chyby v překladu a aplikujeme jej na výstupy systému. Hlavním cílem diplomové práce je ... -
Preferenční dotazováni, indexy, optimalizace
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 31. 1. 2011Táto práca sa zaoberá vyhľadávaním k najlepších objektov z pohľadu viacerých užívateľov. Každý užívateľ má vlastné preferencie reprezentované pomocou fuzzy funkcií a agregačnej funkcie. Práca navrhuje a implementuje niekoľko ... -
Řízení mobilního robota
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 24. 1. 2011Cílem této práce je návrh a realizace architektury mobilního robota, schopného autonomní navigace a tvorby mapy, za použití stereoskopické kamery a robotického operačního systému ROS. ** Toto je přidaný text pro doplnění ... -
Profiling translation of conceptual schemas to XML schemas
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Práce se zabývá analýzou algoritmu pro převod konceptuálních schémat do XML schémat v jazyce XML Schema, který byl uveden v [4]. Snažíme se najít nedostatky tohoto algoritmu a také hledáme parametry, kterými by bylo možné ... -
Combining outputs from machine translation systems
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 4. 2. 2011Combining Outputs from Machine Translation Systems By Fahim A. Salim Supervised by: Ing. Zdenek Zabokrtsky, Ph.D Institute of Formal and Applied Linguistics, Charles University in Prague 2010. Abstract: Due to the massive ... -
Prostředí pro vývoj modulárních řídících systémů v robotice
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Práca sa zaoberá návrhom a implementáciou modulárneho ria- diaceho systému, vhodného pre použitie v robotike. Systém podporuje au- tonómnych ako aj ručne riadených robotov. V navrhovanom prostredí je kladený dôraz na ... -
Řešení problémů pomocí MCTS
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Název práce: Řešení problémů pomocí MCTS Autor: Dominik Malý Katedra (ústav): Katedra teoretické informatiky a matematické logiky Vedoucí diplomové práce: RNDr. Jan Hric E-mail vedoucího: Jan.Hric@mff.cuni.cz Abstrakt: ... -
Third order moment characteristics for spatial point processes
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 25. 1. 2011Při popisu a statistické analýze prostorových bodových procesů se velmi často používají momentové charakteristiky - tj. charakteristiky založené na momentech rozdělení počtu bodů bodového procesu pozorovaných v daných ... -
Vlastnosti zobrazení s konečnou distorzí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 26. 5. 2011Zkoumáme spojitost zobrazení s konečnou distorzí, funkce které mají sloužit jako model elastických deformací při nelineární elas- ticitě. Zaměřujeme se na podmínky pro spojitost na vnitřní distorzi a navíc ukážeme, že jistý ... -
Nestacionární procesy částic
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 25. 1. 2011Název práce: Nestacionární procesy částic Autor: Čeněk Jirsák Katedra: Katedra pravděpodobnosti a matematické statistiky Vedoucí diplomové práce: Doc. RNDr. Jan Rataj, CSc., Matematický ústav UK e-mail vedoucího: ... -
Vyhledávací problémy a hledání kolizí pro hašovací funkce
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 28. 1. 2011Název práce: Vyhledávací problémy a hledání kolizí pro hašovací funkce Autor: Samuel Čarnoký Katedra : Katedra algebry Vedoucí diplomové práce: prof. RNDr. Jan Krajíček, DrSc. e-mail vedoucího: krajicek@karlin.mff.cuni.cz ... -
Ekonomický kapitál a cena rizika penzijního fondu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 10. 2. 2011V predloženej práci študujeme ekonomický kapitál penzijných fondov a ich možné rozšírenie do nového konceptu Solvency II. Hlavnou úlohou bude skúmať riziká, ktoré sú pre činnosť penzijného fondu charakteristické. Používame ... -
Molekulární simulace rozhraní voda - rutil
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 7. 2. 2011Studium strukturních a zejména dynamických vlastností rozhraní vodního prostředí s grafitovým a rutilovým povrchem poukazuje na anomální chování molekul vody v blízkosti pevné fáze. Molekuly vody se zde řadí do hustotních ... -
Exponenciální třídy a jejich význam pro statistickou inferenci
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 9. 5. 2011Název práce: Exponenciální třídy a jejich význam pro statistickou inferenci Autor: Sally Abdel-Maksoud Katedra: Katedra pravděpodobnosti a matematické statistiky Vedoucí diplomové práce: doc. RNDr. Daniel Hlubinka, Ph.D. ... -
RBF-sítě s dynamickou architekturou
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 24. 1. 2011V tejto diplomovej práci som zrekapituloval viacero metód vhodných pre klastrovanie vstupných dát. Predstavil som dva dobré známe klastrovacie algoritmy, a to konkrétne K-means algoritmus a Fuzzy C-means (FCM) algoritmus. ... -
Analýza návrhu nových hašovacích funkcí pro soutěž SHA-3
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 28. 1. 2011V předložené práci studujeme linearizační rámec pro posuzování bezpečnosti hašovacích funkcí a analyzujeme návrh hašovací funkce BLAKE. Práce poukazuje na nedostatek metody navržené v linearizačním rámci, na základě kterého ... -
Automatická kontrola překladu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 31. 1. 2011Prekladové pamäte sa stávajú u profesionálnych prekladateľov čím ďalej, tým viac populárne; a to predovšetkým v oblasti lokalizácie produktov a pri preklade odborných či oficiálnych dokumentov. Aj keď komerčné systémy ... -
Moderní operační systém bez MMU
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 31. 1. 2011Jednotka správy paměti (MMU) je hardwarová komponenta zajišťující zejména překlad virtuálních adres na fyzické a s tím související bezpečné oddělení jádra a procesů. Řada procesorů i v dnešní době však postrádá MMU jednotku. ... -
Využití systémů Content Management ve státní správě
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 31. 1. 2011Content Management systémy umožňují jednoduché vytváření a správu webových stránek i bez odborných programátorských znalostí. Práce popisuje využití těchto systému na Celní správě a navrhuje postup migrace z jednoho ... -
Moderní evoluční algoritmy pro hledání oblastí s vysokou fitness
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 31. 1. 2011Evoluční algoritmy jsou optimizační techniky inspirované vývojem biologických druhů v přírodě. Používají konceptuálně jednoduchý proces střídající dvě fáze, a to reprodukci a výběr na základě fitness, a iterativně tak ... -
Cloud computing using a hierarchical component system
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 31. 1. 2011Cloud computing je v současnosti populární výpočetní model, kde počítače propojené v síti (tzv. cloud) společně nabízí velký výpočetní výkon. SOFA 2 je hierarchický komponentový systém s distribuovaným běhovým prostředím, ... -
Mass transport routing
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 31. 1. 2011Plánovaní spojů přístupné z mobilního zařízení poskytuje cestovní informace v pohybu. Tato práce studuje různé oblasti plánovačů spojů za účelem implementace řešení pro tuto úlohu. Zkoumáme spojení s telefonními sítěmi a ... -
Odstranění rozmazání pomocí dvou snímků s různou délkou expozice
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 31. 1. 2011V předložené práci studujeme metody odstranění rozmazání pomocí dvou snímků stejné předlohy s různou dobou expozicie, přičemž se soustřeďujeme na dvě hlavní kategorie těchto metod, tzv. dekonvoluční a nedekonvoluční. U ... -
Hierarchická komprese
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 31. 1. 2011Většina textových kompresních metod je založena na podobném principu. Vstupní text je rozdělen na posloupnost textových jednotek. Těmito textovými jednotkami jsou zpravidla znaky, slabiky nebo slova. Vyhledávání redundancí ... -
Online monitoring of electronic trading
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 31. 1. 2011Práce analyzuje procesy uvnitř brokerské společnosti a na základě této analýzy popisuje návrh a implementaci řešení, které umožňuje sledování on-line provozu na jednotlivých burzách. Monitorovací systém poskytuje detailní ... -
Monitoring DNS serverů domén druhé úrovně
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 31. 1. 2011Tato práce přímo navazuje na bakalářskou práci. Nejprve uvádí veškerou potřebnou teorii o protokolech HTTP, SMTP a dalších, která je následně využita k sestavení metodiky rozšiřujících testů, které ověřují dostupnost a ... -
Řešené úlohy z elektromagnetismu pro elektronickou sbírku
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 27. 1. 2011Práce volně navazuje na jiné bakalářské a diplomové práce, které se věnovaly tvorbě úloh pro Elektronickou sbírku řešených úloh z elektřiny a magnetismu. Jedním z cílů této diplomové práce bylo zmapovat internetové zdroje ... -
Lokální a globální analytické zprávy o výsledcích DZD
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 24. 1. 2011Název práce: Lokální a globální analytické zprávy o výsledcích DZD Autor: Zdeněk Reischig Katedra: Katedra softwarového inženýrství Vedoucí diplomové práce: doc. RNDr. Jan Rauch, CSc. E-mail vedoucího: rauch@vse.cz Abstrakt: ... -
Použití Markovových rozhodovacích procesů pro modelování kolektivních her
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010V tejto práci je navrhnutý a implementovaný model vychádzajúci z teórie Markovovho procesu so spojitým časom na jednu vybranú kolektívnu hru. Na vstupných dátach je prevedená rozsiahla analýza, na základe ktorej sú odvodené ... -
Improving efficiency of HEP applications
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 31. 1. 2011Velký hadronový urychlovač (Large Hadron Collider - LHC) vybudovaný v CERNu v Ženevě byl konečně spuštěn a začal generovat obrovské množství dat. Tato data jsou distribuována mezi výpočetní centra po celém světě, která ... -
Zhluková analýza dynamických dát
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 31. 1. 2011Název práce: Zhluková analýza dynamických dát Autor: Bc. Michal Marko Katedra: Kabinet software a výuky informatiky Vedoucí diplomové práce: RNDr. František Mráz, CSc. e-mail vedoucího: Frantisek.Mraz@mff.cuni.cz Abstrakt: ... -
Multiplatformní prostředí pro vývoj mobilních her
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 31. 1. 2011Názov práce: Multiplatformní prostředí pro vývoj mobilních her Autor: Ivan Vacula Katedra: Katedra softwarového inženýrství Vedúci diplomovej práce: RNDr. David Bednárek, Ph.D. E-mail vedúceho: bednarek@ksi.mff.cuni.cz ... -
Průchod proudu vibrujícím molekulárním můstkem
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 7. 2. 2011V předložené práci studujeme průchod elektronu vibrujícím molekulárním můstkem interagujícím s přívodními vodiči za použití metody nerovnovážných Greenových funkcí. Použité Greenovy funkce využívají kombinaci prvního kvan- ... -
GIMPLE Model Checker
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 31. 1. 2011Název práce: GIMPLE Model Checker Autor: Ondrej Krč-Jediný Katedra (ústav): Katedra distribuovaných a spolehlivých systémů Vedoucí diplomové práce: RNDr. Ondřej Šerý Ph.D. e-mail vedoucího: Ondrej.Sery@mff.cuni.cz Abstrakt: ... -
Rozšíření Kalmanova filtru
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 24. 1. 2011Název práce: Rozšíření Kalmanova filtru Autor: Pavel Tlustý Katedra (ústav): Katedra pravděpodobnosti a matematické statistiky Vedoucí diplomové práce: Mgr. Zdeněk Hlávka, Ph.D. e-mail vedoucího: hlavka@karlin.mff.cuni.cz ... -
DoS a DDoS útoky na SIP protokol
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 31. 1. 2011Cílem této diplomové práce je seznámit se s protokolem SIP a s problematikou možných útoků na tento protokol, zejména se zaměřením na útoky typu DoS a DDoS. Práce se soustředí na podrobnou klasifikaci útoků, možnosti a ... -
Identifikace a zohlednění změn ve vývoji škod při výpočtu IBNR rezerv
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 10. 2. 2011Uvedená práce popisuje širokou škálu modelů pro odhad rezervy na pojistná plnění, jako jsou chain ladder, Mnichovský chain ladder, Cape Cod nebo regresní metody. Zaměřuje se především na identifikaci předpokladů jednotlivých ... -
Uživatelské preference v prostředí prodejních webů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 31. 1. 2011Cílem práce je nejprve vyhledání dostupných informací o uživatelských preferencích, uživatelské zpětné vazbě a jejich získávání, zpracování, skladování atd. Ze získaných informací pak sestavit návrhy či doporučení pro ... -
Útoky založené na hardwarových chybách
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 28. 1. 2011Název práce: Útoky založené na hardwarových chybách Autor: Martina Válková Katedra (ústav): Katedra algebry Vedoucí bakalářské práce: Mgr. Štěpán Holub, Ph.D. e-mail vedoucího: Stepan.Holub@mff.cuni.cz Abstrakt: V předložené ... -
Komunikace v Multi-Agentních systémech
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 24. 1. 2011Táto práca rozoberá problematiku komunikácie medzi agentami v MAS. Najskôr som sa pokúsil priblížiť logických agentov, špeciálne racionálnych logických agentov. Na popis týchto agentov som použil logiku LORA. Ukázal som ... -
Mnichovská metoda chain ladder
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 10. 2. 2011Názov práce: Mníchovská metóda chain ladder Autor: Bc. Veronika Janáková Katedra: Katedra pravdepodobnosti a matematickej štatistiky Vedúci diplomovej práce: Mgr. Martin Pleška e-mail vedúceho: martin.pleska@cz.pwc.com ...