Unconventional Models in Computation: Third International Conference, Umc 2002, Kobe, Japan, October 15-19, 2002 : Proceedings

by Calude, Cristian S.; Dinneen, M. J.; Peper, Ferdinand

• ISBN13: 9783540443117
• ISBN10: 3540443118
• Format: Paperback
• Copyright: 2002-10-01
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the Third International Conference on Unconventional Models of Computation, UMC 2002, held in Kobe, Japan in October 2002. The 18 revised full papers presented together with eight invited full papers were carefully reviewed and selected from 36 submissions. All major areas of unconventinal computing models are covered, especially quantum computing, DNA computing, membrane computing, cellular computing, and possibilities to break Turing's barrier. The authors address theoretical aspects, practical implementations, as well as philosophical reflections.

Table of Contents

Invited Papers
The Complexity of Real Recursive Functions	p. 1
Hypercomputation in the Chinese Room	p. 15
Very Large Scale Spatial Computing	p. 27
The Minimum-Model DNA Computation on a Sequence of Probe Arrays	p. 38
An Information Theoretic Approach to the Study of Genome Sequences: An Application to the Evolution of HIV	p. 50
Halting of Quantum Turing Machines	p. 58
Filtrons of Automata	p. 66
A Man and His Computer: An Issue of Adaptive Fitness and Personal Satisfaction	p. 86
Contributed Papers
Exploiting the Difference in Probability Calculation between Quantum and Probabilistic Computations	p. 100
Implementing Bead-Sort with P Systems	p. 115
Specification of Adleman's Restricted Model Using an Automated Reasoning System: Verification of Lipton's Experiment in Mateos	p. 126
Data Structure as Topological Spaces	p. 137
The Blob: A Basic Topological Concept for "Hardware-Free" Distributed Computation	p. 151
Embedding a Logically Universal Model and a Self-Reproducing Model into Number-Conserving Cellular Automata	p. 164
Generation of Diophantine Sets by Computing P Systems with External Output	p. 176
An Analysis of Computational Efficiency of DNA Computing	p. 191
Communication and Computation by Quantum Games	p. 199
On The Power of Tissue P Systems Working in the Minimal Mode	p. 208
Reversible Computation in Asynchronous Cellular Automata	p. 220
General-Purpose Parallel Simulator for Quantum Computing	p. 230
Towards Additivity of Entanglement of Formation	p. 252
Membrane Computing: When Communication Is Enough i Matysek Some New Generalized Synchronization Algorithms and Their Implementations for Large Scale Cellular Automata	p. 276
Relativistic Computers and Non-uniform Complexity Theory	p. 287
Quantum Optimization Problems	p. 300
An Analysis of Absorbing Times of Quantum Walks	p. 315
Author Index	p. 331
Table of Contents provided by Publisher. All Rights Reserved.