Sciweavers

155 search results - page 12 / 31
» Reaction-Driven Membrane Systems
Sort
View
ENTCS
2008
96views more  ENTCS 2008»
13 years 7 months ago
Undecidability of Model Checking in Brane Logic
The Brane Calculus is a calculus intended to model the structure and the dynamics of biological membranes. In order to express properties of systems in this calculus, in previous ...
Giorgio Bacci, Marino Miculan
FUIN
2008
74views more  FUIN 2008»
13 years 7 months ago
A P Systems Flat Form Preserving Step-by-step Behaviour
Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem of developing an axiomatization that is sound and comple...
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...
FAC
2008
100views more  FAC 2008»
13 years 7 months ago
Bisimulations in calculi modelling membranes
Abstract. Bisimulations are well
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...
BMCBI
2005
125views more  BMCBI 2005»
13 years 7 months ago
Amino-Acid Substitutions In Membrane Proteins: Applications To Homology Recognition And Comparative Modelling
ent> <title><p>BioSysBio: Bioinformatics and Systems Biology Conference</p></title> <note>Meeting abstracts
Younes Mokrab, Kenji Mizuguchi
SIAMAM
2000
81views more  SIAMAM 2000»
13 years 7 months ago
Electrodiffusion Model of Rectangular Current Pulses in Ionic Channels of Cellular Membranes
A simplified electrodiffusion model for rectangular current pulses in ionic channels of biological membranes is presented. Numerical simulations and a dynamical systems analysis of...
Carl L. Gardner, Joseph W. Jerome, Robert S. Eisen...