Unconventional models of computation. Third international conference, UMC 2002, Kobe, Japan, October 15--19, 2002. Proceedings (Q1863972)

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0954.00046). Indexed articles: \textit{Campagnolo, Manuel Lameiras}, The complexity of real recursive functions, 1-14 [Zbl 1029.03034] \textit{Copeland, B. Jack}, Hypercomputation in the Chinese room, 15-26 [Zbl 1029.68057] \textit{DeHon, André}, Very large scale spatial computing, 27-37 [Zbl 1029.68549] \textit{Ogihara, Mitsunori; Ray, Animesh}, The minimum-model DNA computation on a sequence of probe arrays, 38-49 [Zbl 1029.68553] \textit{Ohya, Masanori}, An information theoretic approach to the study of genome sequences: An application to the evolution of HIV, 50-57 [Zbl 1029.92501] \textit{Ozawa, Masanao}, Halting of quantum Turing machines, 58-65 [Zbl 1029.68062] \textit{Siwak, Paweł}, Filtrons of automata, 66-85 [Zbl 1029.37500] \textit{Toffoli, Tommaso}, A man and his computer: An issue of adaptive fitness and personal satisfaction, 86-99 [Zbl 1029.68909] \textit{Amano, Masami; Iwama, Kazuo; Raymond H. P., Rudy}, Exploiting the difference in probability calculation between quantum and probabilistic computations, 100-114 [Zbl 1029.68055] \textit{Arulanandham, Joshua J.}, Implementing Bead-Sort with P systems, 115-125 [Zbl 1029.68539] \textit{Graciani Díaz, C.; Martín Mateos, F. J.; Pérez Jiménez, Mario J.}, Specification of Adleman's restricted model using an automated reasoning system: Verification of Lipton's experiment, 126-136 [Zbl 1029.68550] \textit{Giavitto, Jean-Louis; Michel, Olivier}, Data structure as topological spaces, 137-150 [Zbl 1029.68046] \textit{Gruau, Frédéric; Malbos, Philippe}, The blob: A basic topological concept for ``hardware-free'' distributed computation, 151-163 [Zbl 1029.68059] \textit{Imai, Katsunobu; Fujita, Kenji; Iwamoto, Chuzo; Morita, Kenichi}, Embedding a logically universal model and a self-reproducing model into number-conserving cellular automata, 164-175 [Zbl 1029.68100] \textit{Romero Jiménez, Álvaro; Pérez Jiménez, Mario J.}, Generation of Diophantine sets by computing P systems with external output, 176-190 [Zbl 1029.68063] \textit{Kameda, Atsushi; Matsuura, Nobuo; Yamamoto, Masahito; Ohuchi, Azuma}, An analysis of computational efficiency of DNA computing, 191-198 [Zbl 1029.68551] \textit{Kawakami, Takeshi}, Communication and computation by quantum games, 199-207 [Zbl 1029.68060] \textit{Krishna, Shankara Narayanan; Rama, Raghavan}, On the power of tissue P systems working in the minimal mode, 208-219 [Zbl 1029.68061] \textit{Lee, Jia; Peper, Ferdinand; Adachi, Susumu; Morita, Kenichi; Mashiko, Shinro}, Reversible computation in asynchronous cellular automata, 220-229 [Zbl 1029.68101] \textit{Niwa, Jumpei; Matsumoto, Keiji; Imai, Hiroshi}, General-purpose parallel simulator for quantum computing, 230-251 [Zbl 1029.68552] \textit{Shimono, Toshiyuki}, Towards additivity of entanglement of formation, 252-263 [Zbl 1029.68064] \textit{Sosík, Petr; Matýsek, Jiří}, Membrane computing: When communication is enough, 264-275 [Zbl 1029.68065] \textit{Umeo, Hiroshi; Hisaoka, Masaya; Michisaka, Koshi; Nishioka, Koji; Maeda, Masashi}, Some new generalized synchronization algorithms and their implementations for large scale cellular automata, 276-286 [Zbl 1029.68102] \textit{Wiedermann, Jiří; van Leeuwen, Jan}, Relativistic computers and non-uniform complexity theory, 287-299 [Zbl 1029.68066] \textit{Yamakami, Tomoyuki}, Quantum optimization problems, 300-314 [Zbl 1029.68554] \textit{Yamasaki, Tomohiro; Kobayashi, Hirotada; Imai, Hiroshi}, An analysis of absorbing times of quantum walks, 315-329 [Zbl 1029.68067]