Name
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. |
Year | DOI | Venue |
|---|---|---|
2002 | 10.1007/BF02960757 | Journal of Computer Science and Technology |
Keywords | Field | DocType |
alternate technology,sat example,enzymatic computing,graph three-colorings,future implementation,aqueous computation,biomolecular computing,sat problem,current enzymatic technology,dna computing,boolean satisfiability problem,aqueous computing,wet lab computing,fluid memory,new example | Software engineering,Computer science,Artificial intelligence,Generality,Aqueous solution | Journal |
Volume | Issue | ISSN |
17 | 6 | 1860-4749 |
Citations | PageRank | References |
5 | 0.70 | 12 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Tom Head | 1 | 35 | 4.76 |
| Xia Chen | 2 | 5 | 0.70 |
| Masayuki Yamamura | 3 | 242 | 37.62 |
| Susannah Gal | 4 | 34 | 6.31 |