Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds

Given a formula in quantifier-free Presburger arithmetic, if it has a satisfying solution, there is one whose size, measured in bits, is polynomially bounded in the size of the formula. In this paper, we consider a special class of quantifier-free Presburger formulas in which most linear constraints are difference (separation) constraints, and the non-difference constraints are sparse. This class has been observed to commonly occur in software verification. We derive a new solution bound in terms of parameters characterizing the sparseness of linear constraints and the number of non-difference constraints, in addition to traditional measures of formula size. In particular, we show that the number of bits needed per integer variable is linear in the number of non-difference constraints and logarithmic in the number and size of non-zero coefficients in them, but is otherwise independent of the total number of linear constraints in the formula. The derived bound can be used in a decision procedure based on instantiating integer variables over a finite domain and translating the input quantifier-free Presburger formula to an equi-satisfiable Boolean formula, which is then checked using a Boolean satisfiability solver. In addition to our main theoretical result, we discuss several optimizations for deriving tighter bounds in practice. Empirical evidence indicates that our decision procedure can greatly outperform other decision procedures.Comment: 26 page

Financialisation in the green economy: material connections, markets-in-the-making and Foucauldian organising actions

This paper explores the connections between financialisation in the green economy and the material commodification processes that underpin this economy. It argues that these connections are important and can be usefully conceived in terms of spaces of mutuality. These spaces of mutuality direct attention to the material processes of value creation at the level of real environmental assets. That these material processes appear thin, sluggish, fractured, hybridised or stalled in practice invites new modes of analytical engagement. One important mode of analysing these emergent green projects is to emphasise their status as durable processes of becoming or what could be called markets-in-the-making, by going beyond forms of market and economic reductionism. Michel Foucault's analysis of neoliberalism and his idea of ‘organising actions’ prove useful in this regard. Foucauldian organising actions render markets-in-the-making projects visible as durable governmental apparatuses made of disparate elements that are geographically specific, historically contingent and are aligned with an overarching market telos. Drawing on an empirical case of Reducing Emissions from Deforestation and Forest Degradation plus carbon stock enhancement and sustainable forest management (REDD+) in Nigeria’s Cross River, the paper analyses organising actions along four meta-processes – problematisations, visions, implementation and stabilisation. It concludes by highlighting the wider implications for work on environmental financialisation

Nematic Ordering of Rigid Rods in a Gravitational Field

The isotropic-to-nematic transition in an athermal solution of long rigid rods subject to a gravitational (or centrifugal) field is theoretically considered in the Onsager approximation. The new feature emerging in the presence of gravity is a concentration gradient which coupled with the nematic ordering. For rodlike molecules this effect becomes noticeable at centrifugal acceleration g ~ 10^3--10^4 m/s^2, while for biological rodlike objects, such as tobacco mosaic virus, TMV, the effect is important even for normal gravitational acceleration conditions. Rods are concentrated near the bottom of the vessel which sometimes leads to gravity induced nematic ordering. The concentration range corresponding to phase separation increases with increasing g. In the region of phase separation the local rod concentration, as well as the order parameter, follow a step function with height.Comment: Full article http://prola.aps.org/abstract/PRE/v60/i3/p2973_

Long-range potential fluctuations and 1/f noise in hydrogenated amorphous silicon

We present a microscopic theory of the low-frequency voltage noise (known as "1/f" noise) in micrometer-thick films of hydrogenated amorphous silicon. This theory traces the noise back to the long-range fluctuations of the Coulomb potential produced by deep defects, thereby predicting the absolute noise intensity as a function of the distribution of defect activation energies. The predictions of this theory are in very good agreement with our own experiments in terms of both the absolute intensity and the temperature dependence of the noise spectra.Comment: 8 pages, 3 figures, several new parts and one new figure are added, but no conceptual revision

Oral antihypertensive therapy for severe hypertension in pregnancy and postpartum: a systematic review.

BACKGROUND: Pregnant and postpartum women with severe hypertension are at increased risk of stroke and require blood pressure (BP) reduction. Parenteral antihypertensives have been most commonly studied, but oral agents would be ideal for use in busy and resource-constrained settings. OBJECTIVES: To review systematically, the effectiveness of oral antihypertensive agents for treatment of severe pregnancy/postpartum hypertension. SEARCH STRATEGY: A systematic search of MEDLINE, EMBASE and the Cochrane Library was performed. SELECTION CRITERIA: Randomised controlled trials in pregnancy and postpartum with at least one arm consisting of a single oral antihypertensive agent to treat systolic BP ≥ 160 mmHg and/or diastolic BP ≥ 110 mmHg. DATA COLLECTION AND ANALYSIS: Cochrane RevMan 5.1 was used to calculate relative risk (RR) and weighted mean difference by random effects. MAIN RESULTS: We identified 15 randomised controlled trials (915 women) in pregnancy and one postpartum trial. Most trials in pregnancy compared oral/sublingual nifedipine capsules (8-10 mg) with another agent, usually parenteral hydralazine or labetalol. Nifedipine achieved treatment success in most women, similar to hydralazine (84% with nifedipine; relative risk [RR] 1.07, 95% confidence interval [95% CI] 0.98-1.17) or labetalol (100% with nifedipine; RR 1.02, 95% CI 0.95-1.09). Less than 2% of women treated with nifedipine experienced hypotension. There were no differences in adverse maternal or fetal outcomes. Target BP was achieved ~ 50% of the time with oral labetalol (100 mg) or methyldopa (250 mg) (47% labetelol versus 56% methyldopa; RR 0.85 95% CI 0.54-1.33). CONCLUSIONS: Oral nifedipine, and possibly labetalol and methyldopa, are suitable options for treatment of severe hypertension in pregnancy/postpartum

Embodied Knowledge: Writing Researchers’ Bodies Into Qualitative Health Research

After more than a decade of postpositivist health care research and an increase in narrative writing practices, social scientific, qualitative health research remains largely disembodied. The erasure of researchers’ bodies from conventional accounts of research obscures the complexities of knowledge production and yields deceptively tidy accounts of research. Qualitative health research could benefit significantly from embodied writing that explores the discursive relationship between the body and the self and the semantic challenges of writing the body by incorporating bodily details and experiences into research accounts. Researchers can represent their bodies by incorporating autoethnographic narratives, drawing on all of their senses, interrogating the connections between their bodily signifiers and research processes, and experimenting with the semantics of self and body. The author illustrates opportunities for embodiment with excerpts from an ethnography of a geriatric oncology team and explores implications of embodied writing for the practice of qualitative health research

“I h 8 u”: Findings from a five-year study of text and e-mail bullying

Copyright @ 2010 British Educational Research Association. The final version of this article is available at the link below.This study charts reports of nasty or threatening text and e-mail messages received by students in academic years 7 and 8 (11-13 years of age) attending 13 secondary schools in the North of England between 2002-2006. Annual surveys were undertaken on behalf of the local education authority (LEA) to monitor bullying. Results indicated that, over five years, the number of pupils receiving one or more nasty or threatening text messages or e-mails increased significantly, particularly among girls. However, receipt of frequent nasty or threatening text and e-mail messages remained relatively stable. For boys, being a victim of direct-physical bullying was associated with receiving nasty or threatening text and e-mail messages; for girls it was being unpopular among peers. Boys received more hate-related messages and girls were primarily the victims of name-calling, Findings are discussed with respect to theoretical and policy developments, and recommendations for future research are offered

The impact of XENON100 and the LHC on Supersymmetric Dark Matter

The effect of 2010 and 2011 LHC data are discussed in connection to the potential for the direct detection of supersymmetric dark matter. The impact of the recent XENON100 results are contrasted to these predictions.Comment: 14 pages, 23 figures, To be published in the Proceedings of the 7th DSU Conference, Beijing Chin

F901318 represents a novel class of antifungal drug that inhibits dihydroorotate dehydrogenase

There is an important medical need for new antifungal agents with novel mechanisms of action to treat the increasing number of patients with life-threatening systemic fungal disease and to overcome the growing problem of resistance to current therapies. F901318, the leading representative of a novel class of drug, the orotomides, is an antifungal drug in clinical development that demonstrates excellent potency against a broad range of dimorphic and filamentous fungi. In vitro susceptibility testing of F901318 against more than 100 strains from the four main pathogenic Aspergillus spp. revealed minimal inhibitory concentrations of ≤0.06 µg/mL—greater potency than the leading antifungal classes. An investigation into the mechanism of action of F901318 found that it acts via inhibition of the pyrimidine biosynthesis enzyme dihydroorotate dehydrogenase (DHODH) in a fungal-specific manner. Homology modeling of Aspergillus fumigatus DHODH has identified a predicted binding mode of the inhibitor and important interacting amino acid residues. In a murine pulmonary model of aspergillosis, F901318 displays in vivo efficacy against a strain of A. fumigatus sensitive to the azole class of antifungals and a strain displaying an azole-resistant phenotype. F901318 is currently in late Phase 1 clinical trials, offering hope that the antifungal armamentarium can be expanded to include a class of agent with a mechanism of action distinct from currently marketed antifungals

High risks of failure observed for A1 trochanteric femoral fractures treated with a DHS compared to the PFNA in a prospective observational cohort study

Introduction Both the DHS and the PFNA are common and well-studied treatment options for stable trochanteric fractures. The aim of the current study was to compare the implant failure rates of these two implants in 31A1 type trochanteric femoral fractures. Materials and methods A single-centre observational cohort study was conducted in the Hip Fracture Unit of a multicentre level 1 trauma teaching hospital between December 2016 and October 2018. Patients with an AO/OTA type 31A1 fracture were included. Pathological fractures, bilateral fractures, high-energy traumas and patients younger than 18 years of age were excluded. Surgery was performed using either a DHS or PFNA. Both were used routinely for stable trochanteric fractures, and allocation was decided by the surgeon performing the operation. The primary outcome of this study was the implant failure rate in the first postoperative year. Secondary outcomes included the reoperation rate, functional recovery, pain and morphine use. Results Data were available from 126 patients treated with a DHS (n = 32, 25.4%) or PFNA (n = 95, 74.6%). Minor differences were observed in the patient characteristics including the prevalence of cognitive impairment (18.8% vs 40.2%; P = 0.028), prefracture independence in activities of daily living (87.1% vs 67.4%; P = 0.034) and prefracture mobility (independently without aides: 61.3% vs 40.4%; P = 0.033). Fractures treated with a DHS showed 25% implant failures, compared to 1.1% for fractures treated with a PFNA (P = 0.004). No differences were observed in any of the secondary outcomes. Conclusions Significantly more implant failures were observed for the DHS compared the PFNA within 1 year after surgery. Despite the fact that this did not result in differences in revision surgery, we conclude that the PFNA, considering the minimal number of implant-related fractures is a viable implant for A1 type trochanteric fractures.Trauma Surger