Displaying similar documents to “Model Checking. Part III”

Semantics of MML Query

Grzegorz Bancerek (2012)

Formalized Mathematics

Similarity:

In the paper the semantics of MML Query queries is given. The formalization is done according to [4]

Bertrand’s Ballot Theorem

Karol Pąk (2014)

Formalized Mathematics

Similarity:

In this article we formalize the Bertrand’s Ballot Theorem based on [17]. Suppose that in an election we have two candidates: A that receives n votes and B that receives k votes, and additionally n ≥ k. Then this theorem states that the probability of the situation where A maintains more votes than B throughout the counting of the ballots is equal to (n − k)/(n + k). This theorem is item #30 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http://www.cs.ru.nl/F.Wiedijk/100/. ...

On solution sets of information inequalities

Nihat Ay, Walter Wenzel (2012)

Kybernetika

Similarity:

We investigate solution sets of a special kind of linear inequality systems. In particular, we derive characterizations of these sets in terms of minimal solution sets. The studied inequalities emerge as information inequalities in the context of Bayesian networks. This allows to deduce structural properties of Bayesian networks, which is important within causal inference.

Splitting obstructions and properties of objects in the Nil categories

Tadeusz Koźniewski (1999)

Fundamenta Mathematicae

Similarity:

We show that the objects of Bass-Farrell categories which represent 0 in the corresponding Nil groups are precisely those which are stably triangular. This extends to Waldhausen's Nil group of the amalgamated free product with index 2 factors. Applications include a description of Cappell's special UNil group and reformulations of those splitting and fibering theorems which use the Nil groups.

On addition of two distinct sets of integers

Vsevolod F. Lev, Pavel Y. Smeliansky (1995)

Acta Arithmetica

Similarity:

What is the structure of a pair of finite integers sets A,B ⊂ ℤ with the small value of |A+B|? We answer this question for addition coefficient 3. The obtained theorem sharpens the corresponding results of G. Freiman.

Goldstern–Judah–Shelah preservation theorem for countable support iterations

Miroslav Repický (1994)

Fundamenta Mathematicae

Similarity:

[1] T. Bartoszyński, Additivity of measure implies additivity of category, Trans. Amer. Math. Soc. 281 (1984), 209-213. [2] T. Bartoszyński and H. Judah, Measure and Category, in preparation. [3] D. H. Fremlin, Cichoń’s diagram, Publ. Math. Univ. Pierre Marie Curie 66, Sém. Initiation Anal., 1983/84, Exp. 5, 13 pp. [4] M. Goldstern, Tools for your forcing construction, in: Set Theory of the Reals, Conference of Bar-Ilan University, H. Judah (ed.), Israel Math. Conf. Proc. 6, 1992, 307-362....