Autonomous resolution based on DNA strand displacement

DOI10.1007/978-3-642-23638-9_16MaRDI QIDQ3092341zbMATH OpenOpenAlexFDO

Authors Alfonso Rodríguez-Patón, Iñaki Sainz de Murieta, Petr Sosík

Publication date 16 September 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-23638-9_16

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Protein sequences, DNA sequences (92D20)

Recommendations

• scientific article; zbMATH DE number 1241368
• Automated design and programming of a microfluidic DNA computer
• Automating the DNA computer: Solving \(n\)-variable 3-SAT problems
• Complexity analysis of the SAT engine: DNA algorithms as probabilistic algorithms.
• A clause string DNA algorithm for SAT

Cites work

• A clause string DNA algorithm for SAT
• A Computing Procedure for Quantification Theory
• Horn clause computation by self-assembly of DNA molecules
• Horn clause computation with DNA molecules
• scientific article; zbMATH DE number 1735643 (Why is no real title available?)
• Scalable, time-responsive, digital, energy-efficient molecular circuits using DNA strand displacement
• Space bounds for resolution
• Strand Algebras for DNA Computing
• THE INFERENCE BASED ON MOLECULAR COMPUTING
• The intractability of resolution

Cited in

(7)

• Automated, constraint-based analysis of tethered DNA nanostructures
• Autonomous forward inference via DNA computing
• Probabilistic reasoning with a Bayesian DNA device based on strand displacement
• Logical inference by DNA strand algebra
• Horn clause computation by self-assembly of DNA molecules
• Probabilistic reasoning with an enzyme-driven DNA device
• Probabilistic reasoning with a Bayesian DNA device based on strand displacement

This page was built for publication: Autonomous resolution based on DNA strand displacement

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