Sciweavers

7628 search results - page 142 / 1526
» Spatial P systems
Sort
View
128
Voted
JUCS
2007
122views more  JUCS 2007»
15 years 3 months ago
Spiking Neural P Systems with Astrocyte-Like Control
: Spiking neural P systems are computing models inspired from the way the neurons communicate by means of spikes, electrical impulses of identical shapes. In this note we consider ...
Gheorghe Paun
145
Voted
TPHOL
2007
IEEE
15 years 10 months ago
HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
Norbert Völker
117
Voted
ACTA
2006
154views more  ACTA 2006»
15 years 3 months ago
Solving HPP and SAT by P Systems with Active Membranes and Separation Rules
The P systems (or membrane systems) are a class of distributed parallel computing devices of a biochemical type, where membrane division is the frequently investigated way for obta...
Linqiang Pan, Artiom Alhazov
159
Voted
DNA
2006
Springer
159views Bioinformatics» more  DNA 2006»
15 years 7 months ago
Minimal Parallelism for Polarizationless P Systems
Minimal parallelism was recently introduced [3] as a way the rules of a P system are used: from each set of applicable rules associated to the same membrane, at least one must be a...
Tseren-Onolt Ishdorj
114
Voted
IJFCS
2008
63views more  IJFCS 2008»
15 years 3 months ago
How to Synchronize the Activity of All Components of a P System?
We consider the problem of synchronizing the activity of all the membranes of a P system. After pointing at the connection with a similar problem dealt with in the field of cellul...
Francesco Bernardini, Marian Gheorghe, Maurice Mar...