Sciweavers

CORR
2007
Springer
54views Education» more  CORR 2007»
14 years 15 days ago
A Practical Ontology for the Large-Scale Modeling of Scholarly Artifacts and their Usage
Marko A. Rodriguez, Johan Bollen, Herbert Van de S...
CORR
2007
Springer
82views Education» more  CORR 2007»
14 years 15 days ago
Mathematical analysis of the recoil growth algorithm to generate multi-polymer systems
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 ...
F. Simatos
CORR
2007
Springer
115views Education» more  CORR 2007»
14 years 15 days ago
Near Optimal Broadcast with Network Coding in Large Sensor Networks
Cedric Adjih, Song Yean Cho, Philippe Jacquet
CORR
2007
Springer
132views Education» more  CORR 2007»
14 years 15 days ago
Nodally 3-connected planar graphs and convex combination mappings
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...
Colm Ó'Dúnlaing
CORR
2007
Springer
110views Education» more  CORR 2007»
14 years 15 days ago
Relations between random coding exponents and the statistical physics of random codes
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 ...
Neri Merhav
CORR
2007
Springer
116views Education» more  CORR 2007»
14 years 15 days ago
Cooperative game theory and the Gaussian interference channel
—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...
Amir Leshem, Ephraim Zehavi
CORR
2007
Springer
96views Education» more  CORR 2007»
14 years 15 days ago
Edit and verify
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...
Radu Grigore, Michal Moskal
CORR
2007
Springer
53views Education» more  CORR 2007»
14 years 15 days ago
Structure or Noise?
Susanne Still, James P. Crutchfield
CORR
2007
Springer
52views Education» more  CORR 2007»
14 years 15 days ago
Public Cluster : parallel machine with multi-block approach
Zaenal Akbar, Slamet, B. I. Ajinagoro, G. I. Ohara...