DNA Logic Multiplexing Using Toehold-Mediated Strand Displacement.
Congzhou ChenHongyu WangEnqiang ZhuXiaolong ShiJin XuPublished in: IEEE Access (2020)
Keyphrases
- dna computing
- asynchronous circuits
- dna sequences
- modal logic
- multi valued
- displacement estimation
- delay insensitive
- optical flow
- automated reasoning
- neural network
- logical framework
- deontic logic
- formal theory
- defeasible logic
- biological sequences
- classical logic
- noise reduction
- logic programming
- case study
- artificial intelligence