- idUS
- Listar por autor
Listar por autor "Yuan, Weitao"
Mostrando ítems 1-4 de 4
-
Ponencia
P Systems based Computing Polynomials with Integer Coefficients: Design and Formal Verification
Zhang, Gexiang; Zhu, Ming; Yang, Qiang; Rong, Haina; Yuan, Weitao; Pérez Jiménez, Mario de Jesús (Xihua University, 2017)Automatic design of membrane computing models is an im- portant and useful research topic in the area of membrane ...
-
Ponencia
P Systems based Computing Polynomials: Design and Formal Verification
Yuan, Weitao; Zhang, Gexiang; Pérez Jiménez, Mario de Jesús; Wang, Tao; Huang, Zhiwei (IMCS: International Membrane Computing Society, 2015)Automatic design of P systems is an attractive research topic in the community of membrane computing. Differing from the ...
-
Artículo
P systems based computing polynomials: design and formal verification
Yuan, Weitao; Zhang, Gexiang; Pérez Jiménez, Mario de Jesús; Wang, Tao; Huang, Zhiwei (Springer, 2016)Automatic design of P systems is an attractive research topic in the community of membrane computing. Differing from the ...
-
Artículo
P Systems-Based Computing Polynomials With Integer Coefficients: Design and Formal Verification
Zhu, Ming; Zhang, Gexiang; Yang, Qiang; Rong, Haina; Yuan, Weitao; Pérez Jiménez, Mario de Jesús (IEEE Computer Society, 2018)Automatic design of mechanical procedures solving abstract problems is a relevant scientific challenge. In particular, ...