Automated analysis of tethered DNA nanostructures using constraint solving
暂无分享,去创建一个
[1] Itamar Willner,et al. Powering the programmed nanostructure and function of gold nanoparticles with catenated DNA machines , 2013, Nature Communications.
[2] Jehoshua Bruck,et al. Programmability of Chemical Reaction Networks , 2009, Algorithmic Bioprocesses.
[3] Justin Werfel,et al. DyNAMiC Workbench: an integrated development environment for dynamic DNA nanotechnology , 2015, Journal of The Royal Society Interface.
[4] Andrew Phillips,et al. Probabilistic Analysis of Localized DNA Hybridization Circuits. , 2015, ACS synthetic biology.
[5] P. Rothemund. Folding DNA to create nanoscale shapes and patterns , 2006, Nature.
[6] J. Doye,et al. DNA nanotweezers studied with a coarse-grained model of DNA. , 2009, Physical review letters.
[7] Luca Cardelli,et al. Design and analysis of DNA strand displacement devices using probabilistic model checking , 2012, Journal of The Royal Society Interface.
[8] Flavio Romano,et al. Introducing improved structural properties and salt dependence into a coarse-grained model of DNA. , 2015, The Journal of chemical physics.
[9] Matthew R. Lakin,et al. Abstract Modelling of Tethered DNA Circuits , 2014, DNA.
[10] Luca Cardelli,et al. Programmable chemical controllers made from DNA. , 2013, Nature nanotechnology.
[11] J. Doye,et al. Sequence-dependent thermodynamics of a coarse-grained DNA model. , 2012, The Journal of chemical physics.
[12] Jonathan Bath,et al. Optimizing DNA nanotechnology through coarse-grained modeling: a two-footed DNA walker. , 2013, ACS nano.
[13] G. Seelig,et al. Dynamic DNA nanotechnology using strand-displacement reactions. , 2011, Nature chemistry.
[14] Lulu Qian,et al. Programmable disorder in random DNA tilings. , 2017, Nature nanotechnology.
[15] Erik Winfree,et al. A General-Purpose CRN-to-DSD Compiler with Formal Verification, Optimization, and Simulation Capabilities , 2017, DNA.
[16] Matthew R. Lakin,et al. A strand graph semantics for DNA-based computation , 2016, Theor. Comput. Sci..
[17] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[18] Erik Winfree,et al. DNA as a universal substrate for chemical kinetics , 2009, Proceedings of the National Academy of Sciences.
[19] Niles A. Pierce,et al. An algorithm for computing nucleic acid base‐pairing probabilities including pseudoknots , 2004, J. Comput. Chem..
[20] Lulu Qian,et al. Supporting Online Material Materials and Methods Figs. S1 to S6 Tables S1 to S4 References and Notes Scaling up Digital Circuit Computation with Dna Strand Displacement Cascades , 2022 .
[21] Jonathan Bath,et al. Remote toehold: a mechanism for flexible control of DNA hybridization kinetics. , 2011, Journal of the American Chemical Society.
[22] Matthew J. A. Wood,et al. DNA cage delivery to mammalian cells. , 2011, ACS nano.
[23] Lorenzo Rovigatti,et al. Coarse-graining DNA for simulations of DNA nanotechnology. , 2013, Physical chemistry chemical physics : PCCP.
[24] P. Rothemund,et al. Programmable molecular recognition based on the geometry of DNA nanostructures. , 2011, Nature chemistry.
[25] Wei Li,et al. A cargo-sorting DNA robot , 2017, Science.
[26] Georg Seelig,et al. A spatially localized architecture for fast and modular DNA computing. , 2017, Nature nanotechnology.
[27] Matthew R. Lakin,et al. Automated, Constraint-Based Analysis of Tethered DNA Nanostructures , 2017, DNA.
[28] Friedrich C Simmel,et al. Long-range movement of large mechanically interlocked DNA nanostructures , 2016, Nature Communications.
[29] Hieu Bui,et al. Design and Analysis of Localized DNA Hybridization Chain Reactions. , 2017, Small.
[30] Dejan Jovanović,et al. Solving Non-linear Arithmetic , 2012, IJCAR.
[31] Jehoshua Bruck,et al. Neural network computation with DNA strand displacement cascades , 2011, Nature.
[32] Luis Ceze,et al. DNA-based molecular architecture with spatially localized components , 2013, ISCA.
[33] Luca Cardelli,et al. Abstractions for DNA circuit design , 2011, Journal of The Royal Society Interface.
[34] Matthew R. Lakin,et al. Bioinformatics Applications Note Systems Biology Visual Dsd: a Design and Analysis Tool for Dna Strand Displacement Systems , 2022 .