Sciweavers

7628 search results - page 134 / 1526
» Spatial P systems
Sort
View
124
Voted
JALC
2006
95views more  JALC 2006»
15 years 3 months ago
On the Decidability of Model-Checking for P Systems
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
150
Voted
COCOON
2005
Springer
15 years 9 months ago
On Sequential and 1-Deterministic P Systems
Abstract. The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable as...
Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe...
100
Voted
MCU
2007
90views Hardware» more  MCU 2007»
15 years 5 months ago
Partial Halting in P Systems Using Membrane Rules with Permitting Contexts
Abstract. We consider a new variant of the halting condition in P systems, i.e., a computation in a P system is already called halting if not for all membranes a rule is applicable...
Artiom Alhazov, Rudolf Freund, Marion Oswald, Serg...
114
Voted
FUIN
2002
88views more  FUIN 2002»
15 years 3 months ago
A Formalization of Transition P Systems
Abstract. In this paper we give a complete formalization of a new computability model of a distributed parallel type which is inspired by some basic features of living cells: trans...
Mario J. Pérez-Jiménez, Fernando San...
126
Voted
CJ
2006
100views more  CJ 2006»
15 years 3 months ago
Fuzzifying P Systems
Abstract. Uncertainty is an inherent property of all living systems. Curiously enough, computational models inspired by biological systems do not take, in general, under considerat...
Apostolos Syropoulos