<?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%">Gheorghe Paun</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%">Grzegorz Rozenberg</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Bridging Membrane and Reaction Systems – Further Results and Research Topics</style></title><secondary-title><style face="normal" font="default" size="100%">Fundamenta Informaticae</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">fypercomputation</style></keyword><keyword><style  face="normal" font="default" size="100%">Membrane computing</style></keyword><keyword><style  face="normal" font="default" size="100%">reaction system</style></keyword><keyword><style  face="normal" font="default" size="100%">SAT</style></keyword><keyword><style  face="normal" font="default" size="100%">semilinear set</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2013</style></year><pub-dates><date><style  face="normal" font="default" size="100%">10/2013</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://iospress.metapress.com/content/y724g8012056k237/?issue=1&genre=article&spage=99&issn=0169-2968&volume=127</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">IOS Press</style></publisher><pub-location><style face="normal" font="default" size="100%">Warsaw, Poland</style></pub-location><volume><style face="normal" font="default" size="100%">127</style></volume><pages><style face="normal" font="default" size="100%">99-114</style></pages><abstract><style face="normal" font="default" size="100%">This paper continues an investigation into bridging two research areas concerned with natural computing: membrane computing and reaction systems. More specifically, 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: (1) spiking neural P systems with non-permanency of spikes assumption characterize the semilinear sets of numbers, and (2) 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.</style></abstract><issue><style face="normal" font="default" size="100%">1-4</style></issue><custom1><style face="normal" font="default" size="100%">0.479</style></custom1><custom2><style face="normal" font="default" size="100%">202/251 - Q4</style></custom2></record></records></xml>