Sciweavers

78
Voted
CORR
2006
Springer
108views Education» more  CORR 2006»
15 years 22 days ago
An asymptotically tight bound on the number of connected components of realizable sign conditions
Saugata Basu, Richard Pollack, Marie-Franço...
72
Voted
CORR
2006
Springer
151views Education» more  CORR 2006»
15 years 22 days ago
Fast matrix multiplication is stable
We perform forward error analysis for a large class of recursive matrix multiplication algorithms in the spirit of [D. Bini and G. Lotti, Stability of fast algorithms for matrix m...
James Demmel, Ioana Dumitriu, Olga Holtz, Robert K...
86
Voted
CORR
2006
Springer
121views Education» more  CORR 2006»
15 years 22 days ago
Loop series for discrete statistical models on graphs
In this paper we present the derivation details, logic, and motivation for the three loop calculus introduced in Chertkov and Chernyak (2006 Phys. Rev. E 73 065102(R)). Generating ...
Michael Chertkov, Vladimir Y. Chernyak
CORR
2006
Springer
133views Education» more  CORR 2006»
15 years 22 days ago
A Business Goal Driven Approach for Understanding and Specifying Information Security Requirements
Abstract. In this paper we present an approach for specifying and prioritizing information security requirements in organizations. It is important to prioritize security requiremen...
Xiaomeng Su, Damiano Bolzoni, Pascal van Eck
85
Voted
CORR
2006
Springer
113views Education» more  CORR 2006»
15 years 22 days ago
Towards the Optimal Amplify-and-Forward Cooperative Diversity Scheme
How to find a cooperative diversity scheme that achieves the transmit diversity bound is still an open problem. In fact, all previously proposed amplify-and-forward (AF) and decod...
Sheng Yang, Jean-Claude Belfiore
61
Voted
CORR
2006
Springer
115views Education» more  CORR 2006»
15 years 22 days ago
minimUML: A Minimalist Approach to UML Diagraming for Early Computer Science Education
Scott A. Turner, Manuel A. Pérez-Quiñ...
35
Voted
CORR
2006
Springer
119views Education» more  CORR 2006»
15 years 22 days ago
CoInduction in Coq
Yves Bertot
34
Voted
CORR
2006
Springer
82views Education» more  CORR 2006»
15 years 22 days ago
Coq in a Hurry
Yves Bertot
30
Voted
CORR
2006
Springer
75views Education» more  CORR 2006»
15 years 22 days ago
Implementation of float-float operators on graphics hardware
Guillaume Da Graça, David Defour