A SAT-based System for Consistent Query Answering

An inconsistent database is a database that violates one or more integrity constraints, such as functional dependencies. Consistent Query Answering is a rigorous and principled approach to the semantics of queries posed against inconsistent databases. The consistent answers to a query on an inconsistent database is the intersection of the answers to the query on every repair, i.e., on every consistent database that differs from the given inconsistent one in a minimal way. Computing the consistent answers of a fixed conjunctive query on a given inconsistent database can be a coNP-hard problem, even though every fixed conjunctive query is efficiently computable on a given consistent database. We designed, implemented, and evaluated CAvSAT, a SAT-based system for consistent query answering. CAvSAT leverages a set of natural reductions from the complement of consistent query answering to SAT and to Weighted MaxSAT. The system is capable of handling unions of conjunctive queries and arbitrary denial constraints, which include functional dependencies as a special case. We report results from experiments evaluating CAvSAT on both synthetic and real-world databases. These results provide evidence that a SAT-based approach can give rise to a comprehensive and scalable system for consistent query answering.Comment: 25 pages including appendix, to appear in the 22nd International Conference on Theory and Applications of Satisfiability Testin

Neutralino dark matter vs galaxy formation

Neutralino dark matter may be incompatible with current cold dark matter models with cuspy dark halos, because excessive synchrotron radiation may originate from neutralino annihilations close to the black hole at the galactic center.Comment: 6 pages, 3 figures, talk given at "Sources and detection of dark matter in the Universe", Marina del Rey, CA, February 23-25, 200

Two-neutron knockout from neutron-deficient 34^{34}Ar, 30^{30}S, and 26^{26}Si

Two-neutron knockout reactions from nuclei in the proximity of the proton dripline have been studied using intermediate-energy beams of neutron-deficient $^{34}$Ar, $^{30}$S, and $^{26}$Si. The inclusive cross sections, and also the partial cross sections for the population of individual bound final states of the $^{32}$Ar, $^{28}$S and $^{24}$Si knockout residues, have been determined using the combination of particle and $\gamma$-ray spectroscopy. Similar to the two-proton knockout mechanism on the neutron-rich side of the nuclear chart, these two-neutron removal reactions from already neutron-deficient nuclei are also shown to be consistent with a direct reaction mechanism.Comment: Phys. Rev. C, rapid communication, in pres

Transverse Cerebellar Diameter On Cranial Ultrasound Scan In Preterm Neonates In An Australian Population

Objective: Fetal measurement of transverse cerebellar diameter (TCD) has been shown to correlate well with gestational age (GA), even in the presence of growth retardation. The aim of this study was to define the normal range of TCD in preterm neonates in an Australian population between 23 and 32 weeks GA. Methodology: Infants admitted to the Royal Women's Hospital, Melbourne, having routine cranial ultrasound scans (< 1500 g and/or of gestational age 32 weeks at birth) had their TCD measured on a cranial scan performed during the first 3 days of life. The posterior fossa was examined through the asterion using a General Electric LOGIQ 500 scanner (GE Medical Systems, Waukesha, USA) and TCD measurement was taken in the coronal plane. Results: 106 infants < 1500 g and/or of GA 32 weeks at birth had their TCD measured between 1 January 1997 and 30 November 1997. Transverse cerebellar diameter and associated 95% confidence intervals are described for infants between 23 and 32 weeks GA. The linear regression equation relating TCD and GA was: TCD (mm) = 12.9 + 1.61 GA (weeks). R2 = 0.80, P< 0.001. Conclusion: This is the only study of TCD measurement using cranial ultrasound in a group of preterm newborns, and forms the basis for nomograms of TCD which can be used as a tool to assist in the assessment of GA, even in growth-retarded preterm newborns, and in the diagnosis of cerebellar hypoplasia

Cadmium accumulation and interactions with zinc, copper, and manganese, analysed by ICP-MS in a long-term Caco-2 TC7 cell model

The influence of long-term exposure to cadmium (Cd) on essential minerals was investigated using a Caco-2 TC7 cells and a multi-analytical tool: microwave digestion and inductively coupled plasma mass spectrometry. Intracellular levels, effects on cadmium accumulation, distribution, and reference concentration ranges of the following elements were determined: Na, Mg, Ca, Cr, Fe, Mn, Co, Ni, Cu, Zn, Mo, and Cd. Results showed that Caco-2 TC7 cells incubated long-term with cadmium concentrations ranging from 0 to 10 lmol Cd/l for 5 weeks exhibited a significant increase in cadmium accumulation. Furthermore, this accumulation was more marked in cells exposed long-term to cadmium compared with controls, and that this exposure resulted in a significant accumulation of copper and zinc but not of the other elements measured. Interactions of Cd with three elements: zinc, copper, and manganese were particularly studied. Exposed to 30 lmol/l of the element, manganese showed the highest inhibition and copper the lowest on cadmium intracellular accumulation but Zn, Cu, and Mn behave differently in terms of their mutual competition with Cd. Indeed, increasing cadmium in the culture medium resulted in a gradual and significant increase in the accumulation of zinc. There was a significant decrease in manganese from 5 lmol Cd/l exposure, and no variation was observed with copper. Abbreviation: AAS – Atomic absorption spectrometry; CRM– Certified reference material; PBS – Phosphate buffered saline without calcium and magnesium; DMEM – Dubelcco’s modified Eagle’s medium

Graphene Saturable Absorbers at Terahertz Frequency from Liquid Phase Exfoliation of Graphite

© 2018 OSA. We report on the development of terahertz (THz) saturable-absorbers exploiting printable graphene inks. The achieved 80% transparency modulation at 3.5 THz makes these devices potential candidates as passive components for THz solid-state lasers.EPSR

Detection of 2.2-3.5 Terahertz Radiation Using a Quasi-Optically Mounted Planar Schottky Diode

Practical supra-terahertz (1–5 THz) heterodyne radiometry systems require compact local oscillator and mixer components, which are suitable for robust waveguide integration. We demonstrate detection of radiation emitted by quantum cascade lasers at frequencies between 2.2 and 3.5 THz using room-temperature quasi-optically mounted planar Schottky diodes. These diodes are more readily integrated into waveguides than point-contact diodes, do not require the cryogenic environment of hot-electron bolometers and offer potentially better noise performance than superlattice devices

Can we continue research in splenectomized dogs? Mycoplasma haemocanis: Old problem - New insight

We report the appearance of a Mycoplasma haemocanis infection in laboratory dogs, which has been reported previously, yet, never before in Europe. Outbreak of the disease was triggered by a splenectomy intended to prepare the dogs for a hemorrhagic shock study. The clinical course of the dogs was dramatic including anorexia and hemolytic anemia. Treatment included allogeneic transfusion, prednisone, and oxytetracycline. Systematic follow-up (n=12, blood smears, antibody testing and specific polymerase chain reaction) gives clear evidence that persistent eradication of M. haemocanis is unlikely. We, therefore, had to abandon the intended shock study. In the absence of effective surveillance and screening for M. haemocanis, the question arises whether it is prudent to continue shock research in splenectomized dogs. Copyright (C) 2004 S. Karger AG, Basel