Show simple item record


dc.creatorYuan, Weitaoes
dc.creatorZhang, Gexianges
dc.creatorPérez Jiménez, Mario de Jesúses
dc.creatorWang, Taoes
dc.creatorHuang, Zhiweies
dc.identifier.citationYuan, W., Zhang, G., Pérez Jiménez, M.d.J., Wang, T. y Huang, Z. (2015). P Systems based Computing Polynomials: Design and Formal Verification. En ACMC 2015: The 4th Asian Conference on Membrane Computing Hefei, Anhui, China: IMCS: International Membrane Computing Society.
dc.description.abstractAutomatic 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 simple (deterministic transition) P system (without input membrane) of degree 1, capturing the value of the k- order (k 2) polynomial by using a reasoning method. Specifically, the values of polynomial p(n) corresponding to a natural number t is equal to the multiplicity of a distinguished object of the system (the output object) in the configuration at instant t. We also discuss the descriptive computational resources required by the designed k-order polynomial P
dc.description.sponsorshipMinisterio de Economía y Competitividad TIN2012-37434es
dc.publisherIMCS: International Membrane Computing Societyes
dc.relation.ispartofACMC 2015: The 4th Asian Conference on Membrane Computing (2015).
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internacional*
dc.subjectMembrane computinges
dc.subjectP systemses
dc.subjectAutomatic designes
dc.titleP Systems based Computing Polynomials: Design and Formal Verificationes
dc.contributor.affiliationUniversidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificiales
dc.contributor.groupUniversidad de Sevilla. TIC193 : Computación Naturales
dc.eventtitleACMC 2015: The 4th Asian Conference on Membrane Computinges
dc.eventinstitutionHefei, Anhui, Chinaes
dc.relation.publicationplaceHefei, Anhui, Chinaes
dc.contributor.funderMinisterio de Economía y Competitividad (MINECO). Españaes

P system solving polynomial ...98.68KbIcon   [PDF] View/Open  

This item appears in the following collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Except where otherwise noted, this item's license is described as: Attribution-NonCommercial-NoDerivatives 4.0 Internacional