Sciweavers

1357 search results - page 175 / 272
» Compositional analysis for linear systems
Sort
View
225
Voted

Book
4675views
16 years 10 months ago
Mathematics of The Discrete Fourier Transform (DFT) with Audio Applications
"The Discrete Fourier Transform (DFT) can be understood as a numerical approximation to the Fourier transform. However, the DFT has its own exact Fourier theory, which is the ...
Julius O. Smith III
99
Voted
ANOR
2008
49views more  ANOR 2008»
15 years 26 days ago
Second order fluid models with general boundary behaviour
A crucial property of second order fluid models is the behaviour of the fluid level at the boundaries. Two cases have been considered: the reflecting and the absorbing boundary. Th...
Marco Gribaudo, Daniele Manini, Bruno Sericola, Mi...
82
Voted
SIAMCO
2000
67views more  SIAMCO 2000»
15 years 16 days ago
On the Duality between Filtering and Nevanlinna--Pick Interpolation
Positive real rational functions play a central role in both deterministic and stochastic linear systems theory, as well as in circuit synthesis, spectral analysis, and speech proc...
Christopher I. Byrnes, Anders Lindquist
90
Voted
JLP
1998
147views more  JLP 1998»
15 years 12 days ago
Automated Reasoning with a Constraint-Based Metainterpreter
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
Henning Christiansen
JUCS
2010
160views more  JUCS 2010»
14 years 7 months ago
How Incomputable is Finding Nash Equilibria?
Abstract: We investigate the Weihrauch-degree of several solution concepts from noncooperative game theory. While the consideration of Nash equilibria forms the core of our work, a...
Arno Pauly