Let K and L be compact convex sets in Rn. The following two statements are shown to be equivalent: (i) For every polytope Q ⊆ K having at most n+ 1 vertices, L contains a translate of Q. (ii) L contains a translate of K. Let 1 ≤ d ≤ n − 1. It is also shown that the following two statements are equivalent: (i) For every polytope Q ⊆ K having at most d+ 1 vertices, L contains a translate of Q. (i...

Semantic properties that reflect quality criteria can be modeled by integrity constraints. Violated instances of constraints may serve as a basis for measuring quality. Such measures also serve for monitoring and controlling quality impairment across changes.

We investigate how belief change operations can be eeec-tively constructed. To that end we suppose given a set of laws (alias integrity constraints) together with a relation of dependence between formulas.

159

The problem of detecting and isolating abrupt changes in random signals and systems is addressed in the paper. The key results of the recently developed optimal theory of change diagnosis (detection and isolation) are presented. The application of the developed theory to the problem of navigation system integrity monitoring is discussed.

In scientific collaborations, provenance is increasingly used to understand, debug, and explain the processing history of data, and to determine the validity and quality of data products. While provenance is easily recorded by scientific workflow systems, it can be infeasible or undesirable to publish provenance details for all data products of a workflow run. We have developed PROPUB, a system...