Sciweavers

17049 search results - page 225 / 3410
» cans 2007
Sort
View
AMC
2006
115views more  AMC 2006»
15 years 6 months ago
Global stabilization for linear continuous time-varying systems
In this paper, stabilization problem via static output feedback controls for linear time-varying systems is investigated. Based on the Lyapunov function techniques, we show that f...
Vu N. Phat
AMC
2006
87views more  AMC 2006»
15 years 6 months ago
Numerical solution of a non-classical parabolic problem: An integro-differential approach
A numerical method based on an integro-differential formulation and approximation by local interpolating functions is proposed for solving a one-dimensional parabolic partial diff...
Whye-Teong Ang
AMC
2006
114views more  AMC 2006»
15 years 6 months ago
Definability as hypercomputational effect
The classical simulation of physical processes using standard models of computation is fraught with problems. On the other hand, attempts at modelling real-world computation with ...
S. Barry Cooper
AMC
2006
119views more  AMC 2006»
15 years 6 months ago
Interval iterative methods for computing Moore-Penrose inverse
In this paper, we import interval method to the iteration for computing Moore-Penrose inverse of the full row (or column) rank matrix. Through modifying the classical Newton itera...
Xian Zhang, Jianfeng Cai, Yimin Wei
APAL
2006
73views more  APAL 2006»
15 years 6 months ago
Compactness in locales and in formal topology
If a locale is presented by a "flat site", it is shown how its frame can be presented by generators and relations as a dcpo. A necessary and sufficient condition is deri...
Steven J. Vickers