10916 search results - page 268 / 2184 » On Constructive Connectives and Systems |
154
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
We explicitly construct global strict Lyapunov functions for rapidly time-varying nonlinear control systems. The Lyapunov functions we construct are expressed in terms of oftentim...
166
click to vote
LICS
2005
IEEE
16 years 10 days ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
176
click to vote
ENTCS
2008
15 years 6 months ago
2008
Several different uses of Newton's method in connection with the Fundamental Theorem of Algebra are pointed out. Theoretical subdivision schemes have been combined with the n...
154
click to vote
DCG
1999
15 years 6 months ago
1999
Monotone path polytopes arise as a special case of the construction of fiber polytopes, introduced by Billera and Sturmfels. A simple example is provided by the permutahedron, whic...