Unconventional Computation

1. Front Matter

   PDF

2. Invited Lectures and Tutorials

   1. The Logic and Topology of Non-locality and Contextuality

      • Samson Abramsky

      Pages 1-1

   2. A Framework for Multiscale and Multiscience Modeling and Numerical Simulations

      • Bastien Chopard, Jean-Luc Falcone, Alfons G. Hoekstra, Joris Borgdorff

      Pages 2-8

   3. Unconventional Optimizer Development

      • David Corne

      Pages 9-9

   4. A Formal Framework for Bioprocesses in Living Cells

      • Andrzej Ehrenfeucht, Grzegorz Rozenberg

      Pages 10-10

   5. Quantum Information – A Tutorial

      • Mika Hirvensalo

      Pages 11-13

   6. Weighted Finite Automata: Computing with Different Topologies

      • Juhani Karhumäki, Turo Sallinen

      Pages 14-33

   7. Tutorial on Cellular Automata

      • Nicolas Ollinger

      Pages 34-35

   8. Membrane Computing at Twelve Years(Back to Turku)

      • Gheorghe Păun

      Pages 36-37

   9. Membrane Computing (Tutorial)

      • Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Francisco J. Romero-Campero

      Pages 38-39

3. Regular Contributions

   1. Von Neumann Normalisation and Symptoms of Randomness: An Application to Sequences of Quantum Random Bits

      • Alastair A. Abbott, Cristian S. Calude

      Pages 40-51

   2. Robustness of Cellular Automata in the Light of Asynchronous Information Transmission

      • Olivier Bouré, Nazim Fatès, Vincent Chevrier

      Pages 52-63

   3. Hidden Variables Simulating Quantum Contextuality Increasingly Violate the Holevo Bound

      • Adán Cabello, Joost J. Joosten

      Pages 64-76

   4. Can Anything from Noether’s Theorem Be Salvaged for Discrete Dynamical Systems?

      • Silvio Capobianco, Tommaso Toffoli

      Pages 77-88

   5. On Normal Forms for Networks of Evolutionary Processors

      • Jürgen Dassow, Florin Manea, Bianca Truthe

      Pages 89-100

   6. Geometrical Accumulations and Computably Enumerable Real Numbers

      • Jérôme Durand-Lose

      Pages 101-112

   7. Heterotic Computing

      • Viv Kendon, Angelika Sebald, Susan Stepney, Matthias Bechmann, Peter Hines, Robert C. Wagner

      Pages 113-124

   8. A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution

      • Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano

      Pages 125-137

   9. Geometric Computations by Broadcasting Automata on the Integer Grid

      • Russell Martin, Thomas Nickson, Igor Potapov

      Pages 138-151

   10. Computations with Uncertain Time Constraints: Effects on Parallelism and Universality

       • Naya Nagy, Selim G. Akl

       Pages 152-163

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.

• cellular automata
• fault tolerance
• formal methods
• parallel computing
• real-time computation
• algorithm analysis and problem complexity

• Department of Computer Science, Science Centre, The University of Auckland, Auckland, New Zealand

  Cristian S. Calude

• Department of Mathematics, University of Turku, Turku, Finland

  Jarkko Kari

• Department of Information Technologies, Åbo Akademi University, Finland

  Ion Petre

• Leiden Institute of Center Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

  Grzegorz Rozenberg

Policies and ethics