We investigate when an upper bound on expected lifetimes of conditioned diffusions associated with elliptic operators in divergence and non-divergence form can be found. The critical value of the parameter is found for each of the following classes of domains: Lpdomains (p = n− 1), uniformly regular twisted Lp-domains (p = n− 1), and twisted Hölder domains (α = 1/3). A related parabolic boundar...

An illness-induced taste aversion was conditioned in rats by pairing saccharin with cyclophosphamide, an immunosuppressive agent. Three days after conditioning, all animals were injected with sheep erythrocytes. Hemagglutinating antibody titers measured 6 days after antigen administration were high in placebo-treated rats. High titers were also observed in nonconditioned animals and in condi...

For many practical problems it is useful to be able to sample conditioned diffusions on a computer (e.g. in filtering/smoothing to sample from the conditioned distribution of the unknown signal given the known observations). We present a recently developed, SPDE-based method to tackle this problem. The method is an infinite dimensional generalisation of the Langevin sampling technique.

This paper shows how analysis of programs in terms of preand postconditions can be improved using a generalisation of conditioned program slicing called pre/post conditioned slicing. Such conditions play an important role in program comprehension, reuse, verification and reengineering. Fully automated analysis is impossible because of the inherent undecidability of preand postconditions. The me...

In this paper, we discuss the solutions to a class of Hermitian positive deenite system Ax = b by the preconditioned conjugate gradient method with circulant preconditioner C. In general, the smaller the condition number (C ?1=2 AC ?1=2) is, the faster the convergence of the method will be. The circulant matrix C b that minimizes (C ?1=2 AC ?1=2) is called the best conditioned circulant precond...