Sciweavers

15 search results - page 1 / 3
» Salem numbers of negative trace
Sort
View
MOC
2000
71views more  MOC 2000»
13 years 4 months ago
Salem numbers of negative trace
We prove that, for all d 4, there are Salem numbers of degree 2d and trace -1, and that the number of such Salem numbers is d/ (log log d)2 . As a consequence, it follows that the...
C. J. Smyth
CCS
2011
ACM
12 years 4 months ago
Trace equivalence decision: negative tests and non-determinism
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...
Vincent Cheval, Hubert Comon-Lundh, Stéphan...
ISCA
1997
IEEE
119views Hardware» more  ISCA 1997»
13 years 8 months ago
The Agree Predictor: A Mechanism for Reducing Negative Branch History Interference
Deeply pipelined, superscalar processors require accurate branch prediction to achieve high performance. Two-level branch predictors have been shown to achieve high prediction acc...
Eric Sprangle, Robert S. Chappell, Mitch Alsup, Ya...
SDM
2008
SIAM
95views Data Mining» more  SDM 2008»
13 years 6 months ago
Deterministic Latent Variable Models and Their Pitfalls
We derive a number of well known deterministic latent variable models such as PCA, ICA, EPCA, NMF and PLSA as variational EM approximations with point posteriors. We show that the...
Max Welling, Chaitanya Chemudugunta, Nathan Sutter