Sciweavers

7681 search results - page 16 / 1537
» Typed Membrane Systems
Sort
View
89
Voted
BIOSTEC
2010
139views Healthcare» more  BIOSTEC 2010»
14 years 9 months ago
Modelling Modified Atmosphere Packaging for Fruits and Vegetables using Membrane Systems
Gabi Escuela, Thomas Hinze, Peter Dittrich, Stefan...
IJON
2006
62views more  IJON 2006»
15 years 1 months ago
Dependence of the spike-triggered average voltage on membrane response properties
The spike-triggered average voltage (STV) is an experimentally measurable quantity that is determined by both the membrane response properties and the statistics of the synaptic d...
Laurent Badel, Wulfram Gerstner, Magnus J. E. Rich...
80
Voted
BC
1998
76views more  BC 1998»
15 years 1 months ago
An equivalent cable model for neuronal trees with active membrane
A non-uniform equivalent cable model of membrane voltage changes in branching neuronal trees with active ion channels has been developed. A general branching condition is formulate...
Michael Ohme, Andreas Schierwagen
ENTCS
2008
96views more  ENTCS 2008»
15 years 1 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