Expressiveness of Temporal Query Languages: On the Modelling of Intervals, Interval Relationships and States

Storing and retrieving time-related information are important, or even critical, tasks on many areas of Computer Science (CS) and in particular for Artificial Intelligence (AI). The expressive power of temporal databases/query languages has been studied from different perspectives, but the kind of temporal information they are able to store and retrieve is not always conveniently addressed. Here we assess a number of temporal query languages with respect to the modelling of time intervals, interval relationships and states, which can be thought of as the building blocks to represent and reason about a large and important class of historic information. To survey the facilities and issues which are particular to certain temporal query languages not only gives an idea about how useful they can be in particular contexts, but also gives an interesting insight in how these issues are, in many cases, ultimately inherent to the database paradigm. While in the area of AI declarative languages are usually the preferred choice, other areas of CS heavily rely on the extended relational paradigm. This paper, then, will be concerned with the representation of historic information in two well known temporal query languages: it Templog in the context of temporal deductive databases, and it TSQL2 in the context of temporal relational databases. We hope the results highlighted here will increase cross-fertilisation between different communities. This article can be related to recent publications drawing the attention towards the different approaches followed by the Databases and AI communities when using time-related concepts

A viral CTL escape mutation leading to immunoglobulin-like transcript 4-mediated functional inhibition of myelomonocytic cells

Viral mutational escape can reduce or abrogate recognition by the T cell receptor (TCR) of virus-specific CD8+ T cells. However, very little is known about the impact of cytotoxic T lymphocyte (CTL) epitope mutations on interactions between peptide–major histocompatibility complex (MHC) class I complexes and MHC class I receptors expressed on other cell types. Here, we analyzed a variant of the immunodominant human leukocyte antigen (HLA)-B2705–restricted HIV-1 Gag KK10 epitope (KRWIILGLNK) with an L to M amino acid substitution at position 6 (L6M), which arises as a CTL escape variant after primary infection but is sufficiently immunogenic to elicit a secondary, de novo HIV-1–specific CD8+ T cell response with an alternative TCR repertoire in chronic infection. In addition to altering recognition by HIV-1–specific CD8+ T cells, the HLA-B2705–KK10 L6M complex also exhibits substantially increased binding to the immunoglobulin-like transcript (ILT) receptor 4, an inhibitory MHC class I–specific receptor expressed on myelomonocytic cells. Binding of the B2705–KK10 L6M complex to ILT4 leads to a tolerogenic phenotype of myelomonocytic cells with lower surface expression of dendritic cell (DC) maturation markers and co-stimulatory molecules. These data suggest a link between CTL-driven mutational escape, altered recognition by innate MHC class I receptors on myelomonocytic cells, and functional impairment of DCs, and thus provide important new insight into biological consequences of viral sequence diversificatio

Deletion of parasite immune modulatory sequences combined with immune activating signals enhances vaccine mediated protection against filarial nematodes

<p>Background: Filarial nematodes are tissue-dwelling parasites that can be killed by Th2-driven immune effectors, but that have evolved to withstand immune attack and establish chronic infections by suppressing host immunity. As a consequence, the efficacy of a vaccine against filariasis may depend on its capacity to counter parasite-driven immunomodulation.</p> <p>Methodology and Principal Findings: We immunised mice with DNA plasmids expressing functionally-inactivated forms of two immunomodulatory molecules expressed by the filarial parasite Litomosoides sigmodontis: the abundant larval transcript-1 (LsALT) and cysteine protease inhibitor-2 (LsCPI). The mutant proteins enhanced antibody and cytokine responses to live parasite challenge, and led to more leukocyte recruitment to the site of infection than their native forms. The immune response was further enhanced when the antigens were targeted to dendritic cells using a single chain Fv-αDEC205 antibody and co-administered with plasmids that enhance T helper 2 immunity (IL-4) and antigen-presenting cell recruitment (Flt3L, MIP-1α). Mice immunised simultaneously against the mutated forms of LsALT and LsCPI eliminated adult parasites faster and consistently reduced peripheral microfilaraemia. A multifactorial analysis of the immune response revealed that protection was strongly correlated with the production of parasite-specific IgG1 and with the numbers of leukocytes present at the site of infection.</p> <p>Conclusions: We have developed a successful strategy for DNA vaccination against a nematode infection that specifically targets parasite-driven immunosuppression while simultaneously enhancing Th2 immune responses and parasite antigen presentation by dendritic cells.</p&gt

Allen's Interval Algebra Makes the Difference

Allen's Interval Algebra constitutes a framework for reasoning about temporal information in a qualitative manner. In particular, it uses intervals, i.e., pairs of endpoints, on the timeline to represent entities corresponding to actions, events, or tasks, and binary relations such as precedes and overlaps to encode the possible configurations between those entities. Allen's calculus has found its way in many academic and industrial applications that involve, most commonly, planning and scheduling, temporal databases, and healthcare. In this paper, we present a novel encoding of Interval Algebra using answer-set programming (ASP) extended by difference constraints, i.e., the fragment abbreviated as ASP(DL), and demonstrate its performance via a preliminary experimental evaluation. Although our ASP encoding is presented in the case of Allen's calculus for the sake of clarity, we suggest that analogous encodings can be devised for other point-based calculi, too.Comment: Part of DECLARE 19 proceeding

New use of global warming potentials to compare cumulative and short-lived climate pollutants

Parties to the United Nations Framework Convention on Climate Change (UNFCCC) have requested guidance on common greenhouse gas metrics in accounting for Nationally determined contributions (NDCs) to emission reductions1. Metric choice can affect the relative emphasis placed on reductions of ‘cumulative climate pollutants’ such as carbon dioxide versus ‘short-lived climate pollutants’ (SLCPs), including methane and black carbon2, 3, 4, 5, 6. Here we show that the widely used 100-year global warming potential (GWP100) effectively measures the relative impact of both cumulative pollutants and SLCPs on realized warming 20–40 years after the time of emission. If the overall goal of climate policy is to limit peak warming, GWP100 therefore overstates the importance of current SLCP emissions unless stringent and immediate reductions of all climate pollutants result in temperatures nearing their peak soon after mid-century7, 8, 9, 10, which may be necessary to limit warming to “well below 2 °C” (ref. 1). The GWP100 can be used to approximately equate a one-off pulse emission of a cumulative pollutant and an indefinitely sustained change in the rate of emission of an SLCP11, 12, 13. The climate implications of traditional CO2-equivalent targets are ambiguous unless contributions from cumulative pollutants and SLCPs are specified separately

Engaging Undergraduates in Science Research: Not Just About Faculty Willingness.

Despite the many benefits of involving undergraduates in research and the growing number of undergraduate research programs, few scholars have investigated the factors that affect faculty members' decisions to involve undergraduates in their research projects. We investigated the individual factors and institutional contexts that predict faculty members' likelihood of engaging undergraduates in their research project(s). Using data from the Higher Education Research Institute's 2007-2008 Faculty Survey, we employ hierarchical generalized linear modeling to analyze data from 4,832 science, technology, engineering, and mathematics (STEM) faculty across 194 institutions to examine how organizational citizenship behavior theory and social exchange theory relate to mentoring students in research. Key findings show that faculty who work in the life sciences and those who receive government funding for their research are more likely to involve undergraduates in their research project(s). In addition, faculty at liberal arts or historically Black colleges are significantly more likely to involve undergraduate students in research. Implications for advancing undergraduate research opportunities are discussed

Mid-term outcomes for Endoscopic versus Open Vein Harvest: a case control study

<p>Abstract</p> <p>Background</p> <p>Saphenous vein remains the most common conduit for coronary artery bypass grafting with increasing uptake of minimally invasive harvesting techniques. While Endoscopic Vein Harvest (EVH) has been demonstrated to improve early morbidity compared to Open Vein Harvest (OVH), recent literature suggests that this may be at the expense of graft patency at one year and survival at three years.</p> <p>Methods</p> <p>We undertook a retrospective single-centre, single-surgeon, case-control study of EVH (n = 89) and OVH (n = 182). The primary endpoint was death with secondary endpoints including acute coronary syndrome, revascularisation or other major adverse cardiac events. Freedom from angina, wound complications and self-rated health status were also assessed. Where repeat angiography had been performed, this was reviewed.</p> <p>Results</p> <p>Both groups were well matched demographically and for peri-operative characteristics. All cause mortality was 2/89 (2%) and 11/182 (6%) in the EVH and OVH groups respectively. This was shown by Cox Log-Rank analysis to be non-significant (p = 0.65), even if adjusting for inpatient mortality (p = 0.74). There was no difference in the rates of freedom from angina (p = 1.00), re-admission (p = 0.78) or need for further anti-anginals (p = 1.00). There was a significant reduction in the incidence of leg wound infections and complications in the endoscopic group (EVH: 7%; OVH: 28%; p = 0.0008) and the skew of high patient self-rated health scores in the EVH group (61% compared to 52% in the open group) approached statistical significance (p = 0.06).</p> <p>Conclusions</p> <p>While aware of the limitations of this small retrospective study, we are heartened by the preliminary results and consider our data to be justification for continuing to provide patients the opportunity to have minimally invasive conduit harvest in our centre. More robust evidence is still required to elucidate the implications of endoscopic techniques on conduit patency and patient outcome, but until the results of a large, prospective and randomised trial are available, we believe we can confidently offer our patients the option and benefits of EVH.</p

Localisation of RNAs into the germ plasm of vitellogenic xenopus oocytes

We have studied the localisation of mRNAs in full-grown Xenopus laevis oocytes by injecting fluorescent RNAs, followed by confocal microscopy of the oocyte cortex. Concentrating on RNA encoding the Xenopus Nanos homologue, nanos1 (formerly Xcat2), we find that it consistently localised into aggregated germ plasm ribonucleoprotein (RNP) particles, independently of cytoskeletal integrity. This implies that a diffusion/entrapment-mediated mechanism is active, as previously reported for previtellogenic oocytes. Sometimes this was accompanied by localisation into scattered particles of the “late”, Vg1/VegT pathway; occasionally only late pathway localisation was seen. The Xpat RNA behaved in an identical fashion and for neither RNA was the localisation changed by any culture conditions tested. The identity of the labelled RNP aggregates as definitive germ plasm was confirmed by their inclusion of abundant mitochondria and co-localisation with the germ plasm protein Hermes. Further, the nanos1/Hermes RNP particles are interspersed with those containing the germ plasm protein Xpat. These aggregates may be followed into the germ plasm of unfertilized eggs, but with a notable reduction in its quantity, both in terms of injected molecules and endogenous structures. Our results conflict with previous reports that there is no RNA localisation in large oocytes, and that during mid-oogenesis even germ plasm RNAs localise exclusively by the late pathway. We find that in mid oogenesis nanos1 RNA also localises to germ plasm but also by the late pathway. Late pathway RNAs, Vg1 and VegT, also may localise into germ plasm. Our results support the view that mechanistically the two modes of localisation are extremely similar, and that in an injection experiment RNAs might utilise either pathway, the distinction in fates being very subtle and subject to variation. We discuss these results in relation to their biological significance and the results of others

Tumor innate immunity primed by specific interferon-stimulated endogenous retroviruses.

Mesenchymal tumor subpopulations secrete pro-tumorigenic cytokines and promote treatment resistance1-4. This phenomenon has been implicated in chemorefractory small cell lung cancer and resistance to targeted therapies5-8, but remains incompletely defined. Here, we identify a subclass of endogenous retroviruses (ERVs) that engages innate immune signaling in these cells. Stimulated 3 prime antisense retroviral coding sequences (SPARCS) are oriented inversely in 3' untranslated regions of specific genes enriched for regulation by STAT1 and EZH2. Derepression of these loci results in double-stranded RNA generation following IFN-γ exposure due to bi-directional transcription from the STAT1-activated gene promoter and the 5' long terminal repeat of the antisense ERV. Engagement of MAVS and STING activates downstream TBK1, IRF3, and STAT1 signaling, sustaining a positive feedback loop. SPARCS induction in human tumors is tightly associated with major histocompatibility complex class 1 expression, mesenchymal markers, and downregulation of chromatin modifying enzymes, including EZH2. Analysis of cell lines with high inducible SPARCS expression reveals strong association with an AXL/MET-positive mesenchymal cell state. While SPARCS-high tumors are immune infiltrated, they also exhibit multiple features of an immune-suppressed microenviroment. Together, these data unveil a subclass of ERVs whose derepression triggers pathologic innate immune signaling in cancer, with important implications for cancer immunotherapy

Review for the generalist: evaluation of pediatric hip pain

Hip pathology may cause groin pain, referred thigh or knee pain, refusal to bear weight or altered gait in the absence of pain. A young child with an irritable hip poses a diagnostic challenge. Transient synovitis, one of the most common causes of hip pain in children, must be differentiated from septic arthritis. Hip pain may be caused by conditions unique to the growing pediatric skeleton including Perthes disease, slipped capital femoral epiphysis and apophyseal avulsion fractures of the pelvis. Hip pain may also be referred from low back or pelvic pathology. Evaluation and management requires a thorough history and physical exam, and understanding of the pediatric skeleton. This article will review common causes of hip and pelvic musculoskeletal pain in the pediatric population