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.
Inhaltsverzeichnis
Invited papers. - On the Ohya-Masuda Quantum SAT Algorithm. - Computational Methods and Tools for Modeling and Analysis of Complex Processes. - Quantum Recognizable Tree Functions. - An Unconventional Computational Linear Algebra: Operator Trigonometry. - Splicing Systems, Aqueous Computing, and Beyond. - Some Methods of Computation in White Noise Calculus. - Computing with Membranes: Attacking NP-Complete Problems. - DNA Processing in Ciliates the Wonders of DNA Computing in vivo. - Macroscopical Molecular Computation with Gene Networks. - In-vitro Transcriptional Circuits. - Contributed papers. - Parallelizing with Limited Number of Ancillae. - Upper and Lower Bounds on Continuous-Time Computation. - P Systems with Valuations. - The Quantum Domain As a Triadic Relay. - On P Systems with Active Membranes. - Spatial Computing on Self-Timed Cellular Automata. - Inaccessibility in Decision Procedures. - On the Power of Nonlinear Mappings in Switching Map Systems. - Quantum Information: The New Frontier. - Quantum Computation Relative to Oracles. - Solving NP-Complete Problems Using P Systems with Active Membranes.
