Sciweavers

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

Book
4675views
16 years 7 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
ANOR
2008
49views more  ANOR 2008»
14 years 10 months 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...
SIAMCO
2000
67views more  SIAMCO 2000»
14 years 10 months 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
JLP
1998
147views more  JLP 1998»
14 years 10 months 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 5 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