MethyLogic: Implementation of Boolean logic using DNA methylation

Nevenka Dimitrova, Susannah Gal

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

The MethyLogic method performs flexible and reversible modification of DNA in order to establish the logical value of true or false for a set of clauses. It combines both the biological meaning and experimental procedure with the logical implementation of the basic Boolean operators: OR, AND, and NOT. The original feature of methylation logic, MethyLogic, is the use of the reversibility of DNA methylation of cytosine and adenine. Logic variables can be negated by reversing the DNA methylation status. We introduce four implementation scenarios: three of them use methyl-sensitive restriction enzymes and the fourth uses methyl-binding proteins. Encoding can use either single or double-stranded DNA. In addition, we show how to solve a three variable SAT problem and how to implement a logic circuit.

Original languageEnglish (US)
Title of host publicationDNA Computing - 12th International Meeting on DNA Computing, DNA12, Revised Selected Papers
Pages404-417
Number of pages14
DOIs
StatePublished - Dec 1 2006
Event12th International Meeting on DNA Computing, DNA12 - Seoul, Korea, Republic of
Duration: Jun 5 2006Jun 9 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4287 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other12th International Meeting on DNA Computing, DNA12
CountryKorea, Republic of
CitySeoul
Period6/5/066/9/06

Fingerprint

DNA
Logic
Methylation
Logic circuits
Enzymes
Reversibility
Encoding
Restriction
Protein
Scenarios
Operator
DNA Methylation
Carrier Proteins
False
Meaning

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Dimitrova, N., & Gal, S. (2006). MethyLogic: Implementation of Boolean logic using DNA methylation. In DNA Computing - 12th International Meeting on DNA Computing, DNA12, Revised Selected Papers (pp. 404-417). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4287 LNCS). https://doi.org/10.1007/11925903_32
Dimitrova, Nevenka ; Gal, Susannah. / MethyLogic : Implementation of Boolean logic using DNA methylation. DNA Computing - 12th International Meeting on DNA Computing, DNA12, Revised Selected Papers. 2006. pp. 404-417 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{e1edf37bf95e41d982cbd583932bde10,
title = "MethyLogic: Implementation of Boolean logic using DNA methylation",
abstract = "The MethyLogic method performs flexible and reversible modification of DNA in order to establish the logical value of true or false for a set of clauses. It combines both the biological meaning and experimental procedure with the logical implementation of the basic Boolean operators: OR, AND, and NOT. The original feature of methylation logic, MethyLogic, is the use of the reversibility of DNA methylation of cytosine and adenine. Logic variables can be negated by reversing the DNA methylation status. We introduce four implementation scenarios: three of them use methyl-sensitive restriction enzymes and the fourth uses methyl-binding proteins. Encoding can use either single or double-stranded DNA. In addition, we show how to solve a three variable SAT problem and how to implement a logic circuit.",
author = "Nevenka Dimitrova and Susannah Gal",
year = "2006",
month = "12",
day = "1",
doi = "10.1007/11925903_32",
language = "English (US)",
isbn = "3540490248",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "404--417",
booktitle = "DNA Computing - 12th International Meeting on DNA Computing, DNA12, Revised Selected Papers",

}

Dimitrova, N & Gal, S 2006, MethyLogic: Implementation of Boolean logic using DNA methylation. in DNA Computing - 12th International Meeting on DNA Computing, DNA12, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4287 LNCS, pp. 404-417, 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, Republic of, 6/5/06. https://doi.org/10.1007/11925903_32

MethyLogic : Implementation of Boolean logic using DNA methylation. / Dimitrova, Nevenka; Gal, Susannah.

DNA Computing - 12th International Meeting on DNA Computing, DNA12, Revised Selected Papers. 2006. p. 404-417 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4287 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - MethyLogic

T2 - Implementation of Boolean logic using DNA methylation

AU - Dimitrova, Nevenka

AU - Gal, Susannah

PY - 2006/12/1

Y1 - 2006/12/1

N2 - The MethyLogic method performs flexible and reversible modification of DNA in order to establish the logical value of true or false for a set of clauses. It combines both the biological meaning and experimental procedure with the logical implementation of the basic Boolean operators: OR, AND, and NOT. The original feature of methylation logic, MethyLogic, is the use of the reversibility of DNA methylation of cytosine and adenine. Logic variables can be negated by reversing the DNA methylation status. We introduce four implementation scenarios: three of them use methyl-sensitive restriction enzymes and the fourth uses methyl-binding proteins. Encoding can use either single or double-stranded DNA. In addition, we show how to solve a three variable SAT problem and how to implement a logic circuit.

AB - The MethyLogic method performs flexible and reversible modification of DNA in order to establish the logical value of true or false for a set of clauses. It combines both the biological meaning and experimental procedure with the logical implementation of the basic Boolean operators: OR, AND, and NOT. The original feature of methylation logic, MethyLogic, is the use of the reversibility of DNA methylation of cytosine and adenine. Logic variables can be negated by reversing the DNA methylation status. We introduce four implementation scenarios: three of them use methyl-sensitive restriction enzymes and the fourth uses methyl-binding proteins. Encoding can use either single or double-stranded DNA. In addition, we show how to solve a three variable SAT problem and how to implement a logic circuit.

UR - http://www.scopus.com/inward/record.url?scp=77049116076&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77049116076&partnerID=8YFLogxK

U2 - 10.1007/11925903_32

DO - 10.1007/11925903_32

M3 - Conference contribution

AN - SCOPUS:77049116076

SN - 3540490248

SN - 9783540490241

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 404

EP - 417

BT - DNA Computing - 12th International Meeting on DNA Computing, DNA12, Revised Selected Papers

ER -

Dimitrova N, Gal S. MethyLogic: Implementation of Boolean logic using DNA methylation. In DNA Computing - 12th International Meeting on DNA Computing, DNA12, Revised Selected Papers. 2006. p. 404-417. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/11925903_32