Hledat
Zobrazují se záznamy 11-20 z 248
Modelling n-ary relations in description logics
Modelování n-árních relací v deskripčních logikách
Diplomová práce (OBHÁJENO)
Vedoucí práce: Zavoral, Filip
Datum publikování: 2008
Datum obhajoby: 26. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: DLR is an expressive description logic with support of n-ary relations. Currently, there is no known algorithm for native reasoning within DLR. However there are two approaches that allow to delegate reasoning services of ...
DLR je expresívna deskripčná logika, ktorá podporuje n-árne relácie. V súčastnosti neexistuje algoritmus, ktorý by dokázal natívne uvažovať v DLR. Existujú však dve práce, ktoré umožňujú uvažovanie delegovať do binárnych ...
DLR je expresívna deskripčná logika, ktorá podporuje n-árne relácie. V súčastnosti neexistuje algoritmus, ktorý by dokázal natívne uvažovať v DLR. Existujú však dve práce, ktoré umožňujú uvažovanie delegovať do binárnych ...
Detektor pro studium dvojného beta-rozpadu
Detektor pro studium dvojného beta-rozpadu
Diplomová práce (OBHÁJENO)
Vedoucí práce: Vorobel, Vít
Datum publikování: 2008
Datum obhajoby: 09. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Using Machine Learning Techniques to Analyze and Recognize Complex Patterns of Student E-Discussions
Analýza a rozeznávání komplexních interakcí v e-diskusích studentů pomocí technik strojového učení
Diplomová práce (OBHÁJENO)
Vedoucí práce: McLaren, Bruce M.
Datum publikování: 2008
Datum obhajoby: 28. 01. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Visuální diskuse je formou debaty, ve které se příspěvky zapisují do grafických tvarů a propojují se s ostatními na základě jejich vztahů. Pro moderování několika současně probíhajících diskusí je důležité nasměrovat učitele ...
Visual e-discussion is a form of debate in that contributions are written into graphical shapes and linked to one another according to their relationship. In order to moderate several simultaneous e-discussions effectively, ...
Visual e-discussion is a form of debate in that contributions are written into graphical shapes and linked to one another according to their relationship. In order to moderate several simultaneous e-discussions effectively, ...
Zobrazování povrchových detailů pomocí mapování textur
Rendering Surface Detail with Advanced Mapping Techniques
Diplomová práce (OBHÁJENO)
Vedoucí práce: Ambrož, David
Datum publikování: 2008
Datum obhajoby: 28. 01. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se zabývá algoritmy počítačové grafiky využívajícími pokročilé techniky mapování textur pro zvyšování úrovně detailů nerovných povrchů. Stručně seznamuje s historií vývoje a architekturou moderních grafických karet ...
The thesis deals with algorithms of computer graphics which exploit advanced techniques of textures mapping with the aim of improving the projection of details of wrinkled surfaces. The evolution and architecture of modern ...
The thesis deals with algorithms of computer graphics which exploit advanced techniques of textures mapping with the aim of improving the projection of details of wrinkled surfaces. The evolution and architecture of modern ...
Uživatelsky orientovaný jazyk pro řešení úloh DZD
Uživatelsky orientovaný jazyk pro řešení úloh DZD
Diplomová práce (OBHÁJENO)
Vedoucí práce: Rauch, Jan
Datum publikování: 2008
Datum obhajoby: 24. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce pojednává o novém funkcionálním vizuálním programovacím jazyku a jeho použití k dobývání znalostí z databízí. Tento jazyk se nazývá Ferda a je integrální součástí systému Ferda, což je aplikace, která byla původně ...
The thesis discusses a new visual functional programming language and its use for data mining. The language is called Ferda and forms an integral part of the Ferda system, which is an application that has been created for ...
The thesis discusses a new visual functional programming language and its use for data mining. The language is called Ferda and forms an integral part of the Ferda system, which is an application that has been created for ...
Mikroskopie využívající prostorově modulovaného osvětlení
Pattern Excitation Microscopy
Diplomová práce (OBHÁJENO)
Vedoucí práce: Heintzmann, Rainer
Datum publikování: 2008
Datum obhajoby: 26. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Analyzer of Windows Kernel Models
Analyzátor modelů jádra OS Window
Diplomová práce (OBHÁJENO)
Vedoucí práce: Ježek, Pavel
Datum publikování: 2008
Datum obhajoby: 28. 01. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Diplomová práce předkládá nástroj pro analýzu modelů ve specifikačním jazyce DeSpec a pro jejich překlad do modelovacího jazyka Zing. Výsledné modely pak mohou být verifikovány model checkerem Zing. Jazyk DeSpec je navržen ...
The thesis introduces a tool for analyzing models written in the specification language DeSpec and translating them into the Zing modeling language. Resulting models can be verified by the Zing model checker. The DeSpec ...
The thesis introduces a tool for analyzing models written in the specification language DeSpec and translating them into the Zing modeling language. Resulting models can be verified by the Zing model checker. The DeSpec ...
Lokalizace mobilních robotů pomocí vizuálního vnímání
Vision based localization of mobile robots
Diplomová práce (OBHÁJENO)
Vedoucí práce: Mráz, František
Datum publikování: 2008
Datum obhajoby: 26. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: A key feature of a mobile robotic system is the ability to determine its exact position. Solutions using digital cameras to accomplish this task play a major role in the current research. This thesis studies the topic of ...
Klíčovou vlastností mobilních robotických systémů je schopnost určení vlastní pozice vzhledem k okolí. Jako vhodná a v poslední době intenzivně studovaná technologie se jeví využití digitálních kamer. Cílem této diplomové ...
Klíčovou vlastností mobilních robotických systémů je schopnost určení vlastní pozice vzhledem k okolí. Jako vhodná a v poslední době intenzivně studovaná technologie se jeví využití digitálních kamer. Cílem této diplomové ...
Pokrývání sečen konvexní oblasti
Pokrývání sečen konvexní oblasti
Diplomová práce (OBHÁJENO)
Vedoucí práce: Valtr, Pavel
Datum publikování: 2008
Datum obhajoby: 29. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Pro danou konvexní oblast v rovině se snažíme nalézt co možná nejkratší množinu (navíc volitelně splňující předepsané vlastnosti), která protíná všechny přímky, které protínají danou oblast. Velikost pokrývacích množin ...
For a given covnex body we try to find the shortest possible set (optionally admitting some prescribed properties) meeting all lines meeting the given body. The size of the covering set is measured by the Hausdorff ...
For a given covnex body we try to find the shortest possible set (optionally admitting some prescribed properties) meeting all lines meeting the given body. The size of the covering set is measured by the Hausdorff ...
Measures for efficiency and eco-efficiency
Měření eficience a eko-eficience
Diplomová práce (OBHÁJENO)
Vedoucí práce: Lachout, Petr
Datum publikování: 2008
Datum obhajoby: 23. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Porovnání ekonomických subjektu na mikro- i makroekonomické úrovni jednotným ukazatelem se provádí měřením eficience jako nástroje pro ohodnocení výkonnosti nebo efektivity subjektu. Pro každý ekonomický subjekt může být ...
Comparison between the economic subjects on micro and macro economic levels by a unitary indicator is provided by measuring efficiency as an evaluation of the performance of subjects. For each economic subject technical, ...
Comparison between the economic subjects on micro and macro economic levels by a unitary indicator is provided by measuring efficiency as an evaluation of the performance of subjects. For each economic subject technical, ...