3823 search results - page 152 / 765 » Stability of Hybrid Systems |
92
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— This paper considers a network flow control problem where routing and input rates are controlled in a decentralized way across a network, to optimize a global welfare objectiv...
98
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— The paper investigates theoretical issues in applying the universal swarming technique to efficient content distribution. In a swarming session, a file is distributed...
83
Voted
BMCBI
2008
15 years 28 days ago
2008
: The tumour suppressor protein p53 protein has a core domain that binds DNA and is the site for most oncogenic mutations. This domain is quite unstable compared to its homologs p...
113
Voted
HYBRID
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. In earlier work, we developed a mathematical hybrid I/O automaton (HIOA) modeling framework, capable of describing both discrete and continuous behavior. This framework h...
126
click to vote
ICFP
2003
ACM
2003
ACM
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines
16 years 24 days ago
We report on work in progress devoted to the formalization of an Ordered Logical Framework (OLF) based on a two-level architecture [8] in the Hybrid system. OLF here is a second-or...