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 …

Turing's Titanic machine?

SB Cooper - Communications of the ACM, 2012 - dl.acm.org
Turing's Titanic machine? Page 1 74 coMMunicaTions of The acM | mArCh 2012 | vol.
55 | No. 3 review articles Ill us tra t Ion b y G erar D D ubo Is Doi:10.1145/2093548.2093569 …

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 …

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 …

An analogue-digital model of computation: Turing machines with physical oracles

T Ambaram, E Beggs, J Félix Costa, D Poças… - … Computing: Volume 1 …, 2017 - Springer
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 …

Oracles that measure thresholds: the Turing machine and the broken balance

E Beggs, JF Costa, D Poças… - Journal of Logic and …, 2013 - academic.oup.com
What can algorithms compute with the help of information provided by an oracle that is a
physical system? We have developed a theory that combines Turing machines with …

A Hierarchy for Based on Counting Calls to an Oracle

E Beggs, P Cortez, JF Costa, JV Tucker - … : A Festschrift for Selim G. Akl, 2017 - Springer
Algorithms whose computations involve making physical measurements can be modelled by
Turing machines with oracles that are physical systems and oracle queries that obtain data …