Sciweavers

8141 search results - page 34 / 1629
» Higher Order Generalization
Sort
View
FOCM
2010
100views more  FOCM 2010»
13 years 8 months ago
Higher-Order Averaging, Formal Series and Numerical Integration I: B-series
We show how B-series may be used to derive in a systematic way the analytical expressions of the high-order stroboscopic averaged equations that approximate the slow dynamics of h...
P. Chartier, A. Murua, J. M. Sanz-Serna
ICASSP
2011
IEEE
13 years 1 months ago
Spatial sound reproduction systems using higher order loudspeakers
Sound reproduction systems aim to produce a desired sound field over a region of space. At high frequencies, the number of loudspeakers required is prohibitive. This paper shows t...
Mark A. Poletti, Thushara D. Abhayapala
INDOCRYPT
2010
Springer
13 years 7 months ago
Attack on a Higher-Order Masking of the AES Based on Homographic Functions
In the recent years, Higher-order Side Channel attacks have been widely investigated. In particular, 2nd-order DPA have been improved and successfully applied to break several mask...
Emmanuel Prouff, Thomas Roche
ICIP
2001
IEEE
14 years 11 months ago
Higher order autocorrelations for pattern classification
The use of higher-order local autocorrelations as features for pattern recognition has been acknowledged since many years, but their applicability was restricted to relatively low...
Vlad Popovici, Jean-Philippe Thiran
ITP
2010
165views Mathematics» more  ITP 2010»
14 years 1 months ago
A Mechanized Translation from Higher-Order Logic to Set Theory
Abstract. In order to make existing formalizations available for settheoretic developments, we present an automated translation of theories from Isabelle/HOL to Isabelle/ZF. This c...
Alexander Krauss, Andreas Schropp