Sciweavers

CORR
2006
Springer
71views Education» more  CORR 2006»
13 years 8 months ago
Wreath Products in Stream Cipher Design
The paper develops a novel approach to stream cipher design: Both the state update function and the output function of the corresponding pseudorandom generators are compositions of...
Vladimir Anashin
CORR
2006
Springer
105views Education» more  CORR 2006»
13 years 8 months ago
Reducing Tile Complexity for Self-Assembly Through Temperature Programming
We consider the tile self-assembly model and how tile complexity can be eliminated by permitting the temperature of the self-assembly system to be adjusted throughout the assembly...
Ming-Yang Kao, Robert T. Schweller
CORR
2006
Springer
102views Education» more  CORR 2006»
13 years 8 months ago
A library of Taylor models for PVS automatic proof checker
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...
Francisco Cháves, Marc Daumas
CORR
2006
Springer
120views Education» more  CORR 2006»
13 years 8 months ago
Watermarking Using Decimal Sequences
: This paper introduces the use of decimal sequences in a code division multiple access (CDMA) based watermarking system to hide information for authentication in black and white i...
Navneet Mandhani, Subhash Kak
CORR
2006
Springer
86views Education» more  CORR 2006»
13 years 8 months ago
Loop Calculus in Statistical Physics and Information Science
Michael Chertkov, Vladimir Y. Chernyak
CORR
2006
Springer
57views Education» more  CORR 2006»
13 years 8 months ago
Monte Carlo Algorithm for Least Dependent Non-Negative Mixture Decomposition
Sergey A. Astakhov, Harald Stögbauer, Alexand...
CORR
2006
Springer
151views Education» more  CORR 2006»
13 years 8 months ago
Combining decision procedures for the reals
Abstract. We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consi...
Jeremy Avigad, Harvey Friedman
CORR
2006
Springer
98views Education» more  CORR 2006»
13 years 8 months ago
Dense Linear Algebra over Finite Fields: the FFLAS and FFPACK packages
Jean-Guillaume Dumas, Thierry Gautier, Pascal Gior...
CORR
2006
Springer
70views Education» more  CORR 2006»
13 years 8 months ago
Scalable Algorithms for Aggregating Disparate Forecasts of Probability
- In this paper, computational aspects of the panel aggregation problem are addressed. Motivated primarily by applications of risk assessment, an algorithm is developed for aggrega...
Joel B. Predd, Sanjeev R. Kulkarni, Daniel N. Oshe...