This dissertation develops approaches to testing the satisfiability and the containment of XPath queries in the presence of XML Schema definitions in order to speed up XML querying. XML provides a simple yet powerful mechanism for information storage, processing and delivery, and is a widely used standard data format. XPath is a basic language for querying XML data, and is embedded into many W3...

This paper considers ergodicity properties of certain adaptive Markov chain Monte Carlo (MCMC) algorithms for multidimensional target distributions, in particular Adaptive Metropolis and Adaptive Metropoliswithin-Gibbs. It was previously shown by Roberts and Rosenthal (2007) that Diminishing Adaptation and Containment imply ergodicity of adaptive MCMC. We derive various sufficient conditions to...

carpal fracture-dislocation is regarded as an unusual orthopedic injury and, thus, orthopedic surgeons are less experienced in dealing with and treating these fractures and dislocations. we report a 20-year-old worker man suffering from an unusual carpal fracture-dislocation. there was trans-scaphoid fracture and lunate dislocation with other carpal proximal bones toward volar of the wrist. two...

XPath is the standard language for addressing parts of an XML document. We present a sound and complete decision procedure for containment of XPath queries. The considered XPath fragment covers most of the language features used in practice. Specifically, we show how XPath queries can be translated into equivalent formulas in monadic second-order logic. Using this translation, we construct an o...

In complex environments, many distributed multiagent systems are described with the fractional-order dynamics. In this paper, containment control of fractional-order multiagent systems with multiple leader agents are studied. Firstly, the collaborative control of fractional-order multi-agent systems (FOMAS) with multiple leaders is analyzed in a directed network without delays. Then, by using L...

A set containment join is a join between set-valued attributes of two relations, whose join condition is speci ed using the subset ( ) operator. Set containment joins are used in a variety of database applications. In this paper, we propose a novel partitioning algorithm called Divide-and-Conquer Set Join (DCJ) for computing set containment joins eÆciently. We show that the divide-and-conquer a...

Approximately two–thirds of healthcare costs are accounted for by 10% of the patients. Identifying such high-cost patients early can help improve their health and reduce costs. Data from the Arizona Health Care Cost Containment System provides a unique opportunity to exploit state-of-the-art data analysis algorithms to mine data and provide actionable findings that can aid cost containment. A n...

The absolute laboratory containment of any virus cannot be guaranteed, but a wealth of experience indicates that effective containment of wild poliovirus materials for global certification is technically and operationally feasible. Effective containment is based on the principles of minimal wild poliovirus infectious and potentially infectious materials in laboratories; minimal risks of operati...

The problem of SPARQL query containment is defined as determining if the result of one query is included in the result of another for any RDF graph. Query containment is important in many areas, including information integration, query optimization, and reasoning about Entity-Relationship diagrams. We encode this problem into an expressive logic called μ-calculus: where RDF graphs become transi...