Development of an in vivo computer for the SAT problem

被引：1

作者：

Liu, Xiangrong ^{[1
]}

Wang, Shudong ^{[2
]}

机构：

[1] Xiamen Univ, Dept Comp Sci, Sch Informat Sci & Technol, Xiamen 361005, Peoples R China

[2] Shandong Univ Sci & Technol, Coll Informat Sci & Engn, Qingdao 266510, Peoples R China

来源：

MATHEMATICAL AND COMPUTER MODELLING | 2010年 / 52卷 / 11-12期

基金：

中国国家自然科学基金;

关键词：

Biomolecular computing in vivo; Gene network; SAT problem; TRANSCRIPTIONAL ACTIVATION; MOLECULAR COMPUTATION; ESCHERICHIA-COLI; DNA SOLUTION; ELEMENTS; CELLS;

D O I：

10.1016/j.mcm.2010.06.006

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

Biomolecular computing models in vivo are emerging computing model inspired by the biological phenomena whereby biochemical molecules in living organisms perform computation, communication, and signal processing collaboratively. In this paper, a biomolecular computing model in vivo for solving the SAT problem is presented. A synthetic gene network is constructed by operon in Escherichia coli. This model explores the ability to solve hard problems based on the organism processing signals. Crown Copyright (C) 2010 Published by Elsevier Ltd. All rights reserved.

引用

页码：2043 / 2047

页数：5

共 50 条

[1] Development of an in vivo computer for 3-SAT Problem
Li, Xiangrong
Wang, Shudong
Qiang, Xiaoli
2009 FOURTH INTERNATIONAL CONFERENCE ON BIO-INSPIRED COMPUTING: THEORIES AND APPLICATIONS, PROCEEDINGS, 2009, : 328 - +
[2] Solution of a SAT problem on a photochemical DNA computer
Ogasawara, S
Fujimoto, K
CHEMISTRY LETTERS, 2005, 34 (03) : 378 - 379
[3] The SAT problem
Schöning U.
Informatik-Spektrum, 2010, 33 (05) : 479 - 483
[4] COMPUTER COACHING FOR THE SAT
OWENS, P
POPULAR COMPUTING, 1983, 2 (12): : 186 - &
[5] Solution of a 20-variable 3-SAT problem on a DNA computer
Braich, RS
Chelyapov, N
Johnson, C
Rothemund, PWK
Adleman, L
SCIENCE, 2002, 296 (5567) : 499 - 502
[6] COMPUTER - CONCEPT DEVELOPMENT AND PROBLEM ENVIRONMENT
TAYLOR, R
JOURNAL OF CHRONIC DISEASES, 1966, 19 (04): : 333 - &
[7] Problem orientation in development of computer architectures
Palagin, A.V.
Kurgaev, O.P.
2003, Naukova dumka
[8] Compiling problem specifications into SAT
Cadoli, M
Schaerf, A
ARTIFICIAL INTELLIGENCE, 2005, 162 (1-2) : 89 - 120
[9] On SAT01 problem
Busygin, S
PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING-CP'99, 1999, 1713 : 476 - 477
[10] A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract)
Li, Zhengyu
Bright, Curtis
Ganesh, Vijay
THIRTY-EIGTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 21, 2024, : 23559 - 23560

← 1 2 3 4 5 →