Sciweavers

2206 search results - page 89 / 442
» On the power of coercion abstraction
Sort
View
CEC
2005
IEEE
14 years 2 months ago
Automated tile design for self-assembly conformations
AbstractSelf-Assembly is a powerful autopoietic mechanism ubiquitous throughout the natural world. It may be found at the molecular scale and also at astronomical scales. Self-asse...
Germán Terrazas, Natalio Krasnogor, Graham ...
INFOCOM
2005
IEEE
14 years 2 months ago
Energy optimal control for time varying wireless networks
Abstract— We develop a dynamic control strategy for minimizing energy expenditure in a time varying wireless network with adaptive transmission rates. The algorithm operates with...
Michael J. Neely
SETN
2004
Springer
14 years 2 months ago
A Multi-agent System for Microgrids
Abstract. This paper presents the capabilities offered by MultiAgent System technology in the operation of a Microgrid. A Microgrid is a new type of power system, which is formed b...
Aris Dimeas, Nikos D. Hatziargyriou
CORR
2010
Springer
98views Education» more  CORR 2010»
13 years 9 months ago
Extended Computation Tree Logic
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
Roland Axelsson, Matthew Hague, Stephan Kreutzer, ...
MONET
2007
98views more  MONET 2007»
13 years 8 months ago
A Markov Model for Indoor Ultra-wideband Channel with People Shadowing
Abstract For an indoor ultra-wideband (UWB) communication system, the line-of-sight (LOS) between the transmitter and receiver may be frequently blocked by moving people. Blocking ...
Ruonan Zhang, Lin Cai