Unconventional Models of Computation, UMC’2K: Proceedings of the Second International Conference on Unconventional Models of Computation, (UMC’2K)I. Antoniou, C.S. Calude, M.J. Dinneen This book contains papers presented at the 2nd International Conference on Unconventional Models of Computation (UMCK'2K), which was held at Solvay Institutes, Brussels, Belgium, in December 2000. Computers as we know them may be getting better and cheaper, and doing more for us, but they are still unable to cope with many tasks of practical interest. Nature, though, has been 'computing' with molecules and cells for billions of years, and these natural processes form the main motivation for the construction of radically new models of computation, the core theme of the papers in this volume. Unconventional Models of Computation, UMCK'2K covers all major areas of unconventional computation, including quantum computing, DNA-based computation, membrane computing and evolutionary algorithms. |
Contents
1 | |
S Bozapalidis | 25 |
K Gustafson | 48 |
T Head | 68 |
T Hida | 85 |
G Rozenberg | 113 |
A Păun | 114 |
MartinVide and V Mitrana | 154 |
A B Mikhaylova and B S Pavlov | 167 |
F Peper | 202 |
A Saito and K Kaneko | 215 |
Y Sato M Taiji and T Ikagami | 234 |
K Svozil | 248 |
Tamon and T Yamakami | 273 |
Zandron C Ferretti and G Mauri | 289 |
Other editions - View all
Unconventional Models of Computation Christian Calude,John Casti,Michael J. Dinneen Limited preview - 1998 |
Unconventional Models of Computation, UMC’2K: Proceedings of the Second ... I. Antoniou,C.S. Calude,M.J. Dinneen No preview available - 2012 |
Common terms and phrases
active membranes algebra algorithms analog computation ancillae applied automata automaton boundary dimension bounded box-counting dimension cell Cellular Automata CN gates complex computational power Computer Science consisting of CN corresponding defined denote differential equations DNA Computing dynamical systems eigenvalues evolution rules finite GPAC graph halting set Hermitian Hilbert space input integration iteration Lemma linear mapping of CN(n matrix membrane molecules multisets nonlinear NP-complete NP-complete problems objects operator trigonometry oracle output P-systems parallel Păun physical polarity polynomial primitive recursive primitive recursive functions Proof Proposition quantum circuit consisting quantum computation quantum gates quantum mechanics qubit real number recursive functions result Rozenberg rules of type SC-component sequence simulate solution solve splicing step string switching map systems symbol Theorem theory tion Turing machines unitary unitary operator variables vector WH gates