An efficient time-free solution to SAT problem by P systems with proteins on membranes

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...

Descripción completa

Detalles Bibliográficos
Autores: Song, Bosheng, Pérez Jiménez, Mario de Jesús, Pan, Linqiang
Tipo de recurso: artículo
Estado:Versión enviada para evaluación y publicación
Fecha de publicación:2016
País:España
Institución:Universidad de Sevilla (US)
Repositorio:idUS. Depósito de Investigación de la Universidad de Sevilla
OAI Identifier:oai:idus.us.es:11441/107940
Acceso en línea:https://hdl.handle.net/11441/107940
https://doi.org/10.1016/j.jcss.2016.03.008
Access Level:acceso abierto
Palabra clave:P System
Membrane protein
Time-free uniform solution
SAT
id ES_98e60508f1489bd3ca73588bfe0d37dd
oai_identifier_str oai:idus.us.es:11441/107940
network_acronym_str ES
network_name_str España
repository_id_str
spelling An efficient time-free solution to SAT problem by P systems with proteins on membranesSong, BoshengPérez Jiménez, Mario de JesúsPan, LinqiangP SystemMembrane proteinTime-free uniform solutionSATP 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.Ministerio de Economía y Competitividad TIN2012-37434ElsevierCiencias de la Computación e Inteligencia ArtificialTIC193: Computación NaturalMinisterio de Economía y Competitividad (MINECO). España2016info:eu-repo/semantics/articleinfo:eu-repo/semantics/submittedVersionapplication/pdfapplication/pdfhttps://hdl.handle.net/11441/107940https://doi.org/10.1016/j.jcss.2016.03.008reponame:idUS. Depósito de Investigación de la Universidad de Sevillainstname:Universidad de Sevilla (US)InglésJournal of Computer and System Sciences, 82 (6), 1090-1099.TIN2012-37434https://www.sciencedirect.com/science/article/pii/S0022000016300113info:eu-repo/semantics/openAccessoai:idus.us.es:11441/1079402026-06-17T12:51:07Z
dc.title.none.fl_str_mv An efficient time-free solution to SAT problem by P systems with proteins on membranes
title An efficient time-free solution to SAT problem by P systems with proteins on membranes
spellingShingle An efficient time-free solution to SAT problem by P systems with proteins on membranes
Song, Bosheng
P System
Membrane protein
Time-free uniform solution
SAT
title_short An efficient time-free solution to SAT problem by P systems with proteins on membranes
title_full An efficient time-free solution to SAT problem by P systems with proteins on membranes
title_fullStr An efficient time-free solution to SAT problem by P systems with proteins on membranes
title_full_unstemmed An efficient time-free solution to SAT problem by P systems with proteins on membranes
title_sort An efficient time-free solution to SAT problem by P systems with proteins on membranes
dc.creator.none.fl_str_mv Song, Bosheng
Pérez Jiménez, Mario de Jesús
Pan, Linqiang
author Song, Bosheng
author_facet Song, Bosheng
Pérez Jiménez, Mario de Jesús
Pan, Linqiang
author_role author
author2 Pérez Jiménez, Mario de Jesús
Pan, Linqiang
author2_role author
author
dc.contributor.none.fl_str_mv Ciencias de la Computación e Inteligencia Artificial
TIC193: Computación Natural
Ministerio de Economía y Competitividad (MINECO). España
dc.subject.none.fl_str_mv P System
Membrane protein
Time-free uniform solution
SAT
topic P System
Membrane protein
Time-free uniform solution
SAT
description 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.
publishDate 2016
dc.date.none.fl_str_mv 2016
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/submittedVersion
format article
status_str submittedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/11441/107940
https://doi.org/10.1016/j.jcss.2016.03.008
url https://hdl.handle.net/11441/107940
https://doi.org/10.1016/j.jcss.2016.03.008
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv Journal of Computer and System Sciences, 82 (6), 1090-1099.
TIN2012-37434
https://www.sciencedirect.com/science/article/pii/S0022000016300113
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Elsevier
publisher.none.fl_str_mv Elsevier
dc.source.none.fl_str_mv reponame:idUS. Depósito de Investigación de la Universidad de Sevilla
instname:Universidad de Sevilla (US)
instname_str Universidad de Sevilla (US)
reponame_str idUS. Depósito de Investigación de la Universidad de Sevilla
collection idUS. Depósito de Investigación de la Universidad de Sevilla
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869414230208282624
score 15,30478

Similares en LA Referencia