Pages that link to "Item:Q5168509"
From MaRDI portal
The following pages link to Functional Analysis of Large-Scale DNA Strand Displacement Circuits (Q5168509):
Displaying 9 items.
- Modular verification of chemical reaction network encodings via serializability analysis (Q288812) (← links)
- A strand graph semantics for DNA-based computation (Q288814) (← links)
- DNA walker circuits: computational potential, design, and verification (Q2003463) (← links)
- Formal semantics and verification of network-based biocomputation circuits (Q2234096) (← links)
- Towards temporal logic computation using DNA strand displacement reactions (Q2400945) (← links)
- Synthesizing and Tuning Chemical Reaction Networks with Specified Behaviours (Q2948406) (← links)
- Supervised Learning in an Adaptive DNA Strand Displacement Circuit (Q2948414) (← links)
- DNA Walker Circuits: Computational Potential, Design, and Verification (Q5168496) (← links)
- Displacement Whiplash PCR: Optimized Architecture and Experimental Validation (Q5452589) (← links)