Yes (777)
Number of found documents:
777
Published from
to
The Equation |x| - |Ax| = b
Rohn, Jiří
2020 - English
We formulate conditions on A and b under which the double absolute value equation |x| - |Ax| = b possesses in each orthant a unique solution which, moreover, belongs to the interior of that orthant.
Keywords:
absolute value equation; double absolute value equation; orthantwise solvability; theorem of the alternatives
Available in a digital repository NRGL
The Equation |x| - |Ax| = b
We formulate conditions on A and b under which the double absolute value equation |x| - |Ax| = b possesses in each orthant a unique solution which, moreover, belongs to the interior of that orthant.
A Logical Characteristic of Read-Once Branching Programs
Žák, Stanislav
2019 - English
We present a mathematical model of the intuitive notions such as the knowledge or the information arising at different stages of computations on branching programs (b.p.). The model has two appropriate properties: i) The ”knowledge” arising at a stage of computation in question is derivable from the ”knowledge” arising at the previous stage according to the rules of the model and according to the local arrangement of the b.p. ii) The model confirms the intuitively well-known fact that the knowledge arising at a node of a computation depends not only on it but in some cases also on a ”mystery” information. (I. e. different computations reaching the same node may have different knowledge(s) arisen at it.) We prove that with respect to our model no such information exists in read-once b.p.‘s but on the other hand in b. p.‘s which are not read-once such information must be present. The read-once property forms a frontier. More concretely, we may see the instances of our models as a systems S = (U,D) where U is a universe of knowledge and D are derivation rules. We say that a b.p. P is compatible with a system S iff along each computation in P S derives F (false) or T (true) at the end correctly according to the label of the reached sink. This key notion modifies the classic paradigm which takes the computational complexity with respect to different classes of restricted b.p.‘s (e.g. read-once b.p.‘s, k-b.p.‘s, b.p.‘s computing in limited time etc.). Now, the restriction is defined by a subset of systems and only these programs are taken into account which are compatible with at least one of the chosen systems. Further we understand the sets U of knowledge(s) as a sets of admissible logical formulae. It is clear that more rich sets U‘s imply the large restrictions on b.p.‘s and consequently the smaller complexities of Boolean functions are detected. More rich logical equipment implies stronger computational effectiveness. Another question arises: given a set of Boolean functions (e.g. codes of some graphs) what logical equipment is optimal from the point of complexity?
Keywords:
branching programs; computational complexity; logic
Available in digital repository of the ASCR
A Logical Characteristic of Read-Once Branching Programs
We present a mathematical model of the intuitive notions such as the knowledge or the information arising at different stages of computations on branching programs (b.p.). The model has two ...
Algoritmický výběr dosažitelných preferencí
Siváková, Tereza; Kárný, Miroslav
2019 - Czech
Tato bakalářská práce se zabývá teorií optimálního rozhodování pro diskrétní markovský rozhodovací proces z hlediska volby preferencí. Za pomoci plně pravděpodobnostního návrhu, který zavádí tzv. ideální distribuci chování, která přiřazuje vysoké hodnoty pravděpodobnosti preferovanému chování a malé hodnoty pravděpodobnosti nežádoucímu chování, se hledá optimální rozhodovací politika. Tato práce obsahuje návod k nalezení optimální ideální distribuce chování a přináší obecnější řešení než řešení dosud známá. Dále přidává možnost respektování další preference, a to na volbu akcí. Vlastnosti výsledného rozhodování jsou ilustrovány simulačními experimenty. This bachelor’s thesis studies the optimal decision making for a discrete Markov decision process with a focus on preferences. By using a fully probabilistic design that introduces the so-called ideal behavior distribution, which has high probability values of preferred behaviors and small probability values of inappropriate behaviors, an optimal decision policy has been found. The thesis constructs an algorithm for selecting the optimal ideal behavior distribution and provides a more general solution than published ones. The thesis also opens a possibility to specify further preferences on selected actions. Properties of the resulting decision making are illustrated on simulated examples.
Keywords:
decision-making; probabilistic policies; quantification of aims
Fulltext is available at external website.
Algoritmický výběr dosažitelných preferencí
Tato bakalářská práce se zabývá teorií optimálního rozhodování pro diskrétní markovský rozhodovací proces z hlediska volby preferencí. Za pomoci plně pravděpodobnostního návrhu, který zavádí tzv. ...
Approximate Bayesian state estimation and output prediction using state-space model with uniform noise
Lainová, Eva; Kuklišová Pavelková, Lenka; Jirsa, Ladislav
2019 - English
This paper contributes to the problem of approximate Bayesian state estimation and output prediction using state space model with uniformly distributed noise. Algorithms for Bayesian filtering and output prediction for states uniformly distributed on an orthotopic support and Bayesian filtering and output prediction for states uniformly distributed on a parallelotopic support are presented and compared.
Keywords:
Bayesian filtering; state estimation; output prediction; uniform noise; parallelotopic support; orthotopic support
Fulltext is available at external website.
Approximate Bayesian state estimation and output prediction using state-space model with uniform noise
This paper contributes to the problem of approximate Bayesian state estimation and output prediction using state space model with uniformly distributed noise. Algorithms for Bayesian filtering and ...
Rozhodování za neurčitosti: Pohled matematika na plánované hospodářství
Rohn, Jiří
2019 - Czech
V práci jsou popsány hlavní výsledky neoficiálního ekonomicko-matematického výzkumu provedeného v letech 1973-1980 pracovníky Ekonomicko-matematické laboratoře Ekonomického ústavu ČSAV a MFF (J. Bouška, J. Rohn a B. Kalendovský).
Keywords:
Leontěvův model; intervalová data; zaručené řešení; neexistence; matice 28 x 28
Available in digital repository of the ASCR
Rozhodování za neurčitosti: Pohled matematika na plánované hospodářství
V práci jsou popsány hlavní výsledky neoficiálního ekonomicko-matematického výzkumu provedeného v letech 1973-1980 pracovníky Ekonomicko-matematické laboratoře Ekonomického ústavu ČSAV a MFF (J. ...
Absolute Value Mapping
Rohn, Jiří
2019 - English
We prove a necessary and sufficient condition for an absolute value mapping to be bijective. This result simultaneously gives a characterization of unique solvability of an absolute value equation for each right-hand side.
Keywords:
absolute value mapping; bijectivity; interval matrix; regularity; absolute value equation; unique solvability
Available in a digital repository NRGL
Absolute Value Mapping
We prove a necessary and sufficient condition for an absolute value mapping to be bijective. This result simultaneously gives a characterization of unique solvability of an absolute value equation for ...
Výzkumná zpráva. Experimentální studie vlivu ošetření vápenné omítky na její mechanické vlastnosti
Slížková, Zuzana
2019 - Czech
Byly zjištěny chemicko-fyzikální vlastnosti historické vápenné omítky vyžadující zpevnění a provedeny zkoušky zpevnění ethylsilikátem a nanovápennou disperzí. Nejvyššího zpevnění bylo dosaženo dvojnásobným ošetřením omítky prostředkem na bázi ethylsilikátu s koncentrací SiO2 300 g/l. Z důvodu požadovaných hydrofilních vlastností omítky bylo doporučeno finální ošetření omítky nanovápenným prostředkem, např. CaLosil IP 15 nebo CaLoSiL E 25. The chemical-physical properties of the historical lime render to be restored were tested and then the tests of consolidation effects using liquid consolidants based on ethyl silicate and nano-calcium dispersion were performed. The highest strengthening effect was achieved by double treatment of the render with product Remmers KSE 300 (based on ethyl silicate). Due to the required hydrophilic properties of the render after consolidation, the final treatment of the render with a nanolime suspension, eg CaLosil IP 15 or CaLoSiL E 25, was recommended.
Keywords:
historic lime mortar; consolidation; historic render; strengthening, ethylsilicate; nanolime suspension
Available in a digital repository NRGL
Výzkumná zpráva. Experimentální studie vlivu ošetření vápenné omítky na její mechanické vlastnosti
Byly zjištěny chemicko-fyzikální vlastnosti historické vápenné omítky vyžadující zpevnění a provedeny zkoušky zpevnění ethylsilikátem a nanovápennou disperzí. Nejvyššího zpevnění bylo dosaženo ...
Jak jsme (z)řídili ústav aneb Od Centrálního výpočetního střediska ČSAV k Ústavu informatiky AV ČR
Šebesta, Václav
2019 - Czech
Jak jsme (z)řídili ústav aneb Od Centrálního výpočetního střediska ČSAV k Ústavu informatiky AV ČR
Available in a digital repository NRGL
Jak jsme (z)řídili ústav aneb Od Centrálního výpočetního střediska ČSAV k Ústavu informatiky AV ČR
Jak jsme (z)řídili ústav aneb Od Centrálního výpočetního střediska ČSAV k Ústavu informatiky AV ČR
Overdetermined Absolute Value Equations
Rohn, Jiří
2019 - English
We consider existence, uniqueness and computation of a solution of an absolute value equation in the overdetermined case.
Keywords:
absolute value equations; overdetermined system
Available in a digital repository NRGL
Overdetermined Absolute Value Equations
We consider existence, uniqueness and computation of a solution of an absolute value equation in the overdetermined case.
Generalization of a Theorem on Eigenvalues of Symmetric Matrices
Rohn, Jiří
2019 - English
We prove that the product of a symmetric positive semide nite matrix and a symmetric matrix has all eigenvalues real.
Keywords:
symmetric matrix; positive semide nite matrix; real spectrum
Available in a digital repository NRGL
Generalization of a Theorem on Eigenvalues of Symmetric Matrices
We prove that the product of a symmetric positive semide nite matrix and a symmetric matrix has all eigenvalues real.
NRGL provides central access to information on grey literature produced in the Czech Republic in the fields of science, research and education. You can find more information about grey literature and NRGL at service web
Send your suggestions and comments to nusl@techlib.cz
Provider
Other bases