Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 10401-10480 z 11264
-
Bridž a analyzování bridžové sehrávky
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Cílem této práce je vytvoření dvou programů, a to simulátoru karetní hry bridž a Editoru dražebních systémů zmíněné hry. Práce popisuje vlastnosti obou programů, jakožto i správné použití Editoru pro tvorbu dražebního ... -
Episodická paměť pro postavy z IVE
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Paměť je důležitou součástí každého člověka a na jejím fungování je závislý nejen rozvoj osobnosti, ale i každodenní chování. Je důležitá i pro věrohodné chování umělých bytostí. Tato práce má za cíl navrhnout model paměti, ... -
Vizualizace podobnosti dokumentů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007V této práci se zabýváme vizuálním porovnáváním textů, především hledáním podobností v textových dokumentech pomocí techniky dotplotu. Pro tento způsob porovnávání byl implementován algoritmus a vytvořena uživatelská ... -
Konvertor RDF formátů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007RDF standard je jeden ze základních stavebních kamenů Sémantického webu. RDF/XML bylo navrženo jako primární způsob serializace RDF, avšak kvůli jeho složitosti a nízké čitelnosti zápisu pro člověka vzniklo několik ... -
Tenisová databáze
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007 -
Osadníci z Katanu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Cílem předložené práce je převést známou deskovou hru Osadníci z Katanu do podoby počítačové hry pro dva až čtyři hráče pro hraní přes počítačovou síť. Nejprve jsou podrobně rozebrány aspekty deskové hry, které musí ... -
Algoritmy konstrukce sufixových stromů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007V predloženej práci študujeme algoritmy pre výstavbu dátovej štruktúry sufixový strom. Táto štruktúra pomáha optimálne riešiť mnoho problémov z oblasti spracovávania textu. Existuje hneď niekoľko prístupov a algoritmov, ... -
Animace algoritmů z teorie automatů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007 -
Implementácia moderných prístupov v elektronickom zdravotnom zázname
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007V predloženej práci sa študujú možnosti implementácie elektronického zdravotného záznamu pomocou moderných technológií. Hlavným cieľom je väčšia dekompozícia serverovej časti implementácie EHR v porovnaní s minulými verziami. ... -
Algoritmy pro spektrální klasifikaci hvězd
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007HLAVNÍM VÝSTUPEM PRÁCE JE POČÍTAČOVÝ PROGRAM PRO AUTOMATICKÉ ZPRACOVÁVÁNÍ NASKENOVANÝCH ASTRONOMICKÝCH DESEK, KTERÉ POCHÁZÍ Z ROZSÁHLÉHO ARCHIVU NA NĚMECKÉ HVĚZDÁRNĚ V SONNEBERGU. APLIKACE PROCHÁZÍ OBSAH DESKY A DETEKUJE ... -
Image Viewing and Manipulation Tool
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007Digitální zpracování obrazu zahrnuje mnoho technik užitečných pro opravu a korekci fotografií. Je to například filtrace šumu, zaostřování obrázků, vyvažování barev a mnoho dalších. Cílem práce je navrhnout a implementovat ... -
Grafická podpora pro zadávání Unixové příkazové řádky
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Předložená práce je podrobným popisem a dokumentací softwarového projektu GRUX. Hlavním účelem programu je poskytnout interaktivní obdobu manuálových stránek. Jeho vstupem je datová struktura popisující hierarchii gra ckých ... -
Správce souborů v přirozeném jazyce
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007Práce představuje NLSH, správce souborů pro UNIXové operační systémy s uživatelským rozhraním v psaném přirozeném jazyce. NLSH je dialogový systém schopný zpracovat základní kontextové prvky komunikace, jako je použití ... -
Mapový informační systém
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007Tato práce popisuje návrh a implementaci rozšíritelného systému pro online zobrazování víceúrovnových map v moderních webových prohlížecích. Systém umožnuje práci s více vrstvami mapových podkladu najednou, plynulý posun ... -
Automatické čištění HTML dokumentů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Tato práce popisuje systém pro automatické čištění HTML dokumentů, který byl použit při účasti Univerzity Karlovy v soutěži CLEAN- EVAL 2007. CLEANEVAL je sdílená úloha (shared task) a soutěž automatických systémů pro ... -
Filtrace šumu z digitálních fotografií
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007Cílem práce je nastudovat a implementovat nejčastěji používané algoritmy na filtrovaní šumu z obrazů. Cílem by měly být nástroje na: filtrování aditivního šumu - nastudovat a implementovat alespoň dva netriviální algoritmy; ... -
Trénovací program na mariáš
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007Predložená práce se zabývá návrhem programu na sehrávání trénovacích partií mariáše (tradiční české karetní hry) proti počítači. Uvažují se dvě varianty této hry pro tři hráče - mariáš volený a licitovaný. Program umožňuje ... -
Multiagentní systém pro řízení dopravy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007Predložená práca sa zaoberá multiagentným systémom pre riadenie cestnej premávky. Každý účastník cestnej premávky je racionálny agent, schopný pozorovať svoje okolie a komunikovať s ostatnými agentmi. Agent je navrhnutý, ... -
Constraint modelling
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007Constraint programming is one of the possible ways how to solve complicated combinatorial (and other) problems. We model a problem using variables representing real world objects and constraints representing various relations ... -
Vizualizace molekul popsaných v ženevském názvosloví
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Předmětem této práce je implementace nástroje na automatické zpracování názvů organických sloučenin do podoby prostorového modelu molekuly. Pro popis modelu je použit jazyk VRML, což umožňuje mimo jiné následnou práci s ... -
Integritní omezení v XML
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Tato práce se zabývá možnostmi validace omezujících podmínek v XML dokumentech. Z tohoto hlediska jsou zhodnoceny zavedené schema jazyky DTD, XML Schema a Relax NG. Dále jsou představeny na problematiku přímo specializované ... -
Symbolické derivace funkce jedné reálné proměnné
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Cieľom bakalárskej práce bude vytvoriť program na symbolické derivovanie funkcie jednej reálnej premennej s možnosťou využívania parametrov. Okrem derivácií bude program schopný zjednodušovať výrazy a funkcie. Program bude ... -
Client side scripting using meta-programming
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Webové aplikace založené na principech souhrnně označovaných zkratkou "Ajax" se dnes stávají de-facto standardem, ale vývoj takovýchto aplikací je naneštěstí velmi náročný. Vývojáři musí čelit problémům, jako je nesourodost ... -
Aplikace pro ruční word alignment
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Cílem této práce bylo navrhnou a implementovat na platformě nezávislé, rychlé, flexibilní a přívětivé uživatelské rozhraní pro ruční párovaní (alignment)dvoujazyčných textů. Nové rozhraní nemá nedostatky existujících ... -
Informační systém pro obchodníka s cennými papíry
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Bakalárska práca sa zaoberá návrhom a implementáciou informačného systému typu klient - server pre obchodníka s cennými papiermi. Systém umožňuje uchovávanie a sledovanie najdôležitejších evidencií - klientov, zmlúv, ... -
Cenový vyhledávač
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007Předložená práce se zabývá problematikou zpracování velkého množství informací na Internetu. Tato úloha nabývá v současnosti na významu spolu se vzrůstajícím množstvím dostupných informací. Cílem bylo vytvořit aplikaci, ... -
BashCommander
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007Práce se zabývá implementací programu BashCommander, sloužícího k efektivní správě souborů ve Windows s použitím textových příkazů. Jde o dvoupanelový souborový manažer, těsně provázaný s konzolí pro textové příkazy, kde ... -
Generovanie obrázkov a animácií pomocou L-sytémov
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007Cílem práce je navrhnout systém na editaci a vizualizaci planárních a prostorových scén obsahujících elementární objekty a objekty popsané Lindenamayerovými systémy. Vizualizace planárních scén bude přímá, prostové scény ... -
Extraktor sémantických dat
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007Předmět této práce je implementace systému pro efektivní extrakci velkého množství dat z webových stránek. Výsledný systém je schopen extrahovat, jak z jednoduchých statických stránek, tak i ze složitých webových aplikací. ... -
Prostředí pro vývoj a testování botů, umělá inteligence se schopností učení
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007V predložené práci se zabývam návrhem a implementací herního prostredí pro pocítacem rízené hráce ve 2D prostoru. Další cástí práce je návrh a implementace hráce ve vytvoreném prostredí. Pri návrhu chování hráce se používa ... -
Pohyb v projektu ENTI
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007Projekt ENTI je simulátor prostředí, které je podobné lidskému světu. Žijí v něm autonomní agenti nazývaní enti, kteří se o svět starají. K naplňování svých úkolů a životních potřeb potřebují často hledat po svém světě ... -
Komprese krátkých textových zpráv
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007Práce popisuje implementaci algoritmu pro kompresi krátkých textových zpráv založenou na PPM. Pro reprezentaci kontextového modelu je zde použita datová struktura Optimal Tree Machine, vybudovaná na základě statistického ... -
Efektivní rozvrhování skupiny výtahů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007Tato práce se zabývá efektivností plánovacích algoritmů řídících skupinu výtahů. K porovnání jednotlivých plánovacích algoritmů byl utvořen simulační program testující jejich vlastnosti vzhledem k nastavení parametrů ... -
Externí prostředí pro systém Soar
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007Cílem této práce je vyvinout vnější prostředí pro implementaci kognitivní architektury Soar, jenž by umožňovalo testování Soar agentů. Navržené prostředí by mělo vykazovat dostatečnou flexibilitu k testování různorodých ... -
Modulární fulltextový vyhledávač pro MySQL
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007Cílem bakalárského projektu je za pomoci databázového serveru MySQL vystavet fulltextový vyhledávac, který je schopen pracovat se specifickými vlastnostmi ceštiny. Není snahou naprogramovat moduly pro zpracování dokumentu ... -
Hledání téměř identických dokumentů ve velkých kolekcích
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007Tato práce se zabývá problematikou vyhledávání dokumentů, které jsou si natolik podobné, že je můžeme považovat za (téměř) stejné, a to v kolekcích čítajících až miliony dokumentů. Největší důraz práce je kladen na porovnání ... -
Simulace vlakové dopravy s optimalizací
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Cílem práce bylo vytvoření systému pro simulaci vlakové dopravy s možností optimalizace. Systém může sloužit pro nalezení optimálního jízdního řádu v pevné železniční síti. Vstup systému se skládá z vlakové sítě, požadavcích ... -
Editor XML dat
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Cílem práce je implementace editoru určeného speciálně pro vytváření a úpravu XML dokumentů, DTD a schémat v jazyce XML Schema. Jádrem práce je pak návrh a implementace vlastního editoru. Výsledný program zahrnuje textový ... -
Simulátor motokrosu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Cílem práce je implementace gra fické hry simulující jízdu motokrosového jezdce. Uživatel ovládá fi gurku na motorce tak, aby se dostal ze startu do cíle za co nejkratší čas. Sbírá přitom kontrolní předměty rozmístěné po ... -
H.323 gatekeeper
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007Cílem práce je návrh a implementace služby Gatekeeper (serveru pro H.323 RAS protokol) s integrovanou H.323 proxy. Součástí práce je rovněž testovací aplikace protokolu H.323 RAS který může vystupovat jak jako server, tak ... -
Algoritmy dělení slov na slabiky
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007Na kratších a středně dlouhých textech v morfologicky bohatých jazycích se projevila vhodnost komprese na základě slabik. S ohledem na správné dělení je však potřebná relativní variabilita návrhu definic jazyka a algoritmů ... -
Nástroj pro simulaci vlčí smečky
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Cílem projektu je výzkumný nástroj pro biologa/etologa studujícího vlky. Aplikace simuluje život smečky šsti vlků pomocí zjednodušeného modelu vlčího chování. Vlci jsou simulováni pomocí autonomních agentů. Model obsahuje ... -
Modelování a procházení terénu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Práce se zabývá problémem modelování a zobrazování scény. Předmětem modelování je jak terén, tak také objekty, které se na něm mohou nacházet. Vstupní terén může být libovolný, proto nepřipadá v úvahu, že by vstupní data ... -
Vyhľadávanie podobných sekundárnych štruktúr RNA
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Reťazce RNA na rozdiel od DNA môžu vytvárať zložité sekundárne štruktúry, ktoré významne ovplyvňujú ich vlastnosti. Cieľom tejto práce bolo vytvorenie aplikácie, ktorá umožňuje do detailov navrhnúť vzor sekundárnej štruktúry ... -
Informační systém pro školy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007Predmetom práce je vytvorenie informačného systému pre stredné a základné školy. Aplikácia umožňuje ukladať a archivovať dáta súvisiace so školou a hromadne tlačiť vysvedčenia. Systém má intuitívne ovládanie a obsahuje ... -
Vizualizace algoritmů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Cílem toho projektu bylo udělat grafické prostředí pro znázornění průběhu algoritmů a chování jednotlivých dynamických datových struktur. Ukazuje způsob, jakým ze vstupních dat (input) se dostanou data výstupní (output). ... -
Vznik inteligentního chování u hmyzích společenstev
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Naxov prace: Vznik intcligcntniho chovani u hmyzich spolec'enstcv Autor: Attila Ulman Katedra (ustav): Katcdra tcorctickc informatiky a matematicke logiky Veduci bakalarskej prace: RNDr. Pavel Surynck e-mail veduccho: ... -
Externí hašování
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Hlavním cílem předložené práce je usnadnit výuku předmětu Organizace a zpracování dat a to metod externího hašování. Jedná se konkrétně o Cormackovo perfektní hašování, perfektní hašování Larsona a Kajli, Faginovo rozšiřitelné ... -
Systém pro vektorizaci rastrových obrázků
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007Extrakce tvarů je rozsáhlý a stále otevřený problém. Přestože je k dispozici celá řada existujících metod a algoritmů, není jasné, které z těchto metod použít a jak je zkombinovat ve snaze vytvořit robustní extrakční postup. ... -
Indexátor mobilních zařízení
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Práce spočívá ve vytvoření aplikace pro full-textovou indexaci dat z PIM (podle specifikace JSR-75) na mobilním zařízení. Aplikace sestává ze dvou částí: 1) Klient, který běží na mobilním zařízení podporujícím Java 2 Micro ... -
Simulace Sportovní manažer
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007V prvej časti predloženej práce je popísaná technologická štruktúra webovej aplikácie - systému pre virtuálnu simuláciu športového sveta riadeného aktívnym prístupom užívateľa pri chode týmu. Jedná sa viacúrovňovú štruktúru ... -
Grafové algoritmy a závislostní parsing
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007V předložené práci studujeme praktické řešení problému závislostního parsingu pomocí grafového algoritmu hledání maximální kostry v orientovaném grafu (multigrafu). Výhodou tohoto přístupu je velmi snadné parsování jak ... -
Internetové obchodní centrum
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Cieľom práce je vytvoriť Internetové obchodné centrum, teda miesto, kde si užívatelia môžu vytvárať vlastné obchody, ktoré budú vzájomne nezávislé. Dôraz je kladený na jednoduchú rozšíriteľnosť aplikácie, aby bolo teoreticky ... -
Demonstrační aplikace vyhodnocování dotazu v relačním kalkulu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Predmetom práce je implementácia výukovej aplikácie, ktorá vyhodnocuje databázový dotaz v n-ticovom relačnom kalkule. Dôraz sa kladie na vizualizáciu štruktúry dotazu, krokovanie a vizualizáciu vyhodnocovania dotazu. ... -
4-kanálový mixážny pult s real-time efektamy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 11. 9. 2007Tento text je určen jako doprovod k softwarovému dílu Organ-100. Práce popisuje problematiku zpracování signálů v reálném čase na stolních počítačích a poskytuje její softwarové řešení v oblasti hudební zábavy. Toto řešení ... -
Generování trojrozměrného popisu objektu z multifokálních snímků
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007Předložená práce zkoumá metodu automatické tvorby trojrozměrného objektu ze série vhodně pořízených snímků. -
Delta komprese
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 10. 9. 2007V tejto práci prezentujem algoritmus na riešenie problému delta kompresie spočúvajúceho v otázke ako úsporne reprezentovať zmeny, ktoré nastali v upravenej verzií súboru vzhľadom na povodný súbor. Algoritmus využíva metódu ... -
Centralized management of user access rights in large organizations with heterogeneous structure
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 18. 9. 2007Každá platforma, databáze, skupina aplikací apod. má svou vlastní správu, vlastní seznam uživatelů a uživatelských oprávnění, vlastní bezpečnostní politiku atd.. Správa je náročná, ovládání aplikací a přístup k datům klade ... -
Sluneční erupce z 28. 10. 2003
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Datum obhajoby: 24. 9. 2007 -
Návrh a implementace systému PAC
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008PAC (Picture Archiving and Communication) systémy slouží k archivaci a správě digitálních obrazových dat produkovaných medicínskými přístroji na radiologických a jiných odděleních. Efektivní implementace PACS musí řešit ... -
Atraktory celulárních automatů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Práce se zabývá heuristickými algoritmy Omega a Spread. Algoritmus Omega hledá maximální atraktory celulárních automatů. Atraktory se sestrojí spojením jednoduchých invariantních posunů konečného typu, které jsou obsaženy ... -
Dotazování na proudy dat
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008V poslednom období vznikajú nové aplikácie, ktoré využívajú dáta nie ako perzistentnú vrstvu, ale ako dočasný prúd dát. Táto práca sa zaoberá problematikou spracovania prúdu dát, vytvárania systému SŘPD a hlavne porovnáva ... -
Aproximace obtížných rozvrhovacích úloh
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Tato práce zkoumá rozvrhování problémů typu "shop". Po zavedení notace a základních definic používaných v rozvrhování přinášíme přehled známých výsledků o výpočetní složitosti různých rozvrhovacích problémů typu "open ... -
Aktivní XML
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Tato práce se zabývá využitím takzvaného aktivního XML pro implementaci distribuovaných algoritmů. Aktivní XML je představeno ve formě webových služeb (Web Services) a protokolu XML-RPC. Obě tyto technologie jsou založeny ... -
Detekce meteorů na širokoúhlém CCD snímku
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008BOOTES je česko-španělský robotický systém pro automatickou správu teleskopů umístěných v Ondřejove a v pohoří Sierra Nevada. Cílem diplomové práce je navrhnout a implementovat nástroj pro detekci stop meteoritů a otestovat ... -
Akviziční systém odborné literatury s podporou informovaného rozhodování
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Knihovny jsou důležitým zdrojem informací nezbytných pro vědeckou a výzkumnou činnost, pro práci v akademickém prostředí či rozvoj naší společnosti. Knihovny investují ročně velké částky do nákupu informačních zdrojů pro ... -
Zpracování terénu na moderních GPU
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Prudký vývoj grafického hardwaru umožňuje nacházet stále nové techniky pro zobrazování terénu. Dříve používané postupy jsou postaveny na silné redukci geometrie prováděné na CPU. Novější postupy se snaží přenést zátěž na ... -
Simultání lokalizace a mapování v reálném prostředí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Práce se zabývá definicí a řešením problému pohybu autonomního vozidla neznámým prostředím. Přináší podrobný rozbor řešení simultánní lokalizace a mapování pomocí rozšířeného Kalmanova filtru. Také ukazuje další jednodušších ... -
Locating Performance Changes in Source Code
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008V regresivním testování výkonnosti je často komplikované najít změnu ve zdrojovém kódu, která způsobila změnu výkonnosti detekovanou dílčím výkonnostním testem. Protože změn je typicky hodně, ruční prohledání všech změn a ... -
Prostředky podpory byznysu v moderních informačních systémech
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Byznys inteligence (BI) je schopnost najít a pochopit komplexní vztahy v byznysu, efektivně se adaptovat změnám prostředí (konkurence, trhu, trendům), učit se z dat. Integrace BI aplikací do existujících podnikových ... -
Využití ontologií pro GUHA procedury
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Cílem diplomové práce je implementace dříve navržených postupů pro využití ontologií při procesu dobývání znalostí z databází (DZD). Implementace je provedena pomocí krabiček v prostředí Ferda, což je modulární prostředí ... -
Ukládání XML dat popsaných modelem XSEM v databázi
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Jazyk XML je v současné době standardem pro výměnu dat mezi informačními systémy. Proto vzrůstají nároky na jeho popis jak na logické, tak i konceptuální úrovni. Jedním z nových konceptuálních modelů pro XML data je model ... -
Analytické zpracování XML dokumentů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008V této práci se zabýváme rozšířením jazyka XQuery o analytické konstrukce známé z jazyka SQL - group by, roll up a cube. Navíc zavádíme novou konstrukci topologický roll up. Implementaním prostředím je nativní XML databáze ... -
Compiling Planning Problems
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Napriek tomu, že techniky splňovania podmienok (SP) sú častým spôsobom riešenia rozvrhovacích problémov, v plánovaní sa stále vyskytujú iba zriedka. Na riešenie plánovacích problémov bolo síce vyskúšaných niekol'ko rôznych ... -
Artificial neural networks for pattern recognition
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008V této práci jsou popsány možnosti, výhody a nevýhody využití neuronových sítí při rozpoznávání vzorů. Je představeno několik modelů neuronových sítí použitelných pro tuto úlohu. Standartní vícevrstvá perceptronová síť je ... -
Autentizace v prostředí distibuovaných vyrovnávacích pamětí webů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Serverom, ktoré obsahujú informácie vyžadujúce autentifikovaný prístup je možné znižovať záťaž pomocou webových cache v distribuovanom prostredí. Táto diplomová práca sa zaoberá návrhom distribuovaného systém autentifikácie ... -
Metody aproximace plně pravděpodobnostního návrhu rozhodování za neúplné znalosti
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008V diplomové práci představujeme účinný algoritmus pro výpočet odhadu optimální strategie řízení dynamického systému. Tento algoritmus aproximuje optimální rovnice, aniž by potlačil principiální nejistotu plynoucí z neúplné ... -
Výhody a nevýhody použití perzistence objektů v jazyce Java
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Práce se soustředí na porovnání vývoje aplikace s využitím JDBC a Hibernate z řady hledisek. Rozhraní JDBC, v Javě standardně využívané pro práci s relačními databázemi poskytuje pouze základní prostředky. V případě ... -
Analyzer of Windows Kernel Models
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Diplomová práce předkládá nástroj pro analýzu modelů ve specifikačním jazyce DeSpec a pro jejich překlad do modelovacího jazyka Zing. Výsledné modely pak mohou být verifikovány model checkerem Zing. Jazyk DeSpec je navržen ... -
Refinement of timed automata models according to hardware characteristics
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Datum obhajoby: 28. 1. 2008Timed automata byla navržena na modelování real-time systémů. Formální teorie obsahuje některé nerealistické předpoklady, například nekonečně rychlé akce. Model pak musí toto chování namodelovat, což ale znepřehledňuje ...
RSS 1.0