Results 1 to 10 of about 150 (103)
Real Recursive Functions and Their Hierarchy
Journal of Complexity, 2004 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
José Félix Costa
exaly +4 more sources
Analog Computers and Recursive Functions Over the Reals
Journal of Complexity, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
José Félix Costa
exaly +4 more sources
The Complexity of Real Recursive Functions [PDF]
Lecture Notes in Computer Science, 2002 We explore recursion theory on the reals, the analog counterpart of recursive function theory. In recursion theory on the reals, the discrete operations of standard recursion theory are replaced by operations on continuous functions, such as composition and various forms of differential equations.
exaly +2 more sources
Elementarily Computable Functions Over the Real Numbers and R-Sub-Recursive Functions
Theoretical Computer Science, 2005 AbstractWe present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we prove that they correspond to the smallest class of functions that contains some basic functions, and closed by composition, linear integration, and a simple limit schema.We ...
Olivier Bournez
exaly +4 more sources
Relatively Recursive Reals and Real Functions
Theoretical Computer Science, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
exaly +4 more sources
Stateful InREC: Stateful In-Network Real Number Computation With Recursive Functions
IEEE Transactions on Network and Service Management, 2023 Current generation of Reconfigurable Match-Action Tables switches are highly programmable, able to support stateful operations and pipeline specifications using languages like P4. Nevertheless, these switches do not offer primitives to support real-valued operations on the data plane, thus requiring support from external servers or middle boxes to ...
Jérôme François, Matthews Jose
exaly +4 more sources
On Positive Real Transfer Functions and the Convergence of Some Recursive Schemes [PDF]
IEEE Transactions on Automatic Control, 1977 The convergence with probability one of a recently suggested recursive identification method by Landau is investigated. The positive realness of a certain transfer function is shown to play a crucial role, both for the proof of convergence and for convergence itself.
Lennart Ljung
exaly +3 more sources
On the Inductive Inference of Recursive Real-Valued Functions
Theoretical Computer Science, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rūsiņš Mārtiņš Freivalds +2 more
exaly +4 more sources
Recursive Characterization of Computable Real-Valued Functions and Relations
Theoretical Computer Science, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Vasco Brattka
exaly +3 more sources
On the Structure and Realization of Real-Time Coding and Estimation Over Noiseless Channel
IEEE Access, 2021 This paper presents the optimal structural analysis and realization scheme of real-time coding and estimation for linear discrete-time system over rate-constrained noiseless channel.
Junyong Chen
doaj +1 more source