Unconventional Computation : 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings

by Calude, Cristian S.; Dinneen, M. J.; Paun, Gheorghe; Perez-Jimenez, Mario J.; Rozenberg, Grzegorz

• ISBN13: 9783540291008
• ISBN10: 3540291008
• Format: Paperback
• Copyright: 2005-11-15
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the refereed proceedings of the 4th International Conference on Unconventional Computation, UC 2005, held in Sevilla, Spain in September 2005. The conference formerly was named Unconventional Models of Computation (UMC). The 19 revised full papers presented together with 5 invited full papers were carefully reviewed and selected for inclusion in the book. All major areas of unconventional computing models are covered in theory as well as in experiments and applications. Topics addressed are: natural computing including quantum, cellular, molecular, neural and evolutionary computing; chaos and dynamical systems based computing; and various proposals for computations that go beyond the Turing model.

Table of Contents

Invited Papers
Using Genetic Algorithms to Evolve Behavior in Cellular Automata
Thomas Bäck, Ron Breukelaar	1	(10)
Quantum Searching Amidst Uncertainty
Lov K. Grover	11	(8)
Logic Functions of the Genomic Cis-regulatory Code
Eric Davidson, Sorin Istrail	19	(1)
Structural DNA Nanotechnology: Molecular Construction and Computation
Ruojie Sha, Xiaoping Zhang, Shiping Liao, Pamela E. Constantinou, Baoquan Ding, Tong Wang, Alejandra V. Garibotti, Hong Zhong, Lisa B. Israel, Xing Wang, Gang Wu, Banani Chakraborty, Junghuei Chen, Yuwen Zhang, Hao Yan, Zhiyong Shen, Wanqiu Shen, Phiset Sa-Ardyen, Jens Kopatsch, Jiwen Zheng, Philip S. Lukeman, William B. Sherman, Chengde Mao, Natasha Jonoska, Nadrian C. Seeman	20	(12)
Natural Inspiration for Artificial Adaptivity: Some Neurocomputing Experiences in Robotics
Carme Torras	32	(14)
Regular Papers
On Self-assembly in Population P Systems
Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Jean-Louis Giavitto	46	(12)
A Web-Based P Systems Simulator and Its Parallelization
Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa, Dana Petcu	58	(12)
Communication Complexity as a Principle of Quantum Mechanics
Adán Cabello	70	(12)
On Model-Checking of P Systems
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie	82	(12)
Looking for Simple Common Schemes to Design Recognizer P Systems with Active Membranes That Solve Numerical Decision Problems
Carmen Graciani-Diaz, Agustin Riscos-Núñez	94	(11)
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, Agustin Riscos-Núñez, Francisco J. Romero-Campero	105	(12)
Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing
Masami Hagiya	117	(13)
On Reversible Cellular Automata with Finite Cell Array
Shuichi Inokuchi, Kazumasa Honda, Hyen Yeal Lee, Tatsuro Sato, Yoshihiro Mizoguchi, Yasuo Kawahara	130	(12)
A Computational Model for Self-assembling Flexible Tiles
Nataga Jonoska, Gregory L. McColm	142	(15)
On Formulations of Firing Squad Synchronization Problems
Kojiro Kobayashi, Darin Goldstein	157	(12)
Computation in One-Dimensional Piecewise Maps and Planar Pseudo-Billiard Systems
Oleksiy Kurganskyy, Igor Potapov	169	(7)
On the Importance of Parallelism for Quantum Computation and the Concept of a Universal Computer
Marius Nagy, Selim G. Akl	176	(15)
On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata
Predrag T. Tošic, Gul A. Agha	191	(15)
A New Sibling of BQP
Tereza Tušarová	206	(8)
A Twelve-State Optimum-Time Synchronization Algorithm for Two-Dimensional Rectangular Cellular Arrays
Hiroshi Umeo, Masaya Hisaoka, Shunsuke Akiguchi	214	(10)
Computing by Self-reproduction: Autopoietic Automata
Jiri Wiedermann	224	(13)
Lower Bounds on the Computational Power of an Optical Model of Computation
Damien Woods, J. Paul Gibson	237	(14)
On Counterfactual Computation
Paolo Zuliani	251	(16)
Author Index	267