Sciweavers

922 search results - page 99 / 185
» A generalization of the Lin-Zhao theorem
Sort
View
CSJM
2008
88views more  CSJM 2008»
13 years 9 months ago
A zero-dimensional approach to compute real radicals
The notion of real radicals is a fundamental tool in Real Algebraic Geometry. It takes the role of the radical ideal in Complex Algebraic Geometry. In this article I shall describ...
Silke J. Spang
ENTCS
2006
125views more  ENTCS 2006»
13 years 9 months ago
Monads and Adjunctions for Global Exceptions
In this paper, we look at two categorical accounts of computational effects (strong monad as a model of the monadic metalanguage, adjunction as a model of call-bypush-value with s...
Paul Blain Levy
IPL
2008
102views more  IPL 2008»
13 years 9 months ago
The connection between two ways of reasoning about partial functions
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
John S. Fitzgerald, Cliff B. Jones
CORR
2007
Springer
120views Education» more  CORR 2007»
13 years 9 months ago
A Deterministic Approach to Wireless Relay Networks
—We present a deterministic channel model which captures several key features of multiuser wireless communication. We consider a model for a wireless network with nodes connected...
Amir Salman Avestimehr, Suhas N. Diggavi, David N....
QUESTA
2006
101views more  QUESTA 2006»
13 years 9 months ago
Insensitive versus efficient dynamic load balancing in networks without blocking
So-called Whittle networks have recently been shown to give tight approximations for the performance of non-locally balanced networks with blocking, including practical routing pol...
Matthieu Jonckheere