3979 search results - page 170 / 796 » Wild control operators |
74
Voted
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract— We consider the simplest model for controlling the rotation of a molecule by the action of an electric field, namely a quantum planar pendulum. This problem consists i...
87
Voted
IWQOS
2004
Springer
15 years 3 months ago
2004
Springer
— Managing the performance of multiple-tiered Web sites under high client loads is a critical problem with the advent of dynamic content and database-driven servers on the Intern...
91
Voted
TLCA
2007
Springer
15 years 4 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
86
Voted
ATVA
2005
Springer
15 years 3 months ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
75
Voted
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract— This paper examines the stability of quantum feedback networks. We introduce a novel characterization, in terms of equivalence classes of operators, that may be used to...