Unconventional Computation : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings

by Calude, Cristian S.; Kari, Jarkko; Petre, Ion; Rozenberg, Grzegorz

• ISBN13: 9783642213403
• ISBN10: 3642213405
• Edition: 1st
• Format: Paperback
• Copyright: 2011-07-25
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the refereed proceedings of the 10th International Conference on Unconventional Computation, UC 2011, held in Turku, Finland, in June 2011. The 17 revised full papers presented together with 6 extended abstracts of invited talks, and 3 extended abstracts of tutorials were carefully reviewed and selected from 33 initial submissions. The papers are devoted to all aspects of unconventional computation theory as well as experiments and applications. Typical topics are: natural computing including quantum, cellular, molecular, membrane, neural, and evolutionary computing, as well as chaos and dynamical system-based computing, and various proposals for computational mechanisms that go beyond the Turing model.

Table of Contents

Invited Lectures and Tutorials
The Logic and Topology of Non-locality and Contextuality	p. 1
A Framework for Multiscale and Multiscience Modeling and Numerical Simulations	p. 2
Unconventional Optimizer Development	p. 9
A Formal Framework for Bioprocesses in Living Cells	p. 10
Quantum Information - A Tutorial	p. 11
Weighted Finite Automata: Computing with Different Topologies	p. 14
Tutorial on Cellular Automata	p. 34
Membrane Computing at Twelve Years (Back to Turku)	p. 36
Membrane Computing (Tutorial)	p. 38
Regular Contributions
Von Neumann Normalisation and Symptoms of Randomness: An Application to Sequences of Quantum Random Bits	p. 40
Robustness of Cellular Automata in the Light of Asynchronous Information Transmission	p. 52
Hidden Variables Simulating Quantum Contextuality Increasingly Violate the Holevo Bound	p. 64
Can Anything from Noether's Theorem Be Salvaged for Discrete Dynamical Systems?	p. 77
On Normal Forms for Networks of Evolutionary Processors	p. 89
Geometrical Accumulations and Computably Enumerable Real Numbers	p. 101
Heterotic Computing	p. 113
A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution	p. 125
Geometric Computations by Broadcasting Automata on the Integer Grid	p. 138
Computations with Uncertain Time Constraints: Effects on Parallelism and Universality	p. 152
BFS Solution for Disjoint Paths in P Systems	p. 164
The Key Elements of Logic Design in Ternary Quantum-Dot Cellular Automata	p. 177
A Universal Flying Amorphous Computer	p. 189
Computation with Narrow CTCs	p. 201
Extended Watson-Crick L Systems with Regular Trigger Languages	p. 212
Computing with Planar Toppling Domino Arrangements	p. 224
Increasing Fault-Tolerance in Cellular Automata-Based Systems	p. 234
Author Index	p. 247
Table of Contents provided by Ingram. All Rights Reserved.