A general study of the asymptotic law of a skew-product of two real diffusions is proposed; a complete and elementary form of the Rosenkrantz theorem is given; the results are applied to three examples: the Brownian motions on SO3, on S3, and on SH3.

In this paper, we study a fluid model with partial message discarding and early message discarding, in which a finite buffer receives data (or information) from N independent on/off sources. All data generated by a source during one of its on periods is considered as a complete message. Our discarding scheme consists of two parts: (i) whenever some data belonging to a message has been lost due to overflow of the buffer, the remaining portion of this message will be discarded, and (ii) as long as the buffer content surpasses a certain threshold value at the instant an on period starts, all information generated during this on period will be discarded. By applying level-crossing techniques, we derive the equations for determining the system's stationary distribution. Further, two important performance measures, the probability of messages being transmitted successfully and the goodput of the system, are obtained. Numerical results are provided to demonstrate the effect of control parameters on the performance of the system.

Motivated by applications in digital image processing, we discuss information-theoretic bounds to the amount of detail that can be recovered from a defocused, noisy signal. Mathematical models are constructed for test-pattern, defocusing and noise. Using these models, upper bounds are derived for the amount of detail that can be recovered from the degraded signal, using any method of image restoration. The bounds are used to assess the performance of the class of linear restorative procedures. Certain members of the class are shown to be optimal, in the sense that they attain the bounds, while others are shown to be sub-optimal. The effect of smoothness of point-spread function on the amount of resolvable detail is discussed concisely.

We consider the N-oscillator system of the van der Pol type, which contains a small positive parameter ε multiplying the non-linear damping and the random disturbance. For a formulation of the output we take the solution X(t) = (Xi(t))i=1···,N of the system of 2N-dimensional stochastic differential equations. Rotating each component Xi(t) about the origin of the plane by an angle t, we find that on time scales of order 1/ε together with sufficiently large N each Xi(t) behaves as the equi-ultimately bounded solution of an equation of the McKean type admitting a stationary probability distribution.

The annual premium for a life assurance contract is obtained by equating the expected discounted value of the sum payable on death to the expected discounted value of the series of premiums, and loading the resultant net premium for expenses and contingencies. The approach is essentially deterministic. An adequate stochastic model of mortality is readily available, but it is of limited practical value. A life office writes a large number of policies on independent lives and, apart from the effects of a few very large policies, the overall mortality behaviour of its portfolio is effectively deterministic.

We study the limiting behaviour of large systems of two types of Brownian particles undergoing bisexual branching. Particles of each type generate individuals of both types, and the respective branching law is asymptotically critical for the two-dimensional system, while being subcritical for each individual population.

The main result of the paper is that the limiting behaviour of suitably scaled sums and differences of the two populations is given by a pair of measure and distribution valued processes which, together, determine the limit behaviours of the individual populations.

Our proofs are based on the martingale problem approach to general state space processes. The fact that our limit involves both measure and distribution valued processes requires the development of some new methodologies of independent interest.

With the general convergence theory for branching processes as basis a special problem is studied. An extra point process of events during life is assigned to each realised individual, and the behaviour of the superposition of such point processes in action is studied as the population grows. With the proper scaling and under some regularity conditions the superposition is shown to converge in distribution to a Poisson process. Another scaling gives rise to a mixed Poisson process as limit.

Established weak convergence techniques for point processes are applied, together with some recent strong convergence results for branching processes.

This paper focuses on the analyticity of the limiting behavior of a class of dynamical systems defined by iteration of non-expansive random operators. The analyticity is understood with respect to the parameters which govern the law of the operators. The proofs are based on contraction with respect to certain projective semi-norms. Several examples are considered, including Lyapunov exponents associated with products of random matrices both in the conventional algebra, and in the (max, +) semi-field, and Lyapunov exponents associated with non-linear dynamical systems arising in stochastic control. For the class of reducible operators (defined in the paper), we also address the issue of analyticity of the expectation of functionals of the limiting behavior, and connect this with contraction properties with respect to the supremum norm. We give several applications to queueing theory.

Correction terms are obtained for the Brownian motion approximation to one- and two-barrier first-passage probabilities. These approximations are given in terms of their Laplace transforms, which are formally (and non-rigorously) inverted. Applications to the one-sample Kolmogorov-Smirnov statistic are discussed.

We present a stochastic algorithm which generates optimal probabilities for the chaos game to decompress an image represented by the fixed point of an IFS operator. The algorithm can be seen as a sort of time-inhomogeneous regenerative process. We prove that optimal probabilities exist and, by martingale methods, that the algorithm converges almost surely. The method holds for IFS operators associated with any arbitrary number of possibly overlapping affine contraction maps on the pixels space.

We consider two-dimensional Lévy processes reflected to stay in the positive quadrant. Our focus is on the non-standard regime when the mean of the free process is negative but the reflection vectors point away from the origin, so that the reflected process escapes to infinity along one of the axes. Under rather general conditions, it is shown that such behaviour is certain and each component can dominate the other with positive probability for any given starting position. Additionally, we establish the corresponding invariance principle providing justification for the use of the reflected Brownian motion as an approximate model. Focusing on the probability that the first component dominates, we derive a kernel equation for the respective Laplace transform in the starting position. This is done for the compound Poisson model with negative exponential jumps and, by means of approximation, for the Brownian model. Both equations are solved via boundary value problem analysis, which also yields the domination probability when starting at the origin. Finally, certain asymptotic analysis and numerical results are presented.

One-dimensional random packing, known as the car-parking problem, was first analyzed by Rényi (1958). A stochastic version of Kakutani's (1975) interval splitting is another typical model on a one-dimensional interval. We consider a generalized car-parking problem which contains the above two models as special cases. In the generalized model, one can park a car of length l, if there is a space not less than 1. We give the limiting packing density and the limiting distribution of the length of randomly selected gaps between cars. Our results bridge the two models of Rényi and Kakutani.