Abstractions for DNA circuit design

Journal of the Royal Society Interface

Volumn 9, Issue 68, 2012, Pages 470-486

  Lakin, Matthew R ^a   Youssef, Simon ^a,b   Cardelli, Luca ^a   Phillips, Andrew ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

^b UNIVERSITY OF MUNICH   (Germany)

Author keywords

Abstraction; DNA oscillator; DNA strand displacement; Formal methods; Modularity

Indexed keywords

ABSTRACTING; ASSOCIATION REACTIONS; DATA PROCESSING; DESIGN; DNA; EQUIPMENT; FORMAL METHODS; NETWORK ARCHITECTURE; REACTION KINETICS;

ABSTRACTION; BUFFERED ARCHITECTURE; CHEMICAL REACTION NETWORKS; CIRCUIT DESIGNS; COMPUTATIONAL COSTS; COMPUTATIONAL DEVICES; DEVICE DESIGN; DISPLACEMENT DEVICES; DNA DEVICES; DNA STRAND DISPLACEMENT; DNA STRANDS; EXPERIMENTAL EQUIPMENTS; HIGH-LEVEL DESIGN; INFORMATION PROCESSING DEVICES; LEVELS OF DETAIL; MODULARITY; NUCLEOTIDE SEQUENCES; PROGRAMMING LANGUAGE; RAPID ANALYSIS; SUSTAINED OSCILLATIONS; UNIVERSAL COMPUTATIONS;

DNA SEQUENCES;

ACCURACY; ALGORITHM; ARTICLE; CLINICAL EFFECTIVENESS; COMPUTER ANALYSIS; COMPUTER LANGUAGE; CONTROLLED STUDY; COST; DNA STRAND DISPLACEMENT DEVICE; INFORMATION PROCESSING DEVICE; OSCILLATION; PROGRAM DEVELOPMENT; SEMANTICS;

EID: 84856941178     PISSN: 17425689     EISSN: 17425662     Source Type: Journal    
DOI: 10.1098/rsif.2011.0343     Document Type: Article

References (35)

1. Adleman, L. M. 1994 Molecular computation of solutions to combinatorial problems. Science 226, 1021-1024. (doi:10.1126/science.7973651)
2. Venkataraman, S., Dirks, R. M., Ueda, C. T. & Pierce, N. A. 2010 Selective cell death mediated by small conditional RNAs. Proc. Natl Acad. Sci. USA 107, 16 777-16 782. (doi:10.1073/pnas.1006377107)
3. Carlson, R. 2009 The changing economics of DNA synthesis. Nat. Biotechnol. 27, 1091-1094. (doi:10.1038/nbt1209-1091)
4. Seelig, G., Soloveichik, D., Zhang, D. Y. & Winfree, E. 2006 Enzyme-free nucleic acid logic circuits. Science 314, 1585-1588. (doi:10.1126/science.1132493)
5. Qian, L. & Winfree, E. 2011 A simple DNA gate motif for synthesizing large-scale circuits. J. R. Soc. Interface 8, 1281-1297. (doi:10.1098/rsif.2010. 0729)
6. Anderson, J. C., Dueber, J. E., Leguia, M., Wu, G. C., Goler, J. A., Arkin, A. P. & Keasling, J. D. 2010 BglBricks: a flexible standard for biological part assembly. J. Biol. Eng. 4, 1. (doi:10.1186/1754-1611-4-1)
7. Smolke, C. D. 2009 Building outside of the box: iGEM and the BioBricks Foundation. Nat. Biotech. 27, 1099-1102. (doi:10.1038/nbt1209-1099)
8. Goel, A. & Ibrahimi, M. 2009 Renewable, time-responsive DNA logic gates for scalable digital circuits. In DNA Computing and Molecular Programming: 15th Int. Conf., DNA 15, Fayetteville, AR, USA, 8-11 June 2009, Revised Selected Papers (eds R. Deaton & A. Suyama). Lecture Notes in Computer Science, no. 5877, pp. 67-77. Berlin, Germany: Springer.
9. Ran, T., Kaplan, S. & Shapiro, E. 2009 Molecular implementation of simple logic programs. Nat. Nanotechnol. 4, 642-648. (doi:10.1038/nnano.2009. 203)
10. Kim, J. & Winfree, E. 2011 Synthetic in vitro transcriptional oscillators. Mol. Syst. Biol. 7, 465. (doi:10.1038/msb.2010.119)
11. Zhang, D. Y. & Seelig, G. 2011 Dynamic DNA nanotechnology using strand-displacement reactions. Nat. Chem. 3, 103-113. (doi:10.1038/nchem.957)
12. Zhang, D. Y., Turberfield, A. J., Yurke, B. & Winfree, E. 2007 Engineering entropy-driven reactions and networks catalyzed by DNA. Science 318, 1121-1125. (doi:10. 1126/science.1148532)
13. Sakamoto, K., Gouzu, H., Kiga, D., Yokoyama, S. & Yokomori, T. 2000 Molecular computation by DNA hairpin formation. Science 288, 1223-1226. (doi:10.1126/science.288.5469.1223)
14. Yin, P., Choi, H. M. T., Calvert, C. R. & Pierce, N. A. 2008 Programming biomolecular self-assembly pathways. Nature 451, 318-322. (doi:10.1038/nature06451)
15. Omabegho, T., Sha, R. & Seeman, N. C. 2009 A bipedal DNA Brownian motor with coordinated legs. Science 324, 67-71. (doi:10.1126/science.1170336)
16. Phillips, A. & Cardelli, L. 2009 A programming language for composable DNA circuits. J. R. Soc. Interface 6(Suppl. 4), S419-S436. (doi:10.1098/rsif.2009. 0072.focus)
17. Soloveichik, D., Seelig, G. & Winfree, E. 2010 DNA as a universal substrate for chemical kinetics. Proc. Natl Acad. Sci. USA 107, 5393-5398. (doi:10.1073/pnas. 0909380107)
18. Hoops, S. et al. 2006 COPASI-a complex pathway simulator. Bioinformatics 22, 3067-3074. (doi:10.1093/bioinformatics/btl485)
19. Milner, R. 1999 Communicating and mobile systems: the π-calculus. Cambridge, UK: Cambridge University Press.
20. Sangiorgi, D. & Walker, D. 2001 The p-calculus: a theory of mobile processes. Cambridge, UK: Cambridge University Press.
21. Kari, L., Konstantinidis, S. & Sosik, P. 2005 On properties of bond-free DNA languages. Theor. Comput. Sci. 334, 131-159. (doi:10.1016/j.tcs. 2004.12.032)
22. Zhang, D. Y. & Winfree, E. 2009 Control of DNA strand displacement kinetics using toehold exchange. J. Am. Chem. Soc. 131, 17 303-17 314. (doi:10.1021/ja906987s)
23. Yurke, B. & Mills, A. P. 2003 Using DNA to power nano-structures. Genet. Prog. Evol. Mach. 4, 111-122. (doi:10. 1023/A:1023928811651)
24. Paulevé, L., Youssef, S., Lakin, M. R. & Phillips, A. 2010 A generic abstract machine for stochastic process calculi. In CMSB 2010: Proc. 8th Int. Conf. on Computational Methods in Systems Biology, pp. 43-54. New York, NY: ACM.
25. Cardelli, L. 2009 Strand algebras for DNA computing. In DNA Computing and Molecular Programming: 15th Int. Conf., DNA 15, Fayetteville, AR, USA, 8-11 June 2009, Revised Selected Papers (eds R. Deaton & A. Suyama). Lecture Notes in Computer Science, no. 5877, pp. 12-24. Berlin, Germany: Springer.
26. Cardelli, L. 2010 Two-domain DNA strand displacement. In Developments in Computational models (DCM 2010), Electronic Proc. Theoretical Computer Science, vol. 26 (eds S. B. Cooper, E. Kashefi & P. Panangaden), pp. 47-61. Open Publishing Association.
27. Lachmann, M. & Sella, G. 1995 The computationally complete ant colony: global coordination in a system with no hierarchy. In Advances in Artifical Life: Third European Conf. on Artificial Life, Granada, Spain, 4-6 June 1995, Proc. (eds F. Morán, A. Moreno, J. Julián Merelo & P. Chacón). Lecture Notes in Computer Science, no. 929, pp. 784-800. Berlin, Germany: Springer.
28. Faeder, J.R., Blinov, M.L. & Hlavacek, W.S. 2009 Rule-based modeling of biochemical systems with BioNetGen. Methods Mol. Biol. 500, 113-167. (doi:10.1007/978-1-59745-525-1-5)
29. Chylek, L. A. et al. 2011 Guidelines for visualizing and annotating rule-based models. Mol. BioSyst. (doi:10. 1039/c1mb05077j)
30. Zhang, D. Y. 2011 Cooperative hybridization of oligonucleotides. J. Am. Chem. Soc. 133, 1077-1086. (doi:10. 1021/ja109089q)
31. Genot, A. J., Yu Zhang, D., Bath, J. & Turberfield, A. J. 2011 Remote toehold: a mechanism for flexible control of dna hybridization kinetics. J. Am. Chem. Soc. (doi:10. 1021/ja1073239)
32. Zadeh, J. N., Steenberg, C. D., Bois, J. S., Wolfe, B. R., Pierce, M. B., Khan, A. R., Dirks, R. M. & Pierce, N. A. 2011 NUPACK: analysis and design of nucleic acid systems. J. Comput. Chem. 32, 170-173. (doi:10.1002/jcc.21596)
33. Qian, L. &Winfree, E. 2011 Scaling up digital circuit computation with DNA strand displacement cascades. Science 332, 1196-1201. (doi:10.1126/science.1200520) (http://www.sciencemag.org/content/332/6034/1196. abstract)
34. Hinton, A., Kwiatkowska, M., Norman, G. & Parker, D. 2006 PRISM: a tool for automatic verification of probabilistic systems. In Proc. 12th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06) (eds H. Hermanns & J. Palsberg). Lecture Notes in Computer Science, no. 3920, pp. 441-444. Berlin, Germany: Springer.
35. Aziz, A., Sanwal, K., Singhal, V. & Brayton, R. 2000 Model-checking continuous time Markov chains. ACM. Trans. Comput. Log. 1, 162-170. (doi:10.1145/343369.343402)