位置：成果数据库 > 期刊 > 期刊详情页
Time-free solution to SAT problem using P systems with active membranes
  • ISSN号：0304-3975
  • 期刊名称：Theoretical Computer Science
  • 时间：2014.7.1
  • 页码：61-68
  • 相关项目：基于细胞（膜和核酸）的计算模型和算法研究
作者： Tao Song|Linqing Pan|Mario J. Perez-Jimenez|Luis F. Macías-Ramos|
同期刊论文项目
基于细胞（膜和核酸）的计算模型和算法研究
期刊论文 156 会议论文 8
同项目期刊论文
Computational power of tissue P systems for generating control languages
社交网络的结构支撑理论
<span style="color:#333333;line-height:normal;font-family:arial, helvetica, sans-serif;backg
Normal forms of spiking neural P systems with anti-spikes
molecular logic computing model based on self-assembly of dna nanoparticles
Time-free solution to Hamilton path problems using P systems with d-division
DNA计算技术的发展与应用
Evolutionary membrane computing: a comprehensive survey and new results
A membrane-inspired algorithm with memory mechanism for Knapsack problem
<span lang="EN-US" style="font-size: 12pt; font-family: " times=""
Small universal spiking neural P systems working in exhaustive mode
Tissue P systems with cell separation: attacking the partition problem
Linear time solution to prime factorization by tissue P systems with cell division
Control of gold nanoparticles based on circular DNA strand displacement
具有同向/异向转运的小通用组织型P系统
Asynchronous spiking neural Psystems with rules on synapses
Spiking neural P systems with astrocytes
细胞计算进展与展望
Limited asynchronous spiking neural P systems
Nanoparticle aggregation logic computing controlled by DNA branch migration
Molecular logic computing model based on DNA self-assembly strand branch migration
ColorSquare: a colorful square visualization of DNA sequences
Performing four basic arithmetic operations with spiking neural P systems
Spiking neural P systems with a generalized use of rules
Artificial neural network based trilogic SVM control in current source rectifier
Asynchronous spiking neural P systems with anti-spikes
Extending simulation of asynchronous spiking neural P systems in P–Lingua
<strong>Spiking neural P systems with anti-spikes and without annihilating priority working in
Computation of Ramsey numbers by P systems with active membranes
Spiking neural P systems with neuron division and budding
<span style="line-height:14.3999996185303px;">Spiking neural P systems with rules on
基于概率动态P系统的基因网络建模
Homogeneous spiking neural P systems working in sequential mode induced by maximum spike number
Normal forms for some classes of sequential spiking neural P systems
Programmable DNA tile self-assembly using a hierarchical sub-tile strategy
Array P systems with permitting features
Spiking neural P systems with rules on synapses
<span>Time-free solution to SAT problem by P systems with active membranes and standard cell d
Logic nanoparticle beacon triggered by the binding-induced effect of multiple inputs
On parallel array P systems
Small universal sequential spiking neural P systems based on minimum spike number<br />
Binding assistance triggering attachments of hairpin DNA onto gold nanoparticles
Analysis of gene networks for arabidopsis flowering
A knee point driven evolutionary algorithm for many-objective optimization
Reversible spiking neural P systems
Universality of sequential spiking neural P systems based on minimum spike number
单边插入删除膜系统计算能力
Detection of driver metabolites in the human liver metabolic network using structural controllabilit
Identification of logic relationships between genes and subtypes of non-small cell lung cancer
Solving common algorithmic problem by recognizer tissue P systems
Asynchronous spiking neural P systems with local synchronization
Implementation of membrane algorithms on GPU
An efficient approach to non-dominated sorting for evolutionary multi-objective optimization
Weighted spiking neural P systems with rules on synapses
A novel bio-sensor based on DNA strand displacement
Solving subset sum problems by time-free spiking neural P systems<br />
自组装DNA/纳米颗粒分子逻辑计算模型
自组装DNA链置换分子逻辑计算模型
基于动态依赖的类间测试顺序研究
可满足性问题的巨磁电阻型DNA计算模型
工业伺服系统高阻尼谐振检测与抑制
Non-interactive automatic video segmentation of moving targets
三相四线制并网系统零序电流控制策略分析
使用最小串行策略的均质脉冲神经膜系统的计算通用性
A membrane-inspired algorithm with a memory mechanism for knapsack problems