Browsing by Author "Zhu, Ming"
Now showing items 1-2 of 2
-
Presentation
P Systems based Computing Polynomials with Integer Coefficients: Design and Formal Verification
(Xihua University, 2017)Automatic design of membrane computing models is an im- portant and useful research topic in the area of membrane ...
-
Article
P Systems-Based Computing Polynomials With Integer Coefficients: Design and Formal Verification
(IEEE Computer Society, 2018)Automatic design of mechanical procedures solving abstract problems is a relevant scientific challenge. In particular, ...