Displaying similar documents to “Coproducts of Ideal Monads”

Thread algebra for noninterference

Thuy Duong Vu (2008)

RAIRO - Theoretical Informatics and Applications

Similarity:

Thread algebra is a semantics for recent object-oriented programming languages [J.A. Bergstra and M.E. Loots, (2002) 125–156; J.A. Bergstra and C.A. Middelburg, (2007)] such as C# and Java. This paper shows that thread algebra provides a process-algebraic framework for reasoning about and classifying various standard notions of noninterference, an important property in secure information flow. We will take the noninterference property given by Volpano  [D. Volpano,...

Exponential deficiency of convolutions of densities

Iosif Pinelis (2012)

ESAIM: Probability and Statistics

Similarity:

If a probability density () ( ∈ ℝ) is bounded and := ∫e ()d < ∞ for some linear functional and all  ∈ (01), then, for each  ∈ (01) and all large enough , the -fold convolution of the -tilted density p ˜ t := e ()/ is bounded. This is a corollary of a general, “non-i.i.d.” result, which is also shown to enjoy a certain optimality property. Such results and their corollaries stated in terms of the absolute integrability of the corresponding characteristic...

A multi-D model for Raman amplification

Mathieu Colin, Thierry Colin (2011)

ESAIM: Mathematical Modelling and Numerical Analysis

Similarity:

In this paper, we continue the study of the Raman amplification in plasmas that we initiated in [Colin and Colin, (2004) 297–330; Colin and Colin, (2006) 535–562]. We point out that the Raman instability gives rise to three components. The first one is collinear to the incident laser pulse and counter propagates. In 2-D, the two other ones make a non-zero angle with the initial pulse and propagate forward. Furthermore they are symmetric with respect...