Unconventional Models of Computation, Umc'2k: Proceedings of the Second International Conference on Unconventional Models of Computation, (Umc'2k)

ISBN-13: 9781852334154 / Angielski / Miękka / 2000 / 301 str.

C. S. Calude; I. Antoniou; Cristian Calude

Opis

The Second International Conference on Unconventional Models of Compu UMC'2K, organized by the Centre for Discrete Mathematics and The tation, oretical Computer Science, the International Solvay Institutes for Physics and Chemistry and the Vrije Universiteit Brussel Theoretical Physics Division was held at Solvay Institutes from 13 to 16 December, 2000. The computers as we know them today, based on silicon chips, are get ting better and better, cheaper and cheaper, and are doing more and more for us. Nonetheless, they still give rise to frustrations because they are unable to cope with many tasks of practical interest: Too many problems are effectively intractable. A simple example: cyber movie networks face the near impossible task of building a brand in a computing and communication almost vacuum. Fortunately, for billions of years nature itself has been "computing" with molecules and cells. These natural processes form the main motivation for the construction of radically new models of computation, the core interest of our conference. The ten invited speakers at the conference were: 1. Accardi (Rome, Italy), S. Bozapalidis (Thessaloniki, Greece), K. Gustafson (Boulder, USA), T. Head (Binghamton, USA), T. Hida (Nagoya, Japan), v. Ivanov (Dubna, Russia), G. Piiun (Bucharest, Romania), G. Rozenberg (Lei den, the Netherlands). H. Siegelmann (Haifa, Israel), and E. Winfree (Caltech, USA). The Programme Committee consisting ofM. Amos (Liverpool, UK), I. An toniou (Co-chair, Brussels, Belgium), S. Bozapalidis (Thessaloniki, Greece), G.

Spis treści

On the Ohya-Masuda Quantum SAT Algorithm - L Accardi and R Sabbadini Computational Methods and tools for Modeling and Analysis of Complex Processes - I Antoniou and I Volovich Quantum Recognizable Tree Functions - S Bozapalidis An Unconventional Computational Linear Algebra: Operator Trigonometry - K Gustafson Splicing, Aqueous Computing, and Beyond - T Head Some Methods of Computation in White Noise Calculus - T Hida Computing with Membranes: Attacking NP-Complete Problems - G Paun DNA Processing in Ciliates - the Wonders of DNA Computing in vivo - G Rozenberg Macrospical Molecular Computation in Gene Networks - H T Siegelmann and A Ben-Hur In-vitro Transcriptional Circuits - E Winfree Parallelizing with Limited Number of Ancillae - H Abe and S C Sung Upper and Lower Bounds on Continuous-Time Computation - M L Campagnolo and C Moore P Systems with Valuations - C Martin-Vide and V Mitrana Quantum Domain as a Triadic Relay - A B Mikhaylova and B S Pavlov On P Systems with Active Membranes - A Paun Spatial Computing on Self-Timed Cellular Automata - F Peper Inaccessibility in Decision Procedures - A Saito and K Kaneko On the Power of Nonlinear Mappings in Switching Map Systems - Y Sato, M Taiji and T Ikagami Quantum Information: The New Frontier - K Svozil Quantum Computation Relative to Oracles - C Tamon and T Yamakami Solving NP Complete Problems Using P Systems with Active Membranes - C Zandron, C Ferretti and G Mauri.