678 search results - page 8 / 136 » The Theory of Weak Stabilization |
117
Voted
CIE
2007
Springer
15 years 6 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 ...
133
Voted
AISC
2010
Springer
15 years 2 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
15 years 12 days 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...
107
Voted
AUTOMATICA
2004
15 years 7 days ago
2004
This paper addresses the problem of dynamics analysis in optical networks from a system control perspective. A general framework for
142
click to vote
AMC
1999
15 years 1 days 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 ...