Skip to main content
Springer Nature Link
Log in

Aqueous computing: A survey with an invitation to participate

  • Regular Papers
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. Head T. Formal language theory and DNA: An analysis of the generative capacity of specific recombinant behaviors.Bulletin of Mathematical Biology, 1987, 49: 737–759.

    MATH  MathSciNet  Google Scholar 

  2. Head T, Paun Gh, Pixton D. Language Theory and Molecular Genetics: Generative Mechanisms Suggested by DNA Recombination, Chapter 7 of Vol.2., Handbook of Formal Languages. Rozenberg G, Salomaa A (eds.), Springer-Verlag, Berlin, 1997, pp.295–360.

    Google Scholar 

  3. Denninghoff K L, Gatterdam R. On the undecidability of splicing systems.International Journal of Computer Mathematics, 1989, 27: 133–145.

    Article  Google Scholar 

  4. Paun Gh, Rozenberg G, Salomaa A. DNA Computing — New Computing Paradigms. Springer-Verlag, Berlin, 1998.

    MATH  Google Scholar 

  5. Adleman L. Molecular computation of solutions to combinatorial problems.Science, 1994, 266: 1021–1024.

    Article  Google Scholar 

  6. Garey M R, Johnson D S. Computers and Intractability — A Guide to the Theory of NP-Completeness. Freeman, New York, 1979.

    MATH  Google Scholar 

  7. Head T, Rozenberg G, Bladergroen Ret al. Computing with DNA by operating on plasmids.Bio Systems, 2000, 57: 87–93.

    Google Scholar 

  8. Head T, Chen X, Nichols M Jet al. Aqueous solutions of algorithmic problems: Emphasizing knights on a 3x3. InPre-Proceedings Workshop on DNA Computers #7, Jonoska N, Seeman N C (eds.), U. South Florida, Tampa, Florida, 2001, pp.219–230.

    Google Scholar 

  9. Head T, Yamamura M, Gal S. Aqueous computing: Writing on molecules. InProc. Congress on Evolutionary Computation, 1999, IEEE Service Center, Piscataway, NJ, 1999, pp.1006–1010.

    Google Scholar 

  10. Yamamura M, Head T, Gal S. Aqueous computing — Mathematical principles of molecular memory and its biomolecular implementation. Chapter 2. InGenetic Algorithms 4, Kitano H (ed.), 2000, pp.49–73 (in Japanese).

  11. Head T. Splicing systems anueous computing and beyond.InUnconventional Models of Computation UMC’2K, Antoniou I, Calude C S, Dineen M J (eds.), Springer, London, 2001, pp.68–84.

    Google Scholar 

  12. Faulkhammer D, Curkras A R, Lipton R Jet al. Molecular computation: RNA solutions to chess problems. InProc. National Academy of Sciences, 2000, 97: 1385–1389.

  13. Weiss R, Knight Jr T F. Engineered communications for microbial robotics. InDNA Computing: 6th Intern. Workshop, Condon A, Rozenberg G (eds.), Leiden, 1999,LCNS 2054, Springer Verlag, Berlin, 2000, pp.1–16.

    Google Scholar 

  14. Ehrenfeucht A, Harju T, Petre Iet al. Patterns of micronuclear genes in ciliates. InDNA Computingk, Lecture Notes in Computer Science 2340, Jonoska N, Seeman N C (eds.), Springer, Berlin, 2002, pp.279–289.

    Google Scholar 

  15. Wakabayashi K, Yamamura M. A realization of information gate by usingEnterococcus faecalis pheromone system. InPre-Proceedings of Workshop on DNA Computer #7, Jonoska N, Seeman N C (eds.), U. South Florida, Tampa, Florida, 2001, pp.199–207.

    Google Scholar 

  16. Head T. Circular suggestions for DNA computing. InPattern Formation in Biology, Vision and Dynamics. Carbone A, Gromov M, Prusinkiewicz P (eds.), 2000, pp.325–335.

  17. Yamamura M, Hiroto Y, Matoba T. Another realization of aqueous computing with peptide nucleic acid. InDNA Comtuting, Lecture Notes in Computer Science 2340, Jonoska N, Seeman N C (eds.), Springer, Berlin, 2002, pp.213–232.

    Google Scholar 

  18. Head T. Writing by Methylation Proposed for Aqueous Computing. Chapter 31 of Where Mathematics, Computer Science, Linguistics and Biology Meet, Martin-Vide C, Mitrana V (eds.), 2001, pp.353–360.

  19. Head T. An Aqueous Algorithm for Finding the Bijections in a Binary Relation. (to appear).

  20. Head T. Biomolecular realizations of a parallel architecture for solving combinatorial problems.New Generation Computing, 2001, 19: 301–312.

    Article  MATH  Google Scholar 

  21. Paun Gh. Computing with membranes.J. Computer and System Sciences, 2000, 61: 108–143.

    Article  MATH  MathSciNet  Google Scholar 

  22. Calude C S, Paun Gh. Computing with Cells and Atoms — An Introduction to Quantum, DNA and Membrane Computing. Taylor & Francis, London, 2001.

    MATH  Google Scholar 

  23. Margenstern M, Martin-Vide C, Paun Gh. Computing with membranes: Variants with an enhanced membrane handling. InDNA Computing, Lecture Notes in Computer Science 2340, Jonoska N, Seeman N C (eds.), Springer, Berlin, 2002, pp.340–349.

    Google Scholar 

  24. http://bioinformatics.bio.disco.unimib.it/psystems.

  25. Head T. Aqueous simulations of membrane computations.Romanian J. of Information Science and Technology, 2001, 4.

  26. Kari L, DNA computing: Arrival of biological mathematics.The Mathematical Intelligencer, 1977, 19: 9–22.

    MathSciNet  Google Scholar 

  27. Nicholl D S T. An Introduction to Genetic Engineering. Cambridge University Press, Cambridge, U.K., 1994.

    Google Scholar 

  28. Meyers R A (ed.). Molecular Biology and Biotechnology — A Comprehensive Desk Reference. VCH Publishers Inc., New York, 1995.

    Google Scholar 

  29. Sambrook J, Fritsch E F, Maniatis T. Molecular Cloning: A Laboratory Manual. Cold Spring Harbor Laboratory Press, Cold Spring Harbor, New York, 1989.

    Google Scholar 

  30. http://www.liacs.nl/home/pier/webPagesDNA.

  31. Balan M S, Krithivasan K, Sivasubramanyam Y. Peptide computing — Universality and complexity. InPre-Proceedings Workshop on DNA Computers #7, Jonoska N, Seeman N C (eds.), U. South Florida, Tampa, Florida, 2001, pp.189–198.

    Google Scholar 

  32. Quyang Q, Kaplan P D, Liu P D Set al. DNA solution of the maximal clique problem.Science, 1997, 278: 446–449.

    Article  Google Scholar 

  33. Lipton R J. DNA solution of computational problems.Science, 1995, 268: 542–545.

    Article  Google Scholar 

  34. Rothemund P W K. A DNA restriction Enzyme implementation of turing machines. InDIMACS Series in Discrete Math. & Theor. Computer Science, Lipton R J, Baum E B (eds.), Vol.27, American Math. Soc., 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematical Sciences, Binghamton University, 13902-6000, Binghamton, New York, USA

    Tom Head

  2. Biological Sciences Department, Binghamton University, 13902-6000, Binghamton, New York, USA

    Xia Chen & Susannah Gal

  3. Computational Intelligence and System Science, Tokyo Institute of Technology, 4259, Nagasuta, 226, Yokohama, Japan

    Masayuki Yamamura

Authors
  1. Tom Head
    View author publications

    You can also search for this author inPubMed Google Scholar

  2. Xia Chen
    View author publications

    You can also search for this author inPubMed Google Scholar

  3. Masayuki Yamamura
    View author publications

    You can also search for this author inPubMed Google Scholar

  4. Susannah Gal
    View author publications

    You can also search for this author inPubMed Google Scholar

Corresponding author

Correspondence to Tom Head.

Additional information

Tom Head is a professor of mathematics, Binghamton University, Binghamton, New York USA. He received the B.S. and M.A. degrees from University of Oklahoma in 1954 and 1955 respectively and the Ph.D. degree from University of Kansas in 1962. During 1962 — present, he has published the works dealing with discrete, algebraic, linguistic, and biomolecular representation of structure, information, computation, communication, and biomolecular processes. Currently he is interested in understanding the limitations of human language, non-linguistic schemes of expression, and the origin and cosmic role of life.

Xia Chen received the B.S. in medicine from the Third Military Medical University, P.R. China, in 1983, and the Master degree in Biology from Binghamton University, USA, in 1997. Her interests include cell and molecular biology. She is currently a research scientist at the Institute of BioMedical Technologies at Binghamton University.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Head, T., Chen, X., Yamamura, M. et al. Aqueous computing: A survey with an invitation to participate. J. Compt. Sci. & Technol. 17, 672–681 (2002). https://doi.org/10.1007/BF02960757

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02960757

Keywords