Sciweavers

229 search results - page 17 / 46
» Roots of Square: Cryptanalysis of Double-Layer Square and Sq...
Sort
View

Book
814views
15 years 5 months ago
Numerical Computing with MATLAB
"Numerical Computing with MATLAB is a textbook for an introductory course in numerical methods, Matlab, and technical computing. The emphasis is on informed use of mathematic...
Cleve Moler
IRI
2007
IEEE
14 years 2 months ago
Adapting Ratings in Memory-Based Collaborative Filtering using Linear Regression
We show that the standard memory-based collaborative filtering rating prediction algorithm using the Pearson correlation can be improved by adapting user ratings using linear reg...
Jérôme Kunegis, Sahin Albayrak
AISC
1998
Springer
13 years 12 months ago
Instantiation of Existentially Quantified Variables in Inductive Specification Proofs
Abstract. We present an automatic approach for instantiating existentially quantified variables in inductive specifications proofs. Our approach uses first-order meta-variables in ...
Brigitte Pientka, Christoph Kreitz
MFCS
2000
Springer
13 years 11 months ago
Periodic-Like Words
In this paper we investigate the periodic structure of rich words (i.e., words having the highest possible number of palindromic factors), giving new results relating them with per...
Arturo Carpi, Aldo de Luca
CSDA
2007
100views more  CSDA 2007»
13 years 7 months ago
Convergence of random k-nearest-neighbour imputation
Random k-nearest-neighbour (RKNN) imputation is an established algorithm for filling in missing values in data sets. Assume that data are missing in a random way, so that missing...
Fredrik A. Dahl