A Tableaux Calculus for Reducing Proof Size

A tableau calculus is proposed, based on a compressed representation of clauses, where literals sharing a similar shape may be merged. The inferences applied on these literals are fused when possible, which reduces the size of the proof. It is shown that the obtained proof procedure is sound, refutationally complete and allows to reduce the size of the tableau by an exponential factor. The approach is compatible with all usual refinements of tableaux.Comment: Technical Repor

Deep subcutaneous application of poly-L-lactic acid as a filler for facial lipoatrophy in HIV-infected patients

Introduction: Facial lipoatrophy is a crucial problem of HIV-infected patients undergoing highly active antiretroviral therapy (HAART). Poly-L-lactic acid (PLA), provided as New-Fill(R)/Sculptra(TM), is known as one possible treatment option. In 2004 PLA was approved by the FDA as Sculptra(TM) for the treatment of lipoatrophy of the face in HIV-infected patients. While the first trials demonstrated relevant efficacy, this was to some extent linked to unwanted effects. As the depth of injection was considered relevant in this context, the application modalities of the preparation were changed. The preparation was to be injected more deeply into subcutaneous tissue, after increased dilution. Material and Methods: To test this approach we performed a pilot study following the new recommendations in 14 patients. Results: While the efficacy turned out to be about the same, tolerability was markedly improved. The increase in facial dermal thickness was particularly obvious in those patients who had suffered from lipoatrophy for a comparatively small period of time. Conclusion: With the new recommendations to dilute PLA powder and to inject it into the deeper subcutaneous tissue nodule formation is a minor problem. However, good treatment results can only be achieved if lipoatrophy is not too intense; treatment intervals should be about 2 - 3 weeks. Copyright (C) 2005 S. Karger AG, Basel

Two-neutron knockout from neutron-deficient 34^{34}Ar, 30^{30}S, and 26^{26}Si

Two-neutron knockout reactions from nuclei in the proximity of the proton dripline have been studied using intermediate-energy beams of neutron-deficient $^{34}$Ar, $^{30}$S, and $^{26}$Si. The inclusive cross sections, and also the partial cross sections for the population of individual bound final states of the $^{32}$Ar, $^{28}$S and $^{24}$Si knockout residues, have been determined using the combination of particle and $\gamma$-ray spectroscopy. Similar to the two-proton knockout mechanism on the neutron-rich side of the nuclear chart, these two-neutron removal reactions from already neutron-deficient nuclei are also shown to be consistent with a direct reaction mechanism.Comment: Phys. Rev. C, rapid communication, in pres

A stochastic model of Echinococcus multilocularis transmission in Hokkaido, Japan, focusing on the infection process

Echinococcus multilocularis causes human alveolar echinococcus. In Japan, high prevalence of E. multilocularis among the fox population has been reported throughout Hokkaido. Accordingly, control measures, such as fox hunting and the distribution of bait containing Praziquantel, have been conducted. This study developed a transmission model for individuals in the fox population and included a stochastic infection process to assess the prevalence of E. multilocularis. To make our model realistic, we used the worm burden for each individual in the fox population. We assumed that the worm burden depends on the number of protoscoleces in a predated vole and the number of infection experiences. We carried out stochastic simulations with 1,000 trials for the situations of Koshimizu and Sapporo, Hokkaido, Japan. The distribution of the worm burden among foxes obtained using the model agreed with dissection data. The simulation indicates that a careful choice of season is necessary for an effective distribution of Praziquantel-containing bait. A stochastic model for E. multilocularis, which can assess the range of the prevalence in the fox population, would be helpful in analyzing their complex life-cycle and also in designing control strategies.</p

Estimation of the solubility parameters of model plant surfaces and agrochemicals: a valuable tool for understanding plant surface interactions

Background Most aerial plant parts are covered with a hydrophobic lipid-rich cuticle, which is the interface between the plant organs and the surrounding environment. Plant surfaces may have a high degree of hydrophobicity because of the combined effects of surface chemistry and roughness. The physical and chemical complexity of the plant cuticle limits the development of models that explain its internal structure and interactions with surface-applied agrochemicals. In this article we introduce a thermodynamic method for estimating the solubilities of model plant surface constituents and relating them to the effects of agrochemicals. Results Following the van Krevelen and Hoftyzer method, we calculated the solubility parameters of three model plant species and eight compounds that differ in hydrophobicity and polarity. In addition, intact tissues were examined by scanning electron microscopy and the surface free energy, polarity, solubility parameter and work of adhesion of each were calculated from contact angle measurements of three liquids with different polarities. By comparing the affinities between plant surface constituents and agrochemicals derived from (a) theoretical calculations and (b) contact angle measurements we were able to distinguish the physical effect of surface roughness from the effect of the chemical nature of the epicuticular waxes. A solubility parameter model for plant surfaces is proposed on the basis of an increasing gradient from the cuticular surface towards the underlying cell wall. Conclusions The procedure enabled us to predict the interactions among agrochemicals, plant surfaces, and cuticular and cell wall components, and promises to be a useful tool for improving our understanding of biological surface interactions

Water induced sediment levitation enhances downslope transport on Mars

On Mars, locally warm surface temperatures (~293 K) occur, leading to the possibility of (transient) liquid water on the surface. However, water exposed to the martian atmosphere will boil, and the sediment transport capacity of such unstable water is not well understood. Here, we present laboratory studies of a newly recognized transport mechanism: “levitation” of saturated sediment bodies on a cushion of vapor released by boiling. Sediment transport where this mechanism is active is about nine times greater than without this effect, reducing the amount of water required to transport comparable sediment volumes by nearly an order of magnitude. Our calculations show that the effect of levitation could persist up to ~48 times longer under reduced martian gravity. Sediment levitation must therefore be considered when evaluating the formation of recent and present-day martian mass wasting features, as much less water may be required to form such features than previously thought

Photo-antagonism of the GABAA receptor

Neurotransmitter receptor trafficking is fundamentally important for synaptic transmission and neural network activity. GABAA receptors and inhibitory synapses are vital components of brain function, yet much of our knowledge regarding receptor mobility and function at inhibitory synapses is derived indirectly from using recombinant receptors, antibody-tagged native receptors and pharmacological treatments. Here we describe the use of a set of research tools that can irreversibly bind to and affect the function of recombinant and neuronal GABAA receptors following ultraviolet photoactivation. These compounds are based on the competitive antagonist gabazine and incorporate a variety of photoactive groups. By using site-directed mutagenesis and ligand-docking studies, they reveal new areas of the GABA binding site at the interface between receptor β and α subunits. These compounds enable the selected inactivation of native GABAA receptor populations providing new insight into the function of inhibitory synapses and extrasynaptic receptors in controlling neuronal excitation

Community first responders and responder schemes in the United Kingdom: systematic scoping review

Background: Community First Responder (CFR) schemes support lay people to respond to medical emergencies, working closely with ambulance services. They operate widely in the UK. There has been no previous review of UK literature on these schemes. This is the first systematic scoping review of UK literature on CFR schemes, which identifies the reasons for becoming a CFR, requirements for training and feedback and confusion between the CFR role and that of ambulance service staff. This study also reveals gaps in the evidence base for CFR schemes. Methods: We conducted a systematic scoping review of the published literature, in the English language from 2000 onwards using specific search terms in six databases. Narrative synthesis was used to analyse article content. Results: Nine articles remained from the initial search of 15,969 articles after removing duplicates, title and abstract and then full text review. People were motivated to become CFRs through an altruistic desire to help others. They generally felt rewarded by their work but recognised that the help they provided was limited by their training compared with ambulance staff. There were concerns about the possible emotional impact on CFRs responding to incidents. CFRs felt that better feedback would enhance their learning. Ongoing training and support were viewed as essential to enable CFRs to progress. They perceived that public recognition of the CFR role was low, patients sometimes confusing them with ambulance staff. Relationships with the ambulance service were sometimes ambivalent due to confusion over roles. There was support for local autonomy of CFR schemes but with greater sharing of best practice. Discussion: Most studies dated from 2005 and were descriptive rather than analytical. In the UK and Australia CFRs are usually lay volunteers equipped with basic skills for responding to medical emergencies, whereas in the US they include other emergency staff as well as lay people. Conclusion: Opportunities for future research include exploring experiences and perceptions of patients who have been treated by CFRs and other stakeholders, while also evaluating the effectiveness and costs of CFR schemes

How opioids became “safe”: pharmaceutical splitting and the racial politics of opioid safety

This article explores how opioid painkillers, known for over a century to be highly addictive, came to be considered a safe treatment for chronic pain. Based on a critical content analysis of industry-sponsored medical education, biomedical opioid research, and opioid marketing strategy it identifies the unacknowledged racialized category distinctions between ‘pain patients’ and ‘opioid abusers’ that have influenced medical opinion on opioid safety since the 1990s. It develops the concept of pharmaceutical splitting to understand how distinctions between ‘pain patients’ and ‘opioid abusers’ drew on racial and class-based imagery enabling prescribers to reconcile long-standing evidence of opioids’ addictive properties with the argument that they were a safe treatment for common chronic pain. Overall, this article contributes to understandings of the cultural and racial politics of pharmaceutical marketing and commercially-sponsored pharmacology