P systems based computing polynomials: design and formal verification
P systems based computing polynomials: design and formal verification
复制标题
基于 P 系统的计算多项式:设计和形式验证
DOI:
10.1007/s11047-016-9577-y
复制
发表时间:
2016-12
影响因子:
2.1
通讯作者:
Huang Zhiwei
中科院分区:
文献类型:
--
作者:
Yuan Weitao;Zhang Gexiang;Perez-Jimenez Mario J.;Wang Tao;Huang Zhiwei
Automatic design of P systems is an attractive research topic in the community of membrane computing. Differing from the previous work that used evolutionary algorithms to fulfill the task, this paper presents the design of a (deterministic transition) P
登录
查看更多内容
DOI:
--
发表时间:
2010
期刊:
--
影响因子:
--
作者:
Gabi Escuela;M. Naranjo
通讯作者:
Gabi Escuela;M. Naranjo
影响因子:
8.7
作者:
Gexiang Zhang;Jixiang Cheng;Marian Gheorghe;Qi Meng
通讯作者:
Qi Meng
影响因子:
8.1
作者:
Gexiang Zhang;Marian Gheorghe;Linqiang Pan;Mario J. Perez-Jimenez
通讯作者:
Mario J. Perez-Jimenez
影响因子:
0.1
作者:
A. Cesta;Gabriella Cortellessa;L. Tiberio
通讯作者:
A. Cesta;Gabriella Cortellessa;L. Tiberio
DOI:
10.1007/978-3-642-28024-5_14
发表时间:
2011-08
期刊:
--
影响因子:
--
作者:
Xiaoli Huang;Gexiang Zhang;Haina Rong;F. Ipate
通讯作者:
Xiaoli Huang;Gexiang Zhang;Haina Rong;F. Ipate