Search
Now showing items 1-10 of 16
Efektivní algoritmy oveřování cílů v počítačových hrách
Effective Algorithms for Verifying Goals in Computer Games
rigorous thesis
Advisor: Hric, Jan
Date Issued:
Date of defense: 24. 05. 2010
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Tato práce se zabývá neuniformními metodami prohledávání stromů her dvou hráčů s úplnou informací. Konkrétně je zkoumána neuniformita založená na hrozbách realizovaná v podobě algoritmů lambda search a dual-lambda search. ...
In the present work we study non-uniform methods for searching game trees of two player games with perfect information. Particularly the non-uniformity based on threats as realized in lambda search and dual-lambda search ...
In the present work we study non-uniform methods for searching game trees of two player games with perfect information. Particularly the non-uniformity based on threats as realized in lambda search and dual-lambda search ...
Learning for Classical Planning
Learning for Classical Planning
rigorous thesis
Advisor: Barták, Roman
Date Issued:
Date of defense: 24. 05. 2010
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: This thesis is mainly about classical planning for articial intelligence (AI). In planning, we deal with searching for a sequence of actions that changes the environment from a given initial state to a goal state. Planning ...
Přeurčené soustavy intervalových lineárních rovnic
Overdetermined systems of interval linear equations
rigorous thesis
Advisor: Hladík, Milan
Date Issued:
Date of defense: 30. 11. 2017
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: This work is focused on overdetermined systems of interval linear equati- ons. First part consists of introduction to interval arithmetics and interval linear algebra and basic theory of interval linear systems. In the ...
Tato práce se zabývá přeurčenými soustavami intervalových lineárních rovnic. První část se skládá z úvodu do intervalové aritmetiky a intervalové lineární algebry a základní teorie intervalových lineárních systémů. Ve druhé ...
Tato práce se zabývá přeurčenými soustavami intervalových lineárních rovnic. První část se skládá z úvodu do intervalové aritmetiky a intervalové lineární algebry a základní teorie intervalových lineárních systémů. Ve druhé ...
Redukční automaty a syntaktické chyby
Reducing Automata and Syntactic Errors
rigorous thesis
Date Issued:
Date of defense: 11. 02. 2013
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Tato práce se zabývá redukčními automaty, jejich normalizacemi a využitím pro (robustní) redukční analýzu a lokalizaci syntaktických chyb pro jazyky ze třídy DCFL. Redukční automat navazuje na restartovací automat, od ...
This thesis deals with reducing automata, their normalization, and their application for a (robust) reduction analysis and localization of syntactic errors for deterministic context-free languages (DCFL). A reducing automaton ...
This thesis deals with reducing automata, their normalization, and their application for a (robust) reduction analysis and localization of syntactic errors for deterministic context-free languages (DCFL). A reducing automaton ...
Properties of universal hashing
Vlastnosti universálního hašování
rigorous thesis
Date Issued:
Date of defense: 18. 04. 2013
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Ciel'om tejto práce je navrhnút' model hashovania s akceptovatel'nou časovou zložitost'ou aj v najhoršom prípade. Vytvorený model je založený na princípe univerzálneho hashovania a výsledná očkávania časové zložitost' je ...
The aim of this work is to create a model of hashing with an acceptable worst case time complexity. The model is based on the idea of universal hashing and the expected time of every operation is constant. The used universal ...
The aim of this work is to create a model of hashing with an acceptable worst case time complexity. The model is based on the idea of universal hashing and the expected time of every operation is constant. The used universal ...
Solving Boolean satisfiability problems
Řešení problémů booleovské splnitelnosti
rigorous thesis
Date Issued:
Date of defense: 18. 04. 2013
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: V této práci studujeme možnosti rozkladu booleovských formulí do komponent souvislosti. Z tohoto důvodu zavádíme nový pojem - komponentový strom. Popisujeme některé vlastnosti komponentových stromů a možnosti jejich aplikace. ...
In this thesis we study the possibilities of decomposing Boolean formulae into connected components. or this reason, we introduce a new concept - component trees. We describe some of their properties and suggest some ...
In this thesis we study the possibilities of decomposing Boolean formulae into connected components. or this reason, we introduce a new concept - component trees. We describe some of their properties and suggest some ...
Třídy Booleovských formulí s efektivně řešitelným SATem.
Classes of Boolean Formulae with effectively soluable SAT.
rigorous thesis
Date Issued:
Date of defense: 09. 04. 2014
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: This work studies classes of Boolean formulae with polynomially solvable satsiability problem (SAT). It investigates the behavior of these classes with respect to basic operation with formulae (variable and literal ...
Práce se zabývá třídami Booleovských formulí, pro které je problém splnitelnosti (SAT) řešitelný v polynomiálním čase. Zkoumá chování těchto tříd vzhledem k základním operacím s formulemi (komplementaci literálu, komplementaci ...
Práce se zabývá třídami Booleovských formulí, pro které je problém splnitelnosti (SAT) řešitelný v polynomiálním čase. Zkoumá chování těchto tříd vzhledem k základním operacím s formulemi (komplementaci literálu, komplementaci ...
Study of Arithmetical Structures and Theories with Regard to Representative and Descriptive Analysis
Studium aritmetických struktur a teorií s ohledem na reprezentační a deskriptivní analýzu
rigorous thesis
Date Issued:
Date of defense: 20. 12. 2013
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: disertační práce Studium aritmetických struktur a teorií s ohledem na reprezentační a deskriptivní analýzu Petr Glivický Jsme motivováni otázkou vztahu lokálních a globálních vlastností operace o ve struktuře tvaru B, o s ...
of doctoral thesis Study of Arithmetical Structures and Theories with Regard to Representative and Descriptive Analysis Petr Glivický We are motivated by a problem of understanding relations between local and global ...
of doctoral thesis Study of Arithmetical Structures and Theories with Regard to Representative and Descriptive Analysis Petr Glivický We are motivated by a problem of understanding relations between local and global ...
Integrating Planning and Scheduling
Integrace plánování a rozvrhování
rigorous thesis
Date Issued:
Date of defense: 06. 03. 2015
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Název práce: Integrace plánování a rozvrhování Autor: Mgr. Filip Dvořák Katedra: Katedra teoretické informatiky a matematické logiky Vedoucí disertační práce: prof. RNDr. Roman Barták, Ph.D., KTIML MFF UK Abstrakt: Hlavním ...
Title: Integrating Planning and Scheduling Author: Mgr. Filip Dvořák Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: prof. RNDr. Roman Barták, Ph.D., KTIML MFF UK Abstract: The ...
Title: Integrating Planning and Scheduling Author: Mgr. Filip Dvořák Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: prof. RNDr. Roman Barták, Ph.D., KTIML MFF UK Abstract: The ...
Artificial neural networks for clustering and rule extraction
Umělé neuronové sítě pro klastrování a extrakci pravidel
rigorous thesis
Date Issued:
Date of defense: 16. 06. 2011
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Název práce: Umělé neuronové sítě pro klastrování a extrakci pravidel Autor: Jiří Iša Katedra (ústav): Katedra softwarového inženýrství Vedoucí práce: RNDr. Iveta Mrázová, CSc. E-mail vedoucí: mrazova@ksi.ms.mff.cuni.cz ...
Title: Artificial neural networks for clustering and rule extraction Author: Jiří Iša Department: Department of Software Engineering Supervisor: RNDr. Iveta Mrázová, CSc. Supervisor's e-mail: mrazova@ksi.ms.mff.cuni.cz ...
Title: Artificial neural networks for clustering and rule extraction Author: Jiří Iša Department: Department of Software Engineering Supervisor: RNDr. Iveta Mrázová, CSc. Supervisor's e-mail: mrazova@ksi.ms.mff.cuni.cz ...