Results 251 to 260 of about 249,549 (273)
Some of the next articles are maybe not open access.
Real-time and Recursive Estimators for Functional MRI Quality Assessment
Neuroinformatics, 2022Real-time quality assessment (rtQA) of functional magnetic resonance imaging (fMRI) based on blood oxygen level-dependent (BOLD) signal changes is critical for neuroimaging research and clinical applications. The losses of BOLD sensitivity because of different types of technical and physiological noise remain major sources of fMRI artifacts.
Nikita Davydov +7 more
openaire +2 more sources
Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation, 2021
Range functions are an important tool for interval computations, and they can be employed for the problem of root isolation. In this paper, we first introduce two new classes of range functions for real functions. They are based on the remainder form by Cornelius and Lohner [7] and provide different improvements for the remainder part of this form.
Kai Hormann, Lucas Kania, Chee Yap
openaire +1 more source
Range functions are an important tool for interval computations, and they can be employed for the problem of root isolation. In this paper, we first introduce two new classes of range functions for real functions. They are based on the remainder form by Cornelius and Lohner [7] and provide different improvements for the remainder part of this form.
Kai Hormann, Lucas Kania, Chee Yap
openaire +1 more source
Inferability of recursive real-valued functions
1997This paper presents a metod of inductive inference of realvalued functions from given pairs of observed data of (x,h(x)), where h is a target function to be inferred. Eac of suc observed data inevitably involves some ranges of errors, and hence it is usually represented by a pair of rational numbers sow te approximate value and te error bound ...
Eiju Hirowatari, Setsuo Arikawa
openaire +1 more source
Recursive Analysis Characterized as a Class of Real Recursive Functions
Fundam. Informaticae, 2006Recently, using a limit schema, we presented an analog and machine independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis. In a different and orthogonal work, we proposed a minimization schema that allows to provide a class of real recursive functions that corresponds to ...
Bournez, Olivier, Hainry, Emmanuel
openaire +3 more sources
Real-world computers and recursive function theory
Computers & Electrical Engineering, 1991zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Real numbers and functions in the Kleene hierarchy and limits of recursive, rational functions
Journal of Symbolic Logic, 1969Let ƒ be a real number. It is well known [7] that the set of rational numbers which are less than ƒ is a recursive set if and only if ƒ is representable as the limit of a recursive, recursively convergent sequence of rational numbers.
openaire +1 more source
[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science, 1988
A model for computation over an arbitrary (ordered) ring R is presented. In this general setting, universal machines, partial recursive functions, and NP-complete problems are obtained. While the theory reflects of classical over Z (e.g. the computable functions are the recursive functions), it also reflects the special mathematical character of the ...
L. Blum, M. Shub, S. Smale
openaire +1 more source
A model for computation over an arbitrary (ordered) ring R is presented. In this general setting, universal machines, partial recursive functions, and NP-complete problems are obtained. While the theory reflects of classical over Z (e.g. the computable functions are the recursive functions), it also reflects the special mathematical character of the ...
L. Blum, M. Shub, S. Smale
openaire +1 more source
Computable Real‐Valued Functions on Recursive Open and Closed Subsets of Euclidean Space
Mathematical Logic Quarterly, 1996AbstractIn this paper we study intrinsic notions of “computability” for open and closed subsets of Euclidean space. Here we combine together the two concepts, computability on abstract metric spaces and computability for continuous functions, and delineate the basic properties of computable open and closed sets. The paper concludes with a comprehensive
openaire +2 more sources
International Journal of Computational Intelligence and Applications, 2009
Unlike feedforward neural networks (FFNN) which can act as universal function approximators, recursive, or recurrent, neural networks can act as universal approximators for multi-valued functions. In this paper, a real time recursive backpropagation (RTRBP) algorithm in a vector matrix form is developed for a two-layer globally recursive neural ...
openaire +2 more sources
Unlike feedforward neural networks (FFNN) which can act as universal function approximators, recursive, or recurrent, neural networks can act as universal approximators for multi-valued functions. In this paper, a real time recursive backpropagation (RTRBP) algorithm in a vector matrix form is developed for a two-layer globally recursive neural ...
openaire +2 more sources
ISA Transactions
Hand-held robotic instruments enhance precision in microsurgery by mitigating physiological tremor in real time. Current tremor filtering algorithms in these instruments often employ nonlinear phase prefilters to isolate the tremor signal. However, these filters introduce phase distortion in the filtered tremor, compromising accuracy. Although improved
Asad Rasheed +3 more
openaire +2 more sources
Hand-held robotic instruments enhance precision in microsurgery by mitigating physiological tremor in real time. Current tremor filtering algorithms in these instruments often employ nonlinear phase prefilters to isolate the tremor signal. However, these filters introduce phase distortion in the filtered tremor, compromising accuracy. Although improved
Asad Rasheed +3 more
openaire +2 more sources