Sciweavers

1168 search results - page 125 / 234
» cases 2000
Sort
View
SIAMCO
2000
52views more  SIAMCO 2000»
14 years 9 months ago
Lyapunov Characterizations of Input to Output Stability
This paper presents necessary and sufficient characterizations of several notions of input to output stability. Similar Lyapunov characterizations have been found to play a key ro...
Eduardo Sontag, Yuan Wang
SIAMJO
2000
76views more  SIAMJO 2000»
14 years 9 months ago
Superlinear Convergence and Implicit Filtering
In this note we show how the implicit filtering algorithm can be coupled with the BFGS quasi-Newton update to obtain a superlinearly convergent iteration if the noise in the object...
T. D. Choi, C. T. Kelley
SIAMJO
2000
67views more  SIAMJO 2000»
14 years 9 months ago
Gradient Convergence in Gradient methods with Errors
We consider the gradient method xt+1 = xt + t(st + wt), where st is a descent direction of a function f : n and wt is a deterministic or stochastic error. We assume that f is Lip...
Dimitri P. Bertsekas, John N. Tsitsiklis
TCS
1998
14 years 9 months ago
A Computational Model for Metric Spaces
In this paper we present an alternative order-theoretic proof of the Banach fixed point theorem for selfmaps on complete metric spaces which is based on formal balls and, contrary...
Abbas Edalat, Reinhold Heckmann
MICS
2007
100views more  MICS 2007»
14 years 9 months ago
A New Method for Real Root Isolation of Univariate Polynomials
A new algorithm for real root isolation of univariate polynomials is proposed, which is mainly based on exact interval arithmetic and bisection method. Although exact interval arit...
Ting Zhang, Bican Xia