Probabilistic Model Counting with Short XORs

The idea of counting the number of satisfying truth assignments (models) of a formula by adding random parity constraints can be traced back to the seminal work of Valiant and Vazirani, showing that NP is as easy as detecting unique solutions. While theoretically sound, the random parity constraints in that construction have the following drawback: each constraint, on average, involves half of all variables. As a result, the branching factor associated with searching for models that also satisfy the parity constraints quickly gets out of hand. In this work we prove that one can work with much shorter parity constraints and still get rigorous mathematical guarantees, especially when the number of models is large so that many constraints need to be added. Our work is based on the realization that the essential feature for random systems of parity constraints to be useful in probabilistic model counting is that the geometry of their set of solutions resembles an error-correcting code.Comment: To appear in SAT 1

Transient silencing of antibiotic resistance by mutation represents a significant potential source of unanticipated therapeutic failure

Sporadic literature reports describe isolates of pathogenic bacteria that harbor an antibiotic resistance determinant but remain susceptible to the corresponding antibiotic as a consequence of a genetic defect. Such strains represent a source from which antibiotic resistance may reemerge to cause treatment failure in patients. Here, we report a systematic investigation into the prevalence and nature of this phenomenon, which we term silencing of antibiotic resistance by mutation (SARM). Instances of SARM were detected among 1,470 Staphylococcus aureus isolates through side-by-side comparison of antibiotic resistance genotype (as determined by whole-genome sequencing) versus phenotype (as assessed through susceptibility testing). Of the isolates analyzed, 152 (10.3%) harbored a silenced resistance gene, including 46 (3.1%) that exhibited SARM to currently deployed antistaphylococcal drugs. SARM resulted from diverse mutational events but most commonly through frameshift mutation of resistance determinants as a result of point deletion in poly(A) tracts. The majority (∼90%) of SARM strains reverted to antibiotic resistance at frequencies of ≥10−9; thus, while appearing antibiotic sensitive in the clinical microbiology laboratory, most S. aureus isolates exhibiting SARM will revert to antibiotic resistance at frequencies achievable in patients. In view of its prevalence in a major pathogen, SARM represents a significant potential threat to the therapeutic efficacy of antibiotics

Correction to: Which Costs Matter? Costs Included in Economic Evaluation and their Impact on Decision Uncertainty for Stable Coronary Artery Disease

Background: Variation exists in the resource categories included in economic evaluations, and National Institute for Health and Care Excellence (NICE) guidance suggests the inclusion only of costs related to the index condition or intervention. However, there is a growing consensus that all healthcare costs should be included in economic evaluations for Health Technology Assessments (HTAs), particularly those related to extended years of life. Objective and Methods: We aimed to quantify the impact of a range of cost categories on the adoption decision about a hypothetical intervention, and uncertainty around that decision, for stable coronary artery disease (SCAD) based on a dataset comprising 94,966 patients. Three costing scenarios were considered: coronary heart disease (CHD) costs only, cardiovascular disease (CVD) costs and all costs. The first two illustrate different interpretations of what might be regarded as related costs. Results: Employing a 20-year time horizon, the highest mean expected incremental cost was when all costs were included (£2468) and the lowest when CVD costs only were included (£2377). The probability of the treatment being cost effective, estimating health opportunity costs using a ratio of £30,000 per quality-adjusted life-year (QALY), was different for each of the CHD (70%) costs, CVD costs (73%) and all costs (56%) scenarios. The results concern a hypothetical intervention and are illustrative only, as such they cannot necessarily be generalised to all interventions and diseases. Conclusions: Cost categories included in an economic evaluation of SCAD impact on estimates of both cost effectiveness and decision uncertainty. With an aging and co-morbid population, the inclusion of all healthcare costs may have important ramifications for the selection of healthcare provision on economic grounds

30 days wild: development and evaluation of a large-scale nature engagement campaign to improve well-being

There is a need to increase people’s engagement with and connection to nature, both for human well-being and the conservation of nature itself. In order to suggest ways for people to engage with nature and create a wider social context to normalise nature engagement, The Wildlife Trusts developed a mass engagement campaign, 30 Days Wild. The campaign asked people to engage with nature every day for a month. 12,400 people signed up for 30 Days Wild via an online sign-up with an estimated 18,500 taking part overall, resulting in an estimated 300,000 engagements with nature by participants. Samples of those taking part were found to have sustained increases in happiness, health, connection to nature and pro-nature behaviours. With the improvement in health being predicted by the improvement in happiness, this relationship was mediated by the change in connection to nature

Management of plant invasions mediated by frugivore interactions

1. Some of the most damaging invasive plants are dispersed by frugivores and this is an area of emerging importance in weed management. It highlights the need for practical information on how frugivores affect weed population dynamics and spread, how frugivore populations are affected by weeds and what management recommendations are available. 2. Fruit traits influence frugivore choice. Fruit size, the presence of an inedible peel, defensive chemistry, crop size and phenology may all be useful traits for consideration in screening and eradication programmes. By considering the effect of these traits on the probability, quality and quantity of seed dispersal, it may be possible to rank invasive species by their desirability to frugivores. Fruit traits can also be manipulated with biocontrol agents. 3. Functional groups of frugivores can be assembled according to broad species groupings, and further refined according to size, gape size, pre- and post-ingestion processing techniques and movement patterns, to predict dispersal and establishment patterns for plant introductions. 4. Landscape fragmentation can increase frugivore dispersal of invasives, as many invasive plants and dispersers readily use disturbed matrix environments and fragment edges. Dispersal to particular landscape features, such as perches and edges, can be manipulated to function as seed sinks if control measures are concentrated in these areas. 5.Where invasive plants comprise part of the diet of native frugivores, there may be a conservation conflict between control of the invasive and maintaining populations of the native frugivore, especially where other threats such as habitat destruction have reduced populations of native fruit species. 6. Synthesis and applications. Development of functional groups of frugivore-dispersed invasive plants and dispersers will enable us to develop predictions for novel dispersal interactions at both population and community scales. Increasingly sophisticated mechanistic seed dispersal models combined with spatially explicit simulations show much promise for providing weed managers with the information they need to develop strategies for surveying, eradicating and managing plant invasions. Possible conservation conflicts mean that understanding the nature of the invasive plant-frugivore interaction is essential for determining appropriate management.Ctr Invas Bio

Vortices in (2+1)d Conformal Fluids

We study isolated, stationary, axially symmetric vortex solutions in (2+1)-dimensional viscous conformal fluids. The equations describing them can be brought to the form of three coupled first order ODEs for the radial and rotational velocities and the temperature. They have a rich space of solutions characterized by the radial energy and angular momentum fluxes. We do a detailed study of the phases in the one-parameter family of solutions with no energy flux. This parameter is the product of the asymptotic vorticity and temperature. When it is large, the radial fluid velocity reaches the speed of light at a finite inner radius. When it is below a critical value, the velocity is everywhere bounded, but at the origin there is a discontinuity. We comment on turbulence, potential gravity duals, non-viscous limits and non-relativistic limits.Comment: 39 pages, 10 eps figures, v2: Minor changes, refs, preprint numbe

Discovery and Validation of a New Class of Small Molecule Toll-Like Receptor 4 (TLR4) Inhibitors

Many inflammatory diseases may be linked to pathologically elevated signaling via the receptor for lipopolysaccharide (LPS), toll-like receptor 4 (TLR4). There has thus been great interest in the discovery of TLR4 inhibitors as potential anti-inflammatory agents. Recently, the structure of TLR4 bound to the inhibitor E5564 was solved, raising the possibility that novel TLR4 inhibitors that target the E5564-binding domain could be designed. We utilized a similarity search algorithm in conjunction with a limited screening approach of small molecule libraries to identify compounds that bind to the E5564 site and inhibit TLR4. Our lead compound, C34, is a 2-acetamidopyranoside (MW 389) with the formula C17H27NO9, which inhibited TLR4 in enterocytes and macrophages in vitro, and reduced systemic inflammation in mouse models of endotoxemia and necrotizing enterocolitis. Molecular docking of C34 to the hydrophobic internal pocket of the TLR4 co-receptor MD-2 demonstrated a tight fit, embedding the pyran ring deep inside the pocket. Strikingly, C34 inhibited LPS signaling ex-vivo in human ileum that was resected from infants with necrotizing enterocolitis. These findings identify C34 and the β-anomeric cyclohexyl analog C35 as novel leads for small molecule TLR4 inhibitors that have potential therapeutic benefit for TLR4-mediated inflammatory diseases. © 2013 Neal et al

Biochemical properties of Paracoccus denitrificans FnrP:Reactions with molecular oxygen and nitric oxide

In Paracoccus denitrificans, three CRP/FNR family regulatory proteins, NarR, NnrR and FnrP, control the switch between aerobic and anaerobic (denitrification) respiration. FnrP is a [4Fe-4S] cluster containing homologue of the archetypal O2 sensor FNR from E. coli and accordingly regulates genes encoding aerobic and anaerobic respiratory enzymes in response to O2, and also NO, availability. Here we show that FnrP undergoes O2-driven [4Fe-4S] to [2Fe-2S] cluster conversion that involves up to 2 O2 per cluster, with significant oxidation of released cluster sulfide to sulfane observed at higher O2 concentrations. The rate of the cluster reaction was found to be ~6-fold lower than that of E. coli FNR, suggesting that FnrP can remain transcriptionally active under microaerobic conditions. This is consistent with a role for FnrP in activating expression of the high O2 affinity cytochrome c oxidase under microaerobic conditions. Cluster conversion resulted in dissociation of the transcriptionally active FnrP dimer into monomers. Therefore, along with E. coli FNR, FnrP belongs to the subset of FNR proteins in which cluster type is correlated with association state. Interestingly, two key charged residues, Arg140 and Asp154, that have been shown to play key roles in the monomer-dimer equilibrium in E. coli FNR are not conserved in FnrP, indicating that different protomer interactions are important for this equilibrium. Finally, the FnrP [4Fe-4S] cluster is shown to undergo reaction with multiple NO molecules, resulting in iron nitrosyl species and dissociation into monomers

Factors associated with self-care activities among adults in the United Kingdom: a systematic review

Background: The Government has promoted self-care. Our aim was to review evidence about who uses self-tests and other self-care activities (over-the-counter medicine, private sector,complementary and alternative medicine (CAM), home blood pressure monitors). Methods: During April 2007, relevant bibliographic databases (Medline, Embase, Cumulative Index to Nursing and Allied Health Literature, Applied Social Sciences Index and Abstracts, PsycINFO,British Nursing Index, Allied and Complementary Medicine Database, Sociological Abstracts, International Bibliography of the Social Sciences, Arthritis and Complementary Medicine Database, Complementary and Alternative Medicine and Pain Database) were searched, and potentially relevant studies were reviewed against eligibility criteria. Studies were included if they were published during the last 15 years and identified factors, reasons or characteristics associated with a relevant activity among UK adults. Two independent reviewers used proformas to assess the quality of eligible studies. Results: 206 potentially relevant papers were identified, 157 were excluded, and 49 papers related to 46 studies were included: 37 studies were, or used data from questionnaire surveys, 36 had quality scores of five or more out of 10, and 27 were about CAM. Available evidence suggests that users of CAM and over-the-counter medicine are female, middle-aged, affluent and/or educated with some measure of poor health, and that people who use the private sector are affluent and/or educated. Conclusion: People who engage in these activities are likely to be affluent. Targeted promotion may, therefore, be needed to ensure that use is equitable. People who use some activities also appear to have poorer measures of health than non-users or people attending conventional services. It is, therefore, also important to ensure that self-care is not used as a second choice for people who have not had their needs met by conventional service

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