R-OBDD je nový Cook-Reckhowův důkazový systém pro výrokovou logiku založen na kombinaci OBDD důkazového systému a rezolučního důkazového systému. R-OBDD má sílu OBDD důkazového systému - tautologie s exponenciálně velkými ...

Dlouhodobá a nepřetržitá měření teploty vzduchu v pražském Klementinu (termínová pozorování probíhají od roku 1775, maximální a minimální teplota vzduchu se měří od roku 1881) jsou vhodná pro analýzu možných změn klimatu. ...

Nazcv prace: fnterpolace a zhlazovam pomoci spliuu Autor: Martina Ullricliova Katedra (ustav): Katedry numericke niatcinatiky Vedoucf ba.kalafsko prace: Doc. RNDr. Ka.rcl Najzar, CSc. e-mail vedoucilio: knaj^karlin.mff.cuni.cz ...

Nazev prace: Aplikace Markowitzovy tcorie portfolia na kapitalovc trhy Autor: Tomas Tyl Katedra : Katedra pravdcpodobnosti a matematicke statistiky Vedouci diplomove prace: Doc. RNDr. Jan Hurt, CSc. e-mail vedouciho: ...

Práca predkladá spôsob ako z hudobného diela vytvorit štruktúru ktorá sa dalej bude dat spracovávat algoritmami slúžiacimi na porovnávanie retazcov. Pri tvorbe tejto štruktúry práca vychádza z poznatkov z teórie hudby a ...

Cílem této práce je vytvoření grafického prostředí pro studování konečných automatů. Pro snazší tvorbu této aplikace byla vytvořena knihovna komponent vhodná pro tvorbu aplikací zobrazující konečné automaty. Součástí práce ...

Cílem projektu je vytvořit knihovnu pro programování softwarových agentů (robotů), virtuální prostředí pro simulaci jejich boje včetně vizualizace. Aplikace je implementována pomocí technologie .NET, knihovnu pro programování ...

Cí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 ...

V 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á ...

V 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, ...

V 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. ...

Digitá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 ...

Prá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í ...

Tato 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 ...

Predlož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 ...

Constraint 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 ...

Tato 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é ...

Webové 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 ...

Bakalá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, ...

Prá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 ...

Př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í. ...

Projekt 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ě ...

Tato 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ů ...

Cí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 ...

Cí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 ...

Cí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 ...

Na 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ů ...