dc.creator | Gheorghe, Marian | es |
dc.creator | Ipate, Florentin | es |
dc.creator | Lefticaru, Raluca | es |
dc.creator | Pérez Jiménez, Mario de Jesús | es |
dc.creator | Turcanu, Adrian | es |
dc.creator | Valencia Cabrera, Luis | es |
dc.creator | García Quismondo, Manuel | es |
dc.creator | Mierla, Laurentiu | es |
dc.date.accessioned | 2018-11-02T09:46:43Z | |
dc.date.available | 2018-11-02T09:46:43Z | |
dc.date.issued | 2013 | |
dc.identifier.citation | Gheorghe, M., Ipate, F., Lefticaru, R., Pérez Jiménez, M.d.J., Turcanu, A., Valencia Cabrera, L.,...,Mierla, L. (2013). 3-Col problem modelling using simple kernel P systems. International Journal of Computer Mathematics, 90 (4), 816-830. | |
dc.identifier.issn | 0020-7160 | es |
dc.identifier.uri | https://hdl.handle.net/11441/79752 | |
dc.description.abstract | This paper presents the newly introduced class of (simple) kernel P systems ((s)kP systems) and investigates
through a 3-colouring problem case study the expressive power and efficiency of kernel P systems. It
describes two skP systems that model the problem and analyses them in terms of efficiency and complexity.
The skP models prove to be more succinct (in terms of number of rules, objects, number of cells and
execution steps) than the corresponding tissue P system, available in the literature, that solves the same
problem, at the expense of a greater length of the rules. | es |
dc.description.sponsorship | Ministerio de Ciencia e Innovación TIN2009–13192 | es |
dc.description.sponsorship | Junta de Andalucía P08-TIC-04200 | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Taylor and Francis | es |
dc.relation.ispartof | International Journal of Computer Mathematics, 90 (4), 816-830. | |
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 | Tissue P systems | es |
dc.subject | kernel P systems | es |
dc.subject | 3-colour problem | es |
dc.subject | Formal verification | es |
dc.title | 3-Col problem modelling using simple kernel P systems | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
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 | TIN2009–13192 | es |
dc.relation.projectID | P08-TIC-04200 | es |
dc.relation.publisherversion | https://www.tandfonline.com/doi/abs/10.1080/00207160.2012.743712 | es |
dc.identifier.doi | 10.1080/00207160.2012.743712 | es |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | es |
idus.format.extent | 15 | es |
dc.journaltitle | International Journal of Computer Mathematics | es |
dc.publication.volumen | 90 | es |
dc.publication.issue | 4 | es |
dc.publication.initialPage | 816 | es |
dc.publication.endPage | 830 | es |
dc.identifier.sisius | 20366646 | es |
dc.contributor.funder | Ministerio de Ciencia e Innovación (MICIN). España | |
dc.contributor.funder | Junta de Andalucía | |