Sciweavers

7681 search results - page 16 / 1537
» Typed Membrane Systems
Sort
View
IJON
2006
62views more  IJON 2006»
13 years 7 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...
BC
1998
76views more  BC 1998»
13 years 7 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»
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