Results 11 to 20 of about 321,959 (297)
Shelah-Stupp’s Iteration and Muchnik’s Iteration [PDF]
Fundamenta Informaticae, 2018 In the early seventies, Shelah proposed a model-theoretic construction, nowadays called “iteration”. This construction is an infinite replication in a tree-like manner where every vertex possesses its own copy of the original structure. Stupp proved that the decidability of the monadic second-order (MSO) theory is transferred from the original ...
Caucal, Didier, Knapik, Teodor
openaire +4 more sources
Modelling iteration in engineering design [PDF]
, 2012 This paper examines design iteration and its modelling in the simulation of New Product Development (NPD) processes. A framework comprising six perspectives of iteration is proposed and it is argued that the importance of each perspective depends upon ...
Eckert, C. M. +2 more
core +9 more sources
On the Convergence of Techniques that Improve Value Iteration [PDF]
, 2013 Prioritisation of Bellman backups or updating only a small subset of actions represent important techniques for speeding up planning in MDPs. The recent literature showed new efficient approaches which exploit these directions.
Marek Grzes +3 more
core +1 more source
ON THE TRANSFORMATION OF REPRESENTATION OF NUMBERS IN THE RESIDUO FROM ONE MODULE SYSTEM TO ANOTHER
Nauka ta progres transportu, 2016 Purpose. The purpose of this work is the theoretical foundation of one of the approaches to improve the effectiveness of the number system in nonpositional residual classes non-modular, so-called complex operation, the realization of which requires ...
Yu. D. Polissky
doaj +1 more source
Iterated Law of Iterated Logarithm
The Annals of Probability, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Burdzy, Krzysztof, San Martin, Jaime
openaire +2 more sources
Sample-based policy iteration for constrained DEC-POMDPs [PDF]
, 2012 We introduce constrained DEC-POMDPs — an extension of the standard DEC-POMDPs that includes constraints on the optimality of the overall team rewards. Constrained DEC-POMDPs present a natural framework for modeling cooperative multi-agent problems with ...
Wu, Feng +8 more
core +2 more sources
Iterative Algebras: How Iterative are They?
Theory and Applications of Categories, 2008 Summary: Iterative algebras, defined by the property that every guarded system of recursive equations has a unique solution, are proved to have a much stronger property: every system of recursive equations has a unique strict solution. Those systems that have a unique solution in every iterative algebra are characterized.
Adámek, J. +3 more
openaire +2 more sources
The Journal of Logic and Algebraic Programming, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dennis Dams +2 more
openaire +1 more source
Alternative iterative technique
Electronic Journal of Qualitative Theory of Differential Equations, 2019 The standard methods of applying iterative techniques do not apply when the nonlinear term is neither monotonic (corresponding to an increasing or decreasing operator) nor Lipshitz (corresponding to a condensing operator).
Richard Avery +2 more
doaj +1 more source
On the solvability of a class of nonlinear Hammerstein integral equations on the semiaxis [PDF]
Известия Саратовского университета. Новая серия: Математика. Механика. Информатика, 2022 The paper studies a class of nonlinear integral equations on the semiaxis with a non-compact Hammerstein operator. It is assumed that the kernel of the equation decreases exponentially on the positive part of the number axis. Equations of this kind arise
Khachatryan, Khachatur Agavardovich +1 more
doaj +1 more source