This book constitutes the refereed proceedings of the 8th International Conference on Unconventional Computation, UC 2009, held in Ponta Delgada, Portugal, in September 2009.
The 18 revised full papers presented together with 8 invited talks, 3 tutorials and 5 posters were carefully reviewed and selected from 40 submissions. The papers are devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various applications. Typical topics are: natural computing including quantum; cellular, molecular, neural and evolutionary computing; chaos and dynamical system-based computing; and various proposals for computational mechanisms that go beyond the Turing model.
Author(s): Edwin J. Beggs (auth.), Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg (eds.)
Series: Lecture Notes in Computer Science 5715 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2009
Language: English
Pages: 293
Tags: Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Computational Biology/Bioinformatics; Models and Principles; Computing Methodologies; Mathematics of Computing
Front Matter....Pages -
Using Physical Experiments as Oracles....Pages 1-1
A Tutorial on Analog Computation: Computing Functions over the Reals....Pages 2-2
Computational Mechanics: Natural Computation and Self-organization....Pages 3-3
Diophantine Equations and Computation....Pages 4-5
Structure of Reversible Cellular Automata....Pages 6-6
Brain Dynamics Promotes Function....Pages 7-9
Awakening the Analogue Computer: Rubel’s Extended Analog Computer Workshop....Pages 10-10
Artifice, Interpretation and Nature: Key Categories in Radiology Work....Pages 11-15
Developmental Computing....Pages 16-23
Evolvable Hardware: From Applications to Implications for the Theory of Computation....Pages 24-36
Relativistic Computers and Transfinite Computation....Pages 37-41
Turing Completeness Using Three Mobile Membranes....Pages 42-55
Resource-Competing Oscillator Network as a Model of Amoeba-Based Neurocomputer....Pages 56-69
Networks of Evolutionary Picture Processors with Filtered Connections....Pages 70-84
Mapping Computation with No Memory....Pages 85-97
Real Computable Manifolds and Homotopy Groups....Pages 98-109
Distributed Quantum Programming....Pages 110-124
Foundations of Optical Encryption: Formal Modeling and Achieving Shannon Secrecy....Pages 125-142
Random Number Selection in Self-assembly....Pages 143-157
Abstract Geometrical Computation and Computable Analysis....Pages 158-167
Descriptional Complexity of Tissue-Like P Systems with Cell Division....Pages 168-178
Computing Domains of Attraction for Planar Dynamics....Pages 179-190
Approximating the Behaviours of Physarum polycephalum for the Construction and Minimisation of Synthetic Transport Networks....Pages 191-208
Simulation of Neurocomputing Based on Photophobic Reactions of Euglena : Toward Microbe–Based Neural Network Computing....Pages 209-218
Reasoning about Entanglement and Separability in Quantum Higher-Order Functions....Pages 219-235
On the Brightness of the Thomson Lamp: A Prolegomenon to Quantum Recursion Theory....Pages 236-246
Advances in I/O, Speedup, and Universality on Colossus, an Unconventional Computer....Pages 247-261
Membrane Dissolution and Division in P....Pages 262-276
Computing Naturally in the Billiard Ball Model....Pages 277-286
Water as a Quantum Computing Device....Pages 287-287
Cloning for Heteroscedasticity Elimination in GMDH Learning Procedure....Pages 288-288
Tug-Of-War Model for Two-Bandit Problem....Pages 289-289
Intrusion Detection in Circular Frustrated Systems: An Eminently Parallel Processing Algorithm....Pages 290-290
NMR-Based Encoding and Processing of Alphanumeric Information....Pages 291-291
Back Matter....Pages -
