1357 search results - page 211 / 272 » Compositional analysis for linear systems |
PTS
2008
13 years 11 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...
JSCIC
2008
13 years 10 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 ...
JCNS
1998
13 years 10 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 ...
CASC
2010
Springer
13 years 9 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 ...
MCS
2011
Springer
13 years 5 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...