Certain limit theorems due to Berman involve the total time spent by Brownian motion with positive drift below an independent exponentially distributed level. Imhof has calculated the density function and shown that this random variable has two interesting probabilistic properties. We give sample path arguments which explain these two facts.

We study the asymptotic behavior as α → 0 of the number of independent random arcs of length a needed to cover at least 1 − Kα (K ≧ 1) of a circle of unit circumference.

Let N be a stationary Markov-modulated marked point process on ℝ with intensity β∗ and consider a real-valued functional ψ(N). In this paper we study expansions of the form Eψ(N) = a0 + β∗a1 + ·· ·+ (β∗)nan + o((β∗)n) for β∗→ 0. Formulas for the coefficients ai are derived in terms of factorial moment measures of N. We compute a1 and a2 for the probability of ruin φ u with initial capital u for the risk process in the Markov-modulated environment; a0 = 0. Moreover, we give a sufficient condition for ϕu to be an analytic function of β∗. We allow the premium rate function p(x) to depend on the actual risk reserve.

In this paper we present a stability criterion for processor-sharing queues, in which the throughput may depend on the number of customers in the system (such as in the case of interferences between users). Such a system is represented by a point measure-valued stochastic recursion keeping track of the remaining processing times of the customers.

We derive some limit theorems associated with the Ewens sampling formula when its parameter is increasing together with a sample size. Moreover, the limit results are applied in order to investigate asymptotic properties of the maximum likelihood estimator.

Although the usual optimal stopping problem is described as a Markov decision process with two decisions, stop and continue, we shall consider a model which distinguishes the observer's strategy from the system's two decisions. The observer can select a strategy defined on an action space, and the decision of the system to stop or continue is determined by a prescribed conditional probability. For this model, it may happen that the strategy (a) to stop is refused, or (b) to continue is forcibly stopped. This is a slight modification of the one-dimensional stopping problem by involving refusal and forced stopping. The model is motivated by the uncertain secretary choice problem of Smith (1975) and the multivariate stopping problem of Kurano, Yasuda and Nakagami (1980), (1982).

This paper is concerned with the characterization of the cumulative pensionable service over an individual's working life that is made up of random lengths of service in different employments in a given industry, under partial coverage, transferability, and a uniform vesting rule. This characterization uses some results that are developed in the paper involving a functional and cumulative constrained sojourn times (constrained in the sense that if a sojourn time is less than a given constant it is not counted) in semi-Markov processes.

We derive explicit formulas for the second moments of the absorption time matrices in the Markov renewal branching process. These formulas may easily be computationally implemented and are useful in the iterative computation of the semi-Markov matrices, which give the distributions of the duration and of the number of customers served in a busy period of a great variety of complex queueing models.

During DNA replication, small fragments of DNA are formed. These have been observed experimentally and the mechanism of their formation modelled mathematically. Using the stochastic model of Cowan and Chiu (1992), (1994), we find the probability distribution of the number of fragments. A new discrete distribution arises. The work has interest as an application of the recent theory on quasirenewal equations in Piau (2000).

We study a system of interacting renewal processes which is a model for neuronal activity. We show that the system possesses an exponentially large number (with respect to the number of neurons in the network) of limiting configurations of the ‘firing neurons’. These we call patterns. Furthermore, under certain conditions of symmetry we find an algorithm to control limiting patterns by means of the connection parameters.

We derive the representation of additive measures of information with the sum property under a regular generating function. This family of measures includes the Shanon entropy, directed/symmetric divergence and inaccuracy.

Let denote a rectangular lattice in the Euclidean plane E2, generated by (a × b) rectangles. In this paper we consider the probability that a random ellipse having main axes of length 2α and 2ß, with intersects . We regard the lattice as the union of two orthogonal sets and of equidistant lines and evaluate the probability that the random ellipse intersects or . Moreover, we consider the dependence structure of the events that the ellipse intersects or . We study further the case when the main axes of the ellipse are parallel to the lines of the lattice and satisfy 2ß = min (a, b) < 2α = max (a, b). In this case, the probability of intersection is 1, and there exist almost surely two perpendicular segments in within the ellipse. We evaluate the distribution function, density, mean and variance of the length of these segments. We conclude with a generalization of this problem in three dimensions.

The size order problem of the probability state vector elements of a homogeneous Markov system is examined. The time t0 is evaluated, after which the order of the state vector probabilities remains unchanged, and a formula to quickly find a lower bound for t0 is given. A formula for approximating the mode of the state sizes ni(t) as a function of the means Eni(t), and a relation to evaluate P(ni(t) = x+1) by means of certain terms which constitute P(ni(t) = x) are derived.

This paper is based on works presented at the 2012 Applied Probability Trust Lecture in Sheffield; its main purpose is to survey the recent asymptotic results of Bertoin (2012a) and Bertoin and Uribe Bravo (2012b) about Bernoulli bond percolation on certain large random trees with logarithmic height. We also provide a general criterion for the existence of giant percolation clusters in large trees, which answers a question raised by David Croydon.

This paper uses recent results on continuous-time finite-horizon optimal switching problems with negative switching costs to prove the existence of a saddle point in an optimal stopping (Dynkin) game. Sufficient conditions for the game's value to be continuous with respect to the time horizon are obtained using recent results on norm estimates for doubly reflected backward stochastic differential equations. This theory is then demonstrated numerically for the special cases of cancellable call and put options in a Black‒Scholes market.

We consider the following two definitions of discounting: (i) multiplicative coefficient in front of the rewards, and (ii) probability that the process has not been stopped if the stopping time has an exponential distribution independent of the process. It is well known that the expected total discounted rewards corresponding to these definitions are the same. In this note we show that, the variance of the total discounted rewards is smaller for the first definition than for the second definition.

Juggler's exclusion process describes a system of particles on the positive integers where particles drift down to zero at unit speed. After a particle hits zero, it jumps into a randomly chosen unoccupied site. We model the system as a set-valued Markov process and show that the process is ergodic if the family of jump height distributions is uniformly integrable. In a special case where the particles jump according to a set-avoiding memoryless distribution, the process reaches its equilibrium in finite nonrandom time, and the equilibrium distribution can be represented as a Gibbs measure conforming to a linear gravitational potential.

In the classic Dubins-Savage subfair primitive casino gambling problem, the gambler can stake any amount in his possession, winning (1 - r)/r times the stake with probability w and losing the stake with probability 1 - w, 0 ≤ w ≤ r ≤ 1. The gambler seeks to maximize the probability of reaching a fixed fortune by gambling repeatedly with suitably chosen stakes. This problem has been extended in several directions to account for limited playing time or future discounting. We propose a unifying framework that covers these extensions, and prove that bold play is optimal provided that w ≤ ½ ≤ r. We also show that this condition is in fact necessary for bold play to be optimal subject to the constraint of limited playing time.

The comparison of lifetimes has been treated extensively during the last decade. A wide variety of mathematical objects have been defined, which, in reliability theory, are used to quantify ageing properties. In this work, using the equilibrium variable, we give a new viewpoint on ageing properties. Moreover, we give new bounds on the moments of series systems.

More than half a century ago, it was proved that the increasing failure rate (IFR) property is preserved under the formation of k-out-of-n systems (order statistics) when the lifetimes of the components are independent and have a common absolutely continuous distribution function. However, this property has not yet been proved in the discrete case. Here we give a proof based on the log-concavity property of the function $f({{\mathrm{e}}}^x)$. Furthermore, we extend this property to general distribution functions and general coherent systems under some conditions.