734 search results - page 93 / 147 » Power balanced pipelines |
COR
2008
13 years 10 months ago
2008
Within the framework of multi-stage mixed-integer linear stochastic programming we develop a short-term production plan for a price-taking hydropower plant operating under uncerta...
ENTCS
2006
13 years 10 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
JSAC
2006
13 years 10 months ago
2006
- In next-generation CDMA networks, due to random user mobility and time-varying multimedia traffic activity, the system design of coverage and capacity is a challenging issue. To ...
TSP
2008
13 years 9 months ago
2008
Designing matched transmit and receive filters such that their combination satisfies the Nyquist condition is a classical problem in digital communication systems. In this paper, ...
PPDP
2010
Springer
13 years 8 months ago
2010
Springer
Permissive-Nominal Logic (PNL) is an extension of firstorder logic where term-formers can bind names in their arguments. This allows for direct axiomatisations with binders, such...