dc.contributor.editor | Research Group on Natural Computing | es |
dc.creator | Valencia Cabrera, Luis | es |
dc.creator | Orellana Martín, David | es |
dc.creator | Pérez Hurtado de Mendoza, Ignacio | es |
dc.creator | Pérez Jiménez, Mario de Jesús | es |
dc.date.accessioned | 2019-11-22T09:04:44Z | |
dc.date.available | 2019-11-22T09:04:44Z | |
dc.date.issued | 2019 | |
dc.identifier.citation | Valencia Cabrera, L., Orellana Martín, D., Pérez Hurtado, I. y Pérez Jiménez, M.d.J. (2019). New applications for an old tool. En BWMC 2019: Seventeenth Brainstorming Week on Membrane Computing (165-170), Sevilla, España: Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla. | |
dc.identifier.uri | https://hdl.handle.net/11441/90442 | |
dc.description.abstract | First, the dependency graph technique, not so far from its current application,
was developed trying to nd the shortest computations for membrane systems
solving instances of SAT. Certain families of membrane systems have been demonstrated
to be non-effcient by means of the reduction of nding an accepting computation (respectively,
rejecting computation) to the problem of reaching from a node of the dependency
graph to another one.
In this paper, a novel application to this technique is explained. Supposing that a
problem can be solved by means of a kind of membrane systems leads to a contradiction
by means of using the dependency graph as a reasoning method. In this case, it is demonstrated
that a single system without dissolution, polarizations and cooperation cannot
distinguish a single object from more than one object.
An extended version of this work will be presented in the 20th International Conference
on Membrane Computing. | es |
dc.description.sponsorship | Ministerio de Industria, Economía y Competitividad TIN2017-89842-P | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla | es |
dc.relation.ispartof | BWMC 2019: Seventeenth Brainstorming Week on Membrane Computing (2019), p 165-170 | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | New applications for an old tool | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dc.type.version | info:eu-repo/semantics/publishedVersion | 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 | TIN2017-89842-P | es |
dc.relation.publisherversion | http://www.gcn.us.es/17bwmc_proceedings | es |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | es |
idus.format.extent | 6 | es |
dc.publication.initialPage | 165 | es |
dc.publication.endPage | 170 | es |
dc.eventtitle | BWMC 2019: Seventeenth Brainstorming Week on Membrane Computing | es |
dc.eventinstitution | Sevilla, España | es |
dc.relation.publicationplace | Sevilla, España | es |