Results 241 to 250 of about 249,549 (273)

EdgeGeoDiff: A Novel Two-Stage Diffusion Approach for Precipitation Downscaling with Edge Details and Geographical Priors. [PDF]

Sensors (Basel)
Zhang S, Zhang C, Wu T, Zou T, Dong Y.
europepmc   +1 more source

Real time tire stiffness estimation using enhanced GDM and RLS for autonomous vehicles. [PDF]

Sci Rep
Qin Z, Wang J, Liu P, Han Y, Guo J, Hong H, Chang Y, Shen S.   +7 more
europepmc   +1 more source

Batch Bayesian auto-tuning for nonlinear Kalman estimators. [PDF]

Sci Rep
Freitas Iglesias C, Bolic M.
europepmc   +1 more source

Interpretable Bayesian optimization for catalyst discovery.

Faraday Discuss
Nair AS, Foppa L, Scheffler M.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Real Recursive Functions and Baire Classes

Fundamenta Informaticae, 2005
Recursive functions over the reals [6] have been considered, first as a model of analog computation, and second to obtain analog characterizations of classical computational complexity classes [2]. However, one of the operators introduced in the seminal paper by Cris Moore (in 1996), the minimalization operator, creates some difficulties: (a ...
exaly   +4 more sources

Real-Time Computation and Recursive Functions Not Real-Time Computable

IEEE Transactions on Electronic Computers, 1962
As an attempt to investigate a general theory of real-time computability in digital computers, a subclass of Turing machines is formally introduced together with some classes of functions that are computable by them in real time. Then the existence is established of a class of recursive functions that are not computable in real time by use of a class ...
exaly   +3 more sources

Characterization of the Computable Real Numbers by Means of Primitive Recursive Functions

Lecture Notes in Computer Science, 2001
One usually defines the notion of a computable real number by using recursive functions. However, there is a simple way due to A. Mostowski to characterize the computable real numbers by using only primitive recursive functions.We prove Mostowski's result differently and apply it to get other simple characterizations of this kind.
Dimiter Skordev
exaly   +2 more sources

Prediction of Recursive Real-Valued Functions from Finite Examples

Lecture Notes in Computer Science, 2006
In this paper, we investigate prediction of recursive real-valued functions from finite examples by extending the framework of inductive inference of recursive real-valued functions to be a more realistic one. First, we propose a finite prediction machine, which is a procedure that requests finite examples of a recursive real-valued function h and a ...
Kouichi Hirata, Tetsuhiro Miyahara
exaly   +2 more sources

Isotopies and non-recursive functions in real algebraic geometry

Lecture Notes in Mathematics, 1990
Alexander Nabutovsky
exaly   +2 more sources