A MEMS based DNA computer for solving SAT problems

Proceedings of 1st IEEE International Conference on Nano Micro Engineered and Molecular Systems, 1st IEEE-NEMS

Volumn , Issue , 2006, Pages 172-177

  Yang, Chia Ning ^a   Chao, Chien Hsiang ^b,c   Cheng, Hsiao Ping ^b   Lin, Che Hsin ^b,c  

^a I SHOU UNIVERSITY   (Taiwan)

^b NATIONAL SUN YAT SEN UNIVERSITY   (Taiwan)

^c NATIONAL SUN YAT SEN UNIVERSITY   (Taiwan)

Author keywords

Back side exposure; DNA computing; MEMS based microarray; SAT problem

Indexed keywords

ARTS COMPUTING; BOOLEAN FUNCTIONS; CALCULATIONS; COMPOSITE MICROMECHANICS; DNA; DNA SEQUENCES; EXPERIMENTS; GENES; GENETIC PROGRAMMING; IMAGE ACQUISITION; KETONES; MEMS; MICROELECTROMECHANICAL DEVICES; MOLECULES; NEMS; NUCLEIC ACIDS; ORGANIC ACIDS; SEPARATION;

#SAT PROBLEMS; (E ,3E) PROCESS; BACK SIDE EXPOSURE; BOOLEAN FORMULAS; CHEMICAL SOLUTIONS; COMPUTING EXPERIMENT; COMPUTING PROCESSES; DATA POOLING; DNA COMPUTER; DNA COMPUTING; EXPERIMENTAL RESULTS; FLUORESCENT MICROSCOPE; INTERNATIONAL CONFERENCES; LARGE-SCALE PROBLEMS; MICRO ARRAYS; MOLECULAR SYSTEMS; PROBLEM SIZES; SAT PROBLEMS;

COMPUTER SYSTEMS;

EID: 46149125045     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/NEMS.2006.334663     Document Type: Conference Paper

References (21)

1. L. Adleman, "Molecular Computation of Solutions to Combinatorial Problems", Science, vol.266, pp. 1021-1024, 1994.
2. R. J. Lipton, "DNA Solution of Hard Computational Problems", Science, vol. 268, pp. 542-545, 1995.
3. T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein, Introduction to Algorithms, 2nd edition ed. Boston: The MIT Press, 2001.
4. K. Sakamoto, H. Gouzu, K. Komiya, D. Kiga, S. Yokoyama, T. Yokomori, and M. Hagiya, "Molecular computation by DNA hairpin formation", Science, vol. 288, pp. 1223-1226, 2000.
5. Q. H. Liu, L. M. Wang, A. G. Frutos, A. E. Condon, R. M. Corn, and L. M. Smith, "DNA computing on surfaces", Nature, vol. 403, pp. 175-179, 2000.
6. R. S. Braich, N. Chelyapov, C. Johnson, P. W. K. Rothemund, and L. Adleman, "Solution of a 20-variable 3-SAT problem on a DNA computer", Science, vol. 296, pp. 499-502, 2002.
7. G. Rozenberg and H. Spaink, "DNA computing by blocking", Theor Comput Sci, vol. 292, pp. 653-665, 2003.
8. L. M. Wang, Q. H. Liu, R. M. Corn, A. E. Condon, and L. M. Smith, "Multiple word DNA computing on surfaces", J Am Chem Soc, vol. 122, pp. 7435-7440, 2000.
9. S. Diaz, J. L. Esteban, and M. Ogihara, A DNA-Based Random Walk Method for Solving k-SAT. Berlin: Springer-Verlag, 2001.
10. K. Chen and Ramachandran, A Space-Efficient Randomized DNA Algorithm for k-SAT. Condon, 2001.
11. H. Yoshida and A. Suyama, Solution to 3-SAT by Breadth First Search, vol. 54 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science. Providence: American Mathematical Society, 1999.
12. M. C. Pirrung, R. V. Connors, A. L. Odenbaugh, M. P. Montague-Smith, N. G. Walcott, and J. J. Tollett, "The arrayed primer extension method for DNA microchip analysis, molecular computation of satisfaction problems", J Am Chem Soc, vol. 122, pp. 1873-1882, 2000.
13. K. A. Schmidt, C. V. Henkel, G. Rozenberg, and H. P. Spaink, "DNA computing using single-molecule hybridization detection", Nucleic Acids Research, vol. 32, pp. 4962-4968, 2004.
14. X. P. Su and L. M. Smith, "Demonstration of a universal surface DNA computer", Nucleic Acids Research, vol. 32, pp. 3115-3123, 2004.
15. Q. Ouyang, P. D. Kaplan, S. M. Liu, and A. Libchaber, "DNA solution of the maximal clique problem". Science, vol. 278, pp. 446-449, 1997.
16. W. B. Liu, F. Y. Zhang, and J. Xu, "A DNA algorithm for the graph coloring problem", J Chem Inf Comp Sci, vol. 42, pp. 1176-1178, 2002.
17. G. Paun and G. Rozenberg, "Sticker systems", Theor Comput Sci, vol. 204, pp. 183-203, 1998.
18. C. N. Yang and C. B. Yang, "DNA Solution of SAT Problem by a Modified Sticker Model", BioSystems, vol. 81, pp. 1-9, 2005.
19. Z. Guo, R. A. Guilfoyle, A. J. Thiel, R. Wang, and L. M. Smith, "Direct fluorescence analysis of genetic polymorphisms by hybridization with oligonucleotide arrays on glass supports", Nucleic Acids Research, vol. 22, pp. 5456-5465, 1994.
20. C. R. Graham, D. Leslie, and D. J. Squirrel, "Gene probe assays on a fiber-optic evanescent wave biosensor", biosensors and bioelectronics, vol. 7, pp. 487-493, 1992.
21. S. Britland, E. Perez-Arnaud, P. Clark, B. McGinn, P. Connolly, and G. Moored, "Micropatterning proteins and synthetic peptides on solid supports: a novel application for microelectronics fabrication technology", Biotechnology Progress, vol. 8. pp. 155-160, 1992.