Books

Short works

Books : reviews

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.

Gheorghe Paun.
Membrane Computing: an introduction.
Springer. 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