DNA walker circuits: Computational potential, design, and verification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8141 LNCS, Issue , 2013, Pages 31-45

  Dannenberg, Frits ^a   Kwiatkowska, Marta ^a   Thachuk, Chris ^a   Turberfield, Andrew J ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CHEMICAL AND BIOLOGICALS; DISCRETE STOCHASTIC MODELS; DNA STRAND DISPLACEMENTS; HYBRIDIZATION REACTIONS; NATURAL INTERFACES; NON-TRIVIAL FUNCTION; PROBABILISTIC MODEL CHECKING; SILICON CIRCUITS;

BOOLEAN FUNCTIONS; CALCULATIONS; ERRORS; MODEL CHECKING; SILICON;

DNA;

EID: 84885970867     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-01928-4_3     Document Type: Conference Paper

References (17)

1. Intel i5-2520M, Fedora 3.8.4-102.fc17.x86 64, OpenJDK RE-1.7, PRISM 4.0.3
2. Bath, J., Green, S.J., Turberfield, A.J.: A free-running DNA motor powered by a nicking enzyme. Angewandte Chemie (International ed. in English) 44(28), 4358-4361 (2005)
3. Bellamy, S.R.W., Milsom, S.E., Scott, D.J., Daniels, L.E., Wilson, G.G., Halford, S.E.: Cleavage of individual DNA strands by the different subunits of the heterodimeric restriction endonuclease BbvCI. Journal of Molecular Biology 348(3), 641-653 (2005)
4. Bryant, R.E.: Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys 24(3), 293-318 (1992)
5. Chandran, H., Gopalkrishnan, N., Phillips, A., Reif, J.: Localized hybridization circuits. In: Cardelli, L., Shih, W. (eds.) DNA 17. LNCS, vol. 6937, pp. 64-83. Springer, Heidelberg (2011)
6. Dannenberg, F., Hahn, E.M., Kwiatkowska, M.: Computing cumulative rewards using fast adaptive uniformisation. In: Proc. 11th Conference on Computational Methods in Systems Biology (CMSB 2013) (to appear)
7. Green, S., Bath, J., Turberfield, A.: Coordinated chemomechanical cycles: A mechanism for autonomous molecular motion. Physical Review Letters 101(23), 238101 (2008)
8. Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of probabilistic realtime systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585-591. Springer, Heidelberg (2011)
9. von Neumann, J.: Probabilistic logics and synthesis of reliable organisms from unreliable components. In: Shannon, C., McCarthy, J. (eds.) Automata Studies, pp. 43-98. Princeton University Press (1956)
10. Omabegho, T., Sha, R., Seeman, N.C.: A bipedal DNA Brownian motor with coordinated legs. Science 324(5923), 67-71 (2009)
11. Qian, L., Soloveichik, D., Winfree, E.: Efficient Turing-universal computation with DNA polymers. In: Sakakibara, Y., Mi, Y. (eds.) DNA 16 2010. LNCS, vol. 6518, pp. 123-140. Springer, Heidelberg (2011)
12. Qian, L., Winfree, E.: Scaling up digital circuit computation with DNA strand displacement cascades. Science 332(6034), 1196-1201 (2011)
13. Seelig, G., Soloveichik, D., Zhang, D., Winfree, E.: Enzyme-free nucleic acid logic circuits. Science 314(5805), 1585-1588 (2006)
14. Wickham, S.F.J., Bath, J., Katsuda, Y., Endo, M., Hidaka, K., Sugiyama, H., Turberfield, A.J.: A DNA-based molecular motor that can navigate a network of tracks. Nature Nanotechnology 7(3), 169-173 (2012)
15. Wickham, S.F.J., Endo, M., Katsuda, Y., Hidaka, K., Bath, J., Sugiyama, H., Turberfield, A.J.: Direct observation of stepwise movement of a synthetic molecular transporter. Nature Nanotechnology 6(3), 166-169 (2011)
16. Yin, P., Yan, H., Daniell, X.G., Turberfield, A.J., Reif, J.H.: A unidirectional DNA walker that moves autonomously along a track. Angewandte Chemie International Edition 43(37), 4906-4911 (2004)
17. Zhang, D.Y., Winfree, E.: Control of DNA strand displacement kinetics using toehold exchange. Journal of the American Chemical Society 131(47), 17303-17314 (2009)