1357 search results - page 211 / 272 » Compositional analysis for linear systems |
129
Voted
PTS
2008
15 years 4 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
81
Voted
JSCIC
2008
15 years 3 months ago
2008
Abstract An efficient and accurate numerical scheme is proposed, analyzed and implemented for the Kawahara and modified Kawahara equations which model many physical phenomena such ...
138
Voted
JCNS
1998
15 years 3 months ago
1998
The firing rate of neurons in parietal area 7a of the behaving Rhesus monkey with its head fixed incorporates both visual and eye position information. This neural tuning is not ...
131
Voted
CASC
2010
Springer
15 years 2 months ago
2010
Springer
We discuss the algorithms which, given a linear difference equation with rational function coefficients over a field k of characteristic 0, compute a polynomial U(x) ∈ k[x] (a ...
178
Voted
MCS
2011
Springer
14 years 10 months ago
2011
Springer
: The modeling of a fully populated 3D tree able to regulate dynamically remains a relatively unexplored field. A non-dimensional representation of “autoregulation” coupled wit...