SS > NF reviews > Michael J. Dinneen

Books

(Unconventional Models of Computation, UMC'98. 1998. With Cristian S. Calude, John L. Casti)
(Unconventional Models of Computation, UMC'2K. 2001. With Ioannis Antoniou, Cristian S. Calude)
(Unconventional Models of Computation, UMC 2002. 2002. With Cristian S. Calude, Ferdinand Peper)
Unconventional Computation, UC 2005. 2005. With Cristian S. Calude, Gheorghe Paun, Mario J. Perez-Jimenez, Grzegorz Rozenberg
Unconventional Computation, UC 2006. 2006. With Cristian S. Calude, Gheorghe Paun, Grzegorz Rozenberg, Susan Stepney

Books : reviews

Contents

• Martyn Amos, Steve Wilson, David A. Hodgson, Gerald Owenson, Alan Gibbons.
Practical Implementation of DNA Computations

• Artur Ekert, Chiara Macchiavello.
An Overview of Quantum Computing

• H. Jeff Kimble.
Implementing Quantum Logic and Communication via Cavity QED

• Seth Lloyd.
Unconventional Quantum Computing Devices

• Cristopher Moore.
Finite-Dimensional Analog Computers: Flows, Maps, and Recurrent Neural Networks

• John H. Reif.
Paradigms for Biomolecular Computation

• Arto Salomaa.
Turing, Watson-Crick and Lindenmayer. Aspects of DNA Complementarity

• Gordon Alford.
Explicitly Constructing Universal Extended H Systems

• Mark H. Butler, Raymond C. Paton, Paul H. Leng.
Unconventional Approaches for Biologically Inspired Computing

• Elena Calude, Marjo Lipponen.
Deterministic Incomplete Automata: Simulation, Universality and Complementarity

• B. Jack Copeland.
Even Turing Machines Can Compute Uncomputable Functions

• Michael Frank, Thomas F. Knight Jr, Norman H. Margolus.
Reversibility in Optimally Scalable Computer Architectures

• Michael Frank, Carlin Vieri, M. Josephine Ammer, Nicole Love, Norman H. Margolus, Thomas F. Knight Jr.
A Scalable Reversible Computer in Silicon

• Rudolf Freund, Valeria Mihalache.
Molecular Computations on Circular and Linear Strings

• Yuzhen Ge, Layne T. Watson, Emmanuel G. Collins Jr..
Genetic Algorithms for Optimization on a Quantum Computer

• Karl Gustafson.
Ergodic Learning Algorithms

• Peter Herding.
Embedding Cellular Automata into Reversible Ones

• Thomas F. Knight Jr, Gerald Jay Sussman.
Cellular Gate Technology

• Alexandru Mateescu.
Splicing on Routes: a Framework of DNA Computation

• Hideaki Matsueda.
Spatiotemporal Evolution of Quantum Entangled Pure States in Quantum Computing Solid Block Circuits

• Lakshmi Narayanaswamy, Peter M. Kogge.
Combinators and Processing-In-Memory: An Unconventional Basis for Avoiding the Memory Wall

• Mitsunori Ogihara, Animesh Ray.
The Minimum DNA Computation Model and Its Computational Power

• Gheorghe Paun.
Distributed Architectures in DNA Computing Based on Splicing: Limiting the Size of Components

• Boris S. Pavlov, Gary Roach, Adil Yafyasov.
Resonance Scattering and Design of Quantum Gates

• Yuzuru Sato, Makoto Taiji, Takashi Ikegami.
Self-Similar Sets as Satisfiable Boolean Expressions

• Karl Svozil.
The Church-Turing Thesis as a Guiding Principle for Physics

• Carlin Vieri, M. Josephine Ammer, Amory Wakefield, Lars "Johnny" Svensson, William Athas, Thomas F. Knight Jr.
Designing Reversible Memory

• Herbert Wiklicky.
Quantitative Computation by Hilbert Machines

Contents

• Luigi Accardi, Ruben Sabbadini.
On the Ohya-Masuda Quantum SAT Algorithm

• Ioannis Antoniou, Vikto V. Ivanon.
Computational Methods and Tools for Modeling and Analysis of Complex Processes

• Symeon Bozapalidis.
Quantum Recognizable Tree Functions

• Karl Gustafson.
An Unconventional Computational Linear Algebra: Operator Trigonometry

• Thomas Head.
Splicing, Aqueous Computing, and Beyond

• Takeyuki Hida.
Some Methods of Computation in White Noise Calculus

• Gheorghe Paun.
Computing with Membranes: Attacking NP-Complete Problems

• Grzegorz Rozenberg.
DNA Processing in Ciliates - the Wonders of DNA Computing in vivo

• Hava T. Siegelmann, Asa Ben-Hur.
Macrospical Molecular Computation with Gene Networks

• Erik Winfree.
In Vitro Transcriptional Circuits

• Hideaki Abe, Shao Chin Sung.
Parallelizing with Limited Number of Ancillae

• Manuel Lameiras Campagnolo, Cristopher Moore.
Upper and Lower Bounds on Continuous-Time Computation

• Carlos Martin-Vide, Victor Mitrana.
P Systems with Valuations

• Anna B. Mikhaylova, Boris S. Pavlov.
Quantum Domain as a Triadic Relay

• Andrei Paun.
On P Systems with Active Membranes

• Ferdinand Peper.
Spatial Computing on Self-Timed Cellular Automata

• Asaki Saito, Kunihiko Kaneko.
Inaccessibility in Decision Procedures

• Yuzuru Sato, Makoto Taiji, Takashi Ikegami.
On the Power of Nonlinear Mappings in Switching Map Systems

• Karl Svozil.
Quantum Information: The New Frontier

• Christino Tamon, Tomoyuki Yamakami.
Quantum Computation Relative to Oracles

• Claudio Zandron, Claudio Ferretti, Giancarlo Mauri.
Solving NP Complete Problems Using P Systems with Active Membranes

Contents

• Manuel Lameiras Campagnolo.
The Complexity of Real Recursive Functions

• B. Jack Copeland.
Hypercomputation in the Chinese Room

• Andre DeHon.
Very Large Scale Spatial Computing

• Mitsunori Ogihara, Animesh Ray.
The Minimum-Model DNA Computation on a Sequence of Probe Arrays

• Masanori Ohya.
An Information Theoretic Approach to the Study of Genome Sequences: An Application to the Evolution of HIV

• Masanao Ozawa.
Halting of Quantum Turing Machines

• Pawel Siwak.
Filtrons of Automata

• Tommaso Toffoli.
A Man and His Computer: An Issue of Adaptive Fitness and Personal Satisfaction

• Masami Amano, Kazuo Iwama, Rudy Raymond HP.
Exploiting the Difference in Probability Calculation between Quantum and Probabilistic Computations

• Joshua J. Arulanandham.
Implementing Bead-Sort with P Systems

• 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

• Jean-Louis Giavitto, Olivier Michel.
Data Structure as Topological Spaces

• Frederic Gruau, Philippe Malbos.
The Blob: A Basic Topological Concept for "Hardware-Free" Distributed Computation

• Katsunobu Imai, Kenji Fujita, Chuzo Iwamoto, Kenichi Morita.
Embedding a Logically Universal Model and a Self-Reproducing Model into Number-Conserving Cellular Automata

• Alvaro Romero Jimenez, Mario J. Perez Jimenez.
Generation of Diophantine Sets by Computing P Systems with External Output

• Atsushi Kameda, Nobuo Matsuura, Masahito Yamamoto, Azuma Ohuchi.
An Analysis of Computational Efficiency of DNA Computing

• Takeshi Kawakami.
Communication and Computation by Quantum Games

• Shankara Narayanan Krishna, Raghavan Rama.
On The Power of Tissue P Systems Working in the Minimal Mode

• Jia Lee, Ferdinand Peper, Susumu Adachi, Kenichi Morita, Shinro Mashiko.
Reversible Computation in Asynchronous Cellular Automata

• Jumpei Niwa, Keiji Matsumoto, Hiroshi Imai.
General-Purpose Parallel Simulator for Quantum Computing

• Toshiyuki Shimono.
Towards Additivity of Entanglement of Formation

• Petr Sosik, Jiri Matysek.
Membrane Computing: When Communication Is Enough

• Hiroshi Umeo, Masaya Hisaoka, Koshi Michisaka, Koji Nishioka, Masashi Maeda.
Some New Generalized Synchronization Algorithms and Their Implementations for Large Scale Cellular Automata

• Jiri Wiedermann, Jan van Leeuwen.
Relativistic Computers and Non-uniform Complexity Theory

• Tomoyuki Yamakami.
Quantum Optimization Problems: (extended abstract)

• Tomohiro Yamasaki, Hirotada Kobayashi, Hiroshi Imai.
An Analysis of Absorbing Times of Quantum Walks

Contents

• Thomas Back, Ron Breukelaar.
Using Genetic Algorithms to Evolve Behavior in Cellular Automata

• Lov K. Grover.
Quantum Searching Amidst Uncertainty

• Eric H. Davidson, Sorin Istrail.
Logic Functions of the Genomic Cis-regulatory Code (abstract)

• 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, Jens Kopatsch, Jiwen Zheng, Philip S. Lukeman, William B. Sherman, Chengde Mao, Natasha Jonoska, Nadrian C. Seeman.
Structural DNA Nanotechnology: Molecular Construction and Computation

• Carme Torras.
Natural Inspiration for Artificial Adaptivity: Some Neurocomputing Experiences in Robotics

• Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Jean-Louis Giavitto.
On Self-assembly in Population P Systems

• Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa, Dana Petcu.
A Web-Based P Systems Simulator and Its Parallelization

• Adan Cabello.
Communication Complexity as a Principle of Quantum Mechanics

• Zhe Dang, Oscar H. Marra, Cheng Li, Gaoyan Xie.
On Model-Checking of P Systems

• Carmen Graciani-Diaz, Agustin Riscos-Nunez.
Looking for Simple Common Schemes to Design Recognizer P Systems with Active Membranes That Solve Numerical Decision Problems

• 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

• Masami Hagiya.
Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing

• Shuichi Inokuchi, Kazumasa Honda, Hyen Yeal Lee, Tatsuro Sato, Yoshihiro Mizoguchi, Yasuo Kawahara.
On Reversible Cellular Automata with Finite Cell Array

• Natasha Jonoska, Gregory L. McColm.
A Computational Model for Self-assembling Flexible Tiles

• Kojiro Kobayashi, Darin Goldstein.
On Formulations of Firing Squad Synchronization Problems

• Oleksiy Kurganskyy, Igor Potapov.
Computation in One-Dimensional Piecewise Maps and Planar Pseudo-Billiard Systems

• Marius Nagy, Selim G. Akl.
On the Importance of Parallelism for Quantum Computation and the Concept of a Universal Computer

• Predrag T. Tosic, Gul A. Agha.
On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata

• Tereza Tusarova.
A New Sibling of BQP

• Hiroshi Umeo, Masaya Hisaoka, Shunsuke Akiguchi.
A Twelve-State Optimum-Time Synchronization Algorithm for Two-Dimensional Rectangular Cellular Arrays

• Jiri Wiedermann.
Computing by Self-reproduction: Autopoietic Automata

• Damien Woods, J. Paul Gibson.
Lower Bounds on the Computational Power of an Optical Model of Computation

• Paolo Zuliani.
On Counterfactual Computation

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

• Michael C. Mozer.
Rational models of cognitive control

• Erik Winfree.
Fault-tolerance in biochemical systems (abstract)

• Damien Woods.
Optical computing and computational complexity

• Russ Abbott.
If a tree casts a shadow is it telling the time?

• M. Sakthi Balan, Helmut Jurgensen.
Peptide computing -- universality and theoretical model

• Monica Cardona, M. Angels Colomer, Mario J. Perez-Jimenez, Alba Zaragoza.
Handling Markov Chains with Membrane Computing

• Uffe Flarup, Klaus Meer.
Approximation classes for real number optimization problems

• Peter Hines.
Physical systems as constructive logics

• Oscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun.
On spiking neural P Systems and partially blind counter machines

• Yasuhiro Igarashi, Jerzy Gorecki, Joanna Natalia Gorecka.
Chemical information processing devices constructed using a nonlinear medium with controlled excitability

• Natasha Jonoska, Gregory L. McColm.
Flexible versus rigid tile assembly

• Shankara Narayanan Krishna.
On pure catalytic P Systems

• William B. Langdon.
Mapping non-conventional extensions of Genetic Programming

• Akihiro Mikoda, Shuichi Inokuchi, Yoshihiro Mizoguchi, Mitsuhiko Fujio.
The number of ordits of periodic box-ball systems

• Jerzy Mycka, Francisco Coelho, Jose Felix Costa.
The Euclid Abstract Machine: trisection of the angle and the Halting Problem

• Shigeru Ninagawa.
1/f noise in elementary cellular automaton rule 110

• Mihai Oltean.
A light-based device for solving the Hamiltonian path problem

• Mikhail Prokopenko, Daniel Polani, Peter Wang.
Optimizing potential information transfer with self-referential memory

• H. Ramesh, Shankara Narayanan Krishna, Raghavan Rama.
On the power of bio-Turing machines

• Dylan A. Shell, Maja J. Mataric.
Ergodic dynamics for large-scale distributed robot systems