The analytic signal of a real signal is a standard concept in 1D signal processing. However, the deenition of an analytic signal for real 2D signals is not possible by a straightforward extension of the 1D deenition. There rather occur several diierent approaches in the literature. We review the main approaches and propose a new deenition which is based on the recently introduced quaternionic F...

We consider a labelled tableau presentation of constant domain rst-order S5 and prove a strong cut-elimination theorem.

In this paper, we derive an analytic representation of the eigenvectors and coefficients for in-plane rotated images. This, on the one hand, allows an efficient PCA-basis calculation in the learning stage and on the other hand a direct computation of the rotation angle in the recognition stage. In the experimental section, we demonstrate that the new method is feasible and the recognition and o...