Autonomous Resolution Based on DNA Strand Displacement

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F47813059%3A19240%2F11%3A%230003704" target="_blank" >RIV/47813059:19240/11:#0003704 - isvavai.cz</a>

Result on the web

<a href="http://dx.doi.org/10.1007/978-3-642-23638-9_16" target="_blank" >http://dx.doi.org/10.1007/978-3-642-23638-9_16</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-642-23638-9_16" target="_blank" >10.1007/978-3-642-23638-9_16</a>

Result language

angličtina

Original language name

Autonomous Resolution Based on DNA Strand Displacement

Original language description

We present a computing model based on the technique of DNA strand displacement which performs a chain of logical resolutions with logical formulae in conjunctive normal form. The model is enzyme-free and autonomous. Each clause of a formula is encoded ina separate DNA molecule: propositions are encoded assigning a strand to each proposition p and its complementary strand to the proposition p; clauses are encoded comprising different propositions in the same strand. The model allows to run logic programs composed of Horn clauses by cascading resolution steps and, therefore, possibly function as an autonomous programmable nano-device.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

IN - Informatics

OECD FORD branch

—

Project

—

Continuities

S - Specificky vyzkum na vysokych skolach

Publication year

2011

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

DNA COMPUTING AND MOLECULAR PROGRAMMING

ISBN

978-3-642-23637-2

ISSN

0302-9743

e-ISSN

—

Number of pages

14

Pages from-to

190-203

Publisher name

Springer

Place of publication

Berlín

Event location

Pasadena, CA, USA

Event date

Jan 1, 2011

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—