We study the containment problem for a query language over probabilistic relational databases that allows queries like “is the probability that q1 holds greater than 0.2 and the probability that q2 holds greater than 0.6?” where q1 and q2 are Boolean conjunctive queries. In addition to being a fundamental problem in its own right, the containment problem is the key problem that an optimizer mus...

Uncertainty is an inherent feature of strategies to contain animal disease. In this paper, an interdisciplinary framework for representing strategies of containment, and analysing how uncertainties are embedded and propagated through them, is developed and illustrated. Analysis centres on persistent, periodic and emerging disease threats, with a particular focus on cryptosporidiosis, foot and m...

Simulating wildfire spread and containment remains a challenging problem due to the complexity of fire behavior. In this paper, the authors present an integrated simulation environment for surface wildfire spread and containment called DEVS-FIRE. DEVS-FIRE is based on the discrete event system specification (DEVS) and uses a cellular space model for simulating wildfire spread and agent models f...

In the 2002 case Simat Corp v. Arizona Health Care Containment System, the Arizona Supreme Court ruled that the Arizona Health Care Containment System must pay for abortions when they are necessary to preserve the health of pregnant women in the system. In the case, the Court ruled that the Arizona Revised Statutes 35-196.02 and the Arizona Health Care Containment System (AHCCCS) policies, whic...

Query containment for conjunctive queries is the problem of checking whether a query q is contained in another query q′ with respect to a given Description Logic schema S. It is known that query containment can also be used to answer queries. Query containment is important in many areas, including information integration, query optimisation, and reasoning about Entity-Relationship diagrams, whi...

Fault containment is an important constituent of fault tolerance. Means for fault containment allow a system to limit the impact of manifested faults to some predefined system boundaries. This document presents some of the best known techniques for fault containment formatted as design patterns. These patterns are elicited from the areas of self-stabilization, specification closure and fault to...

Optimisations of the state space of weak alternating parity automata (WAPA) are needed for example to speed up μTL model-checking algorithms which involve WAPA. It is assumed that deciding language containment for WAPA is helpful to perform such optimisations. In this paper the problem of language containment is reduced to the problem of computing winning sets in weak parity games. For the latt...

A partially ordered set (X,≺) is a geometric containment order of a particular type if there is a mapping from X into similarly shaped objects in a finite-dimensional Euclidean space that preserves ≺ by proper inclusion. This survey describes most of what is presently known about geometric containment orders. Highlighted shapes include angular regions, convex polygons and circles in the plane, ...

Healthcare data from the Arizona Health Care Cost Containment System, Arizona’s Medicaid program provides a unique opportunity to exploit state-of-the-art data processing and analysis algorithms to mine data and provide actionable findings that can aid cost containment. Our work addresses specific challenges in this real-life healthcare application to build predictive risk models for forecastin...

Ten Rett syndrome (RS) girls and 10 control girls executed an attentional task in which a complex stimulus was shown followed by individual stimuli presented with distractors. Participants had to discriminate previously presented stimuli from distractors. RS girls carried out the task both in a condition with the containment of stereotypies and in a no-containment condition. Overselectivity occ...