Search
Now showing items 1-10 of 455
Vlastnosti intervalových booleovských funkcí
Properties of interval Boolean functions
diploma thesis (DEFENDED)
Advisor: Čepek, Ondřej
Date Issued: 2014
Date of defense: 09. 09. 2014
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Tato práce řeší problém rozpoznávání k-intervalových boolovských funkcí. Na vstup bo- olovské funkce můžeme nahlížet jako na binární zápis přirozeného čísla. Funkce je k- intervalová, pokud - při takto interpretovaném ...
Boolean function f is k-interval if - input vector viewed as n-bit number - f is true for and only for inputs from given (at most) k intervals. Recognition of k-interval fuction given its DNF representation is coNP-hard ...
Boolean function f is k-interval if - input vector viewed as n-bit number - f is true for and only for inputs from given (at most) k intervals. Recognition of k-interval fuction given its DNF representation is coNP-hard ...
Plánování operací solárních panelů na ISS
Planning Solar Array Operations on the ISS
diploma thesis (DEFENDED)
Advisor: Barták, Roman
Date Issued: 2014
Date of defense: 27. 05. 2014
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Práce se zabývá problémem plánování operací solárních panelů na Mezinárodní vesmírné stanici. Úkolem je nalézt vhodné orientace a módy pro deset kloubů, kterými jsou panely přichyceny ke stanici. Tyto orientace a módy musí ...
This work focuses on the problem of planning solar array operations on the International Space Station. The goal is to find a viable orientation for ten joints which attach panels to the station. These orientations and ...
This work focuses on the problem of planning solar array operations on the International Space Station. The goal is to find a viable orientation for ten joints which attach panels to the station. These orientations and ...
Formální popis deskových her
Formal description of board games
bachelor thesis (DEFENDED)
Advisor: Štěpánek, Petr
Date Issued: 2011
Date of defense: 07. 09. 2011
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Cílem bakalářské práce bylo navrhnout matematický formalismus umožňující popis a zkoumání vlastností deskových her. Práce těží především z poznatků teorie automatů a logického programování. Z teorie automatů se práce zabývá ...
The aim of thesis was to design a mathematical formalism that allows describing and exploring the properties of board games. The work benefits from the findings of automata theory and logic programming. First part of thesis ...
The aim of thesis was to design a mathematical formalism that allows describing and exploring the properties of board games. The work benefits from the findings of automata theory and logic programming. First part of thesis ...
Prediction of energy load profiles
Predikce profilů spotřeby elektrické energie
diploma thesis (DEFENDED)
Advisor: Fink, Jiří
Date Issued: 2017
Date of defense: 07. 09. 2017
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Prediction of energy load profiles is an important topic in Smart Grid technologies. Accurate forecasts can lead to reduced costs and decreased dependency on commercial power suppliers by adapting to prices on energy market, ...
Predikce profilů spotřeby elektrické energie je důležitým tématem Smart Grid technologií. Přesné předpovědi mohou vést redukci cen a snížení závislosti na komerčních dodavatelích energie pomocí adaptace na ceny na energetickém ...
Predikce profilů spotřeby elektrické energie je důležitým tématem Smart Grid technologií. Přesné předpovědi mohou vést redukci cen a snížení závislosti na komerčních dodavatelích energie pomocí adaptace na ceny na energetickém ...
Solving Boolean satisfiability problems
Řešení problémů booleovské splnitelnosti
rigorous thesis (RECOGNIZED)
Date Issued: 2013
Date of defense: 18. 04. 2013
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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 ...
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. ...
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. ...
Třídy Booleovských funkcí umožňující efektivní hledání minimálních reprezentací.
Třídy Booleovských funkcí umožňující efektivní hledání minimálních reprezentací.
diploma thesis (DEFENDED)
Advisor: Čepek, Ondřej
Date Issued: 2010
Date of defense: 31. 05. 2010
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Tématem práce je problém minimalizace Booleovských funkcí. Rozebírá složitost minimalizace v obecném případě pro různé vstupní reprezentace a protože ve všech zde uvažovaných případech jde o NP-úplný problém, následuje ...
This thesis deals with the Boolean minimization problem. We discuss its time complexity in the general case for various representations of the input. Since this problem is known to be NP-complete, a survey of some of ...
This thesis deals with the Boolean minimization problem. We discuss its time complexity in the general case for various representations of the input. Since this problem is known to be NP-complete, a survey of some of ...
Turistická navigace pro mobilní zařízení na platformě J2ME/CLDC
Tourist navigation for mobile devices on J2ME/CLDC platform
bachelor thesis (DEFENDED)
Advisor: Zajíček, Ondřej
Date Issued: 2009
Date of defense: 14. 09. 2009
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Cílem práce je navrhnout a implementovat program, který bude sloužit jako turistická navigace. Program bude určen pro mobilní zařízení na platformě J2ME/CLDC s GPS modulem. Základní funkce budou: zobrazení aktuální pozice ...
Subject of the thesis is design and implementation of application, which will be used as tourist navigation. Application will run on mobile devices with GPS module. Main features are: tracking of device position on a map, ...
Subject of the thesis is design and implementation of application, which will be used as tourist navigation. Application will run on mobile devices with GPS module. Main features are: tracking of device position on a map, ...
Simulace spolupracujících dělníků s optimalizací
Simulace spolupracujících dělníků s optimalizací
bachelor thesis (DEFENDED)
Advisor: Kronus, David
Date Issued: 2009
Date of defense: 22. 06. 2009
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: V predložené práci studujeme problém spolupráce delníku prí ukládání a vyzvedávání krabic ve skladu. Delníci spolu komunikují, ale mají pouze omezenou pamet na informace o mape skladu a na komunikaci s ostatními. Jejich ...
In the present work we study the problem of cooperating workers placing and finding boxes in a storehouse. Workers communicate but have limited memory for information about the map of storehouse and for communication with ...
In the present work we study the problem of cooperating workers placing and finding boxes in a storehouse. Workers communicate but have limited memory for information about the map of storehouse and for communication with ...
Implementace top-trees
Top-trees implementation
diploma thesis (DEFENDED)
Advisor: Majerech, Vladan
Date Issued: 2010
Date of defense: 02. 02. 2010
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Nazev prace: Implerneiitace top-trees Autor: Jifi Sofka Katedra (ustav): Katedra teoreticke informatiky a matematicke logiky Vedouci diplornove prace: Mgr. Vladan Majerech, Dr. e-mail vedouciho: Vladan.Majerech@mff.cuni.cz ...
Title: Top Trees implementation Author: Jifi Sofka Department: Department of Theoretical Computer Science and Mathemat- ical Logic Supervisor: Mgr. Vladan Majerech, Dr. Supervisor's e-mail address: Vladaii.Majerech@mff.cmii.cz ...
Title: Top Trees implementation Author: Jifi Sofka Department: Department of Theoretical Computer Science and Mathemat- ical Logic Supervisor: Mgr. Vladan Majerech, Dr. Supervisor's e-mail address: Vladaii.Majerech@mff.cmii.cz ...
Dynamické temporální sítě
Dynamic Temporal Networks
diploma thesis (DEFENDED)
Advisor: Barták, Roman
Date Issued: 2009
Date of defense: 21. 09. 2009
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Tato práce se zabývá algoritmy pro práci s dynamickými temporálními sítěmi. Ve své první části se soustřed'uje zejména na udržování konzistence po cestě při restrikci i uvolnění některých podmínek v síti. Ve druhé části ...
This work focuses on algorithms related to dynamic temporal networks. In the rst part, we describe existing algorithms mainly for maintaining path consistency after either restriction or relaxation of constraints. In the ...
This work focuses on algorithms related to dynamic temporal networks. In the rst part, we describe existing algorithms mainly for maintaining path consistency after either restriction or relaxation of constraints. In the ...