Hledat
Zobrazují se záznamy 21-30 z 264
Mechanismus výběru akcí pro animata
Mechanismus výběru akcí pro animata
Diplomová práce (OBHÁJENO)
Vedoucí práce: Brom, Cyril
Datum publikování: 2009
Datum obhajoby: 25. 05. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V tejto práci je skúmaná metóda reaktívneho plánovania, ktorá predstavuje populárnu voľbu pre riadenie správania umelých bytostí. Výhodou tohto prístupu sú okrem iného jednoduchosť návrhu, rýchlosť a uveriteľné chovanie ...
In this thesis we study the method of reactive planning, which is very popular for modeling behavior of virtual beings. Advantage of this approach is in the simplicity of design, its speed and believable behavior of agents ...
In this thesis we study the method of reactive planning, which is very popular for modeling behavior of virtual beings. Advantage of this approach is in the simplicity of design, its speed and believable behavior of agents ...
Studium fotoionizace atmosférických plynů pomocí časově rozlišené terahertzové spektroskopie
Studium fotoionizace atmosférických plynů pomocí časově rozlišené terahertzové spektroskopie
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kužel, Petr
Datum publikování: 2006
Datum obhajoby: 15. 05. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Integrated Network Traffic Processing Framework
Integrated Network Traffic Processing Framework
Diplomová práce (OBHÁJENO)
Vedoucí práce: Tůma, Petr
Datum publikování: 2007
Datum obhajoby: 05. 02. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Knowledge of what data are carried by network links is crucial to be able to prevent attacks and to improve quality of services. Therefore it is important to develop network monitoring tools which can operate on speeds of ...
Automatic Construction of an XML Schema for a Given Set of XML Documents
Automatic Construction of an XML Schema for a Given Set of XML Documents
Diplomová práce (OBHÁJENO)
Vedoucí práce: Holubová, Irena
Datum publikování: 2009
Datum obhajoby: 25. 05. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Jazyk XML je populární formát pro komunikaci a výměnu dat. Stále ale existuje mnoho dokumentů bez popisu schématu. Tato práce je zaměřena na automatickou konstrukci XML schématu pro takové dokumenty. Pro popis schématu je ...
XML language is a popular communication and data exchange format. But there are still a lot of documents that have no XML schema definition. This thesis is focused on an automatic construction of an XML schema for such ...
XML language is a popular communication and data exchange format. But there are still a lot of documents that have no XML schema definition. This thesis is focused on an automatic construction of an XML schema for such ...
Magnetooptické vlastnosti polovodičových kvantových struktur
Magnetooptické vlastnosti polovodičových kvantových struktur
Diplomová práce (OBHÁJENO)
Vedoucí práce: Grill, Roman
Datum publikování: 2009
Datum obhajoby: 22. 09. 2009
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 ...
Simple Semirings
Jednoduché polookruhy
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kepka, Tomáš
Datum publikování: 2009
Datum obhajoby: 25. 05. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Známé tvrzení říká, že poud je komutativní těleso konečně generované jako okruh, je konečné. Tato práce je věnovaná zobecnění tohoto tvrzení - problému, jestli je kadý konečně generovaný ideálově jednoduchý komutativní ...
A well-known statement says that if a commutative field is finitely generated as a ring, then it is finite. This thesis studies a generalization of this statement - problem, whether every finitely generated ideal-simple ...
A well-known statement says that if a commutative field is finitely generated as a ring, then it is finite. This thesis studies a generalization of this statement - problem, whether every finitely generated ideal-simple ...
Podpora procesorů UltraSPARC III, IV, T1 a T2 v HelenOS
Podpora procesorů UltraSPARC III, IV, T1 a T2 v HelenOS
Diplomová práce (OBHÁJENO)
Vedoucí práce: Děcký, Martin
Datum publikování: 2009
Datum obhajoby: 07. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Stručné představení operačního systému HelenOS. Přehled obecných vlastností 64-bitových procesorů SPARC (registry, trapy, jednotka správy paměti, OpenBoot PROM). Specifické vlastnosti procesorů vyhovujících JPS (Joint ...
Overview of the HelenOS operating system. General overview of the 64-bit SPARC processors (registers, traps, memory management unit, OpenBoot PROM). Overview of the specific geatures of the processors compliant with JPS ...
Overview of the HelenOS operating system. General overview of the 64-bit SPARC processors (registers, traps, memory management unit, OpenBoot PROM). Overview of the specific geatures of the processors compliant with JPS ...
Optimalizace exekučního plánu v PostgreSQL
Optimalizace exekučního plánu v PostgreSQL
Diplomová práce (OBHÁJENO)
Vedoucí práce: Štroffek, Julius
Datum publikování: 2009
Datum obhajoby: 25. 05. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Geometry of projective structures
Geometrie projektivních struktur
Diplomová práce (OBHÁJENO)
Vedoucí práce: Bureš, Jarolím
Datum publikování: 2006
Datum obhajoby: 06. 06. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V této práci podáme tři různé definice projektivní struktury na varietě a pokusíme se dokázat jejich ekvivalenci. Za tímto účelem vyvineme prostředky pro práci s vyššími frame-bandly a parabolickými geometriemi. Uvedeme ...