Name
Title | ||
|---|---|---|
Circular Contextual Insertions/Deletions with Applications to Biomolecular Computation |
Abstract | ||
|---|---|---|
Insertions and deletions of small circular DNA strands into long linear DNA strands are phenomena that happen frequently in nature and thus constitute an attractive paradigm for biomolecular computing. This paper presents a new model for DNA-based computation that involves circula r as well as linear molecules, and that uses the operations of insertion and deletion. After intro ducing the formal model we investigate its properties and prove in particular that the circular insertion/deletion systems are capable of universal computation. We also give the results of an experimental laboratory implementation of our model. This shows that rewriting systems of the circular insertion/deletion type are viable alternatives in DNA computation. |
Year | DOI | Venue |
|---|---|---|
1999 | 10.1109/SPIRE.1999.796577 | SPIRE/CRIWG |
Keywords | Field | DocType |
biomolecular computation,circular contextual insertions,new model,deletion type,dna computation,universal computation,small circular dna strand,long linear dna strand,formal model,dna-based computation,deletion system,circular insertion,computer applications,computer science,splicing,linear molecules,application software,dna computing,theorem proving,biochemistry,testing | Computer science,Automated theorem proving,Algorithm,Biomolecular computing,Theoretical computer science,Rewriting,Circular DNA,Computation | Conference |
ISBN | Citations | PageRank |
0-7695-0268-7 | 20 | 1.80 |
References | Authors | |
3 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mark Daley | 1 | 166 | 22.18 |
| Lila Kari | 2 | 1123 | 124.45 |
| Greg Gloor | 3 | 37 | 4.90 |
| Rani Siromoney | 4 | 459 | 76.25 |