期刊
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
卷 -, 期 26, 页码 47-61出版社
OPEN PUBL ASSOC
DOI: 10.4204/EPTCS.26.5
关键词
-
We investigate the computing power of a restricted class of DNA strand displacement structures: those that are made of double strands with nicks (interruptions) in the top strand. To preserve this structural invariant, we impose restrictions on the single strands they interact with: we consider only two-domain single strands consisting of one toehold domain and one recognition domain. We study fork and join signal-processing gates based on these structures, and we show that these systems are amenable to formalization and to mechanical verification.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据