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