4. UC 2005: Sevilla, Spain

Invited Papers

• Thomas Bäck, Ron Breukelaar:
  Using Genetic Algorithms to Evolve Behavior in Cellular Automata. 1-10
  Electronic Edition (link) BibTeX
• Lov K. Grover:
  Quantum Searching Amidst Uncertainty. 11-18
  Electronic Edition (link) BibTeX
• Eric H. Davidson, Sorin Istrail:
  Logic Functions of the Genomic Cis-regulatory Code. 19-19
  Electronic Edition (link) BibTeX
• 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, Natasa Jonoska, Nadrian C. Seeman:
  Structural DNA Nanotechnology: Molecular Construction and Computation. 20-31
  Electronic Edition (link) BibTeX
• Carme Torras:
  Natural Inspiration for Artificial Adaptivity: Some Neurocomputing Experiences in Robotics. 32-45
  Electronic Edition (link) BibTeX

Regular Papers

• Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Jean-Louis Giavitto:
  On Self-assembly in Population P Systems. 46-57
  Electronic Edition (link) BibTeX
• Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa, Dana Petcu:
  A Web-Based P Systems Simulator and Its Parallelization. 58-69
  Electronic Edition (link) BibTeX
• Adán Cabello:
  Communication Complexity as a Principle of Quantum Mechanics. 70-81
  Electronic Edition (link) BibTeX
• Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie:
  On Model-Checking of P Systems. 82-93
  Electronic Edition (link) BibTeX
• Carmen Graciani-Díaz, Agustin Riscos-Núñez:
  Looking for Simple Common Schemes to Design Recognizer P Systems with Active Membranes That Solve Numerical Decision Problems. 94-104
  Electronic Edition (link) BibTeX
• Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez, Francisco José Romero-Campero:
  P Systems with Active Membranes, Without Polarizations and Without Dissolution: A Characterization of P. 105-116
  Electronic Edition (link) BibTeX
• Masami Hagiya:
  Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing. 117-129
  Electronic Edition (link) BibTeX
• Shuichi Inokuchi, Kazumasa Honda, Hyen Yeal Lee, Tatsuro Sato, Yoshihiro Mizoguchi, Yasuo Kawahara:
  On Reversible Cellular Automata with Finite Cell Array. 130-141
  Electronic Edition (link) BibTeX
• Natasa Jonoska, Gregory L. McColm:
  A Computational Model for Self-assembling Flexible Tiles. 142-156
  Electronic Edition (link) BibTeX
• Kojiro Kobayashi, Darin Goldstein:
  On Formulations of Firing Squad Synchronization Problems. 157-168
  Electronic Edition (link) BibTeX
• Oleksiy Kurganskyy, Igor Potapov:
  Computation in One-Dimensional Piecewise Maps and Planar Pseudo-Billiard Systems. 169-175
  Electronic Edition (link) BibTeX
• Marius Nagy, Selim G. Akl:
  On the Importance of Parallelism for Quantum Computation and the Concept of a Universal Computer. 176-190
  Electronic Edition (link) BibTeX
• Predrag T. Tosic, Gul A. Agha:
  On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata. 191-205
  Electronic Edition (link) BibTeX
• Tereza Tusarová:
  A New Sibling of BQP. 206-213
  Electronic Edition (link) BibTeX
• Hiroshi Umeo, Masaya Hisaoka, Shunsuke Akiguchi:
  A Twelve-State Optimum-Time Synchronization Algorithm for Two-Dimensional Rectangular Cellular Arrays. 214-223
  Electronic Edition (link) BibTeX
• Jirí Wiedermann:
  Computing by Self-reproduction: Autopoietic Automata. 224-236
  Electronic Edition (link) BibTeX
• Damien Woods, J. Paul Gibson:
  Lower Bounds on the Computational Power of an Optical Model of Computation. 237-250
  Electronic Edition (link) BibTeX
• Paolo Zuliani:
  On Counterfactual Computation. 251-266
  Electronic Edition (link) BibTeX