Pages that link to "Item:Q2948415"
From MaRDI portal
The following pages link to Automated Design and Verification of Localized DNA Computation Circuits (Q2948415):
Displaying 16 items.
- A strand graph semantics for DNA-based computation (Q288814) (← links)
- A renewable, modular, and time-responsive DNA circuit (Q537854) (← links)
- Experimental analysis of the basic idea on the transcription-based diagnostic automata controlled by programmed molecules (Q941683) (← links)
- Isothermal reactivating whiplash PCR for locally programmable molecular computation (Q968404) (← links)
- \(CRN \mathrm{++}\): molecular programming language (Q1621124) (← links)
- Automated, constraint-based analysis of tethered DNA nanostructures (Q1694407) (← links)
- Implementation of Turing machine using DNA strand displacement (Q1989518) (← links)
- DNA walker circuits: computational potential, design, and verification (Q2003463) (← links)
- Formal semantics and verification of network-based biocomputation circuits (Q2234096) (← links)
- Design of nucleic acid strands with long low-barrier folding pathways (Q2311318) (← links)
- Computing properties of stable configurations of thermodynamic binding networks (Q2315010) (← links)
- DNA Walker Circuits: Computational Potential, Design, and Verification (Q5168496) (← links)
- DNA computing approach for automated test pattern generation for digital circuits (Q5402738) (← links)
- DNA Computing (Q5494348) (← links)
- DNA Computing (Q5717654) (← links)
- DNA Computing (Q5717674) (← links)