Sciweavers

115 search results - page 20 / 23
» Points-to Analysis as a System of Linear Equations
Sort
View
NECO
2006
98views more  NECO 2006»
13 years 7 months ago
Comment on "Characterization of Subthreshold Voltage Fluctuations in Neuronal Membranes, " by M. Rudolph and A. Destexhe
In two recent papers, Rudolph and Destexhe (Neural Comp. 15, 2577-2618, 2003; Neural Comp. in press, 2005) studied a leaky integrator model (i.e. an RC-circuit) driven by correlat...
Benjamin Lindner, André Longtin
SIAMSC
2008
127views more  SIAMSC 2008»
13 years 7 months ago
On Diagonally Relaxed Orthogonal Projection Methods
Abstract. We propose and study a block-iterative projections method for solving linear equations and/or inequalities. The method allows diagonal component-wise relaxation in conjun...
Yair Censor, Tommy Elfving, Gabor T. Herman, Toura...
BC
2005
82views more  BC 2005»
13 years 7 months ago
Feedback equilibrium control during human standing
Abstract Equilibrium maintenance during standing in humans was investigated with a 3-joint (ankle, knee and hip) sagittal model of body movement. The experimental paradigm consiste...
A. V. Alexandrov, Alexander A. Frolov, F. B. Horak...
GCB
2004
Springer
101views Biometrics» more  GCB 2004»
14 years 25 days ago
Kleene's Theorem and the Solution of Metabolic Carbon Labeling Systems
: Carbon Labeling Systems (CLS) are large equation systems that describe the dynamics of labeled carbon atoms in a metabolic network. The rapid solution of these systems is the alg...
Nicole Isermann, Michael Weitzel, Wolfgang Wiecher...
CAIP
2003
Springer
244views Image Analysis» more  CAIP 2003»
14 years 21 days ago
Real-Time Optic Flow Computation with Variational Methods
Abstract. Variational methods for optic flow computation have the reputation of producing good results at the expense of being too slow for real-time applications. We show that re...
Andrés Bruhn, Joachim Weickert, Christian F...