Sciweavers

785 search results - page 81 / 157
» On the Hilbert Transform of Wavelets
Sort
View
139
Voted
LICS
2008
IEEE
15 years 7 months ago
From Axioms to Analytic Rules in Nonclassical Logics
We introduce a systematic procedure to transform large classes of (Hilbert) axioms into equivalent inference rules in sequent and hypersequent calculi. This allows for the automat...
Agata Ciabattoni, Nikolaos Galatos, Kazushige Teru...
CIE
2005
Springer
15 years 7 months ago
A Logical Approach to Abstract Algebra
L APPROACH TO ABSTRACT ALGEBRA THIERRY COQUAND AND HENRI LOMBARDI Recent work in constructive mathematics show that Hilbert’s program works rge part of abstract algebra. Using in...
Thierry Coquand
ADCM
2008
59views more  ADCM 2008»
15 years 1 months ago
On translation invariant operators which preserve the B-spline recurrence
It was observed in [4] that the Hilbert transform of the univariate B-spline preserves the B-spline recurrence. Motivated by this observation, we characterize translation invarian...
Charles A. Micchelli, Yuesheng Xu, Haizhang Zhang
ISBI
2007
IEEE
15 years 7 months ago
Wavelet-Based Statistical Analysis for Optical Imaging in Mouse Olfactory Bulb
Optical imaging is a powerful technique to map brain function in animals. In this study, we consider in vivo optical imaging of the murine olfactory bulb, using an intrinsic signa...
Dimitri Van De Ville, Brice Bathellier, Alan Carle...
PDP
2006
IEEE
15 years 7 months ago
A Single-Loop Approach to SIMD Parallelization of 2-D Wavelet Lifting
Widespread use of wavelet transforms as in JPEG2000 demands efficient implementations on general purpose computers as well as dedicated hardware. The increasing availability of S...
Rade Kutil