We survey and summarize the literature on the computational aspects of neural network
models by presenting a detailed taxonomy of the various models according to their …

The importance of algorithms is now recognized in all mathematical sciences, thanks to the
development of computability and computational complexity theory in the 20th century. The …

We discuss combining physical experiments with machine computations and introduce a
form of analogue–digital (AD) Turing machine. We examine in detail a case study where an …

Advice is supplementary information that enhances the computational power of an
underlying computation. This paper focuses on advice that is given in the form of a pure …

We pose the following question: If a physical experiment were to be completely controlled by
an algorithm, what effect would the algorithm have on the physical measurements made …

We have begun a theory of measurement in which an experimenter and his or her
experimental procedure are modeled by algorithms that interact with physical equipment …

Earlier, to explore the idea of combining physical experiments with algorithms, we
introduced a new form of analogue–digital (AD) Turing machine. We examined in detail a …

We developed earlier a theory of combining algorithms with physical systems, on the basis
of using physical experiments as oracles to algorithms. Although our concepts and methods …

We introduce an abstract analogue-digital model of computation that couples Turing
machines to oracles that are physical processes. Since any oracle has the potential to boost …

We discuss some claims that certain UCOMP devices can perform hypercomputation
(compute Turing-uncomputable functions) or perform super-Turing computation (solve NP …