Browsing by Author "Yuan, Weitao"
Now showing items 1-4 of 4
-
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 ...
-
Presentation
P Systems based Computing Polynomials: Design and Formal Verification
(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 ...
-
Article
P systems based computing polynomials: design and formal verification
(Springer, 2016)Automatic design of P systems is an attractive research topic in the community of membrane computing. Differing from the ...
-
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, ...