Introducing a Calculus of Effects and Handlers for Natural Language Semantics

In compositional model-theoretic semantics, researchers assemble truth-conditions or other kinds of denotations using the lambda calculus. It was previously observed that the lambda terms and/or the denotations studied tend to follow the same pattern: they are instances of a monad. In this paper, we present an extension of the simply-typed lambda calculus that exploits this uniformity using the recently discovered technique of effect handlers. We prove that our calculus exhibits some of the key formal properties of the lambda calculus and we use it to construct a modular semantics for a small fragment that involves multiple distinct semantic phenomena

On Special Re-quantization of a Black Hole

Quantized expressions for the gravitational energy and momentum are derived from a linearized theory of teleparallel gravity. The derivation relies on a second-quantization procedure that constructs annihilation and creation operators for the graviton. The resulting gravitational field is a collection of gravitons, each of which has precise energy and momentum. On the basis of the weak-field approximation of Schwarzschild's solution, a new form for the quantization of the mass of a black hole is derived.Comment: 4 page

Bacteria classification using Cyranose 320 electronic nose

Background An electronic nose (e-nose), the Cyrano Sciences' Cyranose 320, comprising an array of thirty-two polymer carbon black composite sensors has been used to identify six species of bacteria responsible for eye infections when present at a range of concentrations in saline solutions. Readings were taken from the headspace of the samples by manually introducing the portable e-nose system into a sterile glass containing a fixed volume of bacteria in suspension. Gathered data were a very complex mixture of different chemical compounds. Method Linear Principal Component Analysis (PCA) method was able to classify four classes of bacteria out of six classes though in reality other two classes were not better evident from PCA analysis and we got 74% classification accuracy from PCA. An innovative data clustering approach was investigated for these bacteria data by combining the 3-dimensional scatter plot, Fuzzy C Means (FCM) and Self Organizing Map (SOM) network. Using these three data clustering algorithms simultaneously better 'classification' of six eye bacteria classes were represented. Then three supervised classifiers, namely Multi Layer Perceptron (MLP), Probabilistic Neural network (PNN) and Radial basis function network (RBF), were used to classify the six bacteria classes. Results A [6 × 1] SOM network gave 96% accuracy for bacteria classification which was best accuracy. A comparative evaluation of the classifiers was conducted for this application. The best results suggest that we are able to predict six classes of bacteria with up to 98% accuracy with the application of the RBF network. Conclusion This type of bacteria data analysis and feature extraction is very difficult. But we can conclude that this combined use of three nonlinear methods can solve the feature extraction problem with very complex data and enhance the performance of Cyranose 320

Amelioration of Acute Sequelae of Blast Induced Mild Traumatic Brain Injury by N-Acetyl Cysteine: A Double-Blind, Placebo Controlled Study

Background: Mild traumatic brain injury (mTBI) secondary to blast exposure is the most common battlefield injury in Southwest Asia. There has been little prospective work in the combat setting to test the efficacy of new countermeasures. The goal of this study was to compare the efficacy of N-acetyl cysteine (NAC) versus placebo on the symptoms associated with blast exposure mTBI in a combat setting. Methods: This study was a randomized double blind, placebo-controlled study that was conducted on active duty service members at a forward deployed field hospital in Iraq. All symptomatic U.S. service members who were exposed to significant ordnance blast and who met the criteria for mTBI were offered participation in the study and 81 individuals agreed to participate. Individuals underwent a baseline evaluation and then were randomly assigned to receive either N-acetyl cysteine (NAC) or placebo for seven days. Each subject was re-evaluated at 3 and 7 days. Outcome measures were the presence of the following sequelae of mTBI: dizziness, hearing loss, headache, memory loss, sleep disturbances, and neurocognitive dysfunction. The resolution of these symptoms seven days after the blast exposure was the main outcome measure in this study. Logistic regression on the outcome of 'no day 7 symptoms' indicated that NAC treatment was significantly better than placebo (OR = 3.6, p = 0.006). Secondary analysis revealed subjects receiving NAC within 24 hours of blast had an 86% chance of symptom resolution with no reported side effects versus 42% for those seen early who received placebo. Conclusion: This study, conducted in an active theatre of war, demonstrates that NAC, a safe pharmaceutical countermeasure, has beneficial effects on the severity and resolution of sequelae of blast induced mTBI. This is the first demonstration of an effective short term countermeasure for mTBI. Further work on long term outcomes and the potential use of NAC in civilian mTBI is warranted. Trial Registration: ClinicalTrials.gov NCT00822263

Gravitational energy of a magnetized Schwarzschild black hole - a teleparallel approach

We investigate the distribution of gravitational energy on the spacetime of a Schwarzschild black hole immersed in a cosmic magnetic field. This is done in the context of the {\it Teleparallel Equivalent of General Relativity}, which is an alternative geometrical formulation of General Relativity, where gravity is describe by a spacetime endowed with torsion, rather than curvature, with the fundamental field variables being tetrads. We calculate the energy enclosed by a two-surface of constant radius - in particular, the energy enclosed by the event horizon of the black hole. In this case we find that the magnetic field has the effect of increasing the gravitational energy as compared to the vacuum Schwarzschild case. We also compute the energy (i) in the weak magnetic field limit, (ii) in the limit of vanishing magnetic field, and (iii) in the absence of the black hole. In all cases our results are consistent with what should be expected on physical grounds.Comment: version to match the one to be published on General Relativity and Gravitatio

Si photocathode with Ag-supported dendritic Cu catalyst for CO2 reduction

Si photocathodes integrated with Ag-supported dendritic Cu catalysts are used to perform light-driven reduction of CO2 to C2 and C3 products in aqueous solution. A back illumination geometry with an n-type Si absorber was used to permit the use of absorbing metallic catalysts. Selective carrier collection was accomplished by a p+ implantation on the illumination side and an n+ implantation followed by atomic layer deposition of TiO2 on the electrolyte site. The Ag-supported dendritic Cu CO2 reduction catalyst was formed by evaporation of Ag followed by high-rate electrodeposition of Cu to form a high surface area structure. Under simulated 1 sun illumination in 0.1 M CsHCO3 saturated with CO2, the photovoltage generated by the Si (∼600 mV) enables C2 and C3 products to be produced at -0.4 vs. RHE. Texturing of both sides of the Si increases the light-limited current density, due to reduced reflection on the illumination side, and also deceases the onset potential. Under simulated diurnal illumination conditions photocathodes maintain over 60% faradaic efficiency to hydrocarbon and oxygenate products (mainly ethylene, ethanol, propanol) for several days. After 10 days of testing, contamination from the counter electrode is observed, which causes an increase in hydrogen production. This effect is mitigated by a regeneration procedure which restores the original catalyst selectivity. A tandem, self-powered CO2 reduction device was formed by coupling a Si photocathode with two series-connected semitransparent CH3NH3PbI3 perovskite solar cells, achieving an efficiency for the conversion of sunlight to hydrocarbons and oxygenates of 1.5% (3.5% for all products)

Emergency and on-demand health care: modelling a large complex system

This paper describes how system dynamics was used as a central part of a whole-system review of emergency and on-demand health care in Nottingham, England. Based on interviews with 30 key individuals across health and social care, a 'conceptual map' of the system was developed, showing potential patient pathways through the system. This was used to construct a stock-flow model, populated with current activity data, in order to simulate patient flows and to identify system bottle-necks. Without intervention, assuming current trends continue, Nottingham hospitals are unlikely to reach elective admission targets or achieve the government target of 82% bed occupancy. Admissions from general practice had the greatest influence on occupancy rates. Preventing a small number of emergency admissions in elderly patients showed a substantial effect, reducing bed occupancy by 1% per annum over 5 years. Modelling indicated a range of undesirable outcomes associated with continued growth in demand for emergency care, but also considerable potential to intervene to alleviate these problems, in particular by increasing the care options available in the community

The relationship between parental education and children's schooling in a time of economic turmoil: The case of East Zimbabwe, 2001 to 2011.

Using data collected from 1998 to 2011 in a general population cohort study in eastern Zimbabwe, we describe education trends and the relationship between parental education and children's schooling during the Zimbabwean economic collapse of the 2000s. During this period, the previously-rising trend in education stalled, with girls suffering disproportionately; however, female enrolment increased as the economy began to recover. Throughout the period, children with more educated parents continued to have better outcomes such that, at the population level, an underlying increase in the proportion of children with more educated parents may have helped to maintain the upwards education trend

A phase III, multi-centre, double-masked randomised controlled trial of adjunctive intraocular and peri-ocular steroid (triamcinolone acetonide) versus standard treatment in eyes undergoing vitreoretinal surgery for open globe trauma (ASCOT): statistical analysis plan.

BACKGROUND: Open globe ocular trauma complicated by intraocular scarring (proliferative vitreoretinopathy) is a relatively rare, blinding, but potentially treatable condition for which, at present, surgery is often unsatisfactory and visual results frequently poor. To date, no pharmacological adjuncts to surgery have been proven to be effective. The aim of the Adjunctive Steroid Combination in Ocular Trauma (ASCOT) randomised controlled trial is to determine whether adjunctive steroid (triamcinolone acetonide), given at the time of surgery, can improve the outcome of vitreoretinal surgery in patients with open globe ocular trauma. This article presents the statistical analysis plan for the main publication as approved and signed off by the Trial Steering Committee prior to the first data extraction for the Data Monitoring Committee meeting report. METHODS/DESIGN: ASCOT is a pragmatic, multi-centre, parallel-group, double-masked randomised controlled trial. The aim of the study is to recruit from 20-25 centres in the United Kingdom and randomise 300 eyes (from 300 patients) into two treatment arms. Both groups will receive standard surgical treatment and care; the intervention arm will additionally receive a pre-operative steroid combination (triamcinolone acetonide) into the vitreous cavity consisting of 4 mg/0.1 ml and 40 mg/1 ml sub-Tenon's. Participants will be followed for 6 months post-surgery. The primary outcome is the proportion of patients achieving a clinically meaning improvement in visual acuity in the study eye at 6 months after initial surgery, defined as a 10 letter score improvement in the ETDRS (the standard scale to test visual acuity). TRIAL REGISTRATION: ISRCTN30012492 . Registered on 5 September 2014. EudraCT2014-002193-37 . Registered on 5 September 2014

Neutron Stars in Teleparallel Gravity

In this paper we deal with neutron stars, which are described by a perfect fluid model, in the context of the teleparallel equivalent of general relativity. We use numerical simulations to find the relationship between the angular momentum of the field and the angular momentum of the source. Such a relation was established for each stable star reached by the numerical simulation once the code is fed with an equation of state, the central energy density and the ratio between polar and equatorial radii. We also find a regime where linear relation between gravitational angular momentum and moment of inertia (as well as angular velocity of the fluid) is valid. We give the spatial distribution of the gravitational energy and show that it has a linear dependence with the squared angular velocity of the source.Comment: 19 pages, 14 figures. arXiv admin note: text overlap with arXiv:1206.331