Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: Proposal for development in the mathematics division of an Automatic Computing Engine (ACE) Universal Turing Machine
proposal for development in the mathematical division of an automatic computing engine .
Turing Incomputable Computation
Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines
The Church-Turing thesis: Consensus and opposition
The second life of ENIAC
computing machinery and intelligence . 1950 universal turing .
The Z1: Architecture and Algorithms of Konrad Zuse's First Computer
On Computable Numbers, with an Application to the Entscheidungsproblem.
A Mechanical Proof of the Unsolvability of the Halting Problem
A Theory of Universal Artificial Intelligence based on Algorithmic Complexity
Revisiting the Edge of Chaos: Evolving Cellular Automata to Perform Computations
'Viral' Turing Machines, Computation from Noise and Combinatorial Hierarchies
Quantum Theory, the Church-Turing principle and the universal quantum computer
Electronic Computing Circuits Of The ENIAC
ABACUS: A technique for automated behavioral synthesis of approximate computing circuits
Brains as naturally emerging turing machines
The ternary calculating machine of Thomas Fowler
The winner decision model of tic tac toe game by using multi-tape turing machine
Logic and Learning: Turing's legacy
The ENIAC's 1949 Determination of π
Inhibition in the amygdala anxiety circuitry
An RF scanning receiver based on photonics for electronic warfare applications
On Computable Numbers, with an Application to the Entscheidungsproblem.
Upconversion Nanoparticles: Design, Nanochemistry, and Applications in Theranostics
UAV aided intelligent routing for ad-hoc wireless network in single-area theater