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

Calcitization of aragonitic bryozoans in Cenozoic tropical carbonates from East Kalimantan, Indonesia

© The Author(s) 2016. Open Access. This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The file attached is the published version of the article

Non-thermal emission processes in massive binaries

In this paper, I present a general discussion of several astrophysical processes likely to play a role in the production of non-thermal emission in massive stars, with emphasis on massive binaries. Even though the discussion will start in the radio domain where the non-thermal emission was first detected, the census of physical processes involved in the non-thermal emission from massive stars shows that many spectral domains are concerned, from the radio to the very high energies. First, the theoretical aspects of the non-thermal emission from early-type stars will be addressed. The main topics that will be discussed are respectively the physics of individual stellar winds and their interaction in binary systems, the acceleration of relativistic electrons, the magnetic field of massive stars, and finally the non-thermal emission processes relevant to the case of massive stars. Second, this general qualitative discussion will be followed by a more quantitative one, devoted to the most probable scenario where non-thermal radio emitters are massive binaries. I will show how several stellar, wind and orbital parameters can be combined in order to make some semi-quantitative predictions on the high-energy counterpart to the non-thermal emission detected in the radio domain. These theoretical considerations will be followed by a census of results obtained so far, and related to this topic... (see paper for full abstract)Comment: 47 pages, 5 postscript figures, accepted for publication in Astronomy and Astrophysics Review. Astronomy and Astrophysics Review, in pres

Anticancer Gene Transfer for Cancer Gene Therapy

Gene therapy vectors are among the treatments currently used to treat malignant tumors. Gene therapy vectors use a specific therapeutic transgene that causes death in cancer cells. In early attempts at gene therapy, therapeutic transgenes were driven by non-specific vectors which induced toxicity to normal cells in addition to the cancer cells. Recently, novel cancer specific viral vectors have been developed that target cancer cells leaving normal cells unharmed. Here we review such cancer specific gene therapy systems currently used in the treatment of cancer and discuss the major challenges and future directions in this field

A protocol for a trial of homeopathic treatment for irritable bowel syndrome

Background Irritable bowel syndrome is a chronic condition with no known cure. Many sufferers seek complementary and alternative medicine including homeopathic treatment. However there is much controversy as to the effectiveness of homeopathic treatment. This three-armed study seeks to explore the effectiveness of individualised homeopathic treatment plus usual care compared to both an attention control plus usual care and usual care alone, for patients with irritable bowel syndrome. Methods/design This is a three-armed pragmatic randomised controlled trial using the cohort multiple randomised trial methodology. Patients are recruited to an irritable bowel syndrome cohort from primary and secondary care using GP databases and consultants lists respectively. From this cohort patients are randomly selected to be offered, 5 sessions of homeopathic treatment plus usual care, 5 sessions of supportive listening plus usual care or usual care alone. The primary clinical outcome is the Irritable Bowel Syndrome Symptom Severity at 26 weeks. From a power calculation, it is estimated that 33 people will be needed for the homeopathic treatment arm and 132 for the usual care arm, to detect a minimal clinical difference at 80 percent power and 5 percent significance allowing for loss to follow up. An unequal group size has been used for reasons of cost. Analysis will be by intention to treat and will compare homeopathic treatment with usual care at 26 weeks as the primary analysis, and homeopathic treatment with supportive listening as an additional analysis. Discussion This trial has received NHS approval and results are expected in 2013. Trial registration Current Controlled Trials ISRCTN9065114

Exploring the success factors of hybrid micro-enterprises

This research explores hybrid micro-entrepreneurs’ founding motivations and the transformation of those motivations into visions of success, by applying multiple criteria decision analysis (MCDA). We find that entrepreneurs of hybrid micro-enterprises are driven mostly by noneconomic goals and that those influence their vision of success. The success framework consists of seven indicators (training, professional development, marketing, management, external factors, infrastructures, and organizational aspects). Human capital is perceived as the most important for success – translating the professional motivations for founding. Reversely, external factors, which are usually considered crucial to attain legitimacy, are perceived the least important factors. Given the findings, are hybrid micro-entrepreneurs ready to succeed?info:eu-repo/semantics/publishedVersio

Biomarkers of acute lung injury: worth their salt?

The validation of biomarkers has become a key goal of translational biomedical research. The purpose of this article is to discuss the role of biomarkers in the management of acute lung injury (ALI) and related research. Biomarkers should be sensitive and specific indicators of clinically important processes and should change in a relevant timeframe to affect recruitment to trials or clinical management. We do not believe that they necessarily need to reflect pathogenic processes. We critically examined current strategies used to identify biomarkers and which, owing to expedience, have been dominated by reanalysis of blood derived markers from large multicenter Phase 3 studies. Combining new and existing validated biomarkers with physiological and other data may add predictive power and facilitate the development of important aids to research and therapy

The use of full-setting non-invasive ventilation in the home care of people with amyotrophic lateral sclerosis-motor neuron disease with end-stage respiratory muscle failure: a case series

<p>Abstract</p> <p>Introduction</p> <p>Little has been written about the use of non-invasive ventilation in the home care of amyotrophic lateral sclerosis-motor neuron disease patients with end-stage respiratory muscle failure. Nocturnal use of non-invasive ventilation has been reported to improve daytime blood gases but continuous non-invasive ventilation dependence has not been studied in this regard. There continues to be great variation by country, economics, physician interest and experience, local concepts of palliation, hospice requirements, and resources available for home care. We report a case series of home-based amyotrophic lateral sclerosis-motor neuron disease patients who refused tracheostomy and advanced non-invasive ventilation to full-setting, while maintaining normal alveolar ventilation and oxygenation in the course of the disease. Since this topic has been presented in only one center in the United States and nowhere else, it is appropriate to demonstrate that this can be done in other countries as well.</p> <p>Case presentation</p> <p>We present here the cases of three Caucasian patients (a 51-year-old Caucasian man, a 45-year-old Caucasian woman and a 57-year-old Caucasian woman) with amyotrophic lateral sclerosis who developed continuous non-invasive ventilation dependence for 15 to 27 months without major complications and were able to maintain normal CO₂and pulse oxyhemoglobin saturation despite a non-measurable vital capacity. All patients were wheelchair-dependent and receiving riluzole 50 mg twice a day. Patient one developed mild-to-moderate bulbar-innervated muscle weakness. He refused tracheostomy but accepted percutaneous gastrostomy. Patient two had two lung infections, acute bronchitis and pneumonia, which were treated with antibiotics and cough assistance at home. Patient three had three chest infections (bronchitis and pneumonias) and asthmatic episodes treated with antibiotics, bronchodilators and cough assistance at home. All patients had normal speech while receiving positive pressure; they died suddenly and with normal oxygen saturation.</p> <p>Conclusions</p> <p>Although warned that prognosis was poor as vital capacity diminished, our patients survived without invasive airway tubes and despite non-measurable vital capacity. No patient opted for tracheostomy. Our patients demonstrate the feasibility of resorting to full-setting non-invasive management to prolong survival, optimizing wellness and management at home, and the chance to die peacefully.</p