Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 10821-10830 z 11196
-
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 ...
RSS 1.0