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