We consider incomplete specifications of XML documents in the presence of schema information and integrity constraints. We show that integrity constraints such as keys and foreign keys affect consistency of such specifications. We prove that the consistency problem for incomplete specifications with keys and foreign keys can always be solved in NP. We then show a dichotomy result, classifying t...

AIMS To study the feasibility and electrophysiological efficacy of minimally invasive beating heart ablation of the pulmonary veins (PVs) via a robot-assisted single-sided approach. BACKGROUND PV isolation by minimally invasive epicardial ablation may offer a new treatment for patients with lone atrial fibrillation (AF). However, complete PV isolation has been shown to be difficult to obtain....

porosity is one of the fundamental petrophysical properties that should be evaluated for hydrocarbon bearing reservoirs. it is a vital factor in precise understanding of reservoir quality in a hydrocarbon field. log data are exceedingly crucial information in petroleum industries, for many of hydrocarbon parameters are obtained by virtue of petrophysical data. there are three main petrophysical...

INTRODUCTION Recent reports have described the occurrence of low-energy subtrochanteric and femoral shaft fractures associated with long-term bisphosphonate use. Although information regarding the surgical treatment of these atypical femoral fractures is increasing, it is unclear if the preventive operation is useful in incomplete fractures. This study examined the results of preventive intrame...