Hledat
Zobrazují se záznamy 1-10 z 35
Lelkova hypotéza
Lelkova hypotéza
Diplomová práce (OBHÁJENO)
Vedoucí práce: Simon, Petr
Datum publikování: 2009
Datum obhajoby: 25. 05. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Lelek's conjecture which states that metric continua with span zero are chainable has been one of the most widely investigated problems in continuum theory over the past 40 years. We broaden our field of interest to ...
Lelkova hypotéza, která říká, že metrická kontinua se spanem nula jsou chainable, je jedním z nejvíce studovaných problémů v teorii kontinuí. V této práci formulujeme Lelkovu domněnku pro nemetrická kontinua a dokážeme, ...
Lelkova hypotéza, která říká, že metrická kontinua se spanem nula jsou chainable, je jedním z nejvíce studovaných problémů v teorii kontinuí. V této práci formulujeme Lelkovu domněnku pro nemetrická kontinua a dokážeme, ...
Doménově specifické jazyky
Domain Specific Languages
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hric, Jan
Datum publikování: 2009
Datum obhajoby: 21. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Dom énově specifi cké jazyky (DSL) jsou jazyky navržen é pro určitou problémovou oblast. Jejich syntaxe a základní primitiva jsou přizpůsobeny t ří dě problém u, kter é mají řeš it. Dí ky této specializaci jsou programy v ...
Domain speci c languages (DSL) are languages designed for one particular area. Their syntax and basic primitives are carefully chosen to t the class of problems they are meant to solve. Because of this specialisation, ...
Domain speci c languages (DSL) are languages designed for one particular area. Their syntax and basic primitives are carefully chosen to t the class of problems they are meant to solve. Because of this specialisation, ...
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, ...
Metafory a modelování živých systémů
Metaphors and Modelling of Life Systems
Diplomová práce (OBHÁJENO)
Vedoucí práce: Havel, Ivan
Datum publikování: 2009
Datum obhajoby: 21. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Předložená práce si klade za cíl teoreticky prozkoumat a popsat některé modely živých systémů. V první části se zabývá modely autonomních systémů, jako je například buňka nebo živý tvor jako celek. V této části je představen ...
The aim of this work is to theoretically study and describe some of the models of living systems. In the rst part, we focus on models of autonomous systems, such as the cell or a living being as a whole. In this part, we ...
The aim of this work is to theoretically study and describe some of the models of living systems. In the rst part, we focus on models of autonomous systems, such as the cell or a living being as a whole. In this part, we ...
Temporal networks
Temporal networks
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2009
Datum obhajoby: 21. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Integrace plánování rozvrhování vyžaduje hledání nových přístupů problému rozvrhování. Rozvrhovací systém musí být schopen poskytnout užitečné informace plánovači, aby se zabránilo vytvářní neuskutečnitelných plánů. Pro ...
Integration of planning and scheduling requires new approaches to the scheduling problem. The scheduler must be able to provide useful information for the planner in order to avoid generation of unfeasible plans. In ...
Integration of planning and scheduling requires new approaches to the scheduling problem. The scheduler must be able to provide useful information for the planner in order to avoid generation of unfeasible plans. In ...
Prostředí pro vytváření umělých hráčů Texas Hold'em pokru
Prostředí pro vytváření umělých hráčů Texas Hold'em pokru
Diplomová práce (OBHÁJENO)
Vedoucí práce: Majerech, Vladan
Datum publikování: 2009
Datum obhajoby: 25. 05. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Hold'em poker, kartová hra s neúplnou, niekedy dokonca klamlivou informáciou, bude v priebehu niekol'kých rokov pravdepodobne pokorená počítačovými programami. Toto môže predstavovat' vel'ké nebezpečenstvo pre celé odvetvie ...
Hold 'em poker, a card game with incomplete, sometimes even misleading information, is probably going to be mastered by computer programs within a few years. This might be a big issue for the on-line poker gaming industry. ...
Hold 'em poker, a card game with incomplete, sometimes even misleading information, is probably going to be mastered by computer programs within a few years. This might be a big issue for the on-line poker gaming industry. ...
AI Planning with Time and Resource Constraints
Plánování s omezenými zdroji a časem
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2009
Datum obhajoby: 21. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Automatizované plánování hraje bezesporu klíčovou roli v mnoha oblastech lidského zájmu, kde složité a proměnlivé úlohy vyžadují efektivní řešení a omezení možných chyb. Další motivací pro výzkum plánování je zachycení ...
Automated planning plays an important role in many fields of human interest, where complex and changing tasks involve demanding efficiency and error-avoidance requirements. Research in planning is also motivated by capturing ...
Automated planning plays an important role in many fields of human interest, where complex and changing tasks involve demanding efficiency and error-avoidance requirements. Research in planning is also motivated by capturing ...
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 ...
Methods of MCTS and the game Arimaa
MCTS techniky ve hře Arimaa
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hric, Jan
Datum publikování: 2009
Datum obhajoby: 21. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Arimaa je strategická hra vytvořená za účelem být obzvláště těžká pro počítače. Většina existujících programů hrajících hru Arimaa je založena na ověřených postupech z problematiky počítačových šachů obzvláště pak na ...
Game of Arimaa is an artificially created strategic board game with the purpose to be difficult for computers. A vast majority of introduced computer engines for Arimaa are based on successful approaches from chess, namely ...
Game of Arimaa is an artificially created strategic board game with the purpose to be difficult for computers. A vast majority of introduced computer engines for Arimaa are based on successful approaches from chess, namely ...
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 ...