home > book reviews > Gheorghe Paun
Google > Gheorghe Paun


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