8. UC 2009: Ponta Delgada, Azores, Portugal

Invited Talks and Tutorials

• Edwin J. Beggs:
  Using Physical Experiments as Oracles. 1
  
• Manuel Lameiras Campagnolo:
  A Tutorial on Analog Computation: Computing Functions over the Reals. 2
  
• James P. Crutchfield:
  Computational Mechanics: Natural Computation and Self-organization. 3
  
• Martin Davis:
  Diophantine Equations and Computation. 4-5
  
• Jarkko Kari:
  Structure of Reversible Cellular Automata. 6
  
• Carlos Lourenço:
  Brain Dynamics Promotes Function. 7-9
  
• Jonathan W. Mills:
  Awakening the Analogue Computer: Rubel's Extended Analog Computer Workshop. 10
  
• James M. Nyce:
  Artifice, Interpretation and Nature: Key Categories in Radiology Work. 11-15
  
• Przemyslaw Prusinkiewicz:
  Developmental Computing. 16-23
  
• Lukás Sekanina:
  Evolvable Hardware: From Applications to Implications for the Theory of Computation. 24-36
  
• Philip D. Welch:
  Relativistic Computers and Transfinite Computation. 37-41
  

Regular Contributions

• Bogdan Aman, Gabriel Ciobanu:
  Turing Completeness Using Three Mobile Membranes. 42-55
  
• Masashi Aono, Yoshito Hirata, Masahiko Hara, Kazuyuki Aihara:
  Resource-Competing Oscillator Network as a Model of Amoeba-Based Neurocomputer. 56-69
  
• Paolo Bottoni, Anna Labella, Florin Manea, Victor Mitrana, José M. Sempere:
  Networks of Evolutionary Picture Processors with Filtered Connections. 70-84
  
• Serge Burckel, Emeric Gioan, Emmanuel Thomé:
  Mapping Computation with No Memory. 85-97
  
• Wesley Calvert, Russell Miller:
  Real Computable Manifolds and Homotopy Groups. 98-109
  
• Ellie D'Hondt, Yves Vandriessche:
  Distributed Quantum Programming. 110-124
  
• Giovanni Di Crescenzo, Ron Menendez, Shahab Etemad, Janet Jackel:
  Foundations of Optical Encryption: Formal Modeling and Achieving Shannon Secrecy. 125-142
  
• David Doty, Jack H. Lutz, Matthew J. Patitz, Scott M. Summers, Damien Woods:
  Random Number Selection in Self-assembly. 143-157
  
• Jérôme Durand-Lose:
  Abstract Geometrical Computation and Computable Analysis. 158-167
  
• Daniel Díaz-Pernil, Pilar Gallego-Ortiz, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez:
  Descriptional Complexity of Tissue-Like P Systems with Cell Division. 168-178
  
• Daniel S. Graça, Ning Zhong:
  Computing Domains of Attraction for Planar Dynamics. 179-190
  
• Jeff Jones:
  Approximating the Behaviours of Physarum polycephalum for the Construction and Minimisation of Synthetic Transport Networks. 191-208
  
• Kazunari Ozasa, Masashi Aono, Mizuo Maeda, Masahiko Hara:
  Simulation of Neurocomputing Based on Photophobic Reactions of Euglena: Toward Microbe-Based Neural Network Computing. 209-218
  
• Frédéric Prost, Chaouki Zerrari:
  Reasoning about Entanglement and Separability in Quantum Higher-Order Functions. 219-235
  
• Karl Svozil:
  On the Brightness of the Thomson Lamp: A Prolegomenon to Quantum Recursion Theory. 236-246
  
• Benjamin Wells:
  Advances in I/O, Speedup, and Universality on Colossus, an Unconventional Computer. 247-261
  
• Damien Woods, Niall Murphy, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez:
  Membrane Dissolution and Division in P. 262-276
  
• Liang Zhang:
  Computing Naturally in the Billiard Ball Model. 277-286
  

Posters

• Edward G. Belaga, Daniel Grucker, Tarek Khalil, Jean Richert, Kees van Schenk Brill:
  Water as a Quantum Computing Device. 287
  
• Marcel Jirina, Marcel Jirina Jr.:
  Cloning for Heteroscedasticity Elimination in GMDH Learning Procedure. 288
  
• Song-Ju Kim, Masashi Aono, Masahiko Hara:
  Tug-Of-War Model for Two-Bandit Problem. 289
  
• Patricia Mostardinha, Fernão Vistulo de Abreu:
  Intrusion Detection in Circular Frustrated Systems: An Eminently Parallel Processing Algorithm. 290
  
• Tamar Ratner, Ofer Reany, Ehud Keinan:
  NMR-Based Encoding and Processing of Alphanumeric Information. 291