Most of the existing Digital Signal Processors (DSPs) are optimized for a fast and e cient computation of the Fast Fourier Transform (FFT). However, there are only two oating-point DSPs available, which perform the butter y operation of a FFT in 4 processor cycles, but no xed-point DSP is designed that way. The new 24 bit xed-point DSP DAISY, which is able to execute the butter y in 4 cycles ev...

Let ν ∈ M([0,∞[) be a xed probability measure. For each dimension p ∈ N, let (X n)n≥1 be i.i.d. R-valued random variables with radially symmetric distributions and radial distribution ν. We investigate the distribution of the euclidean length of S n := X p 1 + . . . + X p n for large parameters n and p. Depending on the growth of the dimension p = pn on the number of steps n we derive by the me...

We describe an encoding of major parts of domain theory and xed-point theory in the Pvs extension of the simply-typed-calculus; these formaliza-tions comprise the encoding of mathematical structures like complete partial orders (domains), domain constructions, the Knaster-Tarski xed-point theorem for mono-tonic functions, and variations of xed-point induction. Altogether, these encodings form a...

Fixed point calculus is about the solution of recursive equations de ̨ned by a monotonic endofunction on a partially ordered set. This tutorial presents the basic theory of ̨xed point calculus together with a number of applications of direct relevance to the construction of computer programs. The tutorial also presents the theory and application of Galois connections between partially ordered se...

Suppose we have i.i.d. observations with a distribution equal to the convolution of an unknown distribution function F and a known distribution function K. We derive a local minimax lower bound for the problem of estimating F at a xed point x 0. We focus on the dependence of the lower bound on the smoothness of the distribution K. The performance with respect to the lower bound of nonparametric...

In this article we present a variant of the basic result of "T. Gnana. Bhaskar and V. Lakshmikanthan, Fixed point theorem in partially ordered metric spaces and applications, Nonlinear Anal. TMA, 65 (2006), 1379–1393." to …nd the coupled …xed points of multivalued mappings without mixed monotone property in cone metric space involving non-normal cones. As applications we prove the existence of ...

In this paper, stochastic generalizations of some fixed point for operators satisfying random contractively generalized hybrid and some other contractive condition have been proved. We discuss also the existence of a solution to a nonlinear random integral equation in Banah spaces.

Graphical models, such as Bayesian networks and Markov random elds, represent statistical dependencies of variables by a graph. The max-product \belief propagation" algorithm is a local-message passing algorithm on this graph that is known to converge to a unique xed point when the graph is a tree. Furthermore, when the graph is a tree, the assignment based on the xed-point yields the most prob...