Sciweavers

7681 search results - page 13 / 1537
» Typed Membrane Systems
Sort
View
CMSB
2004
Springer
14 years 23 days ago
Projective Brane Calculus
A refinement of Cardelli’s brane calculus [1] is introduced where membrane actions are directed. This modification brings the language closer to biological membranes and also o...
Vincent Danos, Sylvain Pradalier
BMCBI
2011
13 years 2 months ago
Outer membrane proteins can be simply identified using secondary structure element alignment
Background: Outer membrane proteins (OMPs) are frequently found in the outer membranes of gram-negative bacteria, mitochondria and chloroplasts and have been found to play diverse...
Ren-Xiang Yan, Zhen Chen, Ziding Zhang
CORR
2008
Springer
73views Education» more  CORR 2008»
13 years 7 months ago
On acceptance conditions for membrane systems: characterisations of L and NL
In this paper we investigate the affect of various acceptance conditions on recogniser membrane systems without dissolution. We demonstrate that two particular acceptance conditio...
Niall Murphy, Damien Woods
IJFCS
2007
100views more  IJFCS 2007»
13 years 7 months ago
On the Power of Deterministic and Sequential Communicating P Systems
We characterize the computational power of several restricted variants of communicating P systems. We show that 2-deterministic communicating P systems with 2 membranes, working in...
Ludek Cienciala, Lucie Ciencialová, Pierlui...
SYNASC
2005
IEEE
84views Algorithms» more  SYNASC 2005»
14 years 29 days ago
Membrane Computing as a Framework for Modeling Economic Processes
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
Gheorghe Paun, Radu A. Paun