Unconventional Computation

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

  • Cristian S. Calude
  • Jarkko Kari
  • Ion Petre
  • Grzegorz Rozenberg
Conference proceedings UC 2011

DOI: 10.1007/978-3-642-21341-0

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6714)

Table of contents (26 papers)

  1. Front Matter
  2. Invited Lectures and Tutorials

    1. A Framework for Multiscale and Multiscience Modeling and Numerical Simulations
      Bastien Chopard, Jean-Luc Falcone, Alfons G. Hoekstra, Joris Borgdorff
      Pages 2-8
    2. Unconventional Optimizer Development
      David Corne
      Pages 9-9
    3. A Formal Framework for Bioprocesses in Living Cells
      Andrzej Ehrenfeucht, Grzegorz Rozenberg
      Pages 10-10
    4. Quantum Information – A Tutorial
      Mika Hirvensalo
      Pages 11-13
    5. Weighted Finite Automata: Computing with Different Topologies
      Juhani Karhumäki, Turo Sallinen
      Pages 14-33
    6. Tutorial on Cellular Automata
      Nicolas Ollinger
      Pages 34-35
    7. 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. Robustness of Cellular Automata in the Light of Asynchronous Information Transmission
      Olivier Bouré, Nazim Fatès, Vincent Chevrier
      Pages 52-63
    2. On Normal Forms for Networks of Evolutionary Processors
      Jürgen Dassow, Florin Manea, Bianca Truthe
      Pages 89-100
    3. Heterotic Computing
      Viv Kendon, Angelika Sebald, Susan Stepney, Matthias Bechmann, Peter Hines, Robert C. Wagner
      Pages 113-124
    4. A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution
      Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano
      Pages 125-137
    5. Geometric Computations by Broadcasting Automata on the Integer Grid
      Russell Martin, Thomas Nickson, Igor Potapov
      Pages 138-151

About these proceedings

Introduction

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.

Keywords

cellular automata fault tolerance formal methods parallel computing real-time computation

Editors and affiliations

  • Cristian S. Calude
    • 1
  • Jarkko Kari
    • 2
  • Ion Petre
    • 3
  • Grzegorz Rozenberg
    • 4
  1. 1.Department of Computer Science, Science CentreThe University of AucklandAucklandNew Zealand
  2. 2.Department of MathematicsUniversity of TurkuTurkuFinland
  3. 3.Department of Information TechnologiesÅbo Akademi UniversityFinland
  4. 4.Leiden Institute of Center Advanced Computer Science (LIACS)Leiden UniversityLeidenThe Netherlands

Bibliographic information

  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-21340-3
  • Online ISBN 978-3-642-21341-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349