Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing processing » processing proceedings, processing properties
turing computing » during commuting, using computing, strings computing
https turing » hopf turing, tape turing, types turing
processing processing » processing proceedings, processing properties
turing computing » during commuting, using computing, strings computing
https turing » hopf turing, tape turing, types turing
1
Artificial Intelligence, Evolutionary Computing and Metaheuristics In the Footsteps of Alan Turing /
Published 2013
Table of Contents:
“...From the content: Turing Test as a Defining Feature of AI-Completeness -- Artificial Intelligence...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“...From the Contents: Computing Nature – A Network of Networks of Concurrent Information Processes...”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
View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... Aper-ture Radar -- A CGRT-CLEAN Method for Circular SAR Three Dimensional Imaging -- Outage Probability...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... of IT Outsourcing Processes -- Living Labs: Arbiters of Mid- and Ground-Level Innovation -- Realising the Real...”View full text
Electronic
eBook
7
S-BPM ONE: Setting the Stage for Subject-Oriented Business Process Management First International...
Published 2010
Table of Contents:
“...Visionary Engagements -- The Relevance of Management of Business Processes and Orchestration...”View full text
Electronic
eBook
8
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
9
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
10
Published 2006
Table of Contents:
“...Invited Papers -- Graph Machines and Their Applications to Computer-Aided Drug Design: A New...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... Associated to a Turing Machine -- Reversible Software and Languages Isomorphic Interpreters from Logically...”View full text
Electronic
eBook
12
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
13
Published 2010
Table of Contents:
“... with DNA Molecules -- A Network-Based Computational Model with Learning -- Image Processing with Neuron...”View full text
Electronic
eBook
14
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
15
Published 2008
Table of Contents:
“...From Logic to Theoretical Computer Science – An Update -- Reminiscences -- Boris A. Trakhtenbrot...”View full text
Electronic
eBook
16
Table of Contents:
“... -- The Romans -- Foundations -- Boole -- Babbage -- Formalism -- Turing -- Shannon -- Von Neumann -- Hermann...”
View full text
View full text
Electronic
eBook
17
Table of Contents:
“... for Evaluating Accounts of Computation -- Starting at the Beginning: Turing’s Account Examined -- The Triviality...”
View full text
View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Bisimilarity of Normed Basic Parallel Processes -- Extensions of Embeddings in the Computably Enumerable...”View full text
Electronic
eBook
19
Table of Contents:
“...Introduction -- Instruction Sequences -- Instruction Processing -- Expressiveness of Instruction...”
View full text
View full text
Electronic
eBook
20
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