原创力文档- 15
- 0
- 约3.46万字
- 约 15页
- 2017-05-08 发布于上海
- 举报
Two-Domain DNA Strand Displacement 英文论文文献
Two-DomainDNAStrandDisplacement
LucaCardelli
MicrosoftResearch
Cambridge,UK
luca@
We investigatethe computing powerof a restrictedclass of DNAstrand displacement structures:
thosethataremadeofdoublestrandswithnicks(interruptions)inthetopstrand. Topreservethis
structuralinvariant,weimposerestrictionsonthesinglestrandstheyinteractwith:weconsideronly
two-domainsinglestrandsconsistingofonetoeholddomainandonerecognitiondomain.Westudy
forkandjoinsignal-processinggatesbasedonthesestructures,andweshowthatthesesystemsare
amenabletoformalizationandtomechanicalveri?cation.
1 Introduction
Amongth
您可能关注的文档
- TURKISH ART OF WAR ACCORDING TO KUTADGU BILIG 英文论文文献.doc
- Turning around an ailing district hospital a realist evaluation of strategic changes at Ho Municipal Hospital (Ghana) 英文论文文献.doc
- Turner Syndrome 英文论文文献.doc
- Tutoring in problem-based learning medical curricula the influence of tutor background and style on effectiveness 英文论文文献.doc
- Twelve years' detection of respiratory viruses by immunofluorescence in hospitalised children impact of the introduction of a new respiratory picornavirus assay 英文论文文献.doc
- TVT-Obturator (TVT-O) Indikationen und Benefits gegenüber dem klassischen TVT 英文论文文献.doc
- Tweek Merging 2D and 3D Interaction in Immersive Environments 英文论文文献.doc
- TVT-Qualit tskontrolle der gyn kologischen Abteilung des Krankenhauses der Barmherzigen Brüder Graz 英文论文文献.doc
- Tutorial on Online Partial Evaluation 英文论文文献.doc
- Twin Pregnancy with Large Fibroid 英文论文文献.doc
文档评论（0）