Displaying similar documents to “Exponential deficiency of convolutions of densities∗”

Coproducts of Ideal Monads

Neil Ghani, Tarmo Uustalu (2010)

RAIRO - Theoretical Informatics and Applications

Similarity:

The question of how to combine monads arises naturally in many areas with much recent interest focusing on the coproduct of two monads. In general, the coproduct of arbitrary monads does not always exist. Although a rather general construction was given by Kelly  [ (1980) 1–83], its generality is reflected in its complexity which limits the applicability of this construction. Following our own research [C. Lüth and N. Ghani, (2002) 18–32], and...

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,...

Finite element approximations of a glaciology problem

Sum S. Chow, Graham F. Carey, Michael L. Anderson (2010)

ESAIM: Mathematical Modelling and Numerical Analysis

Similarity:

In this paper we study a model problem describing the movement of a glacier under Glen's flow law and investigated by Colinge and Rappaz [Colinge and Rappaz, (1999) 395–406]. We establish error estimates for finite element approximation using the results of Chow [Chow, (1992) 769–780] and Liu and Barrett [Liu and Barrett, (1996) 98–106] and give an analysis of the convergence of the successive approximations used in [Colinge and Rappaz,...