TWAM: A Certifying Abstract Machine for Logic Programs

Type-preserving (or typed) compilation uses typing derivations to certify correctness properties of compilation. We have designed and implemented a type-preserving compiler for a simply-typed dialect of Prolog we call T-Prolog. The crux of our approach is a new certifying abstract machine which we call the Typed Warren Abstract Machine (TWAM). The TWAM has a dependent type system strong enough to specify the semantics of a logic program in the logical framework LF. We present a soundness metatheorem which constitutes a partial correctness guarantee: well-typed programs implement the logic program specified by their type. This metatheorem justifies our design and implementation of a certifying compiler from T-Prolog to TWAM.Comment: 41 pages, under submission to ACM Transactions on Computational Logi

Prophylactic HPV vaccines: prospects for eliminating ano-genital cancer

Virtually all cases of cervical cancer and its precursor intra-epithelial lesions are a result of infection with one or other of a subset of genital human papillomaviruses (HPVs), suggesting that prevention of HPV infection by prophylactic vaccination would be a highly effective anticancer strategy. Two HPV L1 virus-like particle vaccines have been developed, a quadrivalent HPV16/18/6/11 product and a bivalent HPV16/18 product; both have been shown to be highly immunogenic with a good safety profile and 100% efficacy against HPV16/18-related high-grade cervical intra-epithelial neoplasia (CIN2/3), implying that they will be effective at preventing HPV16/18-related cervical cancer

HPV testing in routine cervical screening: cross sectional data from the ARTISTIC trial

To evaluate the effectiveness of human papillomavirus (HPV) testing in primary cervical screening. This was a cross-sectional study from the recruitment phase of a prospective randomised trial. Women were screened for HPV in addition to routine cervical cytology testing. Greater Manchester, attendees at routine NHS Cervical Screening Programme. In all, 24 510 women aged 20–64 screened with liquid-based cytology (LBC) and HPV testing at entry. HPV testing in primary cervical screening. Type-specific HPV prevalence rates are presented in relation to age as well as cytological and histological findings at entry. In all, 24 510 women had adequate cytology and HPV results. Cytology results at entry were: 87% normal, 11% borderline or mild, 1.1% moderate and 0.6% severe dyskaryosis or worse. Prevalence of HPV decreased sharply with age, from 40% at age 20–24 to 12% at 35–39 and 7% or less above age 50. It increased with cytological grade, from 10% of normal cytology and 31% of borderline to 70% mild, 86% moderate, and 96% of severe dyskaryosis or worse. HPV 16 or HPV 18 accounted for 64% of infections in women with severe or worse cytology, and one or both were found in 61% of women with severe dyskaryosis but in only 2.2% of those with normal cytology. The majority of young women in Greater Manchester have been infected with a high-risk HPV by the age of 30. HPV testing is practicable as a primary routine screening test, but in women aged under 30 years, this would lead to a substantial increase in retesting and referral rates. HPV 16 and HPV 18 are more predictive of underlying disease, but other HPV types account for 30% of high-grade disease

Reducing appointment lead-time in an outpatient department of gynecology and obstetrics through discrete-event simulation: A case study

Appointment lead-time is a critical variable in outpatient clinic services. In Gynecology and Obstetrics departments, longer appointment lead times are associated with lower patient satisfaction, the use of more complex healthcare services, development of long-term and severe complications and the increase of fetal, infant and maternal mortality rates. This paper aims to define and evaluate improvement alternatives through the use of Discrete-event simulation (DES). First, input data analysis is performed. Second, the simulation model is created; then, performance metrics are calculated and analyzed. Finally, improvement scenarios are designed and assessed. A case study of a mixed-patient type environment (Perinatology and Gynecobstetrics) in an outpatient department has been explored to verify the effectiveness of the proposed approach. Statistical analysis evidence that appointment lead times could be significantly reduced in both Perinatology and Gynecobstetrics appointments based on the proposed approaches in this paper

Scallop swimming kinematics and muscle performance: modelling the effects of "within-animal" variation in temperature sensitivity

Escape behaviour was investigated in Queen scallops (Aequipecten opercularis) acclimated to 5, 10 or 15 degrees C and tested at their acclimation temperature. Scallops are active molluscs, able to escape from predators by jet-propelled swimming using a striated muscle working in opposition to an elastic hinge ligament. The first cycle of the escape response was recorded using high-speed video ( 250 Hz) and whole-animal velocity and acceleration determined. Muscle shortening velocity, force and power output were calculated using measurements of valve movement and jet area, and a simple biomechanical model. The average shortening speed of the adductor muscle had a Q(10) of 2.04, significantly reducing the duration of the jetting phase of the cycle with increased temperature. Muscle lengthening velocity and the overall duration of the clap cycle were changed little over the range 5 - 15 degrees C, as these parameters were controlled by the relatively temperature-insensitive, hinge ligament. Improvements in the average power output of the adductor muscle over the first clap cycle ( 222 vs. 139 W kg(-1) wet mass at 15 and 5 degrees C respectively) were not translated into proportional increases in overall swimming velocity, which was only 32% higher at 15 degrees C ( 0.37m s(-1)) than 5 degrees C (0.28 m s(-1))

"It's a can of worms": understanding primary care practitioners' behaviours in relation to HPV using the Theoretical Domains Framework

Background: The relationship between infection with high-risk human papillomavirus (HPV) and cervical cancer is transforming cervical cancer prevention. HPV tests and vaccinations have recently become available. In Ireland, as elsewhere, primary care practitioners play a key role in prevention. ATHENS (A Trial of HPV Education and Support) aims to develop a theorybased intervention to support primary care practitioners in their HPV-related practice. This study, the first step in the intervention development process, aimed to: identify HPV-related clinical behaviours that the intervention will target; clarify general practitioners’ (GPs’) and practice nurses’ roles and responsibilities; and determine factors that potentially influence clinical behaviour. A secondary objective was to informally assess the utility of the Theoretical Domains Framework (TDF) in understanding clinical behaviours in an area with an evolving evidence-base. Methods: In-depth semi-structured telephone interviews were conducted with GPs and practice nurses. The topic guide, which contained open questions and HPV-related clinical scenarios, was developed through literature review and clinical experience. Interview transcripts were content-analysed using the TDF as the coding framework. Results: 19 GPs and 14 practice nurses were interviewed. The major HPV-related clinical behaviours were: initiating a discussion about HPV infection with female patients; offering/recommending HPV vaccination to appropriate patients; and answering patients’ questions about HPV testing. While the responsibility for taking smears was considered a female role, both male and female practitioners dealt with HPV-related issues. All 12 theoretical domains arose in relation to HPV infection; the domains judged to be most important were: knowledge, emotion, social influences, beliefs about capabilities and beliefs about consequences. Eleven domains emerged in relation to HPV vaccination, with beliefs about consequences, social influences, knowledge and environmental context and resources judged to be the most important. Nine domains were relevant to HPV testing, with knowledge and beliefs about capabilities judged to be the most important. Conclusions: The findings confirm the need for an intervention to support primary care practitioners around HPV and suggest it should target a range of theoretical domains. The TDF proved valuable in analysing qualitative data collected using a topic guide not specifically designed to capture TDF domains and understanding clinical behaviours in an area with an evolving evidence-base

Sub-Sets of Cancer Stem Cells Differ Intrinsically in Their Patterns of Oxygen Metabolism

PMCID: PMC3640080This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited

Two specific mutations are prevalent causes of recessive retinitis pigmentosa in North American patients of Jewish ancestry.

PURPOSE: Retinitis pigmentosa is a Mendelian disease with a very elevated genetic heterogeneity. Most mutations are responsible for less than 1% of cases, making molecular diagnosis a multigene screening procedure. In this study, we assessed whether direct testing of specific alleles could be a valuable screening approach in cases characterized by prevalent founder mutations. METHODS: We screened 275 North American patients with recessive/isolate retinitis pigmentosa for two mutations: an Alu insertion in the MAK gene and the p.Lys42Glu missense in the DHDDS gene. All patients were unrelated; 35 reported Jewish ancestry and the remainder reported mixed ethnicity. RESULTS: We identified the MAK and DHDDS mutations homozygously in only 2.1% and 0.8%, respectively, of patients of mixed ethnicity, but in 25.7% and 8.6%, respectively, of cases reporting Jewish ancestry. Haplotype analyses revealed that inheritance of the MAK mutation was attributable to a founder effect. CONCLUSION: In contrast to most mutations associated with retinitis pigmentosa-which are, in general, extremely rare-the two alleles investigated here cause disease in approximately one-third of North American patients reporting Jewish ancestry. Therefore, their screening constitutes an alternative procedure to large-scale tests for patients belonging to this ethnic group, especially in time-sensitive situations.Genet Med 17 4, 285-290