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

Estimación de irregularidades en pavimentos mediante técnicas de procesamiento digital de imágenes

Transport routes play a fundamental role in the communication of a country, they are of vital importance both in the urban area and in the rural area, some of them are paved and constituted by various materials that with the passage of time can present different types of deterioration or irregularities. Therefore, with the following document it is intended to give a solution to estimate the damage caused by these irregularities that in sum are of interest to study the potholes, cracks and crocodile skins that are common with the passage of time in the respective road. With this objective, a treatment is carried out from the perspective of digital image processing using perspective transformation techniques, thresholds, filters, among others, in order to estimate the affected equivalent area that varies according to the irregularity, evaluating the veracity of the result by means of the intersection on union method (IOU) obtaining accuracy or precision values of 0.69,  0.87, 0.79 for deterioration such as crocodile skin, bumps and cracks conceived in this document.Las vías de transporte cumplen un papel fundamental dentro de la comunicación de un país, algunas de ellas están pavimentadas y constituidas por diversos materiales que con el paso del tiempo pueden presentar diferentes tipos de irregularidades. En el siguiente documento se pretende dar una solución para estimar el daño ocasionado por estas irregularidades, específicamente: baches, grietas y pieles de cocodrilo, que son comunes en vías con constante deterioro. Con este objetivo, se realiza un tratamiento desde la perspectiva del procesamiento digital de imágenes usando para ello técnicas de transformación de perspectiva, umbrales, filtros, entre otros, con el propósito de estimar el área equivalente afectada que varía según la irregularidad, evaluando la veracidad del resultado por medio del método intersección sobre unión (IOU), obteniéndose valores de exactitud o precisión de 0.69, 0.87, 0.79 para deterioros como: piel de cocodrilo, bache y grietas considerados en este documento. Transportation roads play a fundamental role in the communication of a country, some of them are paved and made of different materials that over time may present different types of irregularities. The following document aims to provide a solution to estimate the damage caused by these irregularities, specifically: potholes, cracks and crocodile skins, which are common in roads with constant deterioration. With this objective, a treatment is carried out from the perspective of digital image processing using perspective transformation techniques, thresholds, filters, among others, with the purpose of estimating the equivalent affected area that varies according to the irregularity, evaluating the veracity of the result by means of the intersection over union (IOU) method, obtaining accuracy or precision values of 0.69, 0.87, 0.79 for deteriorations such as: crocodile skin, pothole and cracks considered in this document

A population-based controlled experiment assessing the epidemiological impact of digital contact tracing

While Digital contact tracing (DCT) has been argued to be a valuable complement to manual tracing in the containment of COVID-19, no empirical evidence of its effectiveness is available to date. Here, we report the results of a 4-week population-based controlled experiment that took place in La Gomera (Canary Islands, Spain) between June and July 2020, where we assessed the epidemiological impact of the Spanish DCT app Radar Covid. After a substantial communication campaign, we estimate that at least 33% of the population adopted the technology and further showed relatively high adherence and compliance as well as a quick turnaround time. The app detects about 6.3 close-contacts per primary simulated infection, a significant percentage being contacts with strangers, although the spontaneous follow-up rate of these notified cases is low. Overall, these results provide experimental evidence of the potential usefulness of DCT during an epidemic outbreak in a real population

HIV-1 viral load and resistance in genital secretions in patients taking protease-inhibitor-based second-line therapy in Africa

Background: HIV is transmitted primarily through sexual intercourse, and the objective of this study was therefore to assess whether there is occult viral replication and resistance in genital secretions in patients on protease inhibitor (PI)-based second-line therapy. Methods: HIV-infected adults taking ritonavir-boosted lopinavir with either two NRTIs, raltegravir, or as monotherapy for 96 weeks were enrolled at seven clinical sites in Uganda. Viral load (VL) was measured in cervico-vaginal secretions or semen and in a corresponding plasma sample. Genotypic resistance was assessed in genital secretion samples and plasma samples. Results were compared between compartments and with the plasma resistance profile at first-line failure. Results: Of the 111 participants enrolled (91 female, 20 male), 16 (14%) and 30 (27%) had VL >1000 and >40 copies/ml respectively in plasma; 3 (3%) and 23 (21%) had VL >1000 copies/ml and >40 copies/ml respectively in genital secretions. There was 74% agreement between plasma and genital secretion VL classification above/below 40 copies/ml threshold (kappa-statistic=0.29; p=0.001). RT mutations (both NRTI and NNRTI) were detected in genital secretions in 4 patients (similar profile to corresponding plasma sample at first-line failure) and PI mutations were detected in 2 (1 polymorphism with no impact on resistance; 1 with high-level PI resistance). Conclusions: High level (>1000 copies/ml) viral replication and development of new RT or PI resistance in the genital compartment were rare. The risks of transmission arising from resistance evolution in the genital compartment are likely to be low on PI-based second-line therapy

Predicting the start week of respiratory syncytial virus outbreaks using real time weather variables

<p>Abstract</p> <p>Background</p> <p>Respiratory Syncytial Virus (RSV), a major cause of bronchiolitis, has a large impact on the census of pediatric hospitals during outbreak seasons. Reliable prediction of the week these outbreaks will start, based on readily available data, could help pediatric hospitals better prepare for large outbreaks.</p> <p>Methods</p> <p>Naïve Bayes (NB) classifier models were constructed using weather data from 1985-2008 considering only variables that are available in real time and that could be used to forecast the week in which an RSV outbreak will occur in Salt Lake County, Utah. Outbreak start dates were determined by a panel of experts using 32,509 records with ICD-9 coded RSV and bronchiolitis diagnoses from Intermountain Healthcare hospitals and clinics for the RSV seasons from 1985 to 2008.</p> <p>Results</p> <p>NB models predicted RSV outbreaks up to 3 weeks in advance with an estimated sensitivity of up to 67% and estimated specificities as high as 94% to 100%. Temperature and wind speed were the best overall predictors, but other weather variables also showed relevance depending on how far in advance the predictions were made. The weather conditions predictive of an RSV outbreak in our study were similar to those that lead to temperature inversions in the Salt Lake Valley.</p> <p>Conclusions</p> <p>We demonstrate that Naïve Bayes (NB) classifier models based on weather data available in real time have the potential to be used as effective predictive models. These models may be able to predict the week that an RSV outbreak will occur with clinical relevance. Their clinical usefulness will be field tested during the next five years.</p

Redrawing the Map of Great Britain from a Network of Human Interactions

Do regional boundaries defined by governments respect the more natural ways that people interact across space? This paper proposes a novel, fine-grained approach to regional delineation, based on analyzing networks of billions of individual human transactions. Given a geographical area and some measure of the strength of links between its inhabitants, we show how to partition the area into smaller, non-overlapping regions while minimizing the disruption to each person's links. We tested our method on the largest non-Internet human network, inferred from a large telecommunications database in Great Britain. Our partitioning algorithm yields geographically cohesive regions that correspond remarkably well with administrative regions, while unveiling unexpected spatial structures that had previously only been hypothesized in the literature. We also quantify the effects of partitioning, showing for instance that the effects of a possible secession of Wales from Great Britain would be twice as disruptive for the human network than that of Scotland.National Science Foundation (U.S.)AT & TAudi AGUnited States. Dept. of Defense (National Defense Science and Engineering Fellowship Program

Transmission of Avian Influenza A Viruses among Species in an Artificial Barnyard

Waterfowl and shorebirds harbor and shed all hemagglutinin and neuraminidase subtypes of influenza A viruses and interact in nature with a broad range of other avian and mammalian species to which they might transmit such viruses. Estimating the efficiency and importance of such cross-species transmission using epidemiological approaches is difficult. We therefore addressed this question by studying transmission of low pathogenic H5 and H7 viruses from infected ducks to other common animals in a quasi-natural laboratory environment designed to mimic a common barnyard. Mallards (Anas platyrhynchos) recently infected with H5N2 or H7N3 viruses were introduced into a room housing other mallards plus chickens, blackbirds, rats and pigeons, and transmission was assessed by monitoring virus shedding (ducks) or seroconversion (other species) over the following 4 weeks. Additional animals of each species were directly inoculated with virus to characterize the effect of a known exposure. In both barnyard experiments, virus accumulated to high titers in the shared water pool. The H5N2 virus was transmitted from infected ducks to other ducks and chickens in the room either directly or through environmental contamination, but not to rats or blackbirds. Ducks infected with the H7N2 virus transmitted directly or indirectly to all other species present. Chickens and blackbirds directly inoculated with these viruses shed significant amounts of virus and seroconverted; rats and pigeons developed antiviral antibodies, but, except for one pigeon, failed to shed virus

Effect of in vitro gastrointestinal digestion on the total phenolic contents and antioxidant activity of wild Mediterranean edible plant extracts

The recent interest in wild edible plants is associated with their health benefits, which are mainly due to their richness in antioxidant compounds, particularly phenolics. Nevertheless, some of these compounds are metabolized after ingestion, being transformed into metabolites frequently with lower antioxidant activity. The aim of the present study was to evaluate the influence of the digestive process on the total phenolic contents and antioxidant activity of extracts from four wild edible plants used in the Mediterranean diet (Beta maritima L., Plantago major L., Oxalis pes-caprae L. and Scolymus hispanicus L.). HPLC-DAD analysis revealed that S. hispanicus is characterized by the presence of caffeoylquinic acids, dicaffeoylquinic acids and flavonol derivatives, P. major by high amounts of verbascoside, B. maritima possesses 2,4-dihydroxybenzoic acid, 5-O-caffeoylquinic acid, quercetin derivatives and kaempferol-3-O-rutinoside, and O. pes-caprae extract contains hydroxycinnamic acids and flavone derivatives. Total phenolic contents were determined by Folin-Ciocalteu assay, and antioxidant activity by the ABTS, DPPH, ORAC and FRAP assays. Phenolic contents of P. major and S. hispanicus extracts were not affected by digestion, but they significantly decreased in B. maritima after both phases of digestion process and in O. pes-caprae after the gastric phase. The antioxidant activity results varied with the extract and the method used to evaluate the activity. Results showed that P. major extract has the highest total phenolic contents and antioxidant activity, with considerable values even after digestion, reinforcing the health benefits of this species.European Union (FEDER funds through COMPETE)European Union (EU)European Union (FEDER)European Union (EU)Programa de Cooperacion Interreg V-A Espana - Portugal (POCTEP) 2014-2020 [0377_IBERPHENOL_6_E]project INTERREG - MD. Net: When Brand Meets PeopleFCT Portuguese Foundation for Science and Technolog

Reproductive medicine in northwest Argentina: traditional and institutional systems

<p>Abstract</p> <p>Background</p> <p>The state of conservation of the traditional cultures of Northwest Argentina is variable and somewhat problematic but to a lesser or a greater extent all the peoples are related to an hegemonic culture. We present a case study carried out in the rural communities of the Yungas biome (Salta) where the extent of isolation varies as does the type of access to public health services. The use of medicinal plants in the area is ordinary and widely spread.</p> <p>Methods</p> <p>The data can be organized in two categories, as medical systems public records (for the regional hospital at Los Toldos), and as ethnobotanical sets. A total of 59 surveys to 40 interviewees were undertaken using a semi structured questionnaire. We present an analysis of the relative importance of the medicinal herbs used in reproductive medicine considering the plants used in the traditional medical system and the factors that can affect the relationship between formal medicine and patients. We further analized how the degree of accessibility to the local hospital influences the diversity of use of plant species used to assist deliveries and to decrease infant mortality in children minor than one year of age.</p> <p>Results</p> <p>In reproductive medicine, 13 ailments and/or different physiological states are locally identified and treated. Local population uses 108 ethnospecies for this kind of illnesses. According to the local conception the hot/cold imbalance could be the principal cause for reproductive illnesses; pregnancy may have natural or supernatural origin, post partum and menstruation involve similar sanitary risks, and neonatal care has a strong magic connotation. In relation with the formal medicine, the more accessible is the health center the more women assist to it. We have not found a relation between accessibility and infant mortality.</p> <p>Conclusion</p> <p>In the local reproductive medicine, most of the practices are concerned with the hot/cold balance. According to their importance the factors involved are: the family medicine, the midwife, and the formal doctors. Plants have an important role; however there is a lack of total agreement among the families who use them. Reluctance to institutional deliveries may be due to the weak relationship between patients and doctors, and the lack of logistic assistance to delivering mothers coming from far away locations.</p