Scavenger 0.1: A Theorem Prover Based on Conflict Resolution

This paper introduces Scavenger, the first theorem prover for pure first-order logic without equality based on the new conflict resolution calculus. Conflict resolution has a restricted resolution inference rule that resembles (a first-order generalization of) unit propagation as well as a rule for assuming decision literals and a rule for deriving new clauses by (a first-order generalization of) conflict-driven clause learning.Comment: Published at CADE 201

Accumulation of plutonium in mammalian wildlife tissues: comparison of recent data with the ICRP distribution models

We examined the distribution of plutonium (Pu) in the tissues of mammalian wildlife to address the paucity of such data under environmental exposure conditions. Pu activity concentrations were measured in Macropus rufus (red kangaroo), Oryctolagus cuniculus (European rabbit), and Pseudomys hermannsburgensis (sandy inland mouse)inhabiting the relatively undisturbed, semi-arid conditions at the former Taranaki weapons test site at Maralinga, Australia. Of the absorbed Pu (distributed via circulatory and lymph systems) accumulation was foremost in bone (83% ±10% SD), followed by muscle (9% ±10%), liver (7% ±7%), kidneys (0.5% ±0.3%), and heart (0.4% ±0.4%). The bone values are higher than those reported in ICRP 19 and 48 (45-50% bone), while the liver values are lower than ICRP values (30-45% liver). The ICRP values were based on data dominated by relatively soluble forms of Pu, including prepared solutions and single-atom ions produced by decay following the volatilisation of uranium during nuclear detonation (fallout Pu, ICRP 1986). In contrast, the Maralinga data relates to low-soluble forms of Pu used in tests designed to simulate accidental release and dispersal. We measured Pu in lung, GI-tract and the skin and fur as distinct from the absorbed Pu in bone, liver, muscle, and kidneys. Compared with the mean absorbed activity concentrations, the results for lung tissues were higher by up to one order of magnitude, and those in the GI tract contents and the washed skin/fur were higher by more than two orders of magnitude. These elevated levels are consistent with the presence of low-soluble Pu, including particulate forms, which pass through, or adhere upon, certain organs, but are not readily absorbed into the bloodstream. This more transitory Pu can provide dose to the lung and GI tract organs, as well as provide potential transfer of contamination when consumed in predator-prey food chains, or during human foodstuff consumption. For example, activity concentrations in O. cuniculus edible samples prepared according to traditional aboriginal methods were more than two orders of magnitude higher than in muscle alone. The increase was due to inclusion of GI tract components and contents in the traditional method. Our results provide new insights into the sequestration of Pu in mammalian tissues under environmental exposure conditions. These results contrast with those related to the specific forms of Pu and exposure conditions upon which the ICRP models were based. However, they provide data relevant to the assessment of key environmental legacy waste sites, and of potential release scenarios for the low-soluble oxide forms in the growing worldwide inventory of Pu associated with power production

Reconstruction of Demand Shocks in Input-Output Networks

Input-Output analysis describes the dependence of production, demand and trade between sectors and regions and allows to understand the propagation of economic shocks through economic networks. A central challenge in practical applications is the availability of data. Observations may be limited to the impact of the shocks in few sectors, but a complete picture of the origin and impacts would be highly desirable to guide political countermeasures. In this article we demonstrate that a shock in the final demand in few sectors can be fully reconstructed from limited observations of production changes. We adapt three algorithms from sparse signal recovery and evaluate their performance and their robustness to observation uncertainties.Comment: 10 pages, 4 figures, conference proceeding for CompleNet 202

Cholestatic hepatitis as a possible new side-effect of oxycodone: a case report

<p>Abstract</p> <p>Introduction</p> <p>Oxycodone is a widely-used semisynthetic opioid analgesic that has been used for over eighty years. Oxycodone is known to cause side effects such as nausea, pruritus, dizziness, constipation and somnolence. As far as we are aware cholestatic hepatitis as a result of oxycodone use has not been reported so far in the world literature.</p> <p>Case presentation</p> <p>A 34-year-old male presented with cholestatic jaundice and severe pruritus after receiving oxycodone for analgesia post-T11 vertebrectomy. Extensive laboratory investigations and imaging studies did not reveal any other obvious cause for his jaundice and a liver biopsy confirmed canalicular cholestatis suggestive of drug-induced hepatotoxicity. The patient's symptoms and transaminases normalised on withdrawal of oxycodone confirming that oxycodone was the probable cause of the patient's hepatotoxicity.</p> <p>Conclusion</p> <p>We conclude that cholestatic hepatitis is possibly a rare side effect of oxycodone use. Physicians should be aware of the possibility of this potentially serious picture of drug-induced hepatotoxicity.</p

Fundamental Flaws of Hormesis for Public Health Decisions

Hormesis (defined operationally as low-dose stimulation, high-dose inhibition) is often used to promote the notion that while high-level exposures to toxic chemicals could be detrimental to human health, low-level exposures would be beneficial. Some proponents claim hormesis is an adaptive, generalizable phenomenon and argue that the default assumption for risk assessments should be that toxic chemicals induce stimulatory (i.e., “beneficial”) effects at low exposures. In many cases, nonmonotonic dose–response curves are called hormetic responses even in the absence of any mechanistic characterization of that response. Use of the term “hormesis,” with its associated descriptors, distracts from the broader and more important questions regarding the frequency and interpretation of nonmonotonic dose responses in biological systems. A better understanding of the biological basis and consequences of nonmonotonic dose–response curves is warranted for evaluating human health risks. The assumption that hormesis is generally adaptive is an oversimplification of complex biological processes. Even if certain low-dose effects were sometimes considered beneficial, this should not influence regulatory decisions to allow increased environmental exposures to toxic and carcinogenic agents, given factors such as interindividual differences in susceptibility and multiplicity in exposures. In this commentary we evaluate the hormesis hypothesis and potential adverse consequences of incorporating low-dose beneficial effects into public health decisions

Sliding charge density wave in manganites

The so-called stripe phase of the manganites is an important example of the complex behaviour of metal oxides, and has long been interpreted as the localisation of charge at atomic sites. Here, we demonstrate via resistance measurements on La_{0.50}Ca_{0.50}MnO_3 that this state is in fact a prototypical charge density wave (CDW) which undergoes collective transport. Dramatic resistance hysteresis effects and broadband noise properties are observed, both of which are typical of sliding CDW systems. Moreover, the high levels of disorder typical of manganites result in behaviour similar to that of well-known disordered CDW materials. Our discovery that the manganite superstructure is a CDW shows that unusual transport and structural properties do not require exotic physics, but can emerge when a well-understood phase (the CDW) coexists with disorder.Comment: 13 pages; 4 figure

Troubling "understanding mathematics-in-depth": Its role in the identity work of student-teachers in England

Copyright @ The Author(s) 2013. This article is published with open access at Springerlink.comThis article has been made available through the Brunel Open Access Publishing Fund.In this paper, we focus on an initiative in England devised to prepare non-mathematics graduates to train as secondary mathematics teachers through a 6-month Mathematics Enhancement Course (MEC) to boost their subject knowledge. The course documentation focuses on the need to develop “understanding mathematics in-depth” in students in order for them to become successful mathematics teachers. We take a poststructural approach, so we are not interested in asking what such an understanding is, about the value of this approach or about the effectiveness of the MECs in developing this understanding in their participants. Instead we explore what positions this discourse of “understanding mathematics in-depth” makes available to MEC students. We do this by looking in detail at the “identity work” of two students, analysing how they use and are used by this discourse to position themselves as future mathematics teachers. In doing so, we show how even benign-looking social practices such as “understanding mathematics in-depth” are implicated in practices of inclusion and exclusion. We show this through detailed readings of interviews with two participants, one of whom fits with the dominant discourses in the MEC and the other who, despite passing the MEC, experiences tensions between her national identity work and MEC discourses. We argue that it is vital to explore “identity work” within teacher education contexts to ensure that becoming a successful mathematics teacher is equally available to all.King’s College Londo

Patient perspectives of managing fatigue in ankylosing spondylitis, and views on potential interventions: a qualitative study

&lt;p&gt;Background: Fatigue is a major component of living with ankylosing spondylitis (AS), though it has been largely over-looked, and currently there are no specific agreed management strategies.&lt;/p&gt; &lt;p&gt;Methods: This qualitative exploratory study involved participants who are members of an existing population-based ankylosing spondylitis (PAS) cohort. Participants residing in South West Wales were invited to participate in a focus group to discuss; (1) effects of fatigue, (2) self-management strategies and (3) potential future interventions. The focus groups were audio-recorded and the transcripts were analysed using thematic analysis.&lt;/p&gt; &lt;p&gt;Results: Participants consisted of 3 males/4 females (group 1) and 4 males/3 females (group 2), aged between 35 and 73 years (mean age 53 years). Three main themes were identified: (1) The effects of fatigue were multi-dimensional with participants expressing feelings of being ‘drained’ (physical), ‘upset’ (emotional) and experiencing ‘low-mood’ (psychological); (2) The most commonly reported self-management strategy for fatigue was a balanced combination of activity (exercise) and rest. Medication was reluctantly taken due to side-effects and worries over dependency; (3) Participants expressed a preference for psychological therapies rather than pharmacological for managing fatigue. Information on Mindfulness-Based Stress Reduction (MBSR) was received with interest, with recommendations for delivery in a group format with the option of distance-based delivery for people who were not able to attend a group course.&lt;/p&gt; &lt;p&gt;Conclusions: Patients frequently try and manage their fatigue without any formal guidance or support. Our research indicates there is a need for future research to focus on psychological interventions to address the multi-faceted aspects of fatigue in AS.&lt;/p&gt