dc.creator | Zhu, Ming | es |
dc.creator | Zhang, Gexiang | es |
dc.creator | Yang, Qiang | es |
dc.creator | Rong, Haina | es |
dc.creator | Yuan, Weitao | es |
dc.creator | Pérez Jiménez, Mario de Jesús | es |
dc.date.accessioned | 2021-07-21T10:04:09Z | |
dc.date.available | 2021-07-21T10:04:09Z | |
dc.date.issued | 2018 | |
dc.identifier.citation | Zhu, M., Zhang, G., Yang, Q., Rong, H., Yuan, W. y Pérez Jiménez, M.d.J. (2018). P Systems-Based Computing Polynomials With Integer Coefficients: Design and Formal Verification. IEEE Transactions on NanoBioscience, 17 (3), 272-280. | |
dc.identifier.issn | 1536-1241 | es |
dc.identifier.uri | https://hdl.handle.net/11441/116330 | |
dc.description.abstract | Automatic design of mechanical procedures
solving abstract problems is a relevant scientific challenge.
In particular, automatic design of membranes systems performing
some prefixed tasks is an important and useful
research topic in the area of Natural Computing. In this
context, deterministic membrane systems were designed in
order to capture the values of polynomials with natural numbers
coefficients. Following that work, this paper extends
the previous result to polynomials with integer numbers
coefficients.Specifically,a deterministic transitionP system
using priorities in the weak interpretation, associated with
an arbitrary such kind polynomial, is presented. The configuration
of the unique computation of the system will be
encoded by means of two distinguished objects, the values
of the polynomial for natural numbers. The descriptive computational
resources required by the designed membrane
system are also analyzed. | es |
dc.description.sponsorship | Scientific Research Fund of Sichuan Provincial Science and Technology Department 2015JY0257 | es |
dc.description.sponsorship | Scientific Research Fund of Sichuan Provincial Science and Technology Department 2017FZ0010 | es |
dc.description.sponsorship | National Natural Science Foundation of China 61672437 | es |
dc.description.sponsorship | National Natural Science Foundation of China No 61702428 | es |
dc.description.sponsorship | Sichuan Science and Technology Program 2018GZ0185 | es |
dc.description.sponsorship | Sichuan Science and Technology Program 2018GZ0085 | es |
dc.description.sponsorship | Sichuan Science and Technology Program 2017GZ0159 | es |
dc.format | application/pdf | es |
dc.format.extent | 9 | es |
dc.language.iso | eng | es |
dc.publisher | IEEE Computer Society | es |
dc.relation.ispartof | IEEE Transactions on NanoBioscience, 17 (3), 272-280. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Membrane Computing | es |
dc.subject | P systems | es |
dc.subject | Automatic design of membrane systems | es |
dc.subject | Polynomials with integer coefficients | es |
dc.title | P Systems-Based Computing Polynomials With Integer Coefficients: Design and Formal Verification | es |
dc.type | info:eu-repo/semantics/article | es |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.projectID | 2015JY0257 | es |
dc.relation.projectID | 2017FZ0010 | es |
dc.relation.projectID | 61672437 | es |
dc.relation.projectID | 61702428 | es |
dc.relation.projectID | 2018GZ0185 | es |
dc.relation.projectID | 2018GZ0085 | es |
dc.relation.projectID | 2017GZ0159 | es |
dc.relation.publisherversion | https://ieeexplore.ieee.org/document/8360137 | es |
dc.identifier.doi | 10.1109/TNB.2018.2836147 | es |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | es |
dc.journaltitle | IEEE Transactions on NanoBioscience | es |
dc.publication.volumen | 17 | es |
dc.publication.issue | 3 | es |
dc.publication.initialPage | 272 | es |
dc.publication.endPage | 280 | es |
dc.contributor.funder | Scientific Research Fund of Sichuan Provincial Science and Technology Department | es |
dc.contributor.funder | National Natural Science Foundation of China | es |
dc.contributor.funder | Sichuan Science and Technology Program | es |