On the alleged simplicity of impure proof

Roughly, a proof of a theorem, is “pure” if it draws only on what is “close” or “intrinsic” to that theorem. Mathematicians employ a variety of terms to identify pure proofs, saying that a pure proof is one that avoids what is “extrinsic,” “extraneous,” “distant,” “remote,” “alien,” or “foreign” to the problem or theorem under investigation. In the background of these attributions is the view that there is a distance measure (or a variety of such measures) between mathematical statements and proofs. Mathematicians have paid little attention to specifying such distance measures precisely because in practice certain methods of proof have seemed self- evidently impure by design: think for instance of analytic geometry and analytic number theory. By contrast, mathematicians have paid considerable attention to whether such impurities are a good thing or to be avoided, and some have claimed that they are valuable because generally impure proofs are simpler than pure proofs. This article is an investigation of this claim, formulated more precisely by proof- theoretic means. After assembling evidence from proof theory that may be thought to support this claim, we will argue that on the contrary this evidence does not support the claim

Impact of Health Insurance, ADAP, and Income on HIV Viral Suppression Among US Women in the Womenʼs Interagency HIV Study, 2006–2009

Implementation of the Affordable Care Act motivates assessment of health insurance and supplementary programs, such as the AIDS Drug Assistance Program (ADAP) on health outcomes of HIV-infected people in the United States. We assessed the effects of health insurance, ADAP, and income on HIV viral load suppression

Mosquito larvicidal activities of Solanum villosum berry extract against the dengue vector Stegomyia aegypti

<p>Abstract</p> <p>Background</p> <p>Vector control is facing a threat due to the emergence of resistance to synthetic insecticides. Insecticides of botanical origin may serve as suitable alternative biocontrol techniques in the future. Although several plants have been reported for mosquitocidal activity, only a few botanicals have moved from the laboratory to field use, because they are poorly characterized, in most cases active principals are not determined and most of the works are restricted to preliminary screening. <it>Solanum villosum </it>is a common weed distributed in many parts of India with medicinal properties, but the larvicidal activity of this plant has not been reported so far.</p> <p>Methods</p> <p>Aqueous and polar/non-polar solvent extract of fresh, mature, green berries of <it>S. villosum </it>was tested against <it>Stegomyia aegypti</it>, a common vector of dengue fever. A phytochemical analysis of chloroform:methanol extract was performed to search for the active toxic ingredient. The lethal concentration was determined (log probit analysis) and compared with Malathion. The chemical nature of the active substance was also evaluated following ultraviolet-visual (UV-Vis) and infrared (IR) analysis.</p> <p>Results</p> <p>In a 72 hour bioassay experiment with the aqueous extract, the highest mortality was recorded in 0.5% extract. When the mortality of different solvent extracts was compared, the maximum (<it>p </it>< 0.05) mortality was recorded at a concentration of 50 ppm of chloroform:methanol extract (1:1, v/v). The larvicidal activity was lower when compared with the chemical insecticide, Malathion (<it>p </it>< 0.05). Results of regression analysis revealed that the mortality rate (<it>Y</it>) was positively correlated with the period of exposure (<it>X</it>) and the log probit analysis (95% confidence level) recorded lowest value (5.97 ppm) at 72 hours of exposure. Phytochemical analysis of the chlororm:methanol extract reported the presence of many bioactive phytochemicals. Two toxic compounds were detected having <it>R</it>_f= 0.82 (70% and 73.33% mortality in 24 and 48 hours, respectively) and <it>R</it>_f= 0.95 (40% and 50% mortality in 24 and 48 hours, respectively). IR analysis provided preliminary information about the steroidal nature of the active ingredient.</p> <p>Conclusion</p> <p><it>S. villosum </it>offers promise as potential bio control agent against <it>S. aegypti </it>particularly in its markedly larvicidal effect. The extract or isolated bioactive phytochemical could be used in stagnant water bodies for the control of mosquitoes acting as vector for many communicable diseases.</p

Single hadron response measurement and calorimeter jet energy scale uncertainty with the ATLAS detector at the LHC

The uncertainty on the calorimeter energy response to jets of particles is derived for the ATLAS experiment at the Large Hadron Collider (LHC). First, the calorimeter response to single isolated charged hadrons is measured and compared to the Monte Carlo simulation using proton-proton collisions at centre-of-mass energies of sqrt(s) = 900 GeV and 7 TeV collected during 2009 and 2010. Then, using the decay of K_s and Lambda particles, the calorimeter response to specific types of particles (positively and negatively charged pions, protons, and anti-protons) is measured and compared to the Monte Carlo predictions. Finally, the jet energy scale uncertainty is determined by propagating the response uncertainty for single charged and neutral particles to jets. The response uncertainty is 2-5% for central isolated hadrons and 1-3% for the final calorimeter jet energy scale.Comment: 24 pages plus author list (36 pages total), 23 figures, 1 table, submitted to European Physical Journal

Measurement of the inclusive and dijet cross-sections of b-jets in pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

The inclusive and dijet production cross-sections have been measured for jets containing b-hadrons (b-jets) in proton-proton collisions at a centre-of-mass energy of sqrt(s) = 7 TeV, using the ATLAS detector at the LHC. The measurements use data corresponding to an integrated luminosity of 34 pb^-1. The b-jets are identified using either a lifetime-based method, where secondary decay vertices of b-hadrons in jets are reconstructed using information from the tracking detectors, or a muon-based method where the presence of a muon is used to identify semileptonic decays of b-hadrons inside jets. The inclusive b-jet cross-section is measured as a function of transverse momentum in the range 20 < pT < 400 GeV and rapidity in the range |y| < 2.1. The bbbar-dijet cross-section is measured as a function of the dijet invariant mass in the range 110 < m_jj < 760 GeV, the azimuthal angle difference between the two jets and the angular variable chi in two dijet mass regions. The results are compared with next-to-leading-order QCD predictions. Good agreement is observed between the measured cross-sections and the predictions obtained using POWHEG + Pythia. MC@NLO + Herwig shows good agreement with the measured bbbar-dijet cross-section. However, it does not reproduce the measured inclusive cross-section well, particularly for central b-jets with large transverse momenta.Comment: 10 pages plus author list (21 pages total), 8 figures, 1 table, final version published in European Physical Journal

Jet energy measurement with the ATLAS detector in proton-proton collisions at root s=7 TeV

The jet energy scale and its systematic uncertainty are determined for jets measured with the ATLAS detector at the LHC in proton-proton collision data at a centre-of-mass energy of √s = 7TeV corresponding to an integrated luminosity of 38 pb-1. Jets are reconstructed with the anti-kt algorithm with distance parameters R=0. 4 or R=0. 6. Jet energy and angle corrections are determined from Monte Carlo simulations to calibrate jets with transverse momenta pT≥20 GeV and pseudorapidities {pipe}η{pipe}<4. 5. The jet energy systematic uncertainty is estimated using the single isolated hadron response measured in situ and in test-beams, exploiting the transverse momentum balance between central and forward jets in events with dijet topologies and studying systematic variations in Monte Carlo simulations. The jet energy uncertainty is less than 2. 5 % in the central calorimeter region ({pipe}η{pipe}<0. 8) for jets with 60≤pT<800 GeV, and is maximally 14 % for pT<30 GeV in the most forward region 3. 2≤{pipe}η{pipe}<4. 5. The jet energy is validated for jet transverse momenta up to 1 TeV to the level of a few percent using several in situ techniques by comparing a well-known reference such as the recoiling photon pT, the sum of the transverse momenta of tracks associated to the jet, or a system of low-pT jets recoiling against a high-pT jet. More sophisticated jet calibration schemes are presented based on calorimeter cell energy density weighting or hadronic properties of jets, aiming for an improved jet energy resolution and a reduced flavour dependence of the jet response. The systematic uncertainty of the jet energy determined from a combination of in situ techniques is consistent with the one derived from single hadron response measurements over a wide kinematic range. The nominal corrections and uncertainties are derived for isolated jets in an inclusive sample of high-pT jets. Special cases such as event topologies with close-by jets, or selections of samples with an enhanced content of jets originating from light quarks, heavy quarks or gluons are also discussed and the corresponding uncertainties are determined. © 2013 CERN for the benefit of the ATLAS collaboration

Invasive Salmonellosis among Children Admitted to a Rural Tanzanian Hospital and a Comparison with Previous Studies

BACKGROUND: The importance of invasive salmonellosis in African children is well recognized but there is inadequate information on these infections. We conducted a fever surveillance study in a Tanzanian rural hospital to estimate the case fraction of invasive salmonellosis among pediatric admissions, examine associations with common co-morbidities and describe its clinical features. We compared our main findings with those from previous studies among children in sub-Saharan Africa. METHODOLOGY/PRINCIPAL FINDINGS: From 1 March 2008 to 28 Feb 2009, 1,502 children were enrolled into the study. We collected clinical information and blood for point of care tests, culture, and diagnosis of malaria and HIV. We analyzed the clinical features on admission and outcome by laboratory-confirmed diagnosis. Pathogenic bacteria were isolated from the blood of 156 (10%) children, of which 14 (9%) were S. typhi, 45 (29%) were NTS and 97 (62%) were other pathogenic bacteria. Invasive salmonellosis accounted for 59/156 (38%) bacteremic children. Children with typhoid fever were significantly older and presented with a longer duration of fever. NTS infections were significantly associated with prior antimalarial treatment, malarial complications and with a high risk for death. CONCLUSIONS/SIGNIFICANCE: Invasive salmonellosis, particularly NTS infection, is an important cause of febrile disease among hospitalized children in our rural Tanzanian setting. Previous studies showed considerable variation in the case fraction of S. typhi and NTS infections. Certain suggestive clinical features (such as older age and long duration of fever for typhoid whereas concomitant malaria, anemia, jaundice and hypoglycemia for NTS infection) may be used to distinguish invasive salmonellosis from other severe febrile illness