Theory of recursive functions and effective computability
Theory of recursive functions and effective computability
Analog computation via neural networks
Theoretical Computer Science
Universal computation and other capabilities of hybrid and continuous dynamical systems
Theoretical Computer Science - Special issue on hybrid systems
Neural networks and analog computation: beyond the Turing limit
Neural networks and analog computation: beyond the Turing limit
The Universal Computer: The Road from Leibniz to Turing
The Universal Computer: The Road from Leibniz to Turing
Minds and Machines
Comments on `Two Undecidable Problems of Analysis'
Minds and Machines
An analog characterization of the Grzegorczyk hierarchy
Journal of Complexity
Perturbed Turing Machines and Hybrid Systems
LICS '01 Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science
Alan Turing: Life and Legacy of a Great Thinker
Alan Turing: Life and Legacy of a Great Thinker
Robust simulations of turing machines with analytic maps and flows
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Computational virtuality in biological systems
Theoretical Computer Science
A robotic scenario for programmable fixed-weight neural networks exhibiting multiple behaviors
ICANNGA'11 Proceedings of the 10th international conference on Adaptive and natural computing algorithms - Volume Part I
Hi-index | 5.23 |
The need for physically motivated discreteness and finiteness conditions emerges in models of both analog and digital computing that are genuinely concerned with physically realizable computational processes. This is brought out by a critical examination of notional analog superTuring devices which involve physically untenable idealizations about the perfect functioning of analog apparatuses and infinite precision of physical measurements. The capability for virtual behaviour, that is, the capability of interpreting, storing, transforming, creating the code, and thereby mimicking the behaviour of (Turing) machines, is used here to introduce a new dimension in the discussion of the analog-digital watershed. In the light of recent results on the analog simulation of digital computing, we examine the role of virtuality as a discriminating factor between these two species of computing, and immerse this problem in the context of natural computing. Is virtuality instantiated in parts of the natural world other than computer technology? This broad issue is examined in connection with the computational modelling of brain and mental information processing.