Molecular implementation of simple logic programs

Nature Nanotechnology

Volumn 4, Issue 10, 2009, Pages 642-648

  Ran, Tom ^a   Kaplan, Shai ^a   Shapiro, Ehud ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMOLECULES; COMPUTATION THEORY; LOGIC PROGRAMMING; MEDICAL APPLICATIONS; QUERY PROCESSING; SOFTWARE PROTOTYPING;

BIOLOGICAL ENVIRONMENTS; BIOMOLECULAR COMPUTING; BIOMOLECULAR IMPLEMENTATION; COMPUTING DEVICES; EXPRESSIVE POWER; MOLECULAR REPRESENTATIONS; MOLECULAR SYSTEMS; ROBOTIC SYSTEMS;

COMPUTER CIRCUITS;

ACCURACY; ARTICLE; COMPUTER PROGRAM; CONTROLLED STUDY; DNA STRAND; LOGIC; PERFORMANCE; PRIORITY JOURNAL; PROGRAM DEVELOPMENT; ROBOTICS;

EID: 70350683746     PISSN: 17483387     EISSN: 17483395     Source Type: Journal    
DOI: 10.1038/nnano.2009.203     Document Type: Article

References (30)

1. Gardner, T. S., Cantor, C. R. & Collins, J. J. Construction of a genetic toggle switch in Escherichia coli. Nature 403, 339-342 (2000).
2. Benenson, Y., Gil, B., Ben-Dor, U., Adar, R. & Shapiro, E. An autonomous molecular computer for logical control of gene expression. Nature 429, 423-429 (2004).
3. Basu, S., Gerchman, Y., Collins, C. H., Arnold, F. H. & Weiss, R. A synthetic multicellular system for programmed pattern formation. Nature 434, 1130-1134 (2005).
4. Seelig, G., Soloveichik, D., Zhang, D. Y. & Winfree, E. Enzyme-free nucleic acid logic circuits. Science 314, 1585-1588 (2006).
5. Rinaudo, K. et al. A universal RNAi-based logic evaluator that operates in mammalian cells. Nature Biotechnol. 25, 795-801 (2007).
6. Deans, T. L., Cantor, C. R. & Collins, J. J. A tunable genetic switch based on RNAi and repressor proteins for regulating gene expression in mammalian cells. Cell 130, 363-372 (2007).
7. Kobayashi, H. et al. Programmable cells: interfacing natural and engineered gene networks. Proc. Natl Acad. Sci. USA 101, 8414-8419 (2004).
8. Benenson, Y. et al. Programmable and autonomous computing machine made of biomolecules. Nature 414, 430-434 (2001).
9. Stojanovic, M. N. & Stefanovic, D. A deoxyribozyme-based molecular automaton. Nature Biotechnol. 21, 1069-1074 (2003).
10. Breaker, R. R. Engineered allosteric ribozymes as biosensor components. Curr. Opin. Biotechnol. 31-39 (2002).
11. Macdonald, J. et al. Medium scale integration of molecular logic gates in an automaton. Nano Lett. 6, 2598-2603 (2006).
12. Zhang, D. Y., Turberfield, A. J., Yurke, B. & Winfree, E. Engineering entropydriven reactions and networks catalyzed by DNA. Science 318, 1121-1125 (2007).
13. Isaacs, F. J. et al. Engineered riboregulators enable post-transcriptional control of gene expression. Nature Biotechnol. 22, 841-847 (2004).
14. Kobayashi, S., Yokomori, T., Sampei, G. & Mizobuchi, K. DNA implementation of simple horn clause computation. IEEE International Conference on Evolutionary Computation, 213-217 (Indianapolis, USA, 1997).
15. Kobayashi, S. Horn clause computation with DNA molecules. J. Comb. Optim. 3, 277-299 (1999).
16. Siewicz, P., Janczak, T., Mulawaka, J. J. & Plucienniczak, A. The inference via DNA computing. Congress on Evolutionary Computation, 988-993 (Washington, USA, 1999).
17. Siewicz, P., Janczak, T., Mulawaka, J. J. & Plucienniczak, A. The inference based on molecular computing. Int. J. Cybern. Syst. 31/3, 283-315 (2000).
18. Uejima, H., Hagiya, M. & Kobayashi, S. Horn clause computation by selfassembly of DNA molecules. Lecture Notes in Computer Science, DNA Computing 7, 308-320 (2002).
19. Adar, R. et al. Stochastic computing with biomolecular automata. Proc. Natl Acad. Sci. USA 101, 9960-9965 (2004).
20. Sterling, L. & Shapiro, E. The Art of Prolog: Advanced Programming Techniques (MIT Press, 1986, 1994).
21. Lloyd, J. W. Foundations of Logic Programming (Springer-Verlag, 1987).
22. Bratko, I. Prolog Programming for Arti.cial Intelligence (Addison-Wesley, 2001).
23. Covington, M. A. Natural Language Processing for Prolog Programmers (Prentice Hall, 1994).
24. Gazdar, G. & Mellish, C. S. Natural Language Processing in Prolog: an Introduction to Computational Linguistics (Addison-Wesley, 1989).
25. Shapiro, E. Concurrent Prolog: Collected Papers, Vols 1 and 2 (MIT Press, 1987).
26. Tarnland, S. A. Horn clause computability. J. Comb. Optim. 17, 215-226 (1977).
27. Shapiro, E. Alternation and the computational complexity of logic programs. J. Logic Programming 1, 19-33 (1984).
28. Benenson, Y., Adar, R., Paz-Elizur, T., Livneh, Z. & Shapiro, E. DNA molecule provides a computing machine with both data and fuel. Proc. Natl Acad. Sci. USA 100, 2191-2196 (2003).
29. Maslow, A. A theory of human motivation. Psychol. Rev. 50, 370-396 (1943).
30. Winfree, E. Biochemical logic: submerged circuits of floating DNA. ENGenious, 52-54 (2007).