Sciweavers

8141 search results - page 34 / 1629
» Higher Order Generalization
Sort
View
FOCM
2010
100views more  FOCM 2010»
15 years 28 days 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
14 years 6 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
15 years 9 days 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
122
Voted
ICIP
2001
IEEE
16 years 4 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»
15 years 6 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