Sciweavers

2016 search results - page 37 / 404
» Megamaps: Construction and Examples
Sort
View
AUTOMATICA
2006
95views more  AUTOMATICA 2006»
13 years 9 months ago
Further results on strict Lyapunov functions for rapidly time-varying nonlinear systems
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...
Frédéric Mazenc, Michael Malisoff, M...
TCS
2008
13 years 9 months ago
Seminormal rings (following Thierry Coquand)
The Traverso-Swan theorem says that a reduced ring A is seminormal if and only if the natural homomorphism Pic A Pic A[X] is an isomorphism ([18, 17]). We give here all the detai...
Henri Lombardi, Claude Quitté
EUSFLAT
2007
13 years 11 months ago
Recent Advances in the Field of Left-continuous t-norms
The recent advances in the research of left-continuous t-norms is summarized in this talk. The main focus is on construction methods, geometric description, and structural charact...
Sándor Jenei
CDC
2008
IEEE
239views Control Systems» more  CDC 2008»
14 years 4 months ago
Construction of Lyapunov-Krasovskii functional for time-varying delay systems
This paper provides some new techniques to construct a LyapunovKrasovskii functional for time varying delay systems. The construction is based on a partitioning scheme of the time...
Yassine Ariba, Frédéric Gouaisbaut
VL
2007
IEEE
123views Visual Languages» more  VL 2007»
14 years 4 months ago
Introductory Computing Construct Use in an End-User Programming Community
Previous studies of end-user programmers have indicated a reliance on related examples for learning. Accordingly, we analyzed the projects contained in an online community with re...
Brian Dorn, Allison Elliott Tew, Mark Guzdial