Poslední příspěvky

Zobrazují se záznamy 8721-8800 z 11264

  • Task snapshoting in HelenOS 

    Výsledek obhajoby: OBHÁJENO
    Brambora, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    HelenOS 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
    Sabol, Viliam (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    Cieľ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
    Trochtová, Lenka (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 7. 9. 2010
    Uvedení 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
    Stárka, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    V 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
    Wartiak, Rastislav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    zlomekFS 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
    Šimek, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 9. 9. 2010
    Vdiplomove 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
    Žák, Vladimír (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 15. 9. 2010
    Diplomová 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
    Podzimek, Andrej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    Cí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
    Vávra, Petr (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    V 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
    Suchan, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    Obsahem 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
    Unger, Lukáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 13. 9. 2010
    Ví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
    Remeš, Václav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    Vyváž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
    Tattermusch, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    Tato 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
    Váchová, Petra (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 22. 9. 2010
    Cí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
    Valčík, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    Cí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
    Toušek, Jiří (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    Tato 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
    Svoboda, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    XML 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
    Raszyk, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 7. 9. 2010
    Softwarové 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
    Vyskočil, Vladimír (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 7. 9. 2010
    Cí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
    Smejkalová, Lenka (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    Metoda 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
    Richter, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    Cí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
    Pilmann, Jindřich (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 13. 9. 2010
    Tato 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
    Kopenec, Lukáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    Cí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
    Novák, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    Rozpozná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
    Kusák, David (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    Diplomová 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
    Lasák, Petr (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    Jední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
    Lenčéš, Miroslav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    Prostredie 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
    Pastorek, Jaroslav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 7. 9. 2010
    Vý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
    Kuthan, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    Př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
    Kozina, Stanislav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 7. 9. 2010
    Hlavní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
    Kos, Kamil (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    V 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
    Langhammer, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 13. 9. 2010
    V 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
    Kurka, Štěpán (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 16. 9. 2010
    Tato 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
    Nguyen, Son Tung (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 7. 9. 2010
    Mnoho 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
    Larasati, Septina Dian (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    This 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
    Pešková, Klára (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 13. 9. 2010
    V 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
    Kučerová, Lucie (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 7. 9. 2010
    Episodická 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
    Molnár, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 13. 9. 2010
    Př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
    Sadil, Antonín (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 20. 9. 2010
    Perfektní 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
    Ata, Naila (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 4. 2. 2011
    Diplomová 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
    Horničák, Erik (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 31. 1. 2011
    Tá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
    Franěk, Dominik (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 24. 1. 2011
    Cí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
    Berka, Lukáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    Prá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
    Salim, Fahim (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 4. 2. 2011
    Combining 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
    Petrůšek, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    Prá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
    Malý, Dominik (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    Ná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
    Verchière, Didier (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 25. 1. 2011
    Př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
    Campbell, Daniel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 26. 5. 2011
    Zkoumá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
    Jirsák, Čeněk (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 25. 1. 2011
    Ná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
    Čarnoký, Samuel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 28. 1. 2011
    Ná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
    Čupák, Matúš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 10. 2. 2011
    V 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
    Hanke, Hynek (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 7. 2. 2011
    Studium 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
    Moneer Borham Abdel-Maksoud, Sally (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 9. 5. 2011
    Ná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
    Jakubík, Miroslav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 24. 1. 2011
    V 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
    Marková, Lucie (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 28. 1. 2011
    V 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
    Šimlovič, Juraj (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 31. 1. 2011
    Prekladové 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
    Tlach, Jiří (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 31. 1. 2011
    Jednotka 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
    Foltýn, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 31. 1. 2011
    Content 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
    Káldy, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 31. 1. 2011
    Evoluč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
    Kučera, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 31. 1. 2011
    Cloud 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
    Bečka, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 31. 1. 2011
    Plá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
    Sabo, Jozef (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 31. 1. 2011
    V 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
    Kreibichová, Lenka (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 31. 1. 2011
    Vě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
    Poštulka, Petr (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 31. 1. 2011
    Prá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
    Šťastný, Petr (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 31. 1. 2011
    Tato 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
    Pošta, Petr (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 27. 1. 2011
    Prá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
    Reischig, Zdeněk (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 24. 1. 2011
    Ná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
    Zákutný, Roman (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 6. 9. 2010
    V 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
    Horký, Jiří (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 31. 1. 2011
    Velký 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
    Marko, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 31. 1. 2011
    Ná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
    Vacula, Ivan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 31. 1. 2011
    Ná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
    Šmít, Daniel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 7. 2. 2011
    V 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
    Krč-Jediný, Ondrej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 31. 1. 2011
    Ná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
    Tlustý, Pavel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 24. 1. 2011
    Ná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
    Staněk, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 31. 1. 2011
    Cí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
    Brdíčková, Jana (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 10. 2. 2011
    Uvedená 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
    Peška, Ladislav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 31. 1. 2011
    Cí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
    Válková, Martina (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 28. 1. 2011
    Ná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
    Bosík, Andrej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 24. 1. 2011
    Tá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
    Janáková, Veronika (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
    Datum obhajoby: 10. 2. 2011
    Ná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 ...

© 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 560/5, 116 36 Praha 1; email: admin-repozitar [at] cuni.cz

Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

DSpace software copyright © 2002-2015  DuraSpace
Theme by 
@mire NV