Language theory and molecular genetics: generative mechanisms suggested by DNA recombination
Handbook of formal languages, vol. 2
Journal of Computer and System Sciences
Writing by methylation proposed for aqueous computing
Where mathematics, computer science, linguistics and biology meet
Computing with cells and atoms: an introduction to quantum, DNA and membrane computing
Computing with cells and atoms: an introduction to quantum, DNA and membrane computing
Biomolecular realizations of a parallel architecture for solving combinatorial problems
New Generation Computing
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Splicing Systems, Aqueous Computing, and Beyond
UMC '00 Proceedings of the Second International Conference on Unconventional Models of Computation
Patterns of Micronuclear Genes in ciliates
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
Aqueous Solutions of Algorithmic Problems: Emphasizing Knights on a 3 x 3
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
Peptide Computing - Universality and Complexity
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
Another Realization of Aqueous Computing with Peptide Nucleic Acid
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
A Realization of Information Gate by Using Enterococcus faecalis Pheromone System
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
Computing with Membranes: Variants with an Enhanced Membrane Handling
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
Incorporation and use of modified nucleotides in aqueous DNA computing
Natural Computing: an international journal
An approach for using modified nucleotides in aqueous DNA computing
DNA13'07 Proceedings of the 13th international conference on DNA computing
MethyLogic: implementation of boolean logic using DNA methylation
DNA'06 Proceedings of the 12th international conference on DNA Computing
Hi-index | 0.00 |
The concept of aqueous computing is presented here, first in full generality, and afterward, using an implementation in a specific enzymatic technology. Aqueous computing arose in the context of biomolecular (DNA) computing, but the concept is independent of the specifics of its biochemical origin. Alternate technologies for realizing aqueous computing are being considered for future implementation. A solution of an instance of the Boolean satisfiability problem, (SAT), is reported here that provides a new example of an aqueous computation that has been carried out successfully. This small instance of the SAT problem is sufficiently complex to allow our current enzymatic technology to be illustrated in detail. The reader is invited to participate in the rich interdisciplinary activity required by wet lab computing. A project is suggested to the reader for determining the three-colorings of a graph. The basic operations required for this project are exhibited in the solution of the SAT example reported here.