Logo - springer
Slogan - springer

Computer Science - Theoretical Computer Science | Unconventional Models of Computation, UMC’2K - Proceedings of the Second International Conference

Unconventional Models of Computation, UMC’2K

Proceedings of the Second International Conference on Unconventional Models of Computation, (UMC’2K)

Antoniou, I., Calude, C.S., Dinneen, M.J. (Eds.)

2001, X, 301 pp.

Available Formats:

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.


(net) price for USA

ISBN 978-1-4471-0313-4

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase

learn more about Springer eBooks

add to marked items


Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.


(net) price for USA

ISBN 978-1-85233-415-4

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days

add to marked items

  • About this book

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.

Content Level » Research

Keywords » DNA-based computing - Evolutionary Algorithms - Models of Computation - Quantum Computing - Ringe - algorithms - automata - calculus - linear algebra

Related subjects » Artificial Intelligence - Computational Science & Engineering - Theoretical, Mathematical & Computational Physics - Theoretical Computer Science

Table of contents 

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.

Popular Content within this publication 



Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Theory of Computation.