Elaborator reflection : extending Idris in Idris

Many programming languages and proof assistants are defined by elaboration from a high-level language with a great deal of implicit information to a highly explicit core language. In many advanced languages, these elaboration facilities contain powerful tools for program construction, but these tools are rarely designed to be repurposed by users. We describe elaborator reflection, a paradigm for metaprogramming in which the elaboration machinery is made directly available to metaprograms, as well as a concrete realization of elaborator reflection in Idris, a functional language with full dependent types. We demonstrate the applicability of Idris’s reflected elaboration framework to a number of realistic problems, we discuss the motivation for the specific features of its design, and we explore the broader meaning of elaborator reflection as it can relate to other languages.Postprin

Interactions between subunits of Saccharomyces cerevisiae RNase MRP support a conserved eukaryotic RNase P/MRP architecture

Ribonuclease MRP is an endonuclease, related to RNase P, which functions in eukaryotic pre-rRNA processing. In Saccharomyces cerevisiae, RNase MRP comprises an RNA subunit and ten proteins. To improve our understanding of subunit roles and enzyme architecture, we have examined protein-protein and protein–RNA interactions in vitro, complementing existing yeast two-hybrid data. In total, 31 direct protein–protein interactions were identified, each protein interacting with at least three others. Furthermore, seven proteins self-interact, four strongly, pointing to subunit multiplicity in the holoenzyme. Six protein subunits interact directly with MRP RNA and four with pre-rRNA. A comparative analysis with existing data for the yeast and human RNase P/MRP systems enables confident identification of Pop1p, Pop4p and Rpp1p as subunits that lie at the enzyme core, with probable addition of Pop5p and Pop3p. Rmp1p is confirmed as an integral subunit, presumably associating preferentially with RNase MRP, rather than RNase P, via interactions with Snm1p and MRP RNA. Snm1p and Rmp1p may act together to assist enzyme specificity, though roles in substrate binding are also indicated for Pop4p and Pop6p. The results provide further evidence of a conserved eukaryotic RNase P/MRP architecture and provide a strong basis for studies of enzyme assembly and subunit function

Evidence of continued injecting drug use after attaining sustained treatment-induced clearance of the hepatitis C virus: implications for reinfection

Background: People who inject drugs (PWID) are at the greatest risk of hepatitis C virus (HCV) infection, yet are often denied immediate treatment due to fears of on-going risk behaviour. Our principal objective was to examine evidence of continued injecting drug use among PWID following successful treatment for HCV and attainment of a sustained viral response (SVR). Methods: PWID who attained SVR between 1992 and June 2012 were selected from the National Scottish Hepatitis C Clinical Database. Hospitalisation and mortality records were sourced for these patients using record linkage techniques. Our primary outcome variable was any hospitalisation or death, which was indicative of injecting drugs post-SVR. Results: The cohort comprised 1170 PWID (mean age at SVR 39.6y; 76% male). The Kaplan Meier estimate of incurring the primary outcome after three years of SVR was 10.59% (95% CI, 8.75–12.79) After adjusting for confounding, the risk of an injection related hospital episode or death post-SVR was significantly increased with advancing year of SVR: AHR:1.07 per year (95% CI, 1.01–1.14), having a pre-SVR acute alcohol intoxication-related hospital episode: AHR:1.83 (95% CI, 1.29–2.60), and having a pre-SVR opiate or injection-related hospital episode: AHR:2.59 (95% CI, 1.84–3.64). Conclusion: Despite attaining the optimal treatment outcome, these data indicate that an increasing significant minority of PWID continue to inject post-SVR at an intensity which leads to either hospitalisation or death and increased risk of reinfection

Prioritization of HCV treatment in the direct-acting antiviral era: an economic evaluation

BACKGROUND & AIMS: We determined the optimal HCV treatment prioritization strategy for interferon-free (IFN-free) HCV direct-acting antivirals (DAAs) by disease stage and risk status incorporating treatment of people who inject drugs (PWID). METHODS: A dynamic HCV transmission and progression model compared the cost-effectiveness of treating patients early vs. delaying until cirrhosis for patients with mild or moderate fibrosis, where PWID chronic HCV prevalence was 20, 40 or 60%. Treatment duration was 12weeks at £3300/wk, to achieve a 95% sustained viral response and was varied by genotype/stage in alternative scenarios. We estimated long-term health costs (in £UK=€1.3=$1.5) and outcomes as quality adjusted life-years (QALYs) gained using a £20,000 willingness to pay per QALY threshold. We ranked strategies with net monetary benefit (NMB); negative NMB implies delay treatment. RESULTS: The most cost-effective group to treat were PWID with moderate fibrosis (mean NMB per early treatment £60,640/£23,968 at 20/40% chronic prevalence, respectively), followed by PWID with mild fibrosis (NMB £59,258 and £19,421, respectively) then ex-PWID/non-PWID with moderate fibrosis (NMB £9,404). Treatment of ex-PWID/non-PWID with mild fibrosis could be delayed (NMB -£3,650). In populations with 60% chronic HCV among PWID it was only cost-effective to prioritize DAAs to ex-PWID/non-PWID with moderate fibrosis. For every one PWID in the 20% chronic HCV setting, 2 new HCV infections were averted. One extra HCV-related death was averted per 13 people with moderate disease treated. Rankings were unchanged with reduced drug costs or varied sustained virological response/duration by genotype/fibrosis stage. CONCLUSIONS: Treating PWID with moderate or mild HCV with IFN-free DAAs is cost-effective compared to delay until cirrhosis, except when chronic HCV prevalence and reinfection risk is very high

Targeted hepatitis C antibody testing interventions: a systematic review and meta-analysis

Testing for hepatitis C virus (HCV) infection may reduce the risk of liver-related morbidity, by facilitating earlier access to treatment and care. This review investigated the effectiveness of targeted testing interventions on HCV case detection, treatment uptake, and prevention of liver-related morbidity. A literature search identified studies published up to 2013 that compared a targeted HCV testing intervention (targeting individuals or groups at increased risk of HCV) with no targeted intervention, and results were synthesised using meta-analysis. Exposure to a targeted testing intervention, compared to no targeted intervention, was associated with increased cases detected [number of studies (n) = 14; pooled relative risk (RR) 1.7, 95 % CI 1.3, 2.2] and patients commencing therapy (n = 4; RR 3.3, 95 % CI 1.1, 10.0). Practitioner-based interventions increased test uptake and cases detected (n = 12; RR 3.5, 95 % CI 2.5, 4.8; and n = 10; RR 2.2, 95 % CI 1.4, 3.5, respectively), whereas media/information-based interventions were less effective (n = 4; RR 1.5, 95 % CI 0.7, 3.0; and n = 4; RR 1.3, 95 % CI 1.0, 1.6, respectively). This meta-analysis provides for the first time a quantitative assessment of targeted HCV testing interventions, demonstrating that these strategies were effective in diagnosing cases and increasing treatment uptake. Strategies involving practitioner-based interventions yielded the most favourable outcomes. It is recommended that testing should be targeted at and offered to individuals who are part of a population with high HCV prevalence, or who have a history of HCV risk behaviour

Hepatitis C reinfection following treatment induced viral clearance among people who have injected drugs

Background: Although people who inject drugs (PWID) are an important group to receive Hepatitis C Virus (HCV) antiviral therapy, initiation onto treatment remains low. Concerns over reinfection may make clinicians reluctant to treat this group. We examined the risk of HCV reinfection among a cohort of PWID (encompassing all those reporting a history of injecting drug use) from Scotland who achieved a sustained virological response (SVR). Methods: Clinical and laboratory data were used to monitor RNA testing among PWID who attained SVR following therapy between 2000 and 2009. Data were linked to morbidity and mortality records. Follow-up began one year after completion of therapy, ending on 31st December, 2012. Frequency of RNA testing during follow-up was calculated and the incidence of HCV reinfection estimated. Cox proportional hazards regression was used to examine factors associated with HCV reinfection. Results: Among 448 PWID with a SVR, 277 (61.8%) were tested during follow-up, median 4.5 years; 191 (69%) received one RNA test and 86 (31%) received at least two RNA tests. There were seven reinfections over 410 person years generating a reinfection rate of 1.7/100 py (95% CI 0.7–3.5). For PWID who have been hospitalised for an opiate or injection related cause post SVR (11%), the risk of HCV reinfection was greater [AHR = 12.9, 95% CI 2.2–76.0, p = 0.002] and the reinfection rate was 5.7/100 py (95% CI 1.8–13.3). Conclusion: PWID who have been tested, following SVR, for HCV in Scotland appear to be at a low risk of reinfection. Follow-up and monitoring of this population are warranted as treatment is offered more widely

Assessment of the response of pollinator abundance to environmental pressures using structured expert elicitation

Policy-makers often need to rely on experts with disparate fields of expertise when making policy choices in complex, multi-faceted, dynamic environments such as those dealing with ecosystem services. For policy-makers wishing to make evidence-based decisions which will best support pollinator abundance and pollination services, one of the problems faced is how to access the information and evidence they need, and how to combine it to formulate and evaluate candidate policies. This is even more complex when multiple factors provide influence in combination. The pressures affecting the survival and pollination capabilities of honey bees (Apis mellifera), wild bees, and other pollinators are well documented, but incomplete. In order to estimate the potential effectiveness of various candidate policy choices, there is an urgent need to quantify the effect of various combinations of factors on the pollination ecosystem service. Using high-quality experimental evidence is the most robust approach, but key aspects of the system may not be amenable to experimentation or may be prohibitive based on cost, time and effort. In such cases, it is possible to obtain the required evidence by using structured expert elicitation, a method for quantitatively characterizing the state of knowledge about an uncertain quantity. Here we report and discuss the outputs of the novel use of a structured expert elicitation, designed to quantify the probability of good pollinator abundance given a variety of weather, disease, and habitat scenarios

Towards an Intelligent Tutor for Mathematical Proofs

Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for teaching textbook-style mathematical proofs. We characterize the particularities of the domain and discuss common ITS design models. Our approach is motivated by phenomena found in a corpus of tutorial dialogs that were collected in a Wizard-of-Oz experiment. We show how an intelligent tutor for textbook-style mathematical proofs can be built on top of an adapted assertion-level proof assistant by reusing representations and proof search strategies originally developed for automated and interactive theorem proving. The resulting prototype was successfully evaluated on a corpus of tutorial dialogs and yields good results.Comment: In Proceedings THedu'11, arXiv:1202.453