Hledat
Zobrazují se záznamy 11-20 z 28
Ultrafilters and Small Sets
Ultrafiltry a malé série
Dizertační práce (OBHÁJENO)
Vedoucí práce: Simon, Petr
Datum publikování: 2006
Datum obhajoby: 28. 04. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Modelling and Solving Problems Using SAT Techniques
Modelling and Solving Problems Using SAT Techniques
Dizertační práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2014
Datum obhajoby: 29. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Řešení problémů plánování prostřednictvím překladů do splnitelnosti (SAT) je jedním z nejúspěšnějších přístupů k automatickému plánování. V této práci popíšeme několik způsobů jak přeložit problém plánování reprezentovaný ...
Solving planning problems via translation to satisfiability (SAT) is one of the most successful approaches to automated planning. In this thesis we describe several ways of encoding a planning problem represented in the ...
Solving planning problems via translation to satisfiability (SAT) is one of the most successful approaches to automated planning. In this thesis we describe several ways of encoding a planning problem represented in the ...
Complete Boolean Algebras and Extremally Disconnected Compact Spaces
Úplné Booleovy algebry a extremálně nesouvislé prostory
Dizertační práce (OBHÁJENO)
Vedoucí práce: Simon, Petr
Datum publikování: 2014
Datum obhajoby: 23. 04. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: We study the existence of special points in extremally disconnected compact topological spaces that witness their nonhomogeneity. Via Stone duality, we are looking for ultrafilters on complete Boolean algebras with special ...
Zkoumáme existenci specielních bod v nekonečných extremálně nesouvislých kompaktních topologických prostorech, které dosvědčují jejich nehomogenitu. S použitím Stoneovy duality ekvivalentně hledáme ultrafil- try na úplných ...
Zkoumáme existenci specielních bod v nekonečných extremálně nesouvislých kompaktních topologických prostorech, které dosvědčují jejich nehomogenitu. S použitím Stoneovy duality ekvivalentně hledáme ultrafil- try na úplných ...
Ultrafilters and independent systems
Ultrfiltry a nezávislé sytémy
Dizertační práce (OBHÁJENO)
Vedoucí práce: Simon, Petr
Datum publikování: 2011
Datum obhajoby: 05. 09. 2011
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce podává přehled různých konstrukcí ultrafiltrů. V první části uvádí konstrukce, které nepotřebují dodatečné axiomy teorie množin. Je předvedena metoda nezávislých systémů pocházející od K. Kunena. Dále je předvedeno ...
This work presents an overview of several different methods for construct- ing ultrafilters. The first part contains constructions not needing additional assumptions beyond the usual axioms of Set Theory. K. Kunen's method ...
This work presents an overview of several different methods for construct- ing ultrafilters. The first part contains constructions not needing additional assumptions beyond the usual axioms of Set Theory. K. Kunen's method ...
Interval Representations of Boolean Functions
Intervalové reprezentace booleovských funkcí
Dizertační práce (OBHÁJENO)
Vedoucí práce: Čepek, Ondřej
Datum publikování: 2007
Datum obhajoby: 22. 08. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis is dedicated to a research concerning representations of Boolean functions. We present the concept of a representation using intervals of integers. Boolean function f is represented by set I of intervals, if ...
Classes of Boolean Formulae with Effectively Solvable SAT
Třídy Booleovských formulí s efektivně řešitelným SATem
Dizertační práce (OBHÁJENO)
Vedoucí práce: Čepek, Ondřej
Datum publikování: 2013
Datum obhajoby: 18. 09. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The thesis studies classes of Boolean formulae for which the well-known satisfiability problem is solvable in polynomially bounded time. It focusses on classes based on unit resolution; it describe classes of unit refutation ...
Práce studuje třídy booleovkských formulí pro které je problém splnitelnosti řešitelný v polynomiálním čase. Zaměřuje se na třídy založené jednotkové rezoluci; popisuje třídy unit refutation complete formulí, unit propagation ...
Práce studuje třídy booleovkských formulí pro které je problém splnitelnosti řešitelný v polynomiálním čase. Zaměřuje se na třídy založené jednotkové rezoluci; popisuje třídy unit refutation complete formulí, unit propagation ...
Multi-agent Path Finding
Multi-agentní hledání cest
Dizertační práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2020
Datum obhajoby: 23. 09. 2020
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Zadáním multi-agentního hledání cest (MAPF z anglického multi-agent path finding) je nalézt nekonfliktní cesty pro neměnnou skupinu agentů, kteří se pohybují ve sdíleném prostředí. Každý z agentů je definován svojí výchozí ...
Multi-Agent Path Finding (MAPF) is the task to find efficient collision-free paths for a fixed set of agents. Each agent moves from its initial location to its desired destination in a shared environment represented by a ...
Multi-Agent Path Finding (MAPF) is the task to find efficient collision-free paths for a fixed set of agents. Each agent moves from its initial location to its desired destination in a shared environment represented by a ...
Special Classes of Boolean Functions with Respect to the Complexity of their Minimization.
Speciální třídy Booleovských funkcí s ohledem na složitost jejich minimalizace
Dizertační práce (OBHÁJENO)
Vedoucí práce: Čepek, Ondřej
Datum publikování: 2014
Datum obhajoby: 29. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In this thesis we study Boolean functions from three different perspectives. First, we study the complex- ity of Boolean minimization for several classes of formulas with polynomially solvable SAT, and formulate sufficient ...
V práci zkoumáme boolovské funkce ze tří různých hledisek. Zaprvé zkoumáme zložitost minimalizace formulí z několika tříd s polynomiálně řešitelným SATem a uvádíme postačující podmínky pro třídy CNF aby se jejich minimalizace ...
V práci zkoumáme boolovské funkce ze tří různých hledisek. Zaprvé zkoumáme zložitost minimalizace formulí z několika tříd s polynomiálně řešitelným SATem a uvádíme postačující podmínky pro třídy CNF aby se jejich minimalizace ...
On the Katowice Problem
Katowický problém
Dizertační práce (OBHÁJENO)
Vedoucí práce: Simon, Petr
Datum publikování: 2011
Datum obhajoby: 05. 09. 2011
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Efficient Representations and Conversions of Planning Problems
Efektivní reprezentace a konverze plánovacích problémů
Dizertační práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2014
Datum obhajoby: 05. 12. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Title E cient Representations and Conversions of Planning Problems Author Daniel Toropila Department Department of Theoretical Computer Science and Mathematical Logic Supervisor prof. RNDr. Roman Barták, Ph.D. Abstract The ...
Název práce Efektivní reprezentace a konverze plánovacích problémů Autor Daniel Toropila Katedra Katedra teoretické informatiky a matematické logiky Vedoucí disertační práce prof. RNDr. Roman Barták, Ph.D. Abstrakt Efektivita ...
Název práce Efektivní reprezentace a konverze plánovacích problémů Autor Daniel Toropila Katedra Katedra teoretické informatiky a matematické logiky Vedoucí disertační práce prof. RNDr. Roman Barták, Ph.D. Abstrakt Efektivita ...