Unconventional Models of Computation: Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings (Lecture Notes in Computer Science, 2509)

ISBN 10: 3540443118 / ISBN 13: 9783540443117

Editore: Springer, 2002

Riguardo questo articolo

Codice articolo ABLIING23Mar3113020167971

Dati bibliografici

• Titolo: Unconventional Models of Computation: Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings (Lecture Notes in Computer Science, 2509)
• Editore: Springer
• Data di pubblicazione: 2002
• Lingua: Inglese
• ISBN 10: 3540443118
• ISBN 13: 9783540443117
• Rilegatura: Brossura
• Condizione: New

Descrizione articolo

Riassunto

TheProgramCommittee,consistingofL. Accardi(Roma,Italy),C. S.

Contenuti

Invited Papers.- The Complexity of Real Recursive Functions.- Hypercomputation in the Chinese Room.- Very Large Scale Spatial Computing.- The Minimum-Model DNA Computation on a Sequence of Probe Arrays.- An Information Theoretic Approach to the Study of Genome Sequences: An Application to the Evolution of HIV.- Halting of Quantum Turing Machines.- Filtrons of Automata.- A Man and His Computer: An Issue of Adaptive Fitness and Personal Satisfaction.- Contributed Papers.- Exploiting the Difference in Probability Calculation between Quantum and Probabilistic Computations.- Implementing Bead-Sort with P Systems.- Specification of Adleman’s Restricted Model Using an Automated Reasoning System: Verification of Lipton’s Experiment.- Data Structure as Topological Spaces.- The Blob: A Basic Topological Concept for “Hardware-Free” Distributed Computation.- Embedding a Logically Universal Model and a Self-Reproducing Model into Number-Conserving Cellular Automata.- Generation of Diophantine Sets by Computing P Systems with External Output.- An Analysis of Computational Efficiency of DNA Computing.- Communication and Computation by Quantum Games.- On the Power of Tissue P Systems Working in the Minimal Mode.- Reversible Computation in Asynchronous Cellular Automata.- General-Purpose Parallel Simulator for Quantum Computing.- Towards Additivity of Entanglement of Formation.- Membrane Computing: When Communication Is Enough.- Some New Generalized Synchronization Algorithms and Their Implementations for Large Scale Cellular Automata.- Relativistic Computers and Non-uniform Complexity Theory.- Quantum Optimization Problems.- An Analysis of Absorbing Times of Quantum Walks.