6978 search results - page 176 / 1396 » On Proofs in System P |
174
click to vote
ACTA
2004
15 years 6 months ago
2004
Abstract. This paper addresses the problem of removing the polarizations of membranes from P systems with active membranes
146
click to vote
CEC
2007
IEEE
15 years 10 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...
148
click to vote
SYNASC
2005
IEEE
16 years 2 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...
167
click to vote
IJFCS
2008
15 years 6 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...
168
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...