Employer-Based Insurance: Coverage and Cost

Explores the variation in cost by employers and enrollees, types of employers that offer coverage, access to coverage by workers, and how costs would change, especially for small businesses, if new policies required coverage for all full-time workers

Bunge’s Mathematical Structuralism Is Not a Fiction

In this paper, I explore Bunge’s fictionism in philosophy of mathematics. After an overview of Bunge’s views, in particular his mathematical structuralism, I argue that the comparison between mathematical objects and fictions ultimately fails. I then sketch a different ontology for mathematics, based on Thomasson’s metaphysical work. I conclude that mathematics deserves its own ontology, and that, in the end, much work remains to be done to clarify the various forms of dependence that are involved in mathematical knowledge, in particular its dependence on mental/brain states and material objects

Farm tractors : their care, operation and maintenance

Cover title

Plow adjustment and operation

"May, 1942.""Reprinted, October 1946.""A properly adjusted plow will give real satisfaction to the operator through better work, lighter draft, and less wear on shares and other parts. Different plowing conditions are often encountered even on a single farm. Therefore plows need to be readjusted frequently. It is the purpose of this circular to outline the more important plow adjustments."--Page 1.23 pages : illustration

Woodwork

February, 1938."Cooperative Extension Work in Agriculture and Home Economics, University of Missouri, College of Agriculture and the United States Department of Agriculture cooperating."Title from cover

The effect of deworming on growth in one-year-old children living in a soil-transmitted helminth-endemic area of Peru: a randomized controlled trial

BACKGROUND:Appropriate health and nutrition interventions to prevent long-term adverse effects in children are necessary before two years of age. One such intervention may include population-based deworming, recommended as of 12 months of age by the World Health Organization in soil-transmitted helminth (STH)-endemic areas; however, the benefit of deworming has been understudied in early preschool-age children. METHODOLOGY/PRINCIPAL FINDINGS:A randomized, double-blind, placebo-controlled trial was conducted to determine the effect of deworming (500 mg single-dose crushed mebendazole tablet) on growth in one-year-old children in Iquitos, Peru. Children were enrolled during their routine 12-month growth and development clinic visit and followed up at their 18 and 24-month visits. Children were randomly allocated to: Group 1: deworming at 12 months and placebo at 18 months; Group 2: placebo at 12 months and deworming at 18 months; Group 3: deworming at both 12 and 18 months; or Group 4: placebo at both 12 and 18 months (i.e. control group). The primary outcome was weight gain at the 24-month visit. An intention-to-treat approach was used. A total of 1760 children were enrolled between September 2011 and June 2012. Follow-up of 1563 children (88.8%) was completed by July 2013. STH infection was of low prevalence and predominantly light intensity in the study population. All groups gained between 1.93 and 2.05 kg on average over 12 months; the average difference in weight gain (kg) compared to placebo was: 0.05 (95% CI: -0.05, 0.17) in Group 1; -0.07 (95%CI: -0.17, 0.04) in Group 2; and 0.04 (95%CI: -0.06, 0.14) in Group 3. There was no statistically significant difference in weight gain in any of the deworming intervention groups compared to the control group. CONCLUSIONS:Overall, with one year of follow-up, no effect of deworming on growth could be detected in this population of preschool-age children. Low baseline STH prevalence and intensity and/or access to deworming drugs outside of the trial may have diluted the potential effect of the intervention. Additional research is required to overcome these challenges and to contribute to strengthening the evidence base on deworming. TRIAL REGISTRATION:ClinicalTrials.gov (NCT01314937)

Report of the GDR working group on the R-parity violation

This report summarizes the work of the "R-parity violation group" of the French Research Network (GDR) in Supersymmetry, concerning the physics of supersymmetric models without conservation of R-parity at HERA, LEP, Tevatron and LHC and limits on R-parity violating couplings from various processes. The report includes a discussion of the recent searches at the HERA experiment, prospects for new experiments, a review of the existing limits, and also theoretically motivated alternatives to R-parity and a brief discussion on the implications of R-parity violation on the neutrino masses.Comment: 60 pages, LaTeX, 22 figures, 2 table

A Generic Framework for Implicate Generation Modulo Theories

International audienceThe clausal logical consequences of a formula are called its implicates. The generation of these implicates has several applications, such as the identification of missing hypotheses in a logical specification. We present a procedure that generates the implicates of a quantifier-free formula modulo a theory. No assumption is made on the considered theory, other than the existence of a decision procedure. The algorithm has been implemented (using the solvers MiniSAT, CVC4 and Z3) and experimental results show evidence of the practical relevance of the proposed approach