Share Email Print

Proceedings Paper

Ligation module for in vitro selection in DNA computing
Author(s): Danny van Noort; In-Hee Lee; Laura F. Landweber; Byoung-Tak Zhang
Format Member Price Non-Member Price
PDF $17.00 $21.00

Paper Abstract

In this paper a classical AI problem is proposed to be solved by DNA computing: theorem proving. Since the complexity grows exponentially with the size of the problem, the solving process should be done in parallel. Massive parallelism is one of the advantages of DNA computers. It will be shown that the resolution refutation proof can be readily implemented by DNA hybridisation and ligation. Microreactors lend themselves to a relatively simple implementation of DNA computing. Not only is the design of the DNA critical for the success of the system but also the architecture of the microfluidic structure. Here the DNA performs the computation, while the microfluidics aids the biochemical steps necessary to manipulate the DNA, i.e. hybridisation and ligation.

Paper Details

Date Published: 16 February 2005
PDF: 7 pages
Proc. SPIE 5651, Biomedical Applications of Micro- and Nanoengineering II, (16 February 2005); doi: 10.1117/12.582210
Show Author Affiliations
Danny van Noort, Seoul National Univ. (South Korea)
Princeton Univ. (United States)
In-Hee Lee, Seoul National Univ. (South Korea)
Laura F. Landweber, Princeton Univ. (United States)
Byoung-Tak Zhang, Seoul National Univ. (South Korea)

Published in SPIE Proceedings Vol. 5651:
Biomedical Applications of Micro- and Nanoengineering II
Dan V. Nicolau, Editor(s)

© SPIE. Terms of Use
Back to Top
Sign in to read the full article
Create a free SPIE account to get access to
premium articles and original research
Forgot your username?