CORR
2007
Springer
13 years 9 months ago
2007
Springer
CORR
2007
Springer
13 years 9 months ago
2007
Springer
The Recoil Growth algorithm, proposed in 1999 by Consta et al., is one of the most efficient algorithm available in the literature to sample from a multi-polymer system. While the ...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
CORR
2007
Springer
13 years 9 months ago
2007
Springer
A barycentric mapping of a planar graph is a plane embedding in which every internal vertex is the average of its neighbours. A celebrated result of Tutte’s [16] is that if a pl...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
The partition function pertaining to finite–temperature decoding of a (typical) randomly chosen code is known to have three types of behavior, corresponding to three phases in ...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
—In this paper we discuss the use of cooperative game theory for analyzing interference channels. We extend our previous work, to games with N players as well as frequency select...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. Automated theorem provers are used in extended static checking, where they are the performance bottleneck. Extended static checkers are run typically after incremental ch...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
CORR
2007
Springer
13 years 9 months ago
2007
Springer
CORR
2007
Springer
13 years 9 months ago
2007
Springer