Books

Short works

Books : reviews

Cristian S. Calude, John L. Casti, Michael J. Dinneen, eds.
Unconventional Models of Computation, UMC'98: Auckland, New Zealand.
Springer. 1998

Contents

Martyn Amos, Steve Wilson, David A. Hodgson, Gerald Owenson, Alan Gibbons. Practical Implementation of DNA Computations. 1998
Artur Ekert, Chiara Macchiavello. An Overview of Quantum Computing. 1998
H. Jeff Kimble. Implementing Quantum Logic and Communication via Cavity QED. 1998
Seth Lloyd. Unconventional Quantum Computing Devices. 1998
Cristopher Moore. Finite-Dimensional Analog Computers: Flows, Maps, and Recurrent Neural Networks. 1998
John H. Reif. Paradigms for Biomolecular Computation. 1998
Arto Salomaa. Turing, Watson-Crick and Lindenmayer. Aspects of DNA Complementarity. 1998
Gordon Alford. Explicitly Constructing Universal Extended H Systems. 1998
Mark H. Butler, Raymond C. Paton, Paul H. Leng. Unconventional Approaches for Biologically Inspired Computing. 1998
Elena Calude, Marjo Lipponen. Deterministic Incomplete Automata: Simulation, Universality and Complementarity. 1998
B. Jack Copeland. Even Turing Machines Can Compute Uncomputable Functions. 1998
Michael Frank, Thomas F. Knight Jr, Norman H. Margolus. Reversibility in Optimally Scalable Computer Architectures. 1998
Michael Frank, Carlin Vieri, M. Josephine Ammer, Nicole Love, Norman H. Margolus, Thomas F. Knight Jr. A Scalable Reversible Computer in Silicon. 1998
Rudolf Freund, Valeria Mihalache. Molecular Computations on Circular and Linear Strings. 1998
Yuzhen Ge, Layne T. Watson, Emmanuel G. Collins Jr.. Genetic Algorithms for Optimization on a Quantum Computer. 1998
Karl Gustafson. Ergodic Learning Algorithms. 1998
Peter Herding. Embedding Cellular Automata into Reversible Ones. 1998
Thomas F. Knight Jr, Gerald Jay Sussman. Cellular Gate Technology. 1998
Alexandru Mateescu. Splicing on Routes: a Framework of DNA Computation. 1998
Hideaki Matsueda. Spatiotemporal Evolution of Quantum Entangled Pure States in Quantum Computing Solid Block Circuits. 1998
Lakshmi Narayanaswamy, Peter M. Kogge. Combinators and Processing-In-Memory: An Unconventional Basis for Avoiding the Memory Wall. 1998
Mitsunori Ogihara, Animesh Ray. The Minimum DNA Computation Model and Its Computational Power. 1998
Gheorghe Paun. Distributed Architectures in DNA Computing Based on Splicing: Limiting the Size of Components. 1998
Boris S. Pavlov, Gary Roach, Adil Yafyasov. Resonance Scattering and Design of Quantum Gates. 1998
Yuzuru Sato, Makoto Taiji, Takashi Ikegami. Self-Similar Sets as Satisfiable Boolean Expressions. 1998
Karl Svozil. The Church-Turing Thesis as a Guiding Principle for Physics. 1998
Carlin Vieri, M. Josephine Ammer, Amory Wakefield, Lars "Johnny" Svensson, William Athas, Thomas F. Knight Jr. Designing Reversible Memory. 1998
Herbert Wiklicky. Quantitative Computation by Hilbert Machines. 1998

Cristian S. Calude, Gheorghe Paun.
Finite vs Infinite: contributions to an eternal dilemma.
Springer. 2000

The finite-infinite interplay is central in the human thinking, from ancient philosophers and mathematicians (Zenon, Pythagoras), to modern mathematics (Cantor, Hilbert) and computer science (Turing, Goedel). Recent developments in mathematics and computer science suggest radically new answers to classical questions such as:

• Does infinity exist?
• Where does infinity come from?
• How can we reconcile the finiteness of the human brain with the infinity of ideas it produces?

These recent developments also open up new questions of debate, including:

• What is the role played by randomness?
• Are computers capable of handling the infinite through unconventional media of computation?
• How can one approximate efficiently the finite by the infinite, and conversely the infinite by the finite?

Well-known authors from around the world, many of them architects of the mathematics and computer science for the new century, contribute to this volume. While mathematical in spirit, contributions have many connections with computer science, cognitive science, linguistics, philosophy, physics, biology and semiotics.

Ioannis Antoniou, Cristian S. Calude, Michael J. Dinneen, eds.
Unconventional Models of Computation, UMC'2K: Solvay Institutes.
Springer. 2001

Contents

Luigi Accardi, Ruben Sabbadini. On the Ohya-Masuda Quantum SAT Algorithm. 2001
Ioannis Antoniou, Vikto V. Ivanon. Computational Methods and Tools for Modeling and Analysis of Complex Processes. 2001
Symeon Bozapalidis. Quantum Recognizable Tree Functions. 2001
Karl Gustafson. An Unconventional Computational Linear Algebra: Operator Trigonometry. 2001
Thomas Head. Splicing, Aqueous Computing, and Beyond. 2001
Takeyuki Hida. Some Methods of Computation in White Noise Calculus. 2001
Gheorghe Paun. Computing with Membranes: Attacking NP-Complete Problems. 2001
Grzegorz Rozenberg. DNA Processing in Ciliates - the Wonders of DNA Computing in vivo. 2001
Hava T. Siegelmann, Asa Ben-Hur. Macrospical Molecular Computation with Gene Networks. 2001
Erik Winfree. In Vitro Transcriptional Circuits. 2001
Hideaki Abe, Shao Chin Sung. Parallelizing with Limited Number of Ancillae. 2001
Manuel Lameiras Campagnolo, Cristopher Moore. Upper and Lower Bounds on Continuous-Time Computation. 2001
Carlos Martin-Vide, Victor Mitrana. P Systems with Valuations. 2001
Anna B. Mikhaylova, Boris S. Pavlov. Quantum Domain as a Triadic Relay. 2001
Andrei Paun. On P Systems with Active Membranes. 2001
Ferdinand Peper. Spatial Computing on Self-Timed Cellular Automata. 2001
Asaki Saito, Kunihiko Kaneko. Inaccessibility in Decision Procedures. 2001
Yuzuru Sato, Makoto Taiji, Takashi Ikegami. On the Power of Nonlinear Mappings in Switching Map Systems. 2001
Karl Svozil. Quantum Information: The New Frontier. 2001
Christino Tamon, Tomoyuki Yamakami. Quantum Computation Relative to Oracles. 2001
Claudio Zandron, Claudio Ferretti, Giancarlo Mauri. Solving NP Complete Problems Using P Systems with Active Membranes. 2001

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

Cristian S. Calude, Michael J. Dinneen, Gheorghe Paun, Mario J. Perez-Jimenez, Grzegorz Rozenberg, eds.
Unconventional Computation, UC 2005: Seville, Spain.
Springer. 2005

+

(read but not reviewed)

Contents

Thomas Back, Ron Breukelaar. Using Genetic Algorithms to Evolve Behavior in Cellular Automata. 2005
Lov K. Grover. Quantum Searching Amidst Uncertainty. 2005
Eric H. Davidson, Sorin Istrail. Logic Functions of the Genomic Cis-regulatory Code (abstract). 2005
Ruojie Sha, Xiaoping Zhang, Shiping Liao, Pamela E. Constantinou, Baoquan Ding, Tong Wang, Alejandra V. Garibotti, Hong Zhong, Lisa B. Israel, Xing Wang, Gang Wu, Banani Chakraborty, Junghuei Chen, Yuwen Zhang, Hao Yam, Zhiyong Shen, Wanqiu Shen, Phiset Sa-Ardyen. Structural DNA Nanotechnology: Molecular Construction and Computation. 2005
Carme Torras. Natural Inspiration for Artificial Adaptivity: Some Neurocomputing Experiences in Robotics. 2005
Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Jean-Louis Giavitto. On Self-assembly in Population P Systems. 2005
Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa, Dana Petcu. A Web-Based P Systems Simulator and Its Parallelization. 2005
Adan Cabello. Communication Complexity as a Principle of Quantum Mechanics. 2005
Zhe Dang, Oscar H. Marra, Cheng Li, Gaoyan Xie. On Model-Checking of P Systems. 2005
Carmen Graciani-Diaz, Agustin Riscos-Nunez. Looking for Simple Common Schemes to Design Recognizer P Systems with Active Membranes That Solve Numerical Decision Problems. 2005
Miguel A. Gutierrez-Naranjo, Mario J. Perez-Jimenez, Agustin Riscos-Nunez, Francisco J. Romero-Campero. P Systems with Active Membranes, Without Polarizations and Without Dissolution: A Characterization of P. 2005
Masami Hagiya. Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing. 2005
Shuichi Inokuchi, Kazumasa Honda, Hyen Yeal Lee, Tatsuro Sato, Yoshihiro Mizoguchi, Yasuo Kawahara. On Reversible Cellular Automata with Finite Cell Array. 2005
Natasha Jonoska, Gregory L. McColm. A Computational Model for Self-assembling Flexible Tiles. 2005
Kojiro Kobayashi, Darin Goldstein. On Formulations of Firing Squad Synchronization Problems. 2005
Oleksiy Kurganskyy, Igor Potapov. Computation in One-Dimensional Piecewise Maps and Planar Pseudo-Billiard Systems. 2005
Marius Nagy, Selim G. Akl. On the Importance of Parallelism for Quantum Computation and the Concept of a Universal Computer. 2005
Predrag T. Tosic, Gul A. Agha. On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata. 2005
Tereza Tusarova. A New Sibling of BQP. 2005
Hiroshi Umeo, Masaya Hisaoka, Shunsuke Akiguchi. A Twelve-State Optimum-Time Synchronization Algorithm for Two-Dimensional Rectangular Cellular Arrays. 2005
Jiri Wiedermann. Computing by Self-reproduction: Autopoietic Automata. 2005
Damien Woods, J. Paul Gibson. Lower Bounds on the Computational Power of an Optical Model of Computation. 2005
Paolo Zuliani. On Counterfactual Computation. 2005

Cristian S. Calude, Michael J. Dinneen, Gheorghe Paun, Grzegorz Rozenberg, Susan Stepney, eds.
Unconventional Computation, UC 2006: York, UK.
Springer. 2006

+

(read but not reviewed)

Contents

Aurelie Goulon, Arthur Duprat, Gerard Dreyfus. Graph Machines and their applications to computer-aided drug design: a new approach to learning from structured data. 2006
Michael C. Mozer. Rational models of cognitive control. 2006
Erik Winfree. Fault-tolerance in biochemical systems (abstract). 2006
Damien Woods. Optical computing and computational complexity. 2006
Russ Abbott. If a tree casts a shadow is it telling the time?. 2006
M. Sakthi Balan, Helmut Jurgensen. Peptide computing -- universality and theoretical model. 2006
Monica Cardona, M. Angels Colomer, Mario J. Perez-Jimenez, Alba Zaragoza. Handling Markov Chains with Membrane Computing. 2006
Uffe Flarup, Klaus Meer. Approximation classes for real number optimization problems. 2006
Peter Hines. Physical systems as constructive logics. 2006
Oscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun. On spiking neural P Systems and partially blind counter machines. 2006
Yasuhiro Igarashi, Jerzy Gorecki, Joanna Natalia Gorecka. Chemical information processing devices constructed using a nonlinear medium with controlled excitability. 2006
Natasha Jonoska, Gregory L. McColm. Flexible versus rigid tile assembly. 2006
Shankara Narayanan Krishna. On pure catalytic P Systems. 2006
William B. Langdon. Mapping non-conventional extensions of Genetic Programming. 2006
Akihiro Mikoda, Shuichi Inokuchi, Yoshihiro Mizoguchi, Mitsuhiko Fujio. The number of ordits of periodic box-ball systems. 2006
Jerzy Mycka, Francisco Coelho, Jose Felix Costa. The Euclid Abstract Machine: trisection of the angle and the Halting Problem. 2006
Shigeru Ninagawa. 1/f noise in elementary cellular automaton rule 110. 2006
Mihai Oltean. A light-based device for solving the Hamiltonian path problem. 2006
Mikhail Prokopenko, Daniel Polani, Peter Wang. Optimizing potential information transfer with self-referential memory. 2006
H. Ramesh, Shankara Narayanan Krishna, Raghavan Rama. On the power of bio-Turing machines. 2006
Dylan A. Shell, Maja J. Mataric. Ergodic dynamics for large-scale distributed robot systems. 2006

Cristian S. Calude, Jose Felix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg.
Unconventional Computation, UC 2009: Ponta Delgada, Azores, Portugal.
Springer. 2009

+

(read but not reviewed)

Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg, eds.
Unconventional Computation, UC 2011: Turku, Finland.
Springer. 2011

+

(read but not reviewed)

Contents

Viv Kendon, Angelika Sebald, Susan Stepney, Matthias Bechmann, Peter Hines, Robert C. Wagner. Heterotic Computing. 2011

Cristian S. Calude, Michael J. Dinneen.
Unconventional Computation and Natural Computation, UCNC 2015: Auckland, New Zealand.
Springer. 2015

(read but not reviewed)