Sciweavers

14165 search results - page 536 / 2833
» The generalized two-server problem
Sort
View
MOC
2010
15 years 1 months ago
Sharpness in rates of convergence for the symmetric Lanczos method
The Lanczos method is often used to solve a large and sparse symmetric matrix eigenvalue problem. There is a well-established convergence theory that produces bounds to predict the...
Ren-Cang Li
SAC
2010
ACM
15 years 1 months ago
Similar triangles and orientation in plane elementary geometry for Coq-based proofs
In plane elementary geometry, the concept of similar triangles not only forms an important foundation for trigonometry, but it also can be used to solve many geometric problems. T...
Tuan Minh Pham
SIAMCO
2010
119views more  SIAMCO 2010»
15 years 1 months ago
On the Structure of the Minimum Time Function
A minimum time problem with a nonlinear smooth dynamics and a target satisfying an internal sphere condition is considered. Under the assumption that the minimum time T be continu...
Giovanni Colombo, Khai T. Nguyen
SIAMCO
2010
125views more  SIAMCO 2010»
15 years 1 months ago
Optimal Input-Output Stabilization of Infinite-Dimensional Discrete Time-Invariant Linear Systems by Output Injection
We study the optimal input-output stabilization of discrete time-invariant linear systems in Hilbert spaces by output injection. We show that a necessary and sufficient condition ...
Mark R. Opmeer, Olof J. Staffans
SIAMMAX
2010
105views more  SIAMMAX 2010»
15 years 1 months ago
Construction of Covariance Matrices with a Specified Discrepancy Function Minimizer, with Application to Factor Analysis
The main goal of this paper is to develop a numerical procedure for construction of covariance matrices such that for a given covariance structural model and a discrepancy function...
So Yeon Chun, A. Shapiro