We study the characteristic function and moments of the integer-valued random variable bX+αc, whereX is a continuous random variable. The results can be regarded as exact versions of Sheppard’s correction. Rounded variables of this type often occur as subsequence limits of sequences of integer-valued random variable. This leads to oscillatory terms in asymptotics for these variables, something ...

A refutation mechanism is introduced into logic programming, dual to the usual proof mechanism; then negation is treated via refutation. A four-valued logic is appropriate for the semantics: true, false, neither, both. Inconsistent programs are allowed, but inconsistencies remain localized. The four-valued logic is a well-known one, due to Belnap, and is the simplest example of Ginsberg’s bilat...

Let Sk be the k-th partial sum of Banach space valued independent identically distributed random variables. In this paper, we compare the tail distribution of ‖Sk‖ with that of ‖Sj‖, and deduce some tail distribution maximal inequalities. The main result of this paper was inspired by the inequality from [dP–M] that says that Pr(‖X1‖ > t) ≤ 5 Pr(‖X1 +X2‖ > t/2) whenever X1 and X2 are independent...

This paper introduces a new type of statistical model: the interval-valued linear model, which describes the linear relationship between an interval-valued output random variable and real-valued input variables. Firstly, we discuss the notions of variance and covariance of set-valued and interval-valued random variables. Then, we give the definition of the intervalvalued linear model and its le...