Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 | next | last

Result 1 to 20 of 30 total

A characterization of computable analysis on unbounded domains using differential equations. (English)
Inf. Comput. 209, No. 8, 1135-1159 (2011).
WorldCat.org
1
Differential recursion. (English)
ACM Trans. Comput. Log. 10, No. 3, Article No. 22, 22 p. (2009).
WorldCat.org
2
A vector matrix real time recursive backpropagation algorithm for recurrent neural networks that approximate multi-valued periodic functions. (English)
Int. J. Comput. Intell. Appl. 8, No. 4, 395-411 (2009).
WorldCat.org
3
A foundation for real recursive function theory. (English)
Ann. Pure Appl. Logic 160, No. 3, 255-288 (2009).
WorldCat.org
4
Characterizing computable analysis with differential equations. (English)
Brattka, V. (ed.) et al., Proceedings of the fifth international conference on computability and complexity in analysis (CCA 2008), Hagen, Germany, August 21‒24, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 221, 23-35 (2008).
WorldCat.org
5
The elementary computable functions over the real numbers: applying two new techniques. (English)
Arch. Math. Logic 46, No. 7-8, 593-627 (2008).
WorldCat.org
6
The methods of approximation and lifting in real computation. (English)
Cenzer, D. (ed.) et al., Proceedings of the 3rd international conference on computability and complexity in analysis (CCA 2006), Gainesville, FL, USA, November 1‒5, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 167, 387-423 (2007).
WorldCat.org
7
Towards unbiased benchmarking of evolutionary and hybrid algorithms for real-valued optimisation. (English)
Connect. Sci. 19, No. 4, 361-385 (2007).
WorldCat.org
8
Undecidability over continuous time. (English)
Log. J. IGPL 14, No. 5, 649-658 (2006).
WorldCat.org
9
Recursive analysis characterized as a class of real recursive functions. (English)
Fundam. Inform. 74, No. 4, 409-433 (2006).
WorldCat.org
10
The P$\ne$ NP conjecture in the context of real and complex analysis. (English)
J. Complexity 22, No. 2, 287-303 (2006).
WorldCat.org
11
Elementarily computable functions over the real numbers and $\Bbb R$-sub-recursive functions. (English)
Theor. Comput. Sci. 348, No. 2-3, 130-147 (2005).
WorldCat.org
12
An analog characterization of elementarily computable functions over the real numbers. (English)
Díaz, Josep (ed.) et al., Automata, languages and programming. 31st international colloquium, ICALP 2004, Turku, Finland, July 12‒16, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22849-7/pbk). Lecture Notes in Computer Science 3142, 269-280 (2004).
WorldCat.org
13
Continuous-time computation with restricted integration capabilities. (English)
Theor. Comput. Sci. 317, No. 1-3, 147-165 (2004).
WorldCat.org
14
$μ$-recursion and infinite limits. (English)
Theor. Comput. Sci. 302, No. 1-3, 123-133 (2003).
WorldCat.org
15
On the computability of fractal dimensions and Hausdorff measure. (English)
Ann. Pure Appl. Logic 93, No.1-3, 195-216 (1998).
WorldCat.org
16
Polynomial-time computability in analysis. (English)
Ershov, Yu. L. (ed.) et al., Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics. Amsterdam: Elsevier. Stud. Logic Found. Math. 139, 1271-1317 (1998).
WorldCat.org
17
A comparison of identification criteria for inductive inference of recursive real-valued functions. (English)
Richter, Michael M. (ed.) et al., Algorithmic learning theory. 9th international conference, ALT ’98, Otzenhausen, Germany, October 8‒10, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1501, 262-275 (1998).
WorldCat.org
18
Subclasses of computable real valued functions. (English)
Jiang, Tao (ed.) et al., Computing and combinatorics. 3rd annual international conference, COCOON ’97. Shanghai, China. August 20‒22, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1276, 156-165 (1997).
WorldCat.org
19
Order-free recursion on the real numbers. (English)
Math. Log. Q. 43, No.2, 216-234 (1997).
WorldCat.org
20
first | previous | 1 21 | next | last

Result 1 to 20 of 30 total

Valid XHTML 1.0 Transitional Valid CSS!