East-West paths to unconventional computing

A Adamatzky, S Akl, M Burgin, CS Calude… - Progress in biophysics …, 2017 - Elsevier
Unconventional computing is about breaking boundaries in thinking, acting and computing.
Typical topics of this non-typical field include, but are not limited to physics of computation …

A survey on analog models of computation

O Bournez, A Pouly - Handbook of Computability and Complexity in …, 2021 - Springer
A Survey on Analog Models of Computation Page 1 Chapter 6 A Survey on Analog Models of
Computation Olivier Bournez and Amaury Pouly Abstract We present a survey on analog …

Limits to measurement in experiments governed by algorithms

EJ Beggs, JF Costa, JV Tucker - Mathematical Structures in …, 2010 - cambridge.org
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 …

The impact of models of a physical oracle on computational power

EJ Beggs, JF Costa, JV Tucker - Mathematical Structures in …, 2012 - cambridge.org
Using physical experiments as oracles for algorithms, we can characterise the
computational power of classes of physical systems. Here we show that two different …

Three forms of physical measurement and their computability

E Beggs, JF Costa, JV Tucker - The Review of Symbolic Logic, 2014 - cambridge.org
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 …

Computational complexity with experiments as oracles. II. Upper bounds

E Beggs, JF Costa, B Loff… - Proceedings of the …, 2009 - royalsocietypublishing.org
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 …

Axiomatizing physical experiments as oracles to algorithms

EJ Beggs, JF Costa, JV Tucker - … Transactions of the …, 2012 - royalsocietypublishing.org
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 …

Physical oracles: The Turing machine and the Wheatstone bridge

EJ Beggs, JF Costa, JV Tucker - Studia Logica, 2010 - Springer
Earlier, we have studied computations possible by physical systems and by algorithms
combined with physical systems. In particular, we have analysed the idea of using an …

An analogue-digital Church-Turing thesis

E Beggs, JF Costa, D Poças… - International Journal of …, 2014 - World Scientific
We argue that dynamical systems involving discrete and continuous data can be modelled
by Turing machines with oracles that are physical processes. Using the theory introduced in …

Physically-relativized Church–Turing Hypotheses: Physical foundations of computing and complexity theory of computational physics

M Ziegler - Applied Mathematics and Computation, 2009 - Elsevier
We turn the physical Church–Turing Hypothesis from an ambiguous source of sensational
speculations into a (collection of) sound and well-defined scientific problem (s): Examining …