-
1
-
-
0028496407
-
Computability with low-dimensional dynamical systems
-
P. Koiran, M. Cosnard, and M. Garzon. Computability with low-dimensional dynamical systems. Theoretical Computer Science, 132(1-2):113-128, 1994.
-
(1994)
Theoretical Computer Science
, vol.132
, Issue.1-2
, pp. 113-128
-
-
Koiran, P.1
Cosnard, M.2
Garzon, M.3
-
2
-
-
0004165618
-
Computation: Finite and infinite machines
-
Prentice Hall, Englewood Cliffs, New Jersey
-
M. L. Minsky. Computation: Finite and Infinite Machines. Series in Automatic Computation. Prentice Hall, Englewood Cliffs, New Jersey, 1967.
-
(1967)
Series in Automatic Computation
-
-
Minsky, M.L.1
-
3
-
-
0032665333
-
General-purpose acousto-optic connectionist processor
-
July
-
T. Naughton, Z. Javadpour, J. Keating, M. Klíma, and J. Rott. General-purpose acousto-optic connectionist processor. Optical Engineering, 38(7):1170-1177, July 1999.
-
(1999)
Optical Engineering
, vol.38
, Issue.7
, pp. 1170-1177
-
-
Naughton, T.1
Javadpour, Z.2
Keating, J.3
Klíma, M.4
Rott, J.5
-
4
-
-
0033690369
-
A model of computation for Fourier optical processors
-
Quebec, June
-
T. J. Naughton. A model of computation for Fourier optical processors. In Optics in Computing 2000, Proc. SPIE vol. 4089, pp. 24-34, Quebec, June 2000.
-
(2000)
Optics in Computing 2000, Proc. SPIE
, vol.4089
, pp. 24-34
-
-
Naughton, T.J.1
-
5
-
-
0034514808
-
Continuous-space model of computation is Turing universal
-
San Diego, California, August
-
T. J. Naughton. Continuous-space model of computation is Turing universal. In Critical Technologies for the Future of Computing, Proc. SPIE vol. 4109, pp. 121-128, San Diego, California, August 2000.
-
(2000)
Critical Technologies for the Future of Computing, Proc. SPIE
, vol.4109
, pp. 121-128
-
-
Naughton, T.J.1
-
6
-
-
11744322095
-
Conditional branching is not necessary for universal computation in von Neumann computers
-
R. Rojas. Conditional branching is not necessary for universal computation in von Neumann computers. J. Universal Computer Science, 2(11):756-768, 1996.
-
(1996)
J. Universal Computer Science
, vol.2
, Issue.11
, pp. 756-768
-
-
Rojas, R.1
-
8
-
-
84960561455
-
On computable numbers, with an application to the Entscheidungsproblem
-
A. M. Turing. On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society ser. 2, 42(2):230-265, 1936.
-
(1936)
Proceedings of the London Mathematical Society Ser. 2
, vol.42
, Issue.2
, pp. 230-265
-
-
Turing, A.M.1
-
9
-
-
0001602511
-
-
Correction in vol. 43, pp. 544-546, 1937.
-
(1937)
Correction
, vol.43
, pp. 544-546
-
-
-
11
-
-
85062122079
-
On the relationship between computational models and scientific theories
-
National University of Ireland, Maynooth, Ireland, February
-
D. Woods and J. P. Gibson. On the relationship between computational models and scientific theories. Technical Report NUIM-CS-TR-2001-05, National University of Ireland, Maynooth, Ireland, February 2001.
-
(2001)
Technical Report NUIM-CS-TR-2001-05
-
-
Woods, D.1
Gibson, J.P.2
|