dc.creator | Song, Bosheng | es |
dc.creator | Pérez Jiménez, Mario de Jesús | es |
dc.creator | Pan, Linqiang | es |
dc.date.accessioned | 2021-04-27T11:18:48Z | |
dc.date.available | 2021-04-27T11:18:48Z | |
dc.date.issued | 2016 | |
dc.identifier.citation | Song, B., Pérez Jiménez, M.d.J. y Pan, L. (2016). An efficient time-free solution to SAT problem by P systems with proteins on membranes. Journal of Computer and System Sciences, 82 (6), 1090-1099. | |
dc.identifier.issn | 0022-0000 | es |
dc.identifier.uri | https://hdl.handle.net/11441/107940 | |
dc.description.abstract | P systems with proteins on membranes are a class of bio-inspired computing models,where the execution of each rule completes in exactly one time unit. However, in livingcells, the execution time of biochemical reactions is difficult to know precisely because ofvarious uncontrollable factors. In this work, we present a time-free uniform solution toSATproblem by P systems with proteins on membranes in the sense that the correctnessof the solution is irrelevant to the times associated with the involved rules, and the Psystems are constructed from the sizes of instances. | es |
dc.description.sponsorship | Ministerio de Economía y Competitividad TIN2012-37434 | es |
dc.format | application/pdf | es |
dc.format.extent | 10 | es |
dc.language.iso | eng | es |
dc.publisher | Elsevier | es |
dc.relation.ispartof | Journal of Computer and System Sciences, 82 (6), 1090-1099. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | P System | es |
dc.subject | Membrane protein | es |
dc.subject | Time-free uniform solution | es |
dc.subject | SAT | es |
dc.title | An efficient time-free solution to SAT problem by P systems with proteins on membranes | 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 | TIN2012-37434 | es |
dc.relation.publisherversion | https://www.sciencedirect.com/science/article/pii/S0022000016300113 | es |
dc.identifier.doi | 10.1016/j.jcss.2016.03.008 | es |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | es |
dc.journaltitle | Journal of Computer and System Sciences | es |
dc.publication.volumen | 82 | es |
dc.publication.issue | 6 | es |
dc.publication.initialPage | 1090 | es |
dc.publication.endPage | 1099 | es |
dc.identifier.sisius | 20978281 | es |
dc.contributor.funder | Ministerio de Economía y Competitividad (MINECO). España | es |