Search Results - "Empty set"
-
1
Multi-sensor joint detection and tracking with the Bernoulli filter
Published 2012“…To capture the target presence/absence in the surveillance region as well as its kinematic state, we represent the target state as a set that can take on either the empty set or a singleton. The uncertainty in such a set is modeled by a Bernoulli random finite set (RFS), and Bayes optimal estimators for joint detection and tracking are presented. …”
Get full text
-
2
Extremal problems and designs on finite sets.
Published 1999“…A flat antichain is an antichain in which the difference in cardinality between any two sets in the antichain is at most one.The two outstanding conjectures considered are:The union-closed sets conjecture - In any union-closed collection of non-empty sets there is an element of the universal set in at least half of the sets in the collection;The flat antichain conjecture - Given an antichain with size s and volume V, there is a flat antichain with the same size and volume.Union-closed collections are considered in two ways. …”
Get full text
-
3
Truncation levels in homotopy type theory
Published 2015“…We show that the type of such coherently constant functions between types A and B, which can be seen as the type of natural transformations between two diagrams over the simplex category without degeneracies (i.e. finite non-empty sets and strictly increasing functions), is equivalent to the type of functions with the truncation of A as domain and B as codomain. …”
Get full text