Hledat
Zobrazují se záznamy 21-30 z 76
Globální podmínky s cenou
Global Constraints with Cost
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2007
Datum obhajoby: 18. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Plánovací problémy tvoří velice důležiotou aplikační oblast oboru programování s omezujícími podmínkami. Častý způsob reprezentace plánovacích problémů představují temporální sítě, kde uzly reprezentují jednotlivé časové ...
Planning problems are a very important application area for constraint satisfactory problems. Temporal networks are a common way of planning problems representation. In temporal network nodes represent time points and arcs ...
Planning problems are a very important application area for constraint satisfactory problems. Temporal networks are a common way of planning problems representation. In temporal network nodes represent time points and arcs ...
Modely aritmetických a bohatých teorií
Models of arithmetic and rich theories
Diplomová práce (OBHÁJENO)
Vedoucí práce: Mlček, Josef
Datum publikování: 2009
Datum obhajoby: 16. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V předložené práci formulujeme problematiku oboru peanovských součinů (na daném modelu Presburgerovy aritmetiky (Pr)) jakožto potenciálně možného základu pro konstrukci modelů Peanovy aritmetiky (PA). Tato problematika je ...
In the present thesis we study the domain of Peano products (in a given model of the Presburger arithmetic (Pr)) as a potentially possible base for a construction of models of the Peano arithmetic (PA). This issue is a ...
In the present thesis we study the domain of Peano products (in a given model of the Presburger arithmetic (Pr)) as a potentially possible base for a construction of models of the Peano arithmetic (PA). This issue is a ...
Diář kompatibilní se softwarem pro nevidomé
Blind Friendly Time Organizer
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Cejnar, Pavel
Datum publikování: 2006
Datum obhajoby: 26. 06. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In present many diaries and organizers use attractive but nonstandard controls, which are problematic to read for software designated for blind people (e.g. JAWS, www.freedomscientific.com). The aim of this bachelor work ...
Mnoho v současnosti používaných diářů a organizérů používá graficky poutavé nestandardní ovládací prvky, při jejichž čtení má software pro nevidomé (například JAWS, www.freedomscientific.com) problémy. Cílem této bakalářské ...
Mnoho v současnosti používaných diářů a organizérů používá graficky poutavé nestandardní ovládací prvky, při jejichž čtení má software pro nevidomé (například JAWS, www.freedomscientific.com) problémy. Cílem této bakalářské ...
Multiagentní simulace založené na iterovaném vězňově dilematu
Multiagent simulations based on the iterated prisoner's dilemma
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Olmer, Petr
Datum publikování: 2008
Datum obhajoby: 24. 06. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se zabývá možnostmi využití jazyka 3APL při simulaci iterovaného vězňova dilematu. Nedrží se však pouze teorie, ale předkládá i konkrétní příklad implementace multiagentního systému schopného provádět simulace nejen ...
This work is studying possibilities for simulating iterated prisoners dilema in the 3APL language. It does not stick to theory only but offers a concrete example of a multiagent system capable of simulating not only the ...
This work is studying possibilities for simulating iterated prisoners dilema in the 3APL language. It does not stick to theory only but offers a concrete example of a multiagent system capable of simulating not only the ...
Učení restartovacích automatů genetickými algoritmy
Machine learning of restarting automata using genetic algorithms
Rigorózní práce (UZNÁNO)
Datum publikování: 2007
Datum obhajoby: 25. 04. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Bridge-hledání optimálních strategií
Bridge - computing optimal strategies
Rigorózní práce (UZNÁNO)
Datum publikování: 2009
Datum obhajoby: 24. 03. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: We give a theoretical model of the game Bridge and its simplified variation. We construct an algorithm for the best response against any given strategy in this model. Then we construct an algorithm for an optimal strategy ...
Předkládáme teoretický model hry Bridge a její zjednodušené varianty. Na tomto teoretickém modelu konstruujeme algoritmus optimální protistrategie hráče proti dané strategii, dále algoritmus založený na iteraktivní metodě ...
Předkládáme teoretický model hry Bridge a její zjednodušené varianty. Na tomto teoretickém modelu konstruujeme algoritmus optimální protistrategie hráče proti dané strategii, dále algoritmus založený na iteraktivní metodě ...
Business model teplárenské společnosti
Business model of a central heating plant
Diplomová práce (OBHÁJENO)
Vedoucí práce: Křivánek, Mirko
Datum publikování: 2008
Datum obhajoby: 26. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Presented thesis deals with the usage of computer simulations in management decision. Modeled environment is selected heat-distribution network, however model and its conclusions can be used for arbitrary heat - distribution ...
Práce je zaměřena na využití počítačových simulací pro manažerské rozhodování. Modelovaným prostředím je vybraná teplárenská soustava, avšak model i závěry mohou být obecně využity pro libovolnou entralizovanou teplárenskou ...
Práce je zaměřena na využití počítačových simulací pro manažerské rozhodování. Modelovaným prostředím je vybraná teplárenská soustava, avšak model i závěry mohou být obecně využity pro libovolnou entralizovanou teplárenskou ...
Systém pro distribuované výpočty
System for Distributed Computing
Bakalářská práce (NEOBHÁJENO)
Vedoucí práce: Vyskočil, Jiří
Datum publikování: 2009
Datum obhajoby: 15. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se zabývá řešením úloh prostřednictvím systémů pro distribuované výpočty. Na úvod seznamuje čtenáře se základními principy těchto systémů a představuje některé běžně používané systémy. Dále je pak navržen vlastní ...
This thesis is about solving problems using systems for distributed computing. In the beginning, it provides the reader brief introduction to the area of systems for distributed computing and introduces some of the existing ...
This thesis is about solving problems using systems for distributed computing. In the beginning, it provides the reader brief introduction to the area of systems for distributed computing and introduces some of the existing ...
Trénovací program na mariáš
Mariáš Trainer
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Pudlák, Petr
Datum publikování: 2007
Datum obhajoby: 10. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Predložená práce se zabývá návrhem programu na sehrávání trénovacích partií mariáše (tradiční české karetní hry) proti počítači. Uvažují se dvě varianty této hry pro tři hráče - mariáš volený a licitovaný. Program umožňuje ...
In the present thesis we deal with designing a program to play training games of mariáš (traditional czech card game) against computer. Two three-player versions of this game are considered - volený mariáš and licitovaný ...
In the present thesis we deal with designing a program to play training games of mariáš (traditional czech card game) against computer. Two three-player versions of this game are considered - volený mariáš and licitovaný ...
Porovnávání přirozeného a umělého učení
A comparison between natural and artificial learning
Rigorózní práce (UZNÁNO)
Datum publikování: 2008
Datum obhajoby: 24. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This paper deals with design and implementation of an evolutionary system for control of an autonomous mobile robot. This system should make possible an adaptation to a group of tasks, that can be similarly defined for a ...
Práce se zabývá návrhem a implementací evolučního systému pro řízení autonomního mobilního robota. Tento systém by mu měl umožňovat adaptaci na třídu úloh, kterou lze srovnatelně definovat i pro skutečného živočicha, který ...
Práce se zabývá návrhem a implementací evolučního systému pro řízení autonomního mobilního robota. Tento systém by mu měl umožňovat adaptaci na třídu úloh, kterou lze srovnatelně definovat i pro skutečného živočicha, který ...