Mostrar el registro sencillo del ítem
Ponencia
Bridging Membrane and Reaction Systems - Further Results and Research Topics
dc.creator | Paun, Gheorghe | |
dc.creator | Pérez Jiménez, Mario de Jesús | |
dc.creator | Rozenberg, Grzegorz | |
dc.date.accessioned | 2016-02-02T10:47:09Z | |
dc.date.available | 2016-02-02T10:47:09Z | |
dc.date.issued | 2013 | |
dc.identifier.isbn | 978-84-940691-9-2 | es |
dc.identifier.uri | http://hdl.handle.net/11441/33819 | |
dc.description.abstract | This paper continues an investigation into bridging two research areas con- cerned with natural computing: membrane computing and reaction systems. More specif- ically, the paper considers a transfer of two assumptions/axioms of reaction systems, non- permanency and the threshold assumption, into the framework of membrane computing. It is proved that: SN P systems with non-permanency of spikes assumption charac- terize the semilinear sets of numbers, and symport/antiport P systems with threshold assumption (translated as ! multiplicity of objects) can solve SAT in polynomial time. Also, several open research problems are stated. | es |
dc.description.sponsorship | Junta de Andalucía P08 – TIC 04200 | |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Fénix Editora | es |
dc.relation.ispartof | Proceedings of the Eleventh Brainstorming Week on Membrane Computing, 243-256. Sevilla, E.T.S. de Ingeniería Informática, 4-8 de Febrero, 2013, | es |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Bridging Membrane and Reaction Systems - Further Results and Research Topics | 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 | |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.projectID | P08 – TIC 04200 | |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/33819 | |
dc.contributor.funder | Junta de Andalucía |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
243_paun_perez_rozenberg.pdf | 322.1Kb | [PDF] | Ver/ | |