- idUS
- Listar por autor
Listar por autor "Zhu, Ming"
Mostrando ítems 1-2 de 2
-
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 ...
-
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, ...