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

Strong 𝐗 -robustness of interval max-min matrices

Helena Myšková, Ján Plavka (2021)

Kybernetika

Similarity:

In max-min algebra the standard pair of operations plus and times is replaced by the pair of operations maximum and minimum, respectively. A max-min matrix A is called strongly robust if the orbit x , A ⊗ x , A 2 ⊗ x , ⋯ reaches the greatest eigenvector with any starting vector. We study a special type of the strong robustness called the strong -robustness, the case that a starting vector is limited by a lower bound vector and an upper bound vector. The equivalent condition...

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