Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | 채영규 | - |
dc.date.accessioned | 2021-01-14T06:22:21Z | - |
dc.date.available | 2021-01-14T06:22:21Z | - |
dc.date.issued | 2002-06 | - |
dc.identifier.citation | DNA Computing. Lecture Notes in Computer Science, v. 2568, page. 156-167 | en_US |
dc.identifier.isbn | 978-3-540-00531-5 | - |
dc.identifier.isbn | 978-3-540-36440-5 | - |
dc.identifier.uri | https://link.springer.com/chapter/10.1007/3-540-36440-4_14 | - |
dc.identifier.uri | https://repository.hanyang.ac.kr/handle/20.500.11754/157006 | - |
dc.description.abstract | Abstract.Theorem proving is a classical AI problem having a broad range of applications.Since its complexity grows exponentially with the size of the problem,many esearchers have proposed methods to par- allelize the theorem proving process.In this paper,we use the massive parallelism of molecular reactions to implement parallel theorem provers. In particular,we show that the resolution efutation proof procedure can be naturally and e ciently implemented by DNA hybridization.Novel DNA encoding schemes,i.e.linear encoding and hairpin encoding,are presented and their e ectiveness is veri ed by bio-lab experiments. | en_US |
dc.description.sponsorship | This research was supported in part by the Ministry of Education under the BK21-IT program and the Ministry of Commerce through the Molecular Evolutionary Computing (MEC) project. The RIACT at Seoul National University provided research facilities for this study. | en_US |
dc.language.iso | en_US | en_US |
dc.publisher | Springer | en_US |
dc.subject | Polymerase Chain Reaction Condition | en_US |
dc.subject | Boolean Variable | en_US |
dc.subject | Empty Clause | en_US |
dc.subject | Goal Variable | en_US |
dc.subject | Polymerase Chain Reaction Step | en_US |
dc.title | DNA implementation of theorem proving with resolution refutation in propositional logic | en_US |
dc.type | Article | en_US |
dc.identifier.doi | 10.1007/3-540-36440-4_14 | - |
dc.contributor.googleauthor | Lee, In-Hee | - |
dc.contributor.googleauthor | Park, Ji-Yoon | - |
dc.contributor.googleauthor | Jang, Hae-Man | - |
dc.contributor.googleauthor | Chai, Young-Gyu | - |
dc.contributor.googleauthor | Zhang, Byoung-Tak | - |
dc.sector.campus | E | - |
dc.sector.daehak | COLLEGE OF SCIENCE AND CONVERGENCE TECHNOLOGY[E] | - |
dc.sector.department | DEPARTMENT OF MOLECULAR AND LIFE SCIENCE | - |
dc.identifier.pid | ygchai | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.