1
Published 2013
Table of Contents: ...From the Contents: Computing Nature – A Network of Networks of Concurrent Information Processes...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ...From the content: Turing Test as a Defining Feature of AI-Completeness -- Artificial Intelligence...
View full text
Electronic eBook
3
Table of Contents: ...Chap. 1, Mobility in Process Calculi -- Chap. 2, Mobility in Membrane Computing -- Chap. 3...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... -- Going Beyond Turing with P Automata -- DiSCUS: A Simulation Platform for Conjugation Computing -- A Cost...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... - Their Brains and Their Computers -- Turing’s Three Pioneering Initiatives and Their Interplays -- An Outline...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ...Invited Papers -- Graph Machines and Their Applications to Computer-Aided Drug Design: A New...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... -- On the Power of Computing with Proteins on Membranes -- An Efficient Simulation of Polynomial-Space Turing...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... Associated to a Turing Machine -- Reversible Software and Languages Isomorphic Interpreters from Logically...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... with DNA Molecules -- A Network-Based Computational Model with Learning -- Image Processing with Neuron...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... by Cells -- Turing Machines with Cells on the Tape -- Insights into a Biological Computer: Detangling...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ...From Logic to Theoretical Computer Science – An Update -- Reminiscences -- Boris A. Trakhtenbrot...
View full text
Electronic eBook
12
by O'Regan, Gerard., O'Regan, Gerard.
Published 2008
Table of Contents: ... -- The Romans -- Foundations -- Boole -- Babbage -- Formalism -- Turing -- Shannon -- Von Neumann -- Hermann...
View full text
Electronic eBook
13
by Fresco, Nir., Fresco, Nir.
Published 2014
Table of Contents: ... for Evaluating Accounts of Computation -- Starting at the Beginning: Turing’s Account Examined -- The Triviality...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... Bisimilarity of Normed Basic Parallel Processes -- Extensions of Embeddings in the Computably Enumerable...
View full text
Electronic eBook
15
Table of Contents: ...Introduction -- Instruction Sequences -- Instruction Processing -- Expressiveness of Instruction...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ...; Göran Sundholm -- Chapter 2. The developments of the concept of machine computability from 1936...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... Processes -- A Theory for Observational Fault Tolerance -- Smooth Orchestrators -- On the Relative...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Decision Processes -- All Symmetric Predicates in NSPACE(n 2) Are Stably Computable by the Mediated...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
View full text
Electronic eBook
20
Table of Contents: ... -- Turing Machines....
View full text
Electronic eBook