5863 search results - page 247 / 1173 » On Model-Checking of P Systems |
191
click to vote
ACTA
2004
15 years 7 months ago
2004
Abstract. This paper addresses the problem of removing the polarizations of membranes from P systems with active membranes
167
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Metabolic P systems, shortly MP systems, are a special class of P systems, introduced for expressing biological metabolism. Their dynamics is computed by metabolic algorithms which...
170
click to vote
SYNASC
2005
IEEE
16 years 24 days ago
2005
IEEE
— A framework that describes the evolution of P systems with bounded parallelism is defined by introducing basic formal features that can be then integrated into a structural op...
184
click to vote
IJFCS
2008
15 years 7 months ago
2008
We consider extended variants of spiking neural P systems with decaying spikes (i.e., the spikes have a limited lifetime) and/or total spiking (i.e., the whole contents of a neuro...
189
click to vote
TCS
2010
15 years 1 months ago
2010
We describe a solution to the SAT problem via non-confluent P systems with active membranes, without using membrane division rules. Furthermore, we provide an algorithm for simula...