Optimizing the computation of overriding

We introduce optimization techniques for reasoning in DLN---a recently introduced family of nonmonotonic description logics whose characterizing features appear well-suited to model the applicative examples naturally arising in biomedical domains and semantic web access control policies. Such optimizations are validated experimentally on large KBs with more than 30K axioms. Speedups exceed 1 order of magnitude. For the first time, response times compatible with real-time reasoning are obtained with nonmonotonic KBs of this size

Emotional dysfunction in schizophrenia spectrum psychosis: the role of illness perceptions

Background. Assessing illness perceptions has been useful in a range of medical disorders. This study of people with a recent relapse of their psychosis examines the relationship between illness perception, their emotional responses and their attitudes to medication.Method. One hundred patients diagnosed with a non-affective psychotic disorder were assessed within 3 months of relapse. Measures included insight, self-reported. illness perceptions, medication adherence, depression, self-esteem and anxiety.Results. Illness perceptions about psychosis explained 46, 36 and 34% of the variance in depression, anxiety and self-esteem respectively. However, self-reported medication adherence was more strongly associated with a measure of insight.Conclusions. Negative illness perceptions in psychosis are clearly related to depression, anxiety and self-esteem. These in turn have been linked to symptom maintenance and recurrence. Clinical interventions that foster appraisals of recovery rather than of chronicity and severity may therefore improve emotional well-being in people with psychosis. It might be better to address adherence to medication through direct attempts at helping them understand their need for treatment

A mutation in caspase-9 decreases the expression of BAFFR and ICOS in patients with immunodeficiency and lymphoproliferation

Lymphocyte apoptosis is mainly induced by either death receptor-dependent activation of caspase-8 or mitochondria-dependent activation of caspase-9. Mutations in caspase-8 lead to autoimmunity/lymphoproliferation and immunodeficiency. This work describes a heterozygous H237P mutation in caspase-9 that can lead to similar disorders. H237P mutation was detected in two patients: Pt1 with autoimmunity/lymphoproliferation, severe hypogammaglobulinemia and Pt2 with mild hypogammaglobulinemia and Burkitt lymphoma. Their lymphocytes displayed defective caspase-9 activity and decreased apoptotic and activation responses. Transfection experiments showed that mutant caspase-9 display defective enzyme and proapoptotic activities and a dominant-negative effect on wild-type caspase-9. Ex vivo analysis of the patients' lymphocytes and in vitro transfection experiments showed that the expression of mutant caspase-9 correlated with a downregulation of BAFFR (B-cell-activating factor belonging to the TNF family (BAFF) receptor) in B cells and ICOS (inducible T-cell costimulator) in T cells. Both patients carried a second inherited heterozygous mutation missing in the relatives carrying H237P: Pt1 in the transmembrane activator and CAML interactor (TACI) gene (S144X) and Pt2 in the perforin (PRF1) gene (N252S). Both mutations have been previously associated with immunodeficiencies in homozygosis or compound heterozygosis. Taken together, these data suggest that caspase-9 mutations may predispose to immunodeficiency by cooperating with other genetic factors, possibly by downregulating the expression of BAFFR and ICO

ArCo: the Italian Cultural Heritage Knowledge Graph

ArCo is the Italian Cultural Heritage knowledge graph, consisting of a network of seven vocabularies and 169 million triples about 820 thousand cultural entities. It is distributed jointly with a SPARQL endpoint, a software for converting catalogue records to RDF, and a rich suite of documentation material (testing, evaluation, how-to, examples, etc.). ArCo is based on the official General Catalogue of the Italian Ministry of Cultural Heritage and Activities (MiBAC) - and its associated encoding regulations - which collects and validates the catalogue records of (ideally) all Italian Cultural Heritage properties (excluding libraries and archives), contributed by CH administrators from all over Italy. We present its structure, design methods and tools, its growing community, and delineate its importance, quality, and impact

Exact ground states for the four-electron problem in a Hubbard ladder

The exact ground state of four electrons in an arbitrary large two leg Hubbard ladder is deduced from nine analytic and explicit linear equations. The used procedure is described, and the properties of the ground state are analyzed. The method is based on the construction in r-space of the different type of orthogonal basis wave vectors which span the subspace of the Hilbert space containing the ground state. In order to do this, we start from the possible microconfigurations of the four particles within the system. These microconfigurations are then rotated, translated and spin-reversed in order to build up the basis vectors of the problem. A closed system of nine analytic linear equations is obtained whose secular equation, by its minimum energy solution, provides the ground state energy and the ground state wave function of the model.Comment: 10 pages, 7 figure

Answer Set Programming Modulo `Space-Time'

We present ASP Modulo `Space-Time', a declarative representational and computational framework to perform commonsense reasoning about regions with both spatial and temporal components. Supported are capabilities for mixed qualitative-quantitative reasoning, consistency checking, and inferring compositions of space-time relations; these capabilities combine and synergise for applications in a range of AI application areas where the processing and interpretation of spatio-temporal data is crucial. The framework and resulting system is the only general KR-based method for declaratively reasoning about the dynamics of `space-time' regions as first-class objects. We present an empirical evaluation (with scalability and robustness results), and include diverse application examples involving interpretation and control tasks

Computation with Polynomial Equations and Inequalities arising in Combinatorial Optimization

The purpose of this note is to survey a methodology to solve systems of polynomial equations and inequalities. The techniques we discuss use the algebra of multivariate polynomials with coefficients over a field to create large-scale linear algebra or semidefinite programming relaxations of many kinds of feasibility or optimization questions. We are particularly interested in problems arising in combinatorial optimization.Comment: 28 pages, survey pape

Pseudogap temperature as a Widom line in doped Mott insulators

The pseudogap refers to an enigmatic state of matter with unusual physical properties found below a characteristic temperature $T^*$ in hole-doped high-temperature superconductors. Determining $T^*$ is critical for understanding this state. Here we study the simplest model of correlated electron systems, the Hubbard model, with cluster dynamical mean-field theory to find out whether the pseudogap can occur solely because of strong coupling physics and short nonlocal correlations. We find that the pseudogap characteristic temperature $T^*$ is a sharp crossover between different dynamical regimes along a line of thermodynamic anomalies that appears above a first-order phase transition, the Widom line. The Widom line emanating from the critical endpoint of a first-order transition is thus the organizing principle for the pseudogap phase diagram of the cuprates. No additional broken symmetry is necessary to explain the phenomenon. Broken symmetry states appear in the pseudogap and not the other way around.Comment: 6 pages, 4 figures and supplementary information; published versio

THE HIGH CADENCE TRANSIENT SURVEY (HITS). I. SURVEY DESIGN AND SUPERNOVA SHOCK BREAKOUT CONSTRAINTS

Indexación: Web of Science; Scopus.We present the first results of the High Cadence Transient Survey (HiTS), a survey for which the objective is to detect and follow-up optical transients with characteristic timescales from hours to days, especially the earliest hours of supernova (SN) explosions. HiTS uses the Dark Energy Camera and a custom pipeline for image subtraction, candidate filtering and candidate visualization, which runs in real-time to be able to react rapidly to the new transients. We discuss the survey design, the technical challenges associated with the real-time analysis of these large volumes of data and our first results. In our 2013, 2014, and 2015 campaigns, we detected more than 120 young SN candidates, but we did not find a clear signature from the short-lived SN shock breakouts (SBOs) originating after the core collapse of red supergiant stars, which was the initial science aim of this survey. Using the empirical distribution of limiting magnitudes from our observational campaigns, we measured the expected recovery fraction of randomly injected SN light curves, which included SBO optical peaks produced with models from Tominaga et al. (2011) and Nakar & Sari (2010). From this analysis, we cannot rule out the models from Tominaga et al. (2011) under any reasonable distributions of progenitor masses, but we can marginally rule out the brighter and longer-lived SBO models from Nakar & Sari (2010) under our best-guess distribution of progenitor masses. Finally, we highlight the implications of this work for future massive data sets produced by astronomical observatories, such as LSST.http://iopscience.iop.org/article/10.3847/0004-637X/832/2/155/meta;jsessionid=76BDFFFE378003616F6DBA56A9225673.c4.iopscience.cld.iop.or

Safe and complete contig assembly via omnitigs

Contig assembly is the first stage that most assemblers solve when reconstructing a genome from a set of reads. Its output consists of contigs -- a set of strings that are promised to appear in any genome that could have generated the reads. From the introduction of contigs 20 years ago, assemblers have tried to obtain longer and longer contigs, but the following question was never solved: given a genome graph $G$ (e.g. a de Bruijn, or a string graph), what are all the strings that can be safely reported from $G$ as contigs? In this paper we finally answer this question, and also give a polynomial time algorithm to find them. Our experiments show that these strings, which we call omnitigs, are 66% to 82% longer on average than the popular unitigs, and 29% of dbSNP locations have more neighbors in omnitigs than in unitigs.Comment: Full version of the paper in the proceedings of RECOMB 201