Sciweavers

15 search results - page 2 / 3
» Automatic Derivation of Linear Algebra Algorithms with Appli...
Sort
View
16
Voted
HYBRID
2010
Springer
13 years 2 months ago
Oscillation analysis of linearly coupled piecewise affine systems
In recent years, there have been intensive theoretical research works on modeling/analysis of oscillatory phenomena. In this paper, we derive a sufficient condition under which (a...
Kenji Kashima, Yasuyuki Kawamura, Jun-ichi Imura
WSC
2000
13 years 6 months ago
Input modeling using a computer algebra system
Input modeling that involves fitting standard univariate parametric probability distributions is typically performed using an input modeling package. These packages typically fit ...
Diane L. Evans, Lawrence Leemis
CASC
2006
Springer
128views Mathematics» more  CASC 2006»
13 years 8 months ago
New Domains for Applied Quantifier Elimination
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
Thomas Sturm
AUTOMATICA
2006
119views more  AUTOMATICA 2006»
13 years 4 months ago
Absolute stability of third-order systems: A numerical algorithm
The problem of absolute stability is one of the oldest open problems in the theory of control. Even for the particular case of second-order systems a complete solution was present...
Michael Margaliot, Christos Yfoulis
ASAP
2003
IEEE
133views Hardware» more  ASAP 2003»
13 years 10 months ago
Storage Management in Process Networks using the Lexicographically Maximal Preimage
At the Leiden Embedded Research Center, we are developing a compiler called Compaan that automatically translates signal processing applications written in Matlab into Kahn Proces...
Alexandru Turjan, Bart Kienhuis