Unconventional Computation

1. Front Matter

   PDF

2. Invited Papers

   1. Using Genetic Algorithms to Evolve Behavior in Cellular Automata

      • Thomas Bäck, Ron Breukelaar

      Pages 1-10

   2. Quantum Searching Amidst Uncertainty

      • Lov K. Grover

      Pages 11-18

   3. Logic Functions of the Genomic Cis-regulatory Code

      • Eric Davidson, Sorin Istrail

      Pages 19-19

   4. Structural DNA Nanotechnology: Molecular Construction and Computation

      • Ruojie Sha, Xiaoping Zhang, Shiping Liao, Pamela E. Constantinou, Baoquan Ding, Tong Wang et al.

      Pages 20-31

   5. Natural Inspiration for Artificial Adaptivity: Some Neurocomputing Experiences in Robotics

      • Carme Torras

      Pages 32-45

3. Regular Papers

   1. On Self-assembly in Population P Systems

      • Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Jean-Louis Giavitto

      Pages 46-57

   2. A Web-Based P Systems Simulator and Its Parallelization

      • Cosmin Bonchiş, Gabriel Ciobanu, Cornel Izbaşa, Dana Petcu

      Pages 58-69

   3. Communication Complexity as a Principle of Quantum Mechanics

      • Adán Cabello

      Pages 70-81

   4. On Model-Checking of P Systems

      • Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie

      Pages 82-93

   5. Looking for Simple Common Schemes to Design Recognizer P Systems with Active Membranes That Solve Numerical Decision Problems

      • Carmen Graciani-Díaz, Agustín Riscos-Núñez

      Pages 94-104

   6. P Systems with Active Membranes, Without Polarizations and Without Dissolution: A Characterization of P

      • Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Francisco J. Romero-Campero

      Pages 105-116

   7. Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing

      • Masami Hagiya

      Pages 117-129

   8. On Reversible Cellular Automata with Finite Cell Array

      • Shuichi Inokuchi, Kazumasa Honda, Hyen Yeal Lee, Tatsuro Sato, Yoshihiro Mizoguchi, Yasuo Kawahara

      Pages 130-141

   9. A Computational Model for Self-assembling Flexible Tiles

      • Nataša Jonoska, Gregory L. McColm

      Pages 142-156

   10. On Formulations of Firing Squad Synchronization Problems

       • Kojiro Kobayashi, Darin Goldstein

       Pages 157-168

   11. Computation in One-Dimensional Piecewise Maps and Planar Pseudo-Billiard Systems

       • Oleksiy Kurganskyy, Igor Potapov

       Pages 169-175

   12. On the Importance of Parallelism for Quantum Computation and the Concept of a Universal Computer

       • Marius Nagy, Selim G. Akl

       Pages 176-190

   13. On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata

       • Predrag T. Tošić, Gul A. Agha

       Pages 191-205

   14. A New Sibling of BQP

       • Tereza Tušarová

       Pages 206-213

The Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the Centre for Discrete Mathematics and Theoretical Computer Science and the Department of C- puter Science and Arti?cial Intelligence of the University of Seville, was held in Seville, October 3–7, 2005. Seville, one of the most beautiful cities in Spain, is at its best in October. An explosion of colour and contrast: ?amenco, bull?ghting, and a lively at- sphere in the streets due to the open and friendly nature of its people. The river Guadalquivir, the Cathedral and the Golden Tower are all places full of magic where the visitor can feel the spirit of a city which is eternally romantic. The series of International Conferences Unconventional Computation (UC),https://www.cs.auckland.ac.nz/CDMTCS/conferences/uc/isdevoted to all aspects of unconventional computation, theory as well as experiments and applications. Typical, but not exclusive, topics are: natural computing including quantum, cellular,molecular, neural and evolutionarycomputing; chaosand - namical systems based computing; and various proposals for computations that go beyond the Turing model. The ?rst venue of the Unconventional Computation Conference (formerly called Unconventional Models of Computation) was Auckland, New Zealand in 1998; subsequent sites of the conference were Brussels, Belgium in 2000 and Kobe, Japan in 2002. The titles of the proceedings volumes from past UC Conferences are as follows: 1. C.S. Calude, J. Casti, M.J. Dinneen (eds.). Unconventional Models of C- putation, Springer-Verlag, Singapore, 1998, viii + 426 pp. ISBN: 981-3083- 69-7.

• Computer
• DNA computing
• algorithm
• algorithms
• amorphous computing
• automata
• autopoietic automata
• cellular computing
• complexity
• computational models
• genetic algorithms
• genome
• logic
• robotics
• theoretical computer scien
• algorithm analysis and problem complexity

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

  Cristian S. Calude

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

  Michael J. Dinneen

• Institute of Mathematics of the Romanian Academy, Bucureşti, Romania

  Gheorghe Păun

• Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Seville, Sevilla, Spain

  Mario J. Pérez-Jímenez

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

  Grzegorz Rozenberg

Policies and ethics