989 research outputs found
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
Recommended from our members
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 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 and ,
in striking contrast to some previous measurements. Let and
denote the normalized M2 amplitudes in the respective aforementioned decays,
where the superscript refers to the angular momentum of the . By
performing unbinned maximum likelihood fits to full five-parameter angular
distributions, we determine the ratios and , where
the theoretical predictions are independent of the charmed quark magnetic
moment and are and .Comment: 32 pages, 7 figures, acceptance updat
- …