Equality, Quasi-Implicit Products, and Large Eliminations

This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including implicit arguments, are dropped during reduction of terms. We develop the metatheory for an undecidable version of the system with unannotated terms. We then devise a decidable system with annotated terms, justified in terms of the unannotated system. Finally, we show how the approach can be extended to account for large eliminations, using what we call quasi-implicit products.Comment: In Proceedings ITRS 2010, arXiv:1101.410

Sound and Complete Typing for lambda-mu

In this paper we define intersection and union type assignment for Parigot's calculus lambda-mu. We show that this notion is complete (i.e. closed under subject-expansion), and show also that it is sound (i.e. closed under subject-reduction). This implies that this notion of intersection-union type assignment is suitable to define a semantics.Comment: In Proceedings ITRS 2010, arXiv:1101.410

Calculating total health service utilisation and costs from routinely collected electronic health records using the example of patients with irritable bowel syndrome before and after their first gastroenterology appointment

INTRODUCTION: Health economic models are increasingly important in funding decisions but most are based on data, which may therefore not represent the general population. We sought to establish the potential of real-world data available within the Clinical Practice Research Datalink (CPRD) and linked Hospital Episode Statistics (HES) to determine comprehensive healthcare utilisation and costs as input variables for economic modelling. METHODS: A cohort of patients with irritable bowel syndrome (IBS) who first saw a gastroenterologist in 2008 or 2009, and with 3 years of data before and after their appointment, was created in the CPRD. Primary care, outpatient, inpatient, prescription and colonoscopy data were extracted from the linked CPRD and HES. The appropriate cost to the NHS was attached to each event. Total and stratified annual healthcare utilisation rates and costs were calculated before and after the gastroenterology appointment with distribution parameters. Absolute differences were calculated with 95 % confidence intervals. RESULTS: Total annual healthcare costs over 3 years increase by £935 (95 % CI £928–941) following a gastroenterology appointment for IBS. We derived utilisation and cost data with parameter distributions stratified by demographics and time. Women, older patients, smokers and patients with greater comorbidity utilised more healthcare resources, which generated higher costs. CONCLUSIONS: These linked datasets provide comprehensive primary and secondary care data for large numbers of patients, which allows stratification of outcomes. It is possible to derive input parameters appropriate for economic models and their distributions directly from the population of interest

Curcumin-Arteether Combination Therapy of Plasmodium berghei-Infected Mice Prevents Recrudescence Through Immunomodulation

Earlier studies in this laboratory have shown the potential of artemisinin-curcumin combination therapy in experimental malaria. In a parasite recrudescence model in mice infected with Plasmodium berghei (ANKA), a single dose of alpha,beta-arteether (ART) with three oral doses of curcumin prevented recrudescence, providing almost 95% protection. The parasites were completely cleared in blood with ART-alone (AE) or ART+curcumin (AC) treatments in the short-term, although the clearance was faster in the latter case involving increased ROS generation. But, parasites in liver and spleen were not cleared in AE or AC treatments, perhaps, serving as a reservoir for recrudescence. Parasitemia in blood reached up to 60% in AE-treated mice during the recrudescence phase, leading to death of animals. A transient increase of up to 2–3% parasitemia was observed in AC-treatment, leading to protection and reversal of splenomegaly. A striking increase in spleen mRNA levels for TLR2, IL-10 and IgG-subclass antibodies but a decrease in those for INFγ and IL-12 was observed in AC-treatment. There was a striking increase in IL-10 and IgG subclass antibody levels but a decrease in INFγ levels in sera leading to protection against recrudescence. AC-treatment failed to protect against recrudescence in TLR2−/− and IL-10−/− animals. IL-10 injection to AE-treated wild type mice and AC-treated TLR2−/− mice was able to prolong survival. Blood from the recrudescence phase in AE-treatment, but not from AC-treatment, was able to reinfect and kill naïve animals. Sera from the recrudescence phase of AC-treated animals reacted with several parasite proteins compared to that from AE-treated animals. It is proposed that activation of TLR2-mediated innate immune response leading to enhanced IL-10 production and generation of anti-parasite antibodies contribute to protective immunity in AC-treated mice. These results indicate a potential for curcumin-based combination therapy to be tested for prevention of recrudescence in falciparum and relapse in vivax malaria

Molecular Predictors of 3D Morphogenesis by Breast Cancer Cell Lines in 3D Culture

Correlative analysis of molecular markers with phenotypic signatures is the simplest model for hypothesis generation. In this paper, a panel of 24 breast cell lines was grown in 3D culture, their morphology was imaged through phase contrast microscopy, and computational methods were developed to segment and represent each colony at multiple dimensions. Subsequently, subpopulations from these morphological responses were identified through consensus clustering to reveal three clusters of round, grape-like, and stellate phenotypes. In some cases, cell lines with particular pathobiological phenotypes clustered together (e.g., ERBB2 amplified cell lines sharing the same morphometric properties as the grape-like phenotype). Next, associations with molecular features were realized through (i) differential analysis within each morphological cluster, and (ii) regression analysis across the entire panel of cell lines. In both cases, the dominant genes that are predictive of the morphological signatures were identified. Specifically, PPARγ has been associated with the invasive stellate morphological phenotype, which corresponds to triple-negative pathobiology. PPARγ has been validated through two supporting biological assays

Common Genetic Polymorphisms Influence Blood Biomarker Measurements in COPD

Implementing precision medicine for complex diseases such as chronic obstructive lung disease (COPD) will require extensive use of biomarkers and an in-depth understanding of how genetic, epigenetic, and environmental variations contribute to phenotypic diversity and disease progression. A meta-analysis from two large cohorts of current and former smokers with and without COPD [SPIROMICS (N = 750); COPDGene (N = 590)] was used to identify single nucleotide polymorphisms (SNPs) associated with measurement of 88 blood proteins (protein quantitative trait loci; pQTLs). PQTLs consistently replicated between the two cohorts. Features of pQTLs were compared to previously reported expression QTLs (eQTLs). Inference of causal relations of pQTL genotypes, biomarker measurements, and four clinical COPD phenotypes (airflow obstruction, emphysema, exacerbation history, and chronic bronchitis) were explored using conditional independence tests. We identified 527 highly significant (p 10% of measured variation in 13 protein biomarkers, with a single SNP (rs7041; p = 10−392) explaining 71%-75% of the measured variation in vitamin D binding protein (gene = GC). Some of these pQTLs [e.g., pQTLs for VDBP, sRAGE (gene = AGER), surfactant protein D (gene = SFTPD), and TNFRSF10C] have been previously associated with COPD phenotypes. Most pQTLs were local (cis), but distant (trans) pQTL SNPs in the ABO blood group locus were the top pQTL SNPs for five proteins. The inclusion of pQTL SNPs improved the clinical predictive value for the established association of sRAGE and emphysema, and the explanation of variance (R2) for emphysema improved from 0.3 to 0.4 when the pQTL SNP was included in the model along with clinical covariates. Causal modeling provided insight into specific pQTL-disease relationships for airflow obstruction and emphysema. In conclusion, given the frequency of highly significant local pQTLs, the large amount of variance potentially explained by pQTL, and the differences observed between pQTLs and eQTLs SNPs, we recommend that protein biomarker-disease association studies take into account the potential effect of common local SNPs and that pQTLs be integrated along with eQTLs to uncover disease mechanisms. Large-scale blood biomarker studies would also benefit from close attention to the ABO blood group

Whole-genome sequencing reveals host factors underlying critical COVID-19

Critical COVID-19 is caused by immune-mediated inflammatory lung injury. Host genetic variation influences the development of illness requiring critical care1 or hospitalization2–4 after infection with SARS-CoV-2. The GenOMICC (Genetics of Mortality in Critical Care) study enables the comparison of genomes from individuals who are critically ill with those of population controls to find underlying disease mechanisms. Here we use whole-genome sequencing in 7,491 critically ill individuals compared with 48,400 controls to discover and replicate 23 independent variants that significantly predispose to critical COVID-19. We identify 16 new independent associations, including variants within genes that are involved in interferon signalling (IL10RB and PLSCR1), leucocyte differentiation (BCL11A) and blood-type antigen secretor status (FUT2). Using transcriptome-wide association and colocalization to infer the effect of gene expression on disease severity, we find evidence that implicates multiple genes—including reduced expression of a membrane flippase (ATP11A), and increased expression of a mucin (MUC1)—in critical disease. Mendelian randomization provides evidence in support of causal roles for myeloid cell adhesion molecules (SELE, ICAM5 and CD209) and the coagulation factor F8, all of which are potentially druggable targets. Our results are broadly consistent with a multi-component model of COVID-19 pathophysiology, in which at least two distinct mechanisms can predispose to life-threatening disease: failure to control viral replication; or an enhanced tendency towards pulmonary inflammation and intravascular coagulation. We show that comparison between cases of critical illness and population controls is highly efficient for the detection of therapeutically relevant mechanisms of disease