Books

Short works

Books : reviews

Cristian S. Calude, Michael J. Dinneen, Ferdinand Peper, eds.
Unconventional Models of Computation, UMC 2002: Kobe, Japan.
Springer. 2002

Contents

Manuel Lameiras Campagnolo. The Complexity of Real Recursive Functions. 2002
B. Jack Copeland. Hypercomputation in the Chinese Room. 2002
Andre DeHon. Very Large Scale Spatial Computing. 2002
Mitsunori Ogihara, Animesh Ray. The Minimum-Model DNA Computation on a Sequence of Probe Arrays. 2002
Masanori Ohya. An Information Theoretic Approach to the Study of Genome Sequences: An Application to the Evolution of HIV. 2002
Masanao Ozawa. Halting of Quantum Turing Machines. 2002
Pawel Siwak. Filtrons of Automata. 2002
Tommaso Toffoli. A Man and His Computer: An Issue of Adaptive Fitness and Personal Satisfaction. 2002
Masami Amano, Kazuo Iwama, Rudy Raymond HP. Exploiting the Difference in Probability Calculation between Quantum and Probabilistic Computations. 2002
Joshua J. Arulanandham. Implementing Bead-Sort with P Systems. 2002
C. Graciani Diaz, F.J. Martin Mateos, Mario J. Perez-Jimenez. Specification of Adleman's Restricted Model Using an Automated Reasoning System: Verification of Lipton's Experiment. 2002
Jean-Louis Giavitto, Olivier Michel. Data Structure as Topological Spaces. 2002
Frederic Gruau, Philippe Malbos. The Blob: A Basic Topological Concept for "Hardware-Free" Distributed Computation. 2002
Katsunobu Imai, Kenji Fujita, Chuzo Iwamoto, Kenichi Morita. Embedding a Logically Universal Model and a Self-Reproducing Model into Number-Conserving Cellular Automata. 2002
Alvaro Romero Jimenez, Mario J. Perez-Jimenez. Generation of Diophantine Sets by Computing P Systems with External Output. 2002
Atsushi Kameda, Nobuo Matsuura, Masahito Yamamoto, Azuma Ohuchi. An Analysis of Computational Efficiency of DNA Computing. 2002
Takeshi Kawakami. Communication and Computation by Quantum Games. 2002
Shankara Narayanan Krishna, Raghavan Rama. On The Power of Tissue P Systems Working in the Minimal Mode. 2002
Jia Lee, Ferdinand Peper, Susumu Adachi, Kenichi Morita, Shinro Mashiko. Reversible Computation in Asynchronous Cellular Automata. 2002
Jumpei Niwa, Keiji Matsumoto, Hiroshi Imai. General-Purpose Parallel Simulator for Quantum Computing. 2002
Toshiyuki Shimono. Towards Additivity of Entanglement of Formation. 2002
Petr Sosik, Jiri Matysek. Membrane Computing: When Communication Is Enough. 2002
Hiroshi Umeo, Masaya Hisaoka, Koshi Michisaka, Koji Nishioka, Masashi Maeda. Some New Generalized Synchronization Algorithms and Their Implementations for Large Scale Cellular Automata. 2002
Jiri Wiedermann, Jan van Leeuwen. Relativistic Computers and Non-uniform Complexity Theory. 2002
Tomoyuki Yamakami. Quantum Optimization Problems. 2002
(extended abstract)
Tomohiro Yamasaki, Hirotada Kobayashi, Hiroshi Imai. An Analysis of Absorbing Times of Quantum Walks. 2002