812 search results - page 56 / 163 » corr 2007 |
CORR
2007
Springer
14 years 11 months ago
2007
Springer
We obtain two results about the proof complexity of deep inference: 1) deep-inference proof systems are as powerful as Frege ones, even when both are extended with the Tseitin exte...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
: Effective resource utilisation monitoring and highly granular yet adaptive measurements are prerequisites for a more efficient Grid scheduler. We present a suite of measurement a...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
: As the Grid evolves from a high performance cluster middleware to a multipurpose utility computing framework, a good understanding of Grid applications, their statistics and util...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
We show that the Brier game of prediction is mixable and find the optimal learning rate and substitution function for it. The resulting prediction algorithm is applied to predict...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
We define a class of “algebraic” random matrix channels for which one can generically compute the limiting Shannon transform using numerical techniques and often enumerate th...