dc.creator | Pérez Jiménez, Mario de Jesús | es |
dc.creator | Romero Campero, Francisco José | es |
dc.date.accessioned | 2017-01-12T12:13:38Z | |
dc.date.available | 2017-01-12T12:13:38Z | |
dc.date.issued | 2005 | |
dc.identifier.citation | Pérez Jiménez, M.d.J., y Romero Campero, F.J. (2005). Trading Polarization for Bi-stable Catalysts in P Systems with Active Membranes. En Membrane Computing, 5th International Workshop, WMC5, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 3365 (2005) (pp. 373-388). Berlin: Springer. | |
dc.identifier.isbn | 978-3-540-25080-7 | es |
dc.identifier.issn | 0302-9743 | es |
dc.identifier.uri | http://hdl.handle.net/11441/52191 | |
dc.description.abstract | In the last time, several efforts have been made in order to
remove polarizations of membranes from P systems with active membranes;
the present paper is a contribution in this respect. In order to
compensate the loss of power represented by avoiding polarizations, we
use bi-stable catalysts. Polarizationless systems with active membranes
which use bi-stable catalysts are proven to be computationally complete
and able to solve efficiently NP-complete problems. In this paper we
present a solution to SAT in linear time. In order to illustrate the presented
solution, we also provide a simulation with CLIPS. | es |
dc.description.sponsorship | Ministerio de Ciencia y Tecnología TIC2002-04220-C03-01 | |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Springer | es |
dc.relation.ispartof | Membrane Computing, 5th International Workshop, WMC5, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 3365 (2005) | es |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Trading Polarization for Bi-stable Catalysts in P Systems with Active Membranes | es |
dc.type | info:eu-repo/semantics/bookPart | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/acceptedVersion | 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 | TIC2002-04220-C03-01 | es |
dc.relation.publisherversion | http://link.springer.com/chapter/10.1007/978-3-540-31837-8_24 | es |
dc.identifier.doi | 10.1007/978-3-540-31837-8_24 | es |
dc.contributor.group | Universidad de Sevilla. TIC193 : Computación Natural | es |
idus.format.extent | 16 | es |
dc.publication.initialPage | 373 | es |
dc.publication.endPage | 388 | es |
dc.relation.publicationplace | Berlin | es |
dc.contributor.funder | Ministerio de Ciencia y Tecnología (MCYT). España | |