Aqueous computing: A survey with an invitation to participate

Tom Head, Xia Chen, Masayuki Yamamura, Susannah Gal

Research output: Contribution to journalArticle

13 Citations (Scopus)

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.

Original languageEnglish (US)
Pages (from-to)672-681
Number of pages10
JournalJournal of Computer Science and Technology
Volume17
Issue number6
DOIs
StatePublished - Jan 1 2002

Fingerprint

Satisfiability Problem
Computing
Coloring
Boolean Satisfiability
DNA Computing
DNA
Alternate
Colouring
Graph in graph theory
Concepts

All Science Journal Classification (ASJC) codes

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture
  • Computer Science Applications
  • Computational Theory and Mathematics

Cite this

Head, Tom ; Chen, Xia ; Yamamura, Masayuki ; Gal, Susannah. / Aqueous computing : A survey with an invitation to participate. In: Journal of Computer Science and Technology. 2002 ; Vol. 17, No. 6. pp. 672-681.
@article{072d217f346d409482f39f2ab5bccde1,
title = "Aqueous computing: A survey with an invitation to participate",
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.",
author = "Tom Head and Xia Chen and Masayuki Yamamura and Susannah Gal",
year = "2002",
month = "1",
day = "1",
doi = "10.1007/BF02960757",
language = "English (US)",
volume = "17",
pages = "672--681",
journal = "Journal of Computer Science and Technology",
issn = "1000-9000",
publisher = "Springer New York",
number = "6",

}

Aqueous computing : A survey with an invitation to participate. / Head, Tom; Chen, Xia; Yamamura, Masayuki; Gal, Susannah.

In: Journal of Computer Science and Technology, Vol. 17, No. 6, 01.01.2002, p. 672-681.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Aqueous computing

T2 - A survey with an invitation to participate

AU - Head, Tom

AU - Chen, Xia

AU - Yamamura, Masayuki

AU - Gal, Susannah

PY - 2002/1/1

Y1 - 2002/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0036867899&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0036867899&partnerID=8YFLogxK

U2 - 10.1007/BF02960757

DO - 10.1007/BF02960757

M3 - Article

AN - SCOPUS:0036867899

VL - 17

SP - 672

EP - 681

JO - Journal of Computer Science and Technology

JF - Journal of Computer Science and Technology

SN - 1000-9000

IS - 6

ER -