Publications
Detailed Information
Biomolecular theorem proving on a chip: a novel microfluidic solution to a classical logic problem
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Lee, Seung Hwan | - |
dc.contributor.author | van Noort, Danny | - |
dc.contributor.author | Yang, Kyung-Ae | - |
dc.contributor.author | Lee, In-Hee | - |
dc.contributor.author | Zhang, Byoung-Tak | - |
dc.contributor.author | Park, Tai Hyun | - |
dc.date.accessioned | 2023-10-23T01:32:42Z | - |
dc.date.available | 2023-10-23T01:32:42Z | - |
dc.date.created | 2018-07-10 | - |
dc.date.created | 2018-07-10 | - |
dc.date.issued | 2012-03 | - |
dc.identifier.citation | LAB ON A CHIP, Vol.12 No.10, pp.1841-1848 | - |
dc.identifier.issn | 1473-0197 | - |
dc.identifier.uri | https://hdl.handle.net/10371/195786 | - |
dc.description.abstract | Biomolecules inside a microfluidic system can be used to solve computational problems, such as theorem proving, which is an important class of logical reasoning problems. In this article, the Boolean variables (literals) were represented using single-stranded DNA molecules, and theorem proving was performed by the hybridization and ligation of these variables into a double-stranded "solution'' DNA. Then, a novel sequential reaction mixing method in a microfluidic chip was designed to solve a theorem proving problem, where a reaction loop and three additional chambers were integrated and controlled by pneumatic valves. DNA hybridization, ligation, toehold-mediated DNA strand displacement, exonuclease I digestion, and fluorescence detection of the double-stranded DNA were sequentially performed using this platform. Depending on the computational result, detection of the correct answer was demonstrated based on the presence of a fluorescence signal. This result is the first demonstration that microfluidics can be used to facilitate DNA-based logical inference. | - |
dc.language | 영어 | - |
dc.publisher | ROYAL SOC CHEMISTRY | - |
dc.title | Biomolecular theorem proving on a chip: a novel microfluidic solution to a classical logic problem | - |
dc.type | Article | - |
dc.identifier.doi | 10.1039/c2lc20677c | - |
dc.citation.journaltitle | LAB ON A CHIP | - |
dc.identifier.wosid | 000303167200015 | - |
dc.identifier.scopusid | 2-s2.0-84860361396 | - |
dc.citation.endpage | 1848 | - |
dc.citation.number | 10 | - |
dc.citation.startpage | 1841 | - |
dc.citation.volume | 12 | - |
dc.description.isOpenAccess | N | - |
dc.contributor.affiliatedAuthor | Zhang, Byoung-Tak | - |
dc.contributor.affiliatedAuthor | Park, Tai Hyun | - |
dc.type.docType | Article | - |
dc.description.journalClass | 1 | - |
dc.subject.keywordPlus | RESONANCE ENERGY-TRANSFER | - |
dc.subject.keywordPlus | NUCLEIC-ACID PROBES | - |
dc.subject.keywordPlus | DNA HYBRIDIZATION | - |
dc.subject.keywordPlus | MOLECULAR BEACONS | - |
dc.subject.keywordPlus | K-RAS | - |
dc.subject.keywordPlus | COMPUTER | - |
dc.subject.keywordPlus | CHANNEL | - |
dc.subject.keywordPlus | MICROREACTORS | - |
dc.subject.keywordPlus | COMPUTATION | - |
dc.subject.keywordPlus | CIRCUITS | - |
- Appears in Collections:
- Files in This Item:
- There are no files associated with this item.
Item View & Download Count
Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.