Autonomous Resolution Based on DNA Strand Displacement
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
<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>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Autonomous Resolution Based on DNA Strand Displacement
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Autonomous Resolution Based on DNA Strand Displacement
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2011
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
DNA COMPUTING AND MOLECULAR PROGRAMMING
ISBN
978-3-642-23637-2
ISSN
0302-9743
e-ISSN
—
Počet stran výsledku
14
Strana od-do
190-203
Název nakladatele
Springer
Místo vydání
Berlín
Místo konání akce
Pasadena, CA, USA
Datum konání akce
1. 1. 2011
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—