This book constitutes the refereed proceedings of the 7th International Conference on Unconventional Computation, UC 2008, held in Vienna, Austria, in August 2008.
The 16 revised full papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. 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 computations that go beyond the Turing model.
Author(s): Časlav Brukner (auth.), Cristian S. Calude, José Félix Costa, Rudolf Freund, Marion Oswald, Grzegorz Rozenberg (eds.)
Series: Lecture Notes in Computer Science 5204 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2008
Language: English
Pages: 259
Tags: Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Computational Biology/Bioinformatics
Front Matter....Pages -
Quantum Experiments Can Test Mathematical Undecidability....Pages 1-5
Computational Challenges and Opportunities in the Design of Unconventional Machines from Nucleic Acids....Pages 6-6
Predictions for the Future of Optimisation Research....Pages 7-7
Immune Systems and Computation: An Interdisciplinary Adventure....Pages 8-18
Distributed Learning of Wardrop Equilibria....Pages 19-32
Oracles and Advice as Measurements....Pages 33-50
From Gene Regulation to Stochastic Fusion....Pages 51-63
A Biologically Inspired Model with Fusion and Clonation of Membranes....Pages 64-82
Computing Omega-Limit Sets in Linear Dynamical Systems....Pages 83-95
The Expressiveness of Concentration Controlled P Systems....Pages 96-110
On Faster Integer Calculations Using Non-arithmetic Primitives....Pages 111-128
A Framework for Designing Novel Magnetic Tiles Capable of Complex Self-assemblies....Pages 129-145
The Role of Conceptual Structure in Designing Cellular Automata to Perform Collective Computation....Pages 146-163
A Characterisation of NL Using Membrane Systems without Charges and Dissolution....Pages 164-176
Quantum Wireless Sensor Networks....Pages 177-188
On the Computational Complexity of Spiking Neural P Systems....Pages 189-205
Self-assembly of Decidable Sets....Pages 206-219
Ultrafilter and Non-standard Turing Machines....Pages 220-227
Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder....Pages 228-241
Automata on Multisets of Communicating Objects....Pages 242-257
Back Matter....Pages -
