Poslední příspěvky

Zobrazují se záznamy 9901-10000 z 10926

  • Rekurzivní postupy pro detekci změny rozdělení 

    Výsledek obhajoby: OBHÁJENO
    Chochola, Ondřej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 17. 9. 2007
    In the thesis we study a sequential monitoring scheme for detecting a change in variance. We assume to have a stable historical period of length m. The goal is to propose tests with asymptotically small probability of type ...
  • Periodické regresní kvantily 

    Výsledek obhajoby: OBHÁJENO
    Kotík, Lukáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 17. 9. 2007
    Práce se zabývá novým přístupem ke konstrukci konfidenčních množin pro vícerozměrné náhodné veličiny a pro vícerozměrné náhodné výběry. To lze také chápat jako jedno z možných rozšíření pojmu kvantil na více rozměrů. Postup ...
  • Testy založené na empirických charakteristických funkcích 

    Výsledek obhajoby: OBHÁJENO
    Jirmanová, Zuzana (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 17. 9. 2007
  • Variety určené krátkými identitami 

    Výsledek obhajoby: OBHÁJENO
    Koula, Jiří (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 20. 9. 2007
    Tato práce se zabývá hledáním volných algeber nad spočetnou množinou proměnných ve varietách grupoidů určených identitou tvaru x = t, kde t je term délky 5. K tomuto účelu je použita metoda přepisujících systémů. Práce ...
  • Zobecněný stabilní model ve financích 

    Výsledek obhajoby: OBHÁJENO
    Chovanec, Róbert (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 17. 9. 2007
    In this contribution, a basic theoretical approach to stable laws is described. There are mentioned some definitions of the stable distributions, properties and behavior of stable distributed random variables. Next, ...
  • Úlohy globální optimalizace v praxi 

    Výsledek obhajoby: OBHÁJENO
    Figurová, Katarína (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 13. 9. 2007
    Many practical applications can be formulated as global optimization problems. In this work the global optimization problem will be reviewed and some of the methods that have been proposed. Predicting the 3D form of protein ...
  • Limitní ultramocnina a neregulární univerzum 

    Výsledek obhajoby: OBHÁJENO
    Klimeš, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 20. 9. 2007
    Je navrženo zobecnění limitní ultramocniny tak, aby poskytlo charakterizaci (standardně omezených částí) elementárních rošíření universa teorie množin; speciálně je aplikovatelná na modely nestandardní teorie množin. Důraz ...
  • Application of spectral element method in fluid dynamics 

    Výsledek obhajoby: OBHÁJENO
    Pech, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 25. 9. 2007
    Práce se zabývá řešením parciálních diferenciálních rovnic metodou spektrální elementů (SEM). Tato metoda je kombinací metody spektrální (SM) a metody konečných prvků (FEM). Výpočetní oblast je rozdělena na menší elementy, ...
  • Application of Kalman Filtering 

    Výsledek obhajoby: OBHÁJENO
    Svojík, Marek (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 17. 9. 2007
    The aim of this work is to discuss the use of the Kalman lter in some economical problems. Generally taken, the Kalman lter is a mathematical method (an algorithm) used for estimation of the non-observable component of a ...
  • Strukturální změny ekonomických veličin 

    Výsledek obhajoby: OBHÁJENO
    Nerglová, Eva (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 13. 9. 2007
    Nazev prace: Strukturalni zmeny ekonomickych vclicin Autor: Eva Nerglova Katedra: Katedra pravdepodobnosti a,matematickc statistiky Vcdouci diplomove prace: Doc. RNDr. Zuzana Praskova,CSc. e-mail vedouciho: Zuxana.Prasko ...
  • Vyhledávací stroj pro matematiku 

    Výsledek obhajoby: OBHÁJENO
    Mišutka, Jozef (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Vyhladávacie stroje (napr. Google) vládnu obsahu dnešného WWW. Sú neoddelitelnou súcastou každodenného prístupu k informáciám. Veda, ktorá sa zaoberá práve vyhladávacími strojmi, sa sústreduje na vyhladávanie prirodzených ...
  • Ramseyovské otázky v euklidovském prostoru 

    Výsledek obhajoby: OBHÁJENO
    Cibulka, Josef (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 11. 9. 2007
    Jedním ze základních problémů euklidovské Ramseyovy teorie je určení barevnosti euklidovského prostoru. Barevnost prostoru je nejmenší počet barev, se kterými lze celý prostor obarvit tak, aby žádné dva stejnobarevné body ...
  • Varianty problému obarvení 

    Výsledek obhajoby: OBHÁJENO
    Lidický, Bernard (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 11. 9. 2007
    V předložené práci studujeme seznamové barvení rovinných grafů. Seznamové barvení je varianta problému barvení grafu, kde každý vrchol má přidělený svůj vlastní seznam možných barev. Říkáme, že graf je k-vybíravý, je-li ...
  • Využití klastrovacích technik při monitorování inzerce 

    Výsledek obhajoby: OBHÁJENO
    Dzetkulič, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 11. 9. 2007
    Práca sa zaoberá možnosťami klastrovania inzercie so zameraním na realitnú inzerciu. V prvej časti práce definujeme čo to je klastrovanie, kde sa používa a aké sú typické požiadavky na klastrovacie algoritmy. Popíšeme ...
  • Užití lineární algebry v kombinatorice 

    Výsledek obhajoby: OBHÁJENO
    Tesař, Marek (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 11. 9. 2007
    Nakrytie grafu G do grafu H je "lokálny izomorfizmus": zobrazenie vrcholov grafu G na vrcholy grafu H také, že pre všetky v V (G), okolie vrchola v je zobrazené bijektívne na okolie (v H) obrazu v. My študujeme výpočetnú ...
  • Automatické zjednodušování textů pro překlad 

    Výsledek obhajoby: OBHÁJENO
    Prokopová, Magdalena (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 11. 9. 2007
    Tato práce se zabývá využitím automatického zjednodušování (simplifi akce) textů pro účely automatického překladu. Práce srovnává automatické zjednodušování a kotrolované psaní, co mají společného a jaké jsou jejich rozdíly. ...
  • Využití lingvistických informací při EBMT 

    Výsledek obhajoby: OBHÁJENO
    Týnovský, Miroslav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 11. 9. 2007
    Metoda strojového překladu založená na příkladech (EBMT) je korpusová metoda strojového překladu, která se pokouší získat překlad vstupního textu pomocí analogie s překladem textu podobného již hotového. Tato práce zkoumá ...
  • Efektivní algoritmy oveřování cílů v počítačových hrách 

    Výsledek obhajoby: OBHÁJENO
    Suda, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Tato práce se zabývá neuniformními metodami prohledávání stromů her dvou hráčů s úplnou informací. Konkrétně je zkoumána neuniformita založená na hrozbách realizovaná v podobě algoritmů lambda search a dual-lambda search. ...
  • Měkké stíny na GPU 

    Výsledek obhajoby: OBHÁJENO
    Zápotocký, Boris (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Obrovský vývoj v oblasti grafického hardware a programovatelnost grafických karet umožňují vyšší výkonnost a flexibilitu programování. Mnoho algoritmů se stalo interaktivními. Velmi důležitou roli mezi grafickými algoritmy ...
  • Dynamické hašovací tabulky 

    Výsledek obhajoby: OBHÁJENO
    Vitovják, Radek (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Cílem této práce je popsat různé metody umožňující změnu velikosti interní hašovací tabulky v závislosti na počtu vložených prvků a porovnat je na základě známých teoretických výsledků. Dále vypracovat vlastní experimentální ...
  • Efektivní ukládání html stránek 

    Výsledek obhajoby: OBHÁJENO
    Matouš, Václav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    V rámci této práce byl vytvořen prototyp úložiště html dokumentů. Ukládání celých dokumentů je založeno jak na stávajících kompresních technikách (gzip, bzip2), tak i na novým metodách, kdy se dokument před kompresí vhodným ...
  • Využití tetrahedralizace jako alternativy k objemovým datům 

    Výsledek obhajoby: OBHÁJENO
    Varga, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Cílem této diplomové práce bylo nalézt nebo navrhnout vhodné metody náhrady objemových dat nestrukturovanými sítěmi tvořenými čtyřstěny (tetraedry), a to včetně objemových dat vzniklých z videa. Hlavním kritériem zkoumané ...
  • Vektorová DIS cartridge pro Oracle 

    Výsledek obhajoby: OBHÁJENO
    Nidrle, Václav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Oracle Text je dokumentografický informační systém, který tvoří nedílnou součást databáze Oracle. Je postaven na základním boolském modelu rozšířeném o další možnosti jako jsou přiřazení vah jednotlivým termům, výpočet ...
  • Antispamming na principu výběru vyžádaných zpráv 

    Výsledek obhajoby: OBHÁJENO
    Nepožitek, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
  • Web Frameworks Comparison Concerning the Efficiency of Development 

    Výsledek obhajoby: OBHÁJENO
    Mihalčin, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Skoro všetky podnikové webové projekty sú dnes implementované v nejakom webovom frameworku. Frameworky sa líšia vo filozofii, vlastnostiach a podpore pre ostatné populárne frameworky a technológie. Cieľ tejto práce bolo ...
  • Procedura SDKL - Miner pro dobývání znalostí z databází 

    Výsledek obhajoby: OBHÁJENO
    Tegze, Miron (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    SDKL-Miner je nová GUHA procedura pro dobývání znalostí z databází. Rozšiřuje systém LISp-Miner, který je vyvíjen na VŠE Praha. SDKL-Miner hledá nové potencionálně zajímavé hypotézy pomocí dvojice kontingenčních tabulek. ...
  • Recognition of 3D objects with uniform surface reflectance 

    Výsledek obhajoby: OBHÁJENO
    Žemlička, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Jako alternativa k MSERům a Harrisovským bodům byla vyvinuta metoda pro detekci polygonálních struktur v obraze, která je založena na analýze hranových pixelů. Původní motivací bylo rozpoznávání objektů s uniformním povrchem. ...
  • Systém pro měření dat 

    Výsledek obhajoby: OBHÁJENO
    Plachý, Jiří (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Nazev prace; System pro merem dal Autor: Jiff Plachy Katedra (iislav): Katedra softwaroveho inzenyrslvi" Vedoucf diplomove prace: RNDi. David Obdrzalek e-mail vedoucfho:david.obdrzalek@mff.cuni.cz Abstrakt: Prace se zabyva ...
  • Databáze znaků českého znakového jazyka 

    Výsledek obhajoby: OBHÁJENO
    Ulrych, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    V této práci se zabýváme návrhem a implementací algoritmu pro porovnávání znaků Českého znakového jazyka na základě jejich vzájemné vizuální podobnosti. Navržený algoritmus analyzuje posloupnost pro znak charakteristických ...
  • Optimizing performance of software connectors code generator 

    Výsledek obhajoby: OBHÁJENO
    Petřek, Pavel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Softwarové konektory jsou zprostředkovatelské entity používané v komponentových systémech k modelování a realizaci komunikace. Navíc mohou konektory poskytovat extra funkcionalitu, jako je logování nebo monitoring. Tato ...
  • Kombinování klasifikátorů pomocí fuzzy metod 

    Výsledek obhajoby: OBHÁJENO
    Moravec, Jaroslav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    V této práci jsme rozpracovali metodu kombinování klasifikátoru pomocí tconormového integrálu pro prípad kombinování týmu SVM klasifikátoru. Porovnávali jsme úspešnosti klasifikátoru získaných na základe kombinování SVM ...
  • Operace DELETE ve srůstajícím hašování 

    Výsledek obhajoby: OBHÁJENO
    Mrkva, Lukáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Nazev pracc: Opcra.ee DELETE ve srustajicim luisovani Autor: Lukas Mrkva Katedra (listav): Katedra softwaroveho inzenyrstvi Vedouci diplomovc prace: R.NDr. Alona Koubkova, CSc. E-rnail vedouciho: koubkova@ksi.ms.mff.cuni.cz ...
  • Sledování tělních trubic 

    Výsledek obhajoby: OBHÁJENO
    Petříček, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Rentgen a pozdějipočítačová tomografi e umožnila lékařům nahlížet dovnitř pacienta bez použití invazivních metod a stává se dnes stále běžnější součástí lékařského vyšetření. Zpracování a zkoumání trojrozměrných obrazových ...
  • Scripting of Common Information Model 

    Výsledek obhajoby: OBHÁJENO
    Mrázik, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Tato práce zkoumá možnosti rychlého vývoje aplikací použitím protokolů definovaných sdružením "Distributed Management Task Force" a použitím programovacích jazyků ze světa otevřeného software. Je zaměřena hlavně na protokoly ...
  • Slovníkové metody jako druhá fáze BWT 

    Výsledek obhajoby: OBHÁJENO
    Kovalčin, Stanislav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Burrows-Wheelerova transformace je jeden z nejoblíbenějších algoritmů používaných při bezztrátové kompresi dat. Druhá fáze obvykle pozůstává z kombinace algoritmů Move-to-front, Run-length encoding a bývá zapsaná Huffmanovým ...
  • Měření rychlosti a kvality datových přenosů 

    Výsledek obhajoby: OBHÁJENO
    Matteoni, Daniel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Měření výkonnosti a kvality počítačových sítí a přesněji datových přenosu v nich má velký význam pro neustálý rozvoj a rozšiřování Internetu. Tato práce má za cíl prozkoumat, které prakticky využitelné parametry datových ...
  • Extrakce znalostí pomocí vrstevnatých neuronových sítí 

    Výsledek obhajoby: OBHÁJENO
    Reitermanová, Zuzana (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Model vrstevnatých neuronových sítí je známý především díky své univerzální aproximační schopnosti. Již základní algoritmus zpětného šíření dává výsledky použtelné v reálných aplikacích. Efektivní řešení složitých úloh by ...
  • Umělá inteligence pro real-time strategické počítačové hry 

    Výsledek obhajoby: OBHÁJENO
    Sýkora, Ondřej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Real-time strategické hry (RTS) jsou mezi hráči počítačových her jedním z nejoblíbenějších žánrů. Přesto existuje jen málo prací, které by se tímto žánrem zabývaly. V této práci se zabýváme problémem výběru akcí pro jednotky ...
  • Rozšiřování syntaxe za běhu 

    Výsledek obhajoby: OBHÁJENO
    Šašek, Pavel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Rozšiřitelné jazyky jsou v současné době stále populárnější a přinášejí mnoho výhod. Takové jazyky mají relativně malé jádro, které se programátor snadno naučí, a lze je lépe přizpůsobit konkrétní řešené úloze - program ...
  • zlomekFS Over FUSE 

    Výsledek obhajoby: OBHÁJENO
    Trmač, Miloslav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    ZlomekFS (ZFS) je distribuovaný systém souborů, který umožňuje práci se soubory i v případě odpojení počítače od sítě. Změny provedené v době, kdy je síť nedostupná, jsou po připojení k síti automaticky synchronizovány. ...
  • Uživatelská podpora procedury 4ft - Miner pro dobývání znalostí z databází 

    Výsledek obhajoby: OBHÁJENO
    Kupka, Daniel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Až dosud byl soubor znalostí pro práci s procedurou 4ft-Miner nestrukturovaný a uložený pouze v hlavách lidí zabývajících se dobýváním znalostí. Bylo tedy potřebné, na základě mnohých analýz, shromáždit rady pro dobývání ...
  • Dynamická úroveň detailu 

    Výsledek obhajoby: OBHÁJENO
    Celba, Pavel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    The work aims to render real-time forest with lighting. Detailed tree models created by professional application are used. A point-based method for level of detail is used for tree model simplification and rendering. The ...
  • Kryptografická podpora pro aplikační server SAP 

    Výsledek obhajoby: OBHÁJENO
    Fabian, Vitězslav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Aplikační server SAP používá pro zajištění potřebných kryptografických funkcí externí knihovny. Tyto knihovny jsou volány prostřednictvím standardního rozhraní GSS-API. Hlavním výsledkem této práce je implementace knihovny ...
  • Generating implementation from system requirements 

    Výsledek obhajoby: OBHÁJENO
    Franců, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Vytváření softwarového systému začíná sepsáním systémových požadavků. Obyčejně jsou tyto požadavky zapsány pomocí UML a obsahují mimo jiné use casy a domain model. Use case je sekvence úloh, které je potřeba udělat k ...
  • Implementace XSLT v prostředí relační databáze 

    Výsledek obhajoby: OBHÁJENO
    Kmoch, Ondřej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    XML je rozšířitelný formát, kterrý je využíván k ukládání všech druhů dat, a XSLT představuje standardizovaný jazyk pro transformaci XML dat a jejich struktury. Dnes existuje mnoho implementací XSLT, ale většina z nich ...
  • Aritmetické kódování nad abecedou slabik 

    Výsledek obhajoby: OBHÁJENO
    Chroustovský, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Slabiková komprese je nová metoda komprese textu, nabízející zajímavý kompromis mezi kompresí po znacích a po celých slovech, která by měla být výhodná především pro soubory střední velikosti. Slabiky jsou pro kódování ...
  • Sémantická anotace dat z webovských zdrojů 

    Výsledek obhajoby: OBHÁJENO
    Dědek, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Tato práce se odráží od myšlenky sémantického webu. Stručně rozebírá možnosti formální reprezentace znalostí v deskripční logice a její paralelu v několika formalismech pro tvorbu ontologií. Ukazuje, jak lze využít ontologií ...
  • Lucky Imaging for RTS2 

    Výsledek obhajoby: OBHÁJENO
    Kutka, Alexander (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    S rychlým vývojem CCD detektorů se v astronomii v posledních několika letech začíná používat metoda zvaná Lucky Imaging. Ta, podobně jako adaptivní optika, umožňuje pořizování snímků s rozlišením blízkému difrakčnímu limitu, ...
  • Převod relačních schemat do existujících ontologií 

    Výsledek obhajoby: OBHÁJENO
    Marko, Peter (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Táto diplomová práca sa venuje problému mapovania relačných schém do už existujúcich ontológií, pričom sa orientuje na ontológie zapísané pomocou RDFS. Úvodná časť podáva prehľad a základné princípy nájdených podobných ...
  • Distribution for Open Modeling Interface and Environment 

    Výsledek obhajoby: OBHÁJENO
    Čurn, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    OpenMI je standard pro propojování simulačních modelů vody a životního prostředí. Standard a v současnosti dostupný podpůrný software ovšem podporuje pouze simulace běžící na jednom počítači, v jednom vlákně. Cílem práce ...
  • Influence of Resource Sharing on Performance 

    Výsledek obhajoby: OBHÁJENO
    Babka, Vlastimil (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Sdílení prostředků nastává v případech, kdy několik současně aktivních procesů či softwarových komponent využívá stejné systémové prostředky, což ovlivňuje výkon v porovnání s individuálním během. Izolované měření dob ...
  • Data and Ontologies 

    Výsledek obhajoby: OBHÁJENO
    Kotowski, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    V centru sémantického webu stojí pojem ontologie. Ačkoliv jsou ontologie zkoumány už od dob Aristotela, stále toho zbýva mnoho k prozkoumání. Existuje velké množství úvodních textů do sémantického webu a jeho technologií, ...
  • Modelování deformací geometrických objektů 

    Výsledek obhajoby: OBHÁJENO
    Kratochvíl, Erik (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Problematika deformovatelných modelů je v počítačové grafi ce studována již více než dvě desetiletí. Mnoho souvisejících témat muselo být pokryto a mnoho překážek muselo být překonáno, než se podařilo věrohodně modelovat ...
  • Dimensional analysis for HD languages 

    Výsledek obhajoby: OBHÁJENO
    Horváth, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Na vývoj elektrických obvodov v súčasnosti používajú inžinieri špeciálne popisné jazyky, ktoré im umožňujú vytvoriť modely týchto obvodov a otestovať ich pred samotnou konštrukciou. Tieto jazyky však neposkytujú dostatočne ...
  • Nástroj pro modelování evoluce umělého života 

    Výsledek obhajoby: OBHÁJENO
    Bartůňková, Iva (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    V práci studujeme problematiku simulátorů modelujících umělý život. Práce navrhuje a předkládá softwarový nástroj, umožňující provádět experimenty s vývojem jednoduchých organismů, jejichž genom je tvořen sadou parametrů. ...
  • Jazyk pro řízení 2D her 

    Výsledek obhajoby: OBHÁJENO
    Krček, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Práce se zabývá návrhem programovacího jazyka pro řízení tahových i real-time her s logickými či simulačními prvky, implementací překladače, komponenty běhové podpory a grafického uživatelského rozhraní, které slouží jak ...
  • Relační modelování biologických dat 

    Výsledek obhajoby: OBHÁJENO
    Krejčík, Roman (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Některé aplikace zpracování dat v databázových systémech vyžadují práci s hierarchicky uspořádanými daty. Informace takového charakteru se často vyskytují v biologických databázích, ale lze se s nimi setkat i v jiných ...
  • Mapování a dolování ontologií s uživatelskou preferencí 

    Výsledek obhajoby: OBHÁJENO
    Maruščák, Dušan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    V tejto diplomovej práci sa zaoberáme problémom mapovania a dolovania ontológií. Dolovanie ontológií je učenie ontológií z inštancií. Prvým krokom tochto procesu je samotné dolovanie inštancií. Navrhli sme spôsob pre ...
  • Evolučný vývoj robotických organizmov 

    Výsledek obhajoby: OBHÁJENO
    Krčah, Peter (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
  • Simulace firmy prostřednictvím autonomních agentů 

    Výsledek obhajoby: OBHÁJENO
    Bošanský, Branislav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Popis spoločnosti pomocou procesov je bežnou praxou pre zachytenie organizácie práce. Jeho nevýhodou je, že takto špecifikované procesy sú nevhodné pre účely simulácie, kde v súčasnosti používané programy sú založené na ...
  • Učenie redukčnej analýzy 

    Výsledek obhajoby: OBHÁJENO
    Čejka, Josef (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Obsahem předložené práce je výzkum učení redukční analýzy. Redukční analýza je metoda pro zjišt'ování syntaktické správnosti věty pomocí jejího postupného zjednodušování až do podoby, o jejíž správnosti je snadné rozhodnout. ...
  • Nejkratší cesty při vyhledávání dopravního spojení 

    Výsledek obhajoby: OBHÁJENO
    Hronik, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Zabýváme se algoritmy pro hledání nejlepšího spojení podle jízdního řádu, přičemž pojmem nejlepší myslíme nejkratší vzhledem ke zvolenému ohodnocení cest (např. nejrychlejší, nejkratší na počet ujetých km, spojení s nejmenším ...
  • Globální podmínky s cenou 

    Výsledek obhajoby: OBHÁJENO
    Hejna, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Plánovací problémy tvoří velice důležiotou aplikační oblast oboru programování s omezujícími podmínkami. Častý způsob reprezentace plánovacích problémů představují temporální sítě, kde uzly reprezentují jednotlivé časové ...
  • Transakce ve fulltextovém vyhledávacím stroji 

    Výsledek obhajoby: OBHÁJENO
    Podhorný, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    :Tato diplomová práce se zabývá implementací vhodného algoritmu transakčního zpracování z prostředí SŘBD do fulltextového vyhledávacího stroje Egothor. Práce zahrnuje analýzu funkcionality systému Egothor, procesů při ...
  • Complementarity in economy 

    Výsledek obhajoby: OBHÁJENO
    Koldínská, Michaela (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 11. 9. 2007
  • Metody zpracování kategoriálních finančních dat 

    Výsledek obhajoby: OBHÁJENO
    Kračmerová, Lucie (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 20. 9. 2007
  • Měnové krize 

    Výsledek obhajoby: OBHÁJENO
    Komačka, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 20. 9. 2007
  • Protokoly pro dohodu na klíči 

    Výsledek obhajoby: OBHÁJENO
    Prater, Miroslava (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 11. 9. 2007
  • Luminiscenční spektroskopie dopantů a nečistot v rychlých scintilátorech na bázi komplexních oxidů 

    Výsledek obhajoby: OBHÁJENO
    Kučerková, Romana (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 20. 9. 2007
    V předložené práci byla zkoumána závislost na koncentraci iontu gallia v objemových monokrystalech LGAG: Pr a LuAG: Pr, připravených metodou ,,micro-pulling down,, (-PD) na Tohoku univerzitě v Sendaji, v Japonsku. -PD ...
  • Paleta jetů 

    Výsledek obhajoby: OBHÁJENO
    Rybář, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
  • STalk - zabezpečená aplikace pro komunikaci 

    Výsledek obhajoby: NEOBHÁJENO
    Gróf, Szabolcs (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 10. 9. 2007
    In the present work we study the methods of using cryptographic algorithms to ensure the security of communication over computer networks and give a new perspective on the classic UNIX console chat program called talk. The ...
  • Modulární systém pro hromadné operace s metadaty souborů 

    Výsledek obhajoby: NEOBHÁJENO
    Kostecký, Richard (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 10. 9. 2007
    V předložené práci ukazujeme implementaci obecných knihoven pro hromadné operace s metadaty souborů a ukazujeme výhody i nevýhody řešení tohoto problému. Dále předvedeme dvě ukázková spojení přes definované rozhraní k ...
  • Strojové učenie formálnych jazykov 

    Výsledek obhajoby: NEOBHÁJENO
    Klonfar, Matěj (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 10. 9. 2007
    V předložené práci studuji úlohu strojového učení formálních jazyků. Úlohou práce je navrhnout a implementovat program umožňující studovat průběh a výsledky jednotlivých algoritmů na učení jazyků. Program podporuje učení ...
  • Užití Fourierovy transformace v neživotním pojištění 

    Výsledek obhajoby: NEOBHÁJENO
    Gubanec, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 24. 9. 2007
  • Studium elektrického transportu v kompozitních vrstvách v okolí perkolačního prahu 

    Výsledek obhajoby: OBHÁJENO
    Kramarič, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
  • E-mailový klient pro J2ME zařízení 

    Výsledek obhajoby: OBHÁJENO
    Nguyen, Son Tung (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 11. 9. 2007
    Cílem projektu je vytvořit emailového klienta umožňujícího práci s emaily s ohledem na rychlost a optimalizaci na malých J2ME zařízení. Program bude schopen načítat emaily z POP3 i IMAP serverů a posilat email pomocí SMTP ...
  • Norma SOAP a její použití v prostředí malých a středně velkých společností. 

    Výsledek obhajoby: OBHÁJENO
    Lupták, Boris (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    Norma SOAP je základným protokolom webových služieb. Webové služby otvárajú nové možnosti pri interakcii aplikácií s využitím sieťových spojení. V súvislosti s webovými službami je často diskutovaná aj servisne orientovaná ...
  • User-Defined XML-to-Relational Mapping 

    Výsledek obhajoby: NEOBHÁJENO
    Kohan, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
    V předložené práci studujeme možnosti mapovaní XML dat do relačních systémů. V první části popíšeme základní termíny používané v práci a následně také základní techniky pro mapování XML dat do relačních databází. V další ...
  • Studium adsorpčně-desorpčních vlastností porfyrinů na kovových nanopovrších 

    Výsledek obhajoby: OBHÁJENO
    Šimáková, Petra (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
  • Studium radiových vln šířících se ve sluneční soustavě 

    Výsledek obhajoby: OBHÁJENO
    Tomori, Alexander (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
  • Chaos v pohybu kolem černých děr 

    Výsledek obhajoby: OBHÁJENO
    Suková, Petra (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
  • Studium ohmického transportu v kompozitních vrstvách 

    Výsledek obhajoby: OBHÁJENO
    Szabová, Lucie (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
  • Fyzikální aplety v češtině se zaměřením na optiku 

    Výsledek obhajoby: OBHÁJENO
    Suchá, Katarína (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
  • Studium jetové struktury ep difrakčních interakcí s pomocí metody HZTOOLs 

    Výsledek obhajoby: OBHÁJENO
    Soukal, Petr (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
  • Elektronická sbírka řešených úloh z elektřiny a magnetismu I. 

    Výsledek obhajoby: OBHÁJENO
    Snětinová, Marie (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 11. 9. 2007
  • Planetky v excitovaném stavu rotace 

    Výsledek obhajoby: OBHÁJENO
    Vojáček, Vlastimil (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
  • Hranová singularita v měkkých rentgenovských spektrech alkalických kovů: jednočásticový a mnohočásticový přístup 

    Výsledek obhajoby: OBHÁJENO
    Ringel, Matouš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
  • Procesorový systém pro řízení experimentu pro studium nabíjecích procesů prachových mikročástic 

    Výsledek obhajoby: OBHÁJENO
    Ringelová, Jana (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
  • Fyzikální aplety v češtině se zaměřením na elektřinu a magnetismus 

    Výsledek obhajoby: OBHÁJENO
    Vojtíšková, Lenka (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
  • Studium binárních směsí voda/etanol metodami NMR spektroskopie 

    Výsledek obhajoby: OBHÁJENO
    Radecki, Marek (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
  • Elektromagnetické vlnové jevy generované v souvislosti s bouřkovou aktivitou 

    Výsledek obhajoby: OBHÁJENO
    Píša, David (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
  • Chaotické chování demonstrované programem Mathematica 

    Výsledek obhajoby: OBHÁJENO
    Zuzák, Václav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
  • Elipsometrie nelineárních materiálů 

    Výsledek obhajoby: OBHÁJENO
    Uxa, Štěpán (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
  • Globální rotace zemské litosféry: Mýtus, nebo realita? 

    Výsledek obhajoby: OBHÁJENO
    Valentová, Ľubica (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
  • Studium růstu bimetalických vrstev metodou XPS 

    Výsledek obhajoby: OBHÁJENO
    Zahoranová, Tatiana (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
  • Fluktuace práce a tepla v nerovnovážných termodynamických dějích. 

    Výsledek obhajoby: OBHÁJENO
    Perlík, Václav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
  • Elektrodynamika v blízkosti kosmické struny 

    Výsledek obhajoby: OBHÁJENO
    Olšina, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
  • Speciálně relativistické spektrální efekty u gravitačních mikročoček 

    Výsledek obhajoby: OBHÁJENO
    Muzikář, Petr (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 18. 9. 2007
  • Rozšířený HMM tagger a jeho aplikace na morfologické značkování češtiny 

    Výsledek obhajoby: OBHÁJENO
    Kypta, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 11. 9. 2007
    V předložené práci studuji možnosti morfologického značkování češtiny při použití statistického značkovače založeného na skrytých Markovových modelech (HMM taggeru). Zejména pak ověřuji vliv: různě velkých trénovacích dat, ...
  • Vibrující křemenný krystal jako nástroj pro studium proudění kryokapalin 

    Výsledek obhajoby: OBHÁJENO
    Schmoranzer, David (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
    Datum obhajoby: 27. 9. 2007

© 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