Exchange-Repairs: Managing Inconsistency in Data Exchange

In a data exchange setting with target constraints, it is often the case that a given source instance has no solutions. In such cases, the semantics of target queries trivialize. The aim of this paper is to introduce and explore a new framework that gives meaningful semantics in such cases by using the notion of exchange-repairs. Informally, an exchange-repair of a source instance is another source instance that differs minimally from the first, but has a solution. Exchange-repairs give rise to a natural notion of exchange-repair certain answers (XR-certain answers) for target queries. We show that for schema mappings specified by source-to-target GAV dependencies and target equality-generating dependencies (egds), the XR-certain answers of a target conjunctive query can be rewritten as the consistent answers (in the sense of standard database repairs) of a union of conjunctive queries over the source schema with respect to a set of egds over the source schema, making it possible to use a consistent query-answering system to compute XR-certain answers in data exchange. We then examine the general case of schema mappings specified by source-to-target GLAV constraints, a weakly acyclic set of target tgds and a set of target egds. The main result asserts that, for such settings, the XR-certain answers of conjunctive queries can be rewritten as the certain answers of a union of conjunctive queries with respect to the stable models of a disjunctive logic program over a suitable expansion of the source schema.Comment: 29 pages, 13 figures, submitted to the Journal on Data Semantic

Mean-Field and Anomalous Behavior on a Small-World Network

We use scaling results to identify the crossover to mean-field behavior of equilibrium statistical mechanics models on a variant of the small world network. The results are generalizable to a wide-range of equilibrium systems. Anomalous scaling is found in the width of the mean-field region, as well as in the mean-field amplitudes. Finally, we consider non-equilibrium processes.Comment: 4 pages, 0 figures; reference adde

Number of loops of size h in growing scale-free networks

The hierarchical structure of scale-free networks has been investigated focusing on the scaling of the number $N_h(t)$ of loops of size h as a function of the system size. In particular we have found the analytic expression for the scaling of $N_h(t)$ in the Barab\'asi-Albert (BA) scale-free network. We have performed numerical simulations on the scaling law for $N_h(t)$ in the BA network and in other growing scale free networks, such as the bosonic network (BN) and the aging nodes (AN) network. We show that in the bosonic network and in the aging node network the phase transitions in the topology of the network are accompained by a change in the scaling of the number of loops with the system size.Comment: 4 pages, 3 figure

Complexity transitions in global algorithms for sparse linear systems over finite fields

We study the computational complexity of a very basic problem, namely that of finding solutions to a very large set of random linear equations in a finite Galois Field modulo q. Using tools from statistical mechanics we are able to identify phase transitions in the structure of the solution space and to connect them to changes in performance of a global algorithm, namely Gaussian elimination. Crossing phase boundaries produces a dramatic increase in memory and CPU requirements necessary to the algorithms. In turn, this causes the saturation of the upper bounds for the running time. We illustrate the results on the specific problem of integer factorization, which is of central interest for deciphering messages encrypted with the RSA cryptosystem.Comment: 23 pages, 8 figure

Increasing the reliability of fully automated surveillance for central line–associated bloodstream infections

OBJECTIVETo increase reliability of the algorithm used in our fully automated electronic surveillance system by adding rules to better identify bloodstream infections secondary to other hospital-acquired infections.METHODSIntensive care unit (ICU) patients with positive blood cultures were reviewed. Central line–associated bloodstream infection (CLABSI) determinations were based on 2 sources: routine surveillance by infection preventionists, and fully automated surveillance. Discrepancies between the 2 sources were evaluated to determine root causes. Secondary infection sites were identified in most discrepant cases. New rules to identify secondary sites were added to the algorithm and applied to this ICU population and a non-ICU population. Sensitivity, specificity, predictive values, and kappa were calculated for the new models.RESULTSOf 643 positive ICU blood cultures reviewed, 68 (10.6%) were identified as central line–associated bloodstream infections by fully automated electronic surveillance, whereas 38 (5.9%) were confirmed by routine surveillance. New rules were tested to identify organisms as central line–associated bloodstream infections if they did not meet one, or a combination of, the following: (I) matching organisms (by genus and species) cultured from any other site; (II) any organisms cultured from sterile site; (III) any organisms cultured from skin/wound; (IV) any organisms cultured from respiratory tract. The best-fit model included new rules I and II when applied to positive blood cultures in an ICU population. However, they didn’t improve performance of the algorithm when applied to positive blood cultures in a non-ICU population.CONCLUSIONElectronic surveillance system algorithms may need adjustment for specific populations.Infect. Control Hosp. Epidemiol. 2015;36(12):1396–1400</jats:sec

A search for magnetic fields on central stars in planetary nebulae

One of the possible mechanisms responsible for the panoply of shapes in planetary nebulae is the presence of magnetic fields that drive the ejection of ionized material during the proto-planetary nebula phase. Therefore, detecting magnetic fields in such objects is of key importance for understanding their dynamics. Still, magnetic fields have not been detected using polarimetry in the central stars of planetary nebulae. Circularly polarized light spectra have been obtained with the Focal Reducer and Low Dispersion Spectrograph at the Very Large Telescope of the European Southern Observatory and the Intermediate dispersion Spectrograph and Imaging System at the William Herschel Telescope. Nineteen planetary nebulae spanning very different morphology and evolutionary stages have been selected. Most of central stars have been observed at different rotation phases to point out evidence of magnetic variability. In this paper, we present the result of two observational campaigns aimed to detect and measure the magnetic field in the central stars of planetary nebulae on the basis of low resolution spectropolarimetry. In the limit of the adopted method, we can state that large scale fields of kG order are not hosted on the central star of planetary nebulae.Comment: Paper accepted to be published in Astronomy and Astrophysics on 20/01/201

Medical symptoms associated with tobacco smoking with and without marijuana abuse among crack cocaine-dependent patients.

Despite the widespread use of tobacco and marijuana by cocaine abusers, it remains unclear whether combined tobacco and marijuana smoking is more harmful than tobacco smoking alone in cocaine abusers. We investigated the differences in medical symptoms reported among 34 crack cocaine abusers who did not smoke tobacco or marijuana (C), 86 crack cocaine abusers who also smoked tobacco (C + T), and 48 crack abusers who smoked both tobacco and marijuana (C + T + M). Medical symptoms were recorded using a 134-item self-report instrument (MILCOM), and drug use was assessed using the Addiction Severity Index (ASI). After controlling for clinical and demographic differences, the C + T + M group reported significantly more total symptoms on the MILCOM as well as on the respiratory, digestive, general, and nose/throat subscales than the C + T or C groups. The C + T group reported higher total and respiratory and nose/throat symptoms than the C group. HOwever, the C group had the highest number of mood symptoms among the three groups. The C + T and C + T + M groups were comparable in number of cigarettes smoked and ASI scores. Although tobacco smoking is associated with higher reports of medical problems in crack abusers, smoking both marijuana and tobacco seems to be associated with greater medical problems than smoking tobacco alone. Tobacco smoking was not related to changes in cocaine use. Also, marijuana smoking does not appear to be associated with a reduction in tobacco or cocaine use