Separation of complex valued signals is a frequently arising problem in signal processing. For example, separation of convolutively mixed source signals involves computations on complex valued signals. In this article it is assumed that the original, complex valued source signals are mutually statistically independent, and the problem is solved by the independent component analysis (ICA) model....

In this paper, we introduce a viscosity iterative process, which converges strongly to a common element of the set of fixed points of a pseudo-contractive mapping and the set of solutions of a monotone mapping. We also prove that the common element is the unique solution of certain variational inequality. The strong convergence theorems are obtained under some mild conditions. The results prese...

This paper is about two topics: 1. systems of explicit mathematics with universes and a non-constructive quantiication operator ; 2. iterated xed point theories with ordinals. We give a proof-theoretic treatment of both families of theories; in particular, ordinal theories are used to get upper bounds for explicit theories with nitely many universes.

Powerdomains are used both when describing the semantics of non-deterministic programming languages and when doing abstract interpretation of deterministic programming languages. In the latter case, the restrictions imposed on sets in the usual powerdomain constructions can lead to less precise results than desired. We show a variant of the Plotkin (convex) powerdomain which impose fewer restri...

The DSPstone evaluation methodology is applied to evaluate performance of xed{ and oating{point digital signal (DSP), and general purpose (GPP) processors with appropriate C compilers. Main goal was to estimate run{ time e ciency on code which is representative for baseband processing in multimedia applications. The results show that for DSP{type code, like FIR ltering, DSP processors are super...

e study of dynamic equations on time scales goes back to the 1989 Ph.D. thesis of Hilger [1, 2] and is currently an area of mathematics receiving considerable attention [3– 7]. Although the basic aim of the theory of time scales is to unify the study of differential and difference equations in one and the same subject, it also extends these classical domains to hybrid and in-between cases. A g...

x until it reaches a xed point. In order to determine whether an argument is a xed point, f x is compared with x. In the case of grammar analysis problems, the rst components of the elements of the grammar analysis problems are always the nonterminals of the given grammar. It follows that the rst components of the elements of f x and x are always equal, and that equality depends just on the sec...

In this paper, various fast algorithms for linear blind source separation (BSS) are developed. The fast xed-point algorithm for independent component analysis 8, 6] is interpreted as an EM-algorithm with a modiication for accelerating the convergence rate which can otherwise be slow particularly in a low noise environment. The new point of view opens way for developing several new fast xed-poin...

Introduction: Orlicz and Birnbaum considered spaces of functions with growth properties different from the power type growth control, provided by the p L -norm. This generalization found many applications in differential and integral equations with kernels of non-power types. A more abstract approach was given by Nakano in connection with the theory of order spaces. His point of view was genera...

The basics of a block oriented fractal image coder are reviewed. The output of the coder is an IFS (Iterated Function System), which approximates the image as a xed point of a contractive transformation. A new hierarchical interpretation of the IFS code, which relates the diierent scales of the xed point, is introduced. We prove the existence of a unique function of a continuous variable that i...