Hledat
Zobrazují se záznamy 11-20 z 51
Distributed Behavior Protocol Checker
Distributed Behavior Protocol Checker
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kofroň, Jan
Datum publikování: 2006
Datum obhajoby: 11. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Ná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ů. ...
Growth of the computability power in the last years enabled practical use of model checking of software systems. However the state space explosion is still a burning problem that limits usage of this technique to the ...
Growth of the computability power in the last years enabled practical use of model checking of software systems. However the state space explosion is still a burning problem that limits usage of this technique to the ...
Interaction of line objects in ductile materials
Interakce čárových útvarů ve tvárných materiálech
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kratochvíl, Jan
Datum publikování: 2006
Datum obhajoby: 21. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Interest rates models in continous time
Modely úrokových měr ve spojitém čase
Diplomová práce (OBHÁJENO)
Vedoucí práce: Cipra, Tomáš
Datum publikování: 2006
Datum obhajoby: 16. 05. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The core of this work is to introduce the probabilistic techniques used in widely applied financial models and to formulate the term structure of interest rates using the continuous-time no-arbitrage framework. Stochastic ...
Dynamika živých organismů
Dynamika živých organismů
Diplomová práce (OBHÁJENO)
Vedoucí práce: Pelikán, Josef
Datum publikování: 2006
Datum obhajoby: 06. 02. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Počítačová animace artikulovaných postav je jedna z nejzajzajímavějších a nejvíce se rozvíjejících oblastí moderní počítačové grafiky. Cílem této práce je seznámit čtenáře s teorií simulace tuhých těles s omezeními, která ...
The computer animation of articulated figures is one of the most interesting and the most developing areas of the modern computer graphics. The goal of this thesis is to get the reader acquainted with the theory of constrained ...
The computer animation of articulated figures is one of the most interesting and the most developing areas of the modern computer graphics. The goal of this thesis is to get the reader acquainted with the theory of constrained ...
Vedené vlny v periodických strukturách a jejich senzorové aplikace
Vedené vlny v periodických strukturách a jejich senzorové aplikace
Diplomová práce (OBHÁJENO)
Vedoucí práce: Homola, Jiří
Datum publikování: 2006
Datum obhajoby: 15. 05. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This work is introduced by the description of fundamental properties of surface plasmons, propagating along the metal-dielectric interface and along the structure with thin metal film surrounded by the dielectrics with ...
Práce je uvedena popisem základních vlastností povrchových plazmonů šířících se podél rozhraní kov-dielektrikum a podél struktury s tenkým kovovým filmem obklopeným z obou stran dielektriky se shodným indexem lomu. Je ...
Práce je uvedena popisem základních vlastností povrchových plazmonů šířících se podél rozhraní kov-dielektrikum a podél struktury s tenkým kovovým filmem obklopeným z obou stran dielektriky se shodným indexem lomu. Je ...
Výpočetní složitost v teorii grafů
Výpočetní složitost v teorii grafů
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kratochvíl, Jan
Datum publikování: 2006
Datum obhajoby: 22. 05. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Seidel's switching is a graph operation which makes a given vertex adjacent to precisely those vertices to which it was non-adjacent before, while keeping the rest of the graph unchanged. Two graphs are called ...
Seidelovo přepnutí je grafová operace, která změní hrany vycházející z daného vrcholu tak, aby sousedil s právě těmi vrcholy, které původně nebyly jeho sousedy; zbytek grafu zůstane nezměněn. Dva grafy nazveme ekvivalentní ...
Seidelovo přepnutí je grafová operace, která změní hrany vycházející z daného vrcholu tak, aby sousedil s právě těmi vrcholy, které původně nebyly jeho sousedy; zbytek grafu zůstane nezměněn. Dva grafy nazveme ekvivalentní ...
Unicode Compiler-Compiler
Unicode Compiler-Compiler
Diplomová práce (OBHÁJENO)
Vedoucí práce: Galamboš, Leo
Datum publikování: 2006
Datum obhajoby: 11. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Navigation System for a Mobile Robot Based on Omni-Directional Vision
Navigační systém pro mobilního robota založený na všesměrovém obrazu
Diplomová práce (OBHÁJENO)
Vedoucí práce: Flusser, Jan
Datum publikování: 2006
Datum obhajoby: 06. 02. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Diplomová práce se zabývá problémem lokalizace mobilního robota v dynamickém prostředí robotické soutěže. Představuje metodu založenou na částicových filtrech, která využívá jako jediný senzor všesměrovou kameru. Velkou ...
The thesis addresses the vast problem of mobile robot localization in the dynamic environment of a robotic contest. Method based on particle filters is developed, using only the image of a catadioptric visual sensor as its ...
The thesis addresses the vast problem of mobile robot localization in the dynamic environment of a robotic contest. Method based on particle filters is developed, using only the image of a catadioptric visual sensor as its ...
Using XML technologies to apply design patterns
Using XML technologies to apply design patterns
Diplomová práce (NEOBHÁJENO)
Vedoucí práce: Bednárek, David
Datum publikování: 2006
Datum obhajoby: 11. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Přestože moderní styl programování vyžaduje široké nasazení návrhových vzoru, programovací jazyky nenabízejí pohodlné prostředky k jejich efektivní aplikaci. Cílem této práce je ukázat v praxi, že zapojení moderní XML ...
Although contemporary programming style involves massive use of design patterns, programming languages does not offer suitable means tu support their application. Aim of this work is to show in practice that modern XML ...
Although contemporary programming style involves massive use of design patterns, programming languages does not offer suitable means tu support their application. Aim of this work is to show in practice that modern XML ...
Záření v modelech s kosmologickou konstantou
Záření v modelech s kosmologickou konstantou
Diplomová práce (OBHÁJENO)
Vedoucí práce: Podolský, Jiří
Datum publikování: 2006
Datum obhajoby: 18. 05. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Title: Gravitational ji.t'ld of gyratons on various background spacetrm.es Author: Hcdvika Kadlecovd Department: Institute of Theoretical Ph.ys-i.es Supervisor: doc. Pavel Krtous. Ph.D. Supervisor's e-mail address: ...
Title: Gravitational ji.t'ld of gyratons on various background spacetrm.es Author: Hcdvika Kadlecovd Department: Institute of Theoretical Ph.ys-i.es Supervisor: doc. Pavel Krtous. Ph.D. Supervisor's e-mail address: ...
Title: Gravitational ji.t'ld of gyratons on various background spacetrm.es Author: Hcdvika Kadlecovd Department: Institute of Theoretical Ph.ys-i.es Supervisor: doc. Pavel Krtous. Ph.D. Supervisor's e-mail address: ...