<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Bosheng Song</style></author><author><style face="normal" font="default" size="100%">Mario J. Pérez-Jiménez</style></author><author><style face="normal" font="default" size="100%">Linqiang Pan</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">An efficient time-free solution to SAT problem by P systems with proteins on membranes</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Computer and System Sciences</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">P system; Membrane protein; Time-free uniform solution; SAT</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2016</style></year><pub-dates><date><style  face="normal" font="default" size="100%">04/2016</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.sciencedirect.com/science/article/pii/S0022000016300113</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Elsevier</style></publisher><pub-location><style face="normal" font="default" size="100%">Amsterdam (The Netherlands)</style></pub-location><volume><style face="normal" font="default" size="100%">82</style></volume><pages><style face="normal" font="default" size="100%">1090-1099</style></pages><abstract><style face="normal" font="default" size="100%">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 living cells, the execution time of biochemical reactions is difficult to know precisely because of various uncontrollable factors. In this work, we present a time-free uniform solution to SAT problem by P systems with proteins on membranes in the sense that the correctness of the solution is irrelevant to the times associated with the involved rules, and the P systems are constructed from the sizes of instances.</style></abstract><issue><style face="normal" font="default" size="100%">6</style></issue></record></records></xml>