Hledat
Zobrazují se záznamy 1-10 z 367
Skoro disjunktní zjemnění
Almost disjoint refinement
Bakalářská práce
Vedoucí práce: Simon, Petr
Dátum publikování:
Datum obhajoby: 26. 06. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Konstrukce úplně separabilního MAD systému za předpokladu $\mathfrak{s}\leq \mathfrak{a}$ a jeho vztah k disjunktním a skoro disjunktním zjemněním systémů podmnožin $\omega$ na jedné straně a k topologickým vlastnostem ...
Construction of completely separable MAD family under the assumption $\mathfrak{s}\leq \mathfrak{a}$ and its relationship with almost disjoint refinement of systems of subsets of $\omega$ on the one side and with topological ...
Construction of completely separable MAD family under the assumption $\mathfrak{s}\leq \mathfrak{a}$ and its relationship with almost disjoint refinement of systems of subsets of $\omega$ on the one side and with topological ...
PNS for the game Arimaa
PNS for the game Arimaa
Bakalářská práce
Vedoucí práce: Hric, Jan
Dátum publikování:
Datum obhajoby: 06. 09. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Arimaa je strategická desková hra, kterou se stále počítačům nepovedlo pokořit. Problematický je zejména velký větvící faktor stromu hry a celková její charakteristika, díky které je obtížné sestrojit vhodnou ohodnocovací ...
The game of Arimaa is a strategic board game that has proved to be a challenge to computers. Not only because of its huge branching factor, but also thanks to the difficulty in creating a good evaluation function to be ...
The game of Arimaa is a strategic board game that has proved to be a challenge to computers. Not only because of its huge branching factor, but also thanks to the difficulty in creating a good evaluation function to be ...
Artificial neural networks for clustering and rule extraction
Umělé neuronové sítě pro klastrování a extrakci pravidel
Rigorózní práce
Dátum publikování:
Datum obhajoby: 16. 06. 2011
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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 ...
Ultrafilters and independent systems
Ultrfiltry a nezávislé sytémy
Dizertační práce
Vedoucí práce: Simon, Petr
Dátum publikování:
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 ...
Learning for Classical Planning
Learning for Classical Planning
Dizertační práce
Vedoucí práce: Barták, Roman
Dátum publikování:
Datum obhajoby: 25. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis is mainly about classical planning for artificial 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 ...
Hra - simulace státu
Government simulation game
Bakalářská práce
Vedoucí práce: Zajíček, Ondřej
Dátum publikování:
Datum obhajoby: 14. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Cieľom práce je navrhnúť a implementovať model ekonomiky štátu a použiť ho v hre. Vo virtuálnom svete sa nachádzajú centrá produkcie, ktoré obsahujú výrobné kapacity. Výrobné kapacity nakupujú suroviny a svoje výrobky ďalej ...
The aim of this work is to design and implement a model of state`s economy and to use it in a game. The virtual world contains centers of production, which can be full of various productions. These buy raw materials and ...
The aim of this work is to design and implement a model of state`s economy and to use it in a game. The virtual world contains centers of production, which can be full of various productions. These buy raw materials and ...
Hornovské formule
Horn FormulasHornovské formule
Diplomová práce
Vedoucí práce: Čepek, Ondřej
Dátum publikování:
Datum obhajoby: 02. 02. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Jednou z aktuálne najštudovanejších podmnožín Booleovských funkcií sú Hornovské funkcie. V nich je mnoho nezodpovedaných otázok v probléme ich minimalizácie (nájdenie najkompaktnejšej ekvivalentnej reprezentácie). Tak ako ...
One of the recently most studied subsets of Boolean functions are Horn functions. There is quite a lot of open problems which concern their minimization (finding the smallest equivalent representation). As Kronus [11] has ...
One of the recently most studied subsets of Boolean functions are Horn functions. There is quite a lot of open problems which concern their minimization (finding the smallest equivalent representation). As Kronus [11] has ...
Konstrukce minimálních DNF reprezentací 2-intervalových funkcí.
Konstrukce minimálních DNF reprezentací 2-intervalových funkcí.
Diplomová práce
Vedoucí práce: Čepek, Ondřej
Dátum publikování:
Datum obhajoby: 21. 05. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Konstrukce minimálních DNF reprezentací 2-intervalových funkcí Autor: Jakub Dubovský Katedra: Katedra teoretické informatiky a matematické logiky Vedoucí diplomové práce: doc.RNDr.Ondřej Čepek, Ph.D. Abstrakt: ...
Title: A construction of minimum DNF representations of 2-interval functions Author: Jakub Dubovský Department: Dep. of Theoretical Computer Science and Mathematical Logic Supervisor: doc.RNDr.Ondřej Čepek, Ph.D. Abstract: ...
Title: A construction of minimum DNF representations of 2-interval functions Author: Jakub Dubovský Department: Dep. of Theoretical Computer Science and Mathematical Logic Supervisor: doc.RNDr.Ondřej Čepek, Ph.D. Abstract: ...
Hra - simulace státu
Government simulation game
Bakalářská práce
Vedoucí práce: Zajíček, Ondřej
Dátum publikování:
Datum obhajoby: 08. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Cieľom práce je navrhnúť a implementovať model ekonomiky štátu a použiť ho v hre. Vo virtuálnom svete sa nachádzajú centrá produkcie, ktoré obsahujú výrobné kapacity. Výrobné kapacity nakupujú suroviny a svoje výrobky ďalej ...
The aim of this work is to design and implement a model of state`s economy and to use it in a game. The virtual world contains centers of production, which can be full of various productions. These buy raw materials and ...
The aim of this work is to design and implement a model of state`s economy and to use it in a game. The virtual world contains centers of production, which can be full of various productions. These buy raw materials and ...
Reactive Programming with Events
Reactive Programming with Events
Diplomová práce
Vedoucí práce: Syme, Don
Dátum publikování:
Datum obhajoby: 31. 05. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Programovací model pro reaktivní aplikace je v mnoha ohledech neobvyklý, protože nemáme plnou kontrolu nad řízením běhu aplikace. Z toho důvodu mají reaktivní aplikace jinou strukturu a musí být psány pomocí jiných návrhových ...
The reactive programming model is largely different to what we're used to as we don't have a full control over the application's control flow. As a result, reactive applications need to be structured differently and need ...
The reactive programming model is largely different to what we're used to as we don't have a full control over the application's control flow. As a result, reactive applications need to be structured differently and need ...