Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 10861-10880 z 11242
-
Ramseyovské věty v geometrii
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 11. 9. 2006Euklidovská Ramseyho teorie se zabývá zkoumáním konfigurací bodů, pro které lze při každém obarvení n-dimenzionálního euklidovského prostoru najít v některé z barev jejich posunutou a otočenou kopii. Její asymetrická část ... -
Parametrizovaná složitost v teorii grafů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 11. 9. 2006Seidelovo přepnutí množiny vrcholu je operace, která z grafu odebere hrany vycházející z této množiny a přidá do něj hrany tam, kde mezi množinou a zbytkem grafu nebyly. Ostatní hrany nejsou touto operací dotčeny. ... -
Vlastnosti a aplikace sigma-pórovitých množin
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 27. 9. 2006 -
Komutativní nilpotentní okruhy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 11. 9. 2006 -
Určení parametrů rozdělení sezónních úhrnů srážek z proměnných ve volné atmosféře pomocí vícerozměrných statistických metod
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 26. 9. 2006 -
Aplikace stochastických metod v neurofyziologii
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 26. 9. 2006 -
Metoda vrstevnic a její aplikace v mechanice nestlačitelných tekutin
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 21. 9. 2006 -
Analýza rizik v životní pojišťovně
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 29. 9. 2006The purpose of this diploma thesis is to offer the global review of current risks in the eld of life insurance business. In the rst part we focused on segmentation and description of these risks and possibilities of managing ... -
Stochastické modely se součty náhodných počtů náhodných veličin
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 26. 9. 2006Diplomová práce se zabývá stochastickými modely, ve kterých se objevují součty s náhodným počtem náhodných veličin. Ukazuje příklady takových modelů včetně využití v ekonomice. popisuje stabilní a v-stabilní rozdělení s ... -
Směsové modely pravděpodobnostních distribucí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 26. 9. 2006 -
Giniho index
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 12. 9. 2006 -
Relative topological properties
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 11. 9. 2006In this thesis we study the concepts of relative topological properties and present some basic facts and relations between them. Our main focus is on various versions of relative normality, relative regularity and relative ... -
Překladač Java do C++
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 11. 9. 2006Cílem této diplomové práce je vytvořit nástroj pro překlad zdrojového kódu jazyka Java 1.5 do výstupního kódu jazyka C++. Předpokladem je, že vstupní kód je kompilovatelný. Součástí práce je návrh způsobu překladu a analýza ... -
Distributed Behavior Protocol Checker
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 11. 9. 2006Nárůst dostupné výpořetní síly umožnil v posledních letech praktické využití formální verifikace softwarových systémů. Nejpalčivějším problémem, který zabraňuje širšímu využití však zůstává velikost stavových prostorů. ... -
Experimentální GUHA procedury
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 11. 9. 2006Cílem práce je nová implementace šesti GUHA procedur známých ze systému LISpMiner (4ftMiner, SD4ftMiner, CFMiner, SDCFMiner, KLMiner, SDKLMiner) do prostředí systému Ferda Data Miner s ohledem na jejich další výzkum a ... -
Multiplatformní API uživatelského rozhraní pro C/C++
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 11. 9. 2006Cílem projektu MWindows je vytvoření multiplatformního toolkitu pro vývoj gra fického uživatelského rozhraní s použitím jazyka C++, čímž je určen pro rychlostně náročné aplikace. Toolkit musí maximálně zakrývat specifi ka ... -
Umělé neuronové sítě a jejich použití v oblasti pojistných rizik
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 11. 9. 2006Předložená práce zkoumá použitelnost neuronových sítí v oblasti pojistných rizik. Popisuje strukturu a funkci vícevrstvých perceptronových sítí, Kohonenových map a sítí typu Fuzzy ART a Fuzzy ARTMAP. Definuje pojem pojistného ... -
Extending Java PathFinder with Behavior Protocols
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 11. 9. 2006Komponentově orientované programování, vyuřívající behavior protokoly pro specifikaci chovaní komponent, představuje efektivní přístup k vývoji softwarových aplikací. Jedním z prostředků jak ještě více usnadnit vývoj je i ... -
Využití doménových znalostí při aplikacích GUHA procedur
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 11. 9. 2006Práce vychází z předpokladu, že lze rozšířit možnosti GUHA procedur využitím vhodně reprezentovaných doménových znalostí. V práci jsou použity dva typy doménových znalostí: background knowledge a ontologie. Background ... -
Dynamický datalog
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 11. 9. 2006V tejto práci skúmame možnosti rozšírenia Datalogu o možnosť aktualizácie. Zaoberáme sa tiež možnosťou optimalizácie dotazovania pomocou zexplicitňovania (materializácie) intezionálnych pravidiel. Na základe nášho výskumu ...
RSS 1.0