Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation

We apply multivariate Lagrange interpolation to synthesize polynomial quantitative loop invariants for probabilistic programs. We reduce the computation of an quantitative loop invariant to solving constraints over program variables and unknown coefficients. Lagrange interpolation allows us to find constraints with less unknown coefficients. Counterexample-guided refinement furthermore generates linear constraints that pinpoint the desired quantitative invariants. We evaluate our technique by several case studies with polynomial quantitative loop invariants in the experiments

Exploring the Use of Cost-Benefit Analysis to Compare Pharmaceutical Treatments for Menorrhagia

Background: The extra-welfarist theoretical framework tends to focus on health-related quality of life, whilst the welfarist framework captures a wider notion of well-being. EQ-5D and SF-6D are commonly used to value outcomes in chronic conditions with episodic symptoms, such as heavy menstrual bleeding (clinically termed menorrhagia). Because of their narrow-health focus and the condition’s periodic nature these measures may be unsuitable. A viable alternative measure is willingness to pay (WTP) from the welfarist framework. Objective: We explore the use of WTP in a preliminary cost-benefit analysis comparing pharmaceutical treatments for menorrhagia. Methods: A cost-benefit analysis was carried out based on an outcome of WTP. The analysis is based in the UK primary care setting over a 24-month time period, with a partial societal perspective. Ninety-nine women completed a WTP exercise from the ex-ante (pre-treatment/condition) perspective. Maximum average WTP values were elicited for two pharmaceutical treatments, levonorgestrel-releasing intrauterine system (LNG-IUS) and oral treatment. Cost data were offset against WTP and the net present value derived for treatment. Qualitative information explaining the WTP values was also collected. Results: Oral treatment was indicated to be the most cost-beneficial intervention costing £107 less than LNG-IUS and generating £7 more benefits. The mean incremental net present value for oral treatment compared with LNG-IUS was £113. The use of the WTP approach was acceptable as very few protests and non-responses were observed. Conclusion: The preliminary cost-benefit analysis results recommend oral treatment as the first-line treatment for menorrhagia. The WTP approach is a feasible alternative to the conventional EQ-5D/SF-6D approaches and offers advantages by capturing benefits beyond health, which is particularly relevant in menorrhagia

Dietary elimination of children with food protein induced gastrointestinal allergy – micronutrient adequacy with and without a hypoallergenic formula?

Background: The cornerstone for management of Food protein-induced gastrointestinal allergy (FPGIA) is dietary exclusion; however the micronutrient intake of this population has been poorly studied. We set out to determine the dietary intake of children on an elimination diet for this food allergy and hypothesised that the type of elimination diet and the presence of a hypoallergenic formula (HF) significantly impacts on micronutrient intake. Method: A prospective observational study was conducted on children diagnosed with FPIGA on an exclusion diet who completed a 3 day semi-quantitative food diary 4 weeks after commencing the diet. Nutritional intake where HF was used was compared to those without HF, with or without a vitamin and mineral supplement (VMS). Results: One-hundred-and-five food diaries were included in the data analysis: 70 boys (66.7%) with median age of 21.8 months [IQR: 10 - 67.7]. Fifty-three children (50.5%) consumed a HF and the volume of consumption was correlated to micronutrient intake. Significantly (p <0.05) more children reached their micronutrient requirements if a HF was consumed. In those without a HF, some continued not to achieve requirements in particular for vitamin D and zinc, in spite of VMS. Conclusion: This study points towards the important micronutrient contribution of a HF in children with FPIGA. Children, who are not on a HF and without a VMS, are at increased risk of low intakes in particular vitamin D and zinc. Further studies need to be performed, to assess whether dietary intake translates into actual biological deficiencies

A ‘quiet revolution’? The impact of Training Schools on initial teacher training partnerships

This paper discusses the impact on initial teacher training of a new policy initiative in England: the introduction of Training Schools. First, the Training School project is set in context by exploring the evolution of a partnership approach to initial teacher training in England. Ways in which Training Schools represent a break with established practice are considered together with their implications for the dominant mode of partnership led by higher education institutions (HEIs). The capacity of Training Schools to achieve their own policy objectives is examined, especially their efficacy as a strategy for managing innovation and the dissemination of innovation. The paper ends by focusing on a particular Training School project which has adopted an unusual approach to its work and enquires whether this alternative approach could offer a more profitable way forward. During the course of the paper, five different models of partnership are considered: collaborative, complementary, HEI-led, school-led and partnership within a partnership

Cell-free (RNA) and cell-associated (DNA) HIV-1 and postnatal transmission through breastfeeding

&lt;p&gt;Introduction - Transmission through breastfeeding remains important for mother-to-child transmission (MTCT) in resource-limited settings. We quantify the relationship between cell-free (RNA) and cell-associated (DNA) shedding of HIV-1 virus in breastmilk and the risk of postnatal HIV-1 transmission in the first 6 months postpartum.&lt;/p&gt; &lt;p&gt;Materials and Methods - Thirty-six HIV-positive mothers who transmitted HIV-1 by breastfeeding were matched to 36 non-transmitting HIV-1 infected mothers in a case-control study nested in a cohort of HIV-infected women. RNA and DNA were quantified in the same breastmilk sample taken at 6 weeks and 6 months. Cox regression analysis assessed the association between cell-free and cell-associated virus levels and risk of postnatal HIV-1 transmission.&lt;/p&gt; &lt;p&gt;Results - There were higher median levels of cell-free than cell-associated HIV-1 virus (per ml) in breastmilk at 6 weeks and 6 months. Multivariably, adjusting for antenatal CD4 count and maternal plasma viral load, at 6 weeks, each 10-fold increase in cell-free or cell-associated levels (per ml) was significantly associated with HIV-1 transmission but stronger for cell-associated than cell-free levels [2.47 (95% CI 1.33–4.59) vs. aHR 1.52 (95% CI, 1.17–1.96), respectively]. At 6 months, cell-free and cell-associated levels (per ml) in breastmilk remained significantly associated with HIV-1 transmission but was stronger for cell-free than cell-associated levels [aHR 2.53 (95% CI 1.64–3.92) vs. 1.73 (95% CI 0.94–3.19), respectively].&lt;/p&gt; &lt;p&gt;Conclusions - The findings suggest that cell-associated virus level (per ml) is more important for early postpartum HIV-1 transmission (at 6 weeks) than cell-free virus. As cell-associated virus levels have been consistently detected in breastmilk despite antiretroviral therapy, this highlights a potential challenge for resource-limited settings to achieve the UNAIDS goal for 2015 of eliminating vertical transmission. More studies would further knowledge on mechanisms of HIV-1 transmission and help develop more effective drugs during lactation.&lt;/p&gt

Barrier dysfunction or drainage reduction: differentiating causes of CSF protein increase

BACKGROUND Cerebrospinal fluid (CSF) protein analysis is an important element in the diagnostic chain for various central nervous system (CNS) pathologies. Among multiple existing approaches to interpreting measured protein levels, the Reiber diagram is particularly robust with respect to physiologic inter-individual variability, as it uses multiple subject-specific anchoring values. Beyond reliable identification of abnormal protein levels, the Reiber diagram has the potential to elucidate their pathophysiologic origin. In particular, both reduction of CSF drainage from the cranio-spinal space as well as blood-CNS barrier dysfunction have been suggested ρas possible causes of increased concentration of blood-derived proteins. However, there is disagreement on which of the two is the true cause. METHODS We designed two computational models to investigate the mechanisms governing protein distribution in the spinal CSF. With a one-dimensional model, we evaluated the distribution of albumin and immunoglobulin G (IgG), accounting for protein transport rates across blood-CNS barriers, CSF dynamics (including both dispersion induced by CSF pulsations and advection by mean CSF flow) and CSF drainage. Dispersion coefficients were determined a priori by computing the axisymmetric three-dimensional CSF dynamics and solute transport in a representative segment of the spinal canal. RESULTS Our models reproduce the empirically determined hyperbolic relation between albumin and IgG quotients. They indicate that variation in CSF drainage would yield a linear rather than the expected hyperbolic profile. In contrast, modelled barrier dysfunction reproduces the experimentally observed relation. CONCLUSIONS High levels of albumin identified in the Reiber diagram are more likely to originate from a barrier dysfunction than from a reduction in CSF drainage. Our in silico experiments further support the hypothesis of decreasing spinal CSF drainage in rostro-caudal direction and emphasize the physiological importance of pulsation-driven dispersion for the transport of large molecules in the CSF

Search for High Mass Photon Pairs in p-pbar --> gamma-gamma-jet-jet Events at sqrt(s)=1.8 TeV

A search has been carried out for events in the channel p-barp --> gamma gamma jet jet. Such a signature can characterize the production of a non-standard Higgs boson together with a W or Z boson. We refer to this non-standard Higgs, having standard model couplings to vector bosons but no coupling to fermions, as a "bosonic Higgs." With the requirement of two high transverse energy photons and two jets, the diphoton mass (m(gamma gamma)) distribution is consistent with expected background. A 90(95)% C.L. upper limit on the cross section as a function of mass is calculated, ranging from 0.60(0.80) pb for m(gamma gamma) = 65 GeV/c^2 to 0.26(0.34) pb for m(gamma gamma) = 150 GeV/c^2, corresponding to a 95% C.L. lower limit on the mass of a bosonic Higgs of 78.5 GeV/c^2.Comment: 9 pages, 3 figures. Replacement has new H->gamma gamma branching ratios and corresponding new mass limit

Search For Heavy Pointlike Dirac Monopoles

We have searched for central production of a pair of photons with high transverse energies in $p\bar p$ collisions at $\sqrt{s} = 1.8$ TeV using $70 pb^{-1}$ of data collected with the D\O detector at the Fermilab Tevatron in 1994--1996. If they exist, virtual heavy pointlike Dirac monopoles could rescatter pairs of nearly real photons into this final state via a box diagram. We observe no excess of events above background, and set lower 95% C.L. limits of $610, 870, or 1580 GeV/c^2$ on the mass of a spin 0, 1/2, or 1 Dirac monopole.Comment: 12 pages, 4 figure

A review of physical supply and EROI of fossil fuels in China

This paper reviews China’s future fossil fuel supply from the perspectives of physical output and net energy output. Comprehensive analyses of physical output of fossil fuels suggest that China’s total oil production will likely reach its peak, at about 230 Mt/year (or 9.6 EJ/year), in 2018; its total gas production will peak at around 350 Bcm/year (or 13.6 EJ/year) in 2040, while coal production will peak at about 4400 Mt/year (or 91.9 EJ/year) around 2020 or so. In terms of the forecast production of these fuels, there are significant differences among current studies. These differences can be mainly explained by different ultimately recoverable resources assumptions, the nature of the models used, and differences in the historical production data. Due to the future constraints on fossil fuels production, a large gap is projected to grow between domestic supply and demand, which will need to be met by increasing imports. Net energy analyses show that both coal and oil and gas production show a steady declining trend of EROI (energy return on investment) due to the depletion of shallow-buried coal resources and conventional oil and gas resources, which is generally consistent with the approaching peaks of physical production of fossil fuels. The peaks of fossil fuels production, coupled with the decline in EROI ratios, are likely to challenge the sustainable development of Chinese society unless new abundant energy resources with high EROI values can be found

Ratio of the Isolated Photon Cross Sections at \sqrt{s} = 630 and 1800 GeV

The inclusive cross section for production of isolated photons has been measured in \pbarp collisions at $\sqrt{s} = 630$ GeV with the \D0 detector at the Fermilab Tevatron Collider. The photons span a transverse energy ($E_T$) range from 7-49 GeV and have pseudorapidity $|\eta| < 2.5$. This measurement is combined with to previous \D0 result at $\sqrt{s} = 1800$ GeV to form a ratio of the cross sections. Comparison of next-to-leading order QCD with the measured cross section at 630 GeV and ratio of cross sections show satisfactory agreement in most of the $E_T$ range.Comment: 7 pages. Published in Phys. Rev. Lett. 87, 251805, (2001