Results 11 to 20 of about 182,295 (268)
Iteration and Labelled Iteration
Electronic Notes in Theoretical Computer Science, 2016 AbstractWe analyse the conventional sum-based representation of iteration from the perspective of programmers, and show that the syntax they suggest is fundamentally not a good representation of Java-style iteration with for, while, break, and continue.
Bram Geron, Paul Blain Levy
openaire +1 more source
SIAM Journal on Numerical Analysis, 2022 Matrices resulting from the discretization of a kernel function, e.g., in the context of integral equations or sampling probability distributions, can frequently be approximated by interpolation. In order to improve the efficiency, a multi-level approach can be employed that involves interpolating the kernel function and its approximations multiple ...
openaire +3 more sources
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
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
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 +2 more sources
Free iterative and iteration K-semialgebras [PDF]
Algebra universalis, 2012 We consider algebras of rational power series over an alphabet $Σ$ with coefficients in a commutative semiring $K$ and characterize them as the free algebras in various classes of algebraic structures.
Zoltán Ésik, Werner Kuich
openaire +2 more sources
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
Approximation of fixed points for Garcia-Falset mappings in a uniformly convex Banach space
Results in Nonlinear Analysis, 2021 The aim of this research is to introduce a novel iterative technique termed CC-iteration for identifying the fixed points of Garcia-Falset mappings.
Tanapat Chalarux, Khuanchanok Chaichana
doaj +1 more source
AN APPROACH FOR PROGRAMMING FOOTWEAR PATTERNS CUTS [PDF]
Annals of the University of Oradea: Fascicle of Textiles, Leatherwork, 2019 The saving of leather, an extremely important objective in footwear manufacturing, requires following certains steps in the process of cutting the component parts of a footwear article in order to obtain better use of the leather surface.
Marta Catalina HARNAGEA +2 more
doaj