Proof Relevant Corecursive Resolution

Resolution lies at the foundation of both logic programming and type class context reduction in functional languages. Terminating derivations by resolution have well-defined inductive meaning, whereas some non-terminating derivations can be understood coinductively. Cycle detection is a popular method to capture a small subset of such derivations. We show that in fact cycle detection is a restricted form of coinductive proof, in which the atomic formula forming the cycle plays the role of coinductive hypothesis. This paper introduces a heuristic method for obtaining richer coinductive hypotheses in the form of Horn formulas. Our approach subsumes cycle detection and gives coinductive meaning to a larger class of derivations. For this purpose we extend resolution with Horn formula resolvents and corecursive evidence generation. We illustrate our method on non-terminating type class resolution problems.Comment: 23 pages, with appendices in FLOPS 201

Lean blow-off scaling of turbulent premixed bluff-body flames of vaporized liquid fuels

Cambridge Trust

Routine provision of information on patient-reported outcome measures to healthcare providers and patients in clinical practice

This is the final version. Available from Cochrane Collaboration via the DOI in this record.This is the protocol for a review and there is no abstract. The objectives are as follows: To assess the impact of the routine use of patient-reported outcomes (PROs) in clinical practice on the process of care (including patient-physician communication, professionals awareness of patients' quality of life, diagnosis and recognition rates, treatment rates, health services and resource use, as well as patient behaviour); patients' and professionals' experiences of care; and health outcomes (both generic and disease-specific, using both routinely-used clinical measures and PROs).Spanish Ministry of ScienceInnovation and the European commissionNational Institutes of Health Research (NIHR

Visuo-spatial ability in colonoscopy simulator training

Visuo-spatial ability is associated with a quality of performance in a variety of surgical and medical skills. However, visuo-spatial ability is typically assessed using Visualization tests only, which led to an incomplete understanding of the involvement of visuo-spatial ability in these skills. To remedy this situation, the current study investigated the role of a broad range of visuo-spatial factors in colonoscopy simulator training. Fifteen medical trainees (no clinical experience in colonoscopy) participated in two psycho-metric test sessions to assess four visuo-spatial ability factors. Next, participants trained flexible endoscope manipulation, and navigation to the cecum on the GI Mentor II simulator, for four sessions within 1 week. Visualization, and to a lesser degree Spatial relations were the only visuo-spatial ability factors to correlate with colonoscopy simulator performance. Visualization additionally covaried with learning rate for time on task on both simulator tasks. High Visualization ability indicated faster exercise completion. Similar to other endoscopic procedures, performance in colonoscopy is positively associated with Visualization, a visuo-spatial ability factor characterized by the ability to mentally manipulate complex visuo-spatial stimuli. The complexity of the visuo-spatial mental transformations required to successfully perform colonoscopy is likely responsible for the challenging nature of this technique, and should inform training- and assessment design. Long term training studies, as well as studies investigating the nature of visuo-spatial complexity in this domain are needed to better understand the role of visuo-spatial ability in colonoscopy, and other endoscopic techniques

T-cell subpopulations αβ and γδ in cord blood of very preterm infants : The influence of intrauterine infection

Open Access: This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are creditedPreterm infants are very susceptible to infections. Immune response mechanisms in this group of patients and factors that influence cord blood mononuclear cell populations remain poorly understood and are considered insufficient. However, competent immune functions of the cord blood mononuclear cells are also described. The aim of this work was to evaluate the T-cell population (CD3+) with its subpopulations bearing T-cell receptor (TCR) αβ or TCR γδ in the cord blood of preterm infants born before 32 weeks of gestation by mothers with or without an intrauterine infection. Being a pilot study, it also aimed at feasibility check and assessment of an expected effect size. The cord blood samples of 46 infants age were subjected to direct immunofluorescent staining with monoclonal antibodies and then analyzed by flow cytometry. The percentage of CD3+ cells in neonates born by mothers with diagnosis of intrauterine infection was significantly lower than in neonates born by mothers without infection (p = 0.005; Mann-Whitney U test). The number of cells did not differ between groups. Infection present in the mother did not have an influence on the TCR αβ or TCR γδ subpopulations. Our study contributes to a better understanding of preterm infants' immune mechanisms, and sets the stage for further investigations.Peer reviewedFinal Published versio

How functional programming mattered

In 1989 when functional programming was still considered a niche topic, Hughes wrote a visionary paper arguing convincingly ‘why functional programming matters’. More than two decades have passed. Has functional programming really mattered? Our answer is a resounding ‘Yes!’. Functional programming is now at the forefront of a new generation of programming technologies, and enjoying increasing popularity and influence. In this paper, we review the impact of functional programming, focusing on how it has changed the way we may construct programs, the way we may verify programs, and fundamentally the way we may think about programs

Warped black holes in 3D general massive gravity

We study regular spacelike warped black holes in the three dimensional general massive gravity model, which contains both the gravitational Chern-Simons term and the linear combination of curvature squared terms characterizing the new massive gravity besides the Einstein-Hilbert term. The parameters of the metric are found by solving a quartic equation constrained by an inequality that imposes the absence of closed timelike curves. Explicit expressions for the central charges are suggested by exploiting the fact that these black holes are discrete quotients of spacelike warped AdS(3) and a known formula for the entropy. Previous results obtained separately in topological massive gravity and in new massive gravity are recovered as special cases.Comment: 38 pages, 7 figures. v2: minor changes, added refs and an appendix on self-dual and null z-warped black hole

Cetuximab in the treatment of metastatic mucoepidermoid carcinoma of the salivary glands: A case report and review of literature

<p>Abstract</p> <p>Introduction</p> <p>Patients with metastatic mucoepidermoid carcinoma of salivary glands have a poor outcome. The epidermal growth factor receptor protein is overexpressed in approximately 70% of mucoepidermoid carcinoma patients and may represent a therapeutic target. However, whether treatment with anti-epidermal growth factor receptor agents is effective is unclear and clinical trials are difficult due to the rarity of the disease. Here we assessed the activity of cetuximab in mucoepidermoid carcinoma on a molecular basis.</p> <p>Case presentation</p> <p>We present the case of a 40-year old Caucasian man with a mucoepidermoid carcinoma of the major salivary glands who developed distant bone and visceral metastases despite platinum-based chemotherapy. Epidermal growth factor receptor was overexpressed and fluorescence in situ hybridization analysis demonstrated a chromosome 7 polysomy. The patient was treated with the monoclonal antibody cetuximab in combination with cisplatin. After 11 doses of cetuximab, the patient developed brain metastases but evidence of response was documented at all extracranial metastatic sites.</p> <p>Conclusion</p> <p>This case report indicates that cetuximab can be active in mucoepidermoid carcinoma and may restore sensitivity to cisplatin in platinum-treated patients. Cetuximab does not cross the blood brain barrier and may select a metastatic clone to home the central nervous system while responding at other sites.</p

A comparison of career satisfaction amongst dental healthcare professionals across three health care systems: Comparison of data from the United Kingdom, New Zealand and Trinidad & Tobago

BACKGROUND: The aim of this study was to compare the expressed levels of career satisfaction of three groups of comparable dental healthcare professionals, working in Trinidad, the United Kingdom and New Zealand. METHODS: Three questionnaire surveys were carried out of comparable dental healthcare professionals. Dental nurses in Trinidad and dental therapists in the UK and New Zealand. Questionnaires were sent to all registered dental nurses or dental therapists. RESULTS: Career satisfaction was lowest amongst Dental Therapists working in Trinidad and Tobago. Approximately 59% of the Therapists working in New Zealand reported stated that they felt they were not a valued member of the dental team, the corresponding proportion in the United Kingdom was 32%, and for Trinidad 39%. CONCLUSION: Dental therapists working in different healthcare systems report different levels of satisfaction with their career

Higher-order multipole amplitudes in charmonium radiative transitions

Using 24 million $\psi' \equiv \psi(2S)$ decays in CLEO-c, we have searched for higher multipole admixtures in electric-dipole-dominated radiative transitions in charmonia. We find good agreement between our data and theoretical predictions for magnetic quadrupole (M2) amplitudes in the transitions $\psi' \to \gamma \chi_{c1,2}$ and $\chi_{c1,2} \to \gamma J/\psi$, in striking contrast to some previous measurements. Let $b_2^J$ and $a_2^J$ denote the normalized M2 amplitudes in the respective aforementioned decays, where the superscript $J$ refers to the angular momentum of the $\chi_{cJ}$. By performing unbinned maximum likelihood fits to full five-parameter angular distributions, we determine the ratios $a_2^{J=1}/a_2^{J=2} = 0.67^{+0.19}_{-0.13}$ and $a_2^{J=1}/b_2^{J=1} = -2.27^{+0.57}_{-0.99}$, where the theoretical predictions are independent of the charmed quark magnetic moment and are $a_2^{J=1}/a_2^{J=2} = 0.676 \pm 0.071$ and $a_2^{J=1}/b_2^{J=1} = -2.27 \pm 0.16$.Comment: 32 pages, 7 figures, acceptance updat