On entanglement evolution across defects in critical chains

We consider a local quench where two free-fermion half-chains are coupled via a defect. We show that the logarithmic increase of the entanglement entropy is governed by the same effective central charge which appears in the ground-state properties and which is known exactly. For unequal initial filling of the half-chains, we determine the linear increase of the entanglement entropy.Comment: 11 pages, 5 figures, minor changes, reference adde

A Vernacular for Coherent Logic

We propose a simple, yet expressive proof representation from which proofs for different proof assistants can easily be generated. The representation uses only a few inference rules and is based on a frag- ment of first-order logic called coherent logic. Coherent logic has been recognized by a number of researchers as a suitable logic for many ev- eryday mathematical developments. The proposed proof representation is accompanied by a corresponding XML format and by a suite of XSL transformations for generating formal proofs for Isabelle/Isar and Coq, as well as proofs expressed in a natural language form (formatted in LATEX or in HTML). Also, our automated theorem prover for coherent logic exports proofs in the proposed XML format. All tools are publicly available, along with a set of sample theorems.Comment: CICM 2014 - Conferences on Intelligent Computer Mathematics (2014

Displaced but not replaced: the impact of e-learning on academic identities in higher education.

Challenges facing universities are leading many to implement institutional strategies to incorporate e-learning rather than leaving its adoption up to enthusiastic individuals. Although there is growing understanding about the impact of e-learning on the student experience, there is less understanding of academics’ perceptions of e-learning and its impact on their identities. This paper explores the changing nature of academic identities revealed through case study research into the implementation of e-learning at one UK university. By providing insight into the lived experiences of academics in a university in which technology is not only transforming access to knowledge but also influencing the balance of power between academic and student in knowledge production and use, it is suggested that academics may experience a jolt to their ‘trajectory of self’ when engaging with e-learning. The potential for e-learning to prompt loss of teacher presence and displacement as knowledge expert may appear to undermine the ontological security of their academic identity

The Epsilon Calculus and Herbrand Complexity

Hilbert's epsilon-calculus is based on an extension of the language of predicate logic by a term-forming operator $\epsilon_{x}$. Two fundamental results about the epsilon-calculus, the first and second epsilon theorem, play a role similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential theorems obtained by this elimination procedure.Comment: 23 p

Growing Environmental Activists: Developing Environmental Agency and Engagement Through Children’s Fiction.

We explore how story has the potential to encourage environmental engagement and a sense of agency provided that critical discussion takes place. We illuminate this with reference to the philosophies of John Macmurray on personal agency and social relations; of John Dewey on the primacy of experience for philosophy; and of Paul Ricoeur on hermeneutics, dialogue, dialectics and narrative. We view the use of fiction for environmental understanding as hermeneutic, a form of conceptualising place which interprets experience and perception. The four writers for young people discussed are Ernest Thompson Seton, Kenneth Grahame, Michelle Paver and Philip Pullman. We develop the concept of critical dialogue, and link this to Crick's demand for active democratic citizenship. We illustrate the educational potential for environmental discussions based on literature leading to deeper understanding of place and environment, encouraging the belief in young people that they can be and become agents for change. We develop from Zimbardo the key concept of heroic resister to encourage young people to overcome peer pressure. We conclude with a call to develop a greater awareness of the potential of fiction for learning, and for writers to produce more focused stories engaging with environmental responsibility and activism

Hypernatural Numbers as Ultrafilters

In this paper we present a use of nonstandard methods in the theory of ultrafilters and in related applications to combinatorics of numbers

365 nm photon-induced dynamics of CINO adsorbed on MgO(100)

Temperature programmed desorption (TPD) and 365 nm photolysis of ClNO adsorbed on MgO(100) at 90 K were investigated under ultrahigh vacuum conditions. The crystal was treated in a way that largely eliminated oxygen vacancies and yielded a relatively smooth surface. Angularly resolved time-of-flight (TOF) mass spectra and state-selective resonance-enhanced multiphoton ionization (REMPI) spectra of NO photoproducts were obtained. The TPD data indicate that ClNO desorbs at surface temperatures above 160 K for exposures (0) below 0.2 Langmuirs (L), while for higher values of 0 the main desorption peak is near 120 K. The higher temperature feature, which saturates at 0~0.3 L, is probably associated with binding to defect sites. Thermal desorption is believed to be molecular at all coverages. Irradiation at 365 nm for 0.1~0~5.0 L yields products having low average translational energies and broad translational energy distributions. NO fragment REMPI spectra were recorded at 0;;'0.7 L. The rotational distributions could be fit with a temperature of 110::1: 10 K, i.e., comparable to that of the substrate. These results differ from those obtained in the photodissociation of gas-phase CINO, where the NO fragment has high translational and rotational energies. However, the present results are similar to those obtained on rougher Mg0(100) surfaces. Possible mechanisms are discussed

Clinically Approved Heterocyclics Act on a Mitochondrial Target and Reduce Stroke-induced Pathology

Substantial evidence indicates that mitochondria are a major checkpoint in several pathways leading to neuronal cell death, but discerning critical propagation stages from downstream consequences has been difficult. The mitochondrial permeability transition (mPT) may be critical in stroke-related injury. To address this hypothesis, identify potential therapeutics, and screen for new uses for established drugs with known toxicity, 1,040 FDA-approved drugs and other bioactive compounds were tested as potential mPT inhibitors. We report the identification of 28 structurally related drugs, including tricyclic antidepressants and antipsychotics, capable of delaying the mPT. Clinically achievable doses of one drug in this general structural class that inhibits mPT, promethazine, were protective in both in vitro and mouse models of stroke. Specifically, promethazine protected primary neuronal cultures subjected to oxygen-glucose deprivation and reduced infarct size and neurological impairment in mice subjected to middle cerebral artery occlusion/reperfusion. These results, in conjunction with new insights provided to older studies, (a) suggest a class of safe, tolerable drugs for stroke and neurodegeneration; (b) provide new tools for understanding mitochondrial roles in neuronal cell death; (c) demonstrate the clinical/experimental value of screening collections of bioactive compounds enriched in clinically available agents; and (d) provide discovery-based evidence that mPT is an essential, causative event in stroke-related injury

A randomized controlled trial of sucrose and/or pacifier as analgesia for infants receiving venipuncture in a pediatric emergency department

<p>Abstract</p> <p>Background</p> <p>Although sucrose has been accepted as an effective analgesic agent for procedural pain in neonates, previous studies are largely in the NICU population using the procedure of heel lance. This is the first report of the effect of sucrose, pacifier or the combination thereof for the procedural pain of venipuncture in infants in the pediatric emergency department population.</p> <p>Methods</p> <p>The study design was a double (sucrose) and single blind (pacifier), placebo-controlled randomized trial – factorial design carried out in a pediatric emergency department. The study population was infants, aged 0 – 6 months. Eighty-four patients were randomly assigned to one of four groups: a) sucrose b) sucrose & pacifier c) control d) control & pacifier. Each child received 2 ml of either 44% sucrose or sterile water, by mouth. The primary outcome measure: FLACC pain scale score change from baseline. Secondary outcome measures: crying time and heart rate change from baseline.</p> <p>Results</p> <p>Sucrose did not significantly reduce the FLACC score, crying time or heart rate. However sub-group analysis revealed that sucrose had a much greater effect in the younger groups. Pacifier use reduced FLACC score (not statistically significant), crying times (statistically significant) but not heart rate. Subgroup analysis revealed a mean crying time difference of 76.52 seconds (p < 0.0171) (0–1 month) and 123.9 seconds (p < 0.0029) (1–3 month). For subgroup age > 3 months pacifier did not have any significant effect on crying time. Age adjusted regression analysis revealed that both sucrose and pacifier had significant effects on crying time. Crying time increased with both increasing age and increasing gestational age.</p> <p>Conclusion</p> <p>Pacifiers are inexpensive, effective analgesics and are easy to use in the PED for venipuncture in infants aged 0–3 months. The benefits of sucrose alone as an analgesic require further investigation in the older infant, but sucrose does appear to provide additional benefit when used with a pacifier in this age group.</p> <p>Trial registration</p> <p>Current Controlled Trials ISRCTN15819627</p