678 search results - page 8 / 136 » The Theory of Weak Stabilization |
CIE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We show that many so called discrete weak semilattices considered earlier in a series of author’s publications have hereditary undecidable first-order theories. Since ...
AISC
2010
Springer
13 years 10 months ago
2010
Springer
A lot of mathematical knowledge has been formalized and stored in repositories by now: Different mathematical theorems and theories have been taken into consideration and included ...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
This paper proves that in Size Theory the comparison of multidimensional size functions can be reduced to the 1-dimensional case by a suitable change of variables. Indeed, we show...
AUTOMATICA
2004
13 years 7 months ago
2004
This paper addresses the problem of dynamics analysis in optical networks from a system control perspective. A general framework for
AMC
1999
13 years 7 months ago
1999
The stability of the equilibria of time-invariant nonlinear dynamical systems with discrete time scale is investigated. We present an elementary proof showing that in the case of ...