Automated analysis of tethered DNA nanostructures using constraint solving

DOI10.1007/S11047-018-9693-YMaRDI QIDQ6062022zbMATH OpenOpenAlexWikidataFDO

Authors Matthew R. Lakin, Andrew Phillips

Publication date 30 November 2023

Published in Natural Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11047-018-9693-y

zbMATH Keywords

DNA strand displacementmolecular computingmolecular geometrytethered DNA nanostructures

Mathematics Subject Classification ID

Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Biophysics (92C05)

Recommendations

• Automated, constraint-based analysis of tethered DNA nanostructures
• scientific article; zbMATH DE number 956625
• Modeling protein-DNA complexes with tangles
• Characterizing DNA bond shapes using trajectories
• Characterizing DNA Bond Shapes Using Trajectories
• A survey of n-string tangle analyses of DNA-enzyme synaptic complexes
• Abstract modelling of tethered DNA circuits
• A topological approach to assembling strands-based DNA tetrahedra
• DNA self-assembly and computation studied with a coarse-grained dynamic bonded model

Cites work

• A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities
• A strand graph semantics for DNA-based computation
• Abstract modelling of tethered DNA circuits
• Automated, constraint-based analysis of tethered DNA nanostructures
• Solving non-linear arithmetic

Cited in

(1)

• scientific article; zbMATH DE number 956625 (Why is no real title available?)

This page was built for publication: Automated analysis of tethered DNA nanostructures using constraint solving

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6062022)