1526 search results - page 31 / 306 » Computer algebra in systems biology |
115
click to vote
ICINCO
2004
15 years 3 months ago
2004
This paper presents an Iterative Linear Quadratic Regulator (ILQR) method for locally-optimal feedback control of nonlinear dynamical systems. The method is applied to a musculo-s...
BC
2002
15 years 1 months ago
2002
Association of a presynaptic spike with a postsynaptic spike can lead to changes in synaptic efficacy that are highly dependent on the relative timing of the preand postsynaptic sp...
116
click to vote
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...
131
click to vote
APIN
1998
15 years 1 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
ISCAS
2006
IEEE
15 years 8 months ago
2006
IEEE
—This paper presents an analog neuromimetic integrated circuit and an associated system dedicated for experiments of parameters extraction in biological neuron models. The IC bas...