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