Coverage, Matching, and Beyond: New Results on Budgeted Mechanism Design

We study a type of reverse (procurement) auction problems in the presence of budget constraints. The general algorithmic problem is to purchase a set of resources, which come at a cost, so as not to exceed a given budget and at the same time maximize a given valuation function. This framework captures the budgeted version of several well known optimization problems, and when the resources are owned by strategic agents the goal is to design truthful and budget feasible mechanisms, i.e. elicit the true cost of the resources and ensure the payments of the mechanism do not exceed the budget. Budget feasibility introduces more challenges in mechanism design, and we study instantiations of this problem for certain classes of submodular and XOS valuation functions. We first obtain mechanisms with an improved approximation ratio for weighted coverage valuations, a special class of submodular functions that has already attracted attention in previous works. We then provide a general scheme for designing randomized and deterministic polynomial time mechanisms for a class of XOS problems. This class contains problems whose feasible set forms an independence system (a more general structure than matroids), and some representative problems include, among others, finding maximum weighted matchings, maximum weighted matroid members, and maximum weighted 3D-matchings. For most of these problems, only randomized mechanisms with very high approximation ratios were known prior to our results

IL11 stimulates IL33 expression and proinflammatory fibroblast activation across tissues

Interleukin 11 (IL11) is upregulated in inflammatory conditions, where it is mostly believed to have anti-inflammatory activity. However, recent studies suggest instead that IL11 promotes inflammation by activating fibroblasts. Here, we assessed whether IL11 is pro- or anti-inflammatory in fibroblasts. Primary cultures of human kidney, lung or skin fibroblasts were stimulated with IL11 that resulted in the transient phosphorylation of signal transducer and activator of transcription 3 (STAT3) and the sustained activation of extracellular signal-regulated protein kinases (ERK). RNA sequencing over a time course of IL11 stimulation revealed a robust but short-lived transcriptional response that was enriched for gene set hallmarks of inflammation and characterized by the upregulation of SERPINB2, TNFRSF18, Interleukin 33 (IL33), CCL20, IL1RL1, CXCL3/5/8, ICAM1 and IL11 itself. IL33 was the most upregulated signaling factor (38-fold, p = 9.8 × 10-5), and IL1RL1, its cognate receptor, was similarly increased (18-fold, p = 1.1 × 10-34). In proteomic studies, IL11 triggered a proinflammatory secretome with the notable upregulation of IL8, IL6, MCP1, CCL20 and CXCL1/5/6, which are important chemotaxins for neutrophils, monocytes, and lymphocytes. IL11 induced IL33 expression across fibroblast types, and the inhibition of STAT3 but not of MEK/ERK prevented this. These data establish IL11 as pro-inflammatory with specific importance for priming the IL33 alarmin response in inflammatory fibroblasts across tissues

Evaluation of Quantitative EEG by Classification and Regression Trees to Characterize Responders to Antidepressant and Placebo Treatment

The study objective was to evaluate the usefulness of Classification and Regression Trees (CART), to classify clinical responders to antidepressant and placebo treatment, utilizing symptom severity and quantitative EEG (QEEG) data. Patients included 51 adults with unipolar depression who completed treatment trials using either fluoxetine, venlafaxine or placebo. Hamilton Depression Rating Scale (HAM-D) and single electrodes data were recorded at baseline, 2, 7, 14, 28 and 56 days. Patients were classified as medication and placebo responders or non-responders. CART analysis of HAM-D scores showed that patients with HAM-D scores lower than 13 by day 7 were more likely to be treatment responders to fluoxetine or venlafaxine compared to non-responders (p=0.001). Youden’s index γ revealed that CART models using QEEG measures were more accurate than HAM-D-based models. For patients given fluoxetine, patients with a decrease at day 2 in θ cordance at AF2 were classified by CART as treatment responders (p=0.02). For those receiving venlafaxine, CART identified a decrease in δ absolute power at day 7 at the PO2 region as characterizing treatment responders (p=0.01). Using all patients receiving medication, CART identified a decrease in δ absolute power at day 2 in the FP1 region as characteristic of nonresponse to medication (p=0.003). Optimal trees from the QEEG CART analysis primarily utilized cordance values, but also incorporated some δ absolute power values. The results of our study suggest that CART may be a useful method for identifying potential outcome predictors in the treatment of major depression

Virtual patients design and its effect on clinical reasoning and student experience : a protocol for a randomised factorial multi-centre study

Background Virtual Patients (VPs) are web-based representations of realistic clinical cases. They are proposed as being an optimal method for teaching clinical reasoning skills. International standards exist which define precisely what constitutes a VP. There are multiple design possibilities for VPs, however there is little formal evidence to support individual design features. The purpose of this trial is to explore the effect of two different potentially important design features on clinical reasoning skills and the student experience. These are the branching case pathways (present or absent) and structured clinical reasoning feedback (present or absent). Methods/Design This is a multi-centre randomised 2x2 factorial design study evaluating two independent variables of VP design, branching (present or absent), and structured clinical reasoning feedback (present or absent).The study will be carried out in medical student volunteers in one year group from three university medical schools in the United Kingdom, Warwick, Keele and Birmingham. There are four core musculoskeletal topics. Each case can be designed in four different ways, equating to 16 VPs required for the research. Students will be randomised to four groups, completing the four VP topics in the same order, but with each group exposed to a different VP design sequentially. All students will be exposed to the four designs. Primary outcomes are performance for each case design in a standardized fifteen item clinical reasoning assessment, integrated into each VP, which is identical for each topic. Additionally a 15-item self-reported evaluation is completed for each VP, based on a widely used EViP tool. Student patterns of use of the VPs will be recorded. In one centre, formative clinical and examination performance will be recorded, along with a self reported pre and post-intervention reasoning score, the DTI. Our power calculations indicate a sample size of 112 is required for both primary outcomes

IL11 stimulates ERK/P90RSK to inhibit LKB1/AMPK and activate mTOR initiating a mesenchymal program in stromal, epithelial, and cancer cells

IL11 initiates fibroblast activation but also causes epithelial cell dysfunction. The mechanisms underlying these processes are not known. We report that IL11-stimulated ERK/P90RSK activity causes the phosphorylation of LKB1 at S325 and S428, leading to its inactivation. This inhibits AMPK and activates mTOR across cell types. In stromal cells, IL11-stimulated ERK activity inhibits LKB1/AMPK which is associated with mTOR activation, ⍺SMA expression, and myofibroblast transformation. In hepatocytes and epithelial cells, IL11/ERK activity inhibits LKB1/AMPK leading to mTOR activation, SNAI1 expression, and cell dysfunction. Across cells, IL11-induced phenotypes were inhibited by metformin stimulated AMPK activation. In mice, genetic or pharmacologic manipulation of IL11 activity revealed a critical role of IL11/ERK signaling for LKB1/AMPK inhibition and mTOR activation in fatty liver disease. These data identify the IL11/mTOR axis as a signaling commonality in stromal, epithelial, and cancer cells and reveal a shared IL11-driven mesenchymal program across cell types

Local thermal adaptation and limited gene flow constrain future climate responses of a marine ecosystem engineer.

Rising ocean temperatures and extreme temperature events have precipitated declines and local extinctions in many marine species globally, but patterns of loss are often uneven across species ranges for reasons that are poorly understood. Knowledge of the extent of local adaptation and gene flow may explain such patterns and help predict future trajectories under scenarios of climate change. We test the extent to which local differentiation in thermal tolerance is influenced by gene flow and local adaptation using a widely distributed intertidal seaweed (Hormosira banksii) from temperate Australia. Population surveys across ~2,000 km of the species range revealed strong genetic structuring at regional and local scales (global F ST = 0.243) reflecting extremely limited gene flow, while common garden experiments (14-day exposures to 15, 18, 21°C) revealed strong site differences in early development and mortality in response to elevated temperature. Embryos from many sites spanning a longitudinal thermal gradient showed suppressed development and increased mortality to elevated water temperatures, but populations originating from warmer and more variable thermal environments tended to be less susceptible to warming. Notably, there was significant local-scale variation in the thermal responses of embryos within regions which was corroborated by the finding of small-scale genetic differences. We expect the observed genetic and phenotypic differentiation to lead to uneven responses to warming sea surface temperatures in this important marine foundation species. The study highlights the challenges of predicting species responses to thermal stress and the importance of management strategies that incorporate evolutionary potential for "climate-proofing" marine ecosystems

Generalised Space-time and Gauge Transformations

We consider the generalised space-time introduced by the author in 2003 in the context of the non-linear realisation of the semi-direct product of E11 and its first fundamental representation. For all the fields we propose gauge transformations which are compatible with the underlying E11 structure. A crucial role is played by the generalised vielbein that the generalised space-time possess. We work out the explicit form of the gauge transformations, at low levels, in four, five and eleven dimensions.Comment: 33 page

Generalised geometry, eleven dimensions and E11

We construct the non-linear realisation of E11 and its first fundamental representation in eleven dimensions at low levels. The fields depend on the usual coordinates of space-time as well as two form and five form coordinates. We derive the terms in the dynamics that contain the three form and six form fields and show that when we restricted their field dependence to be only on the usual space-time we recover the correct self-duality relation. Should this result generalise to the gravity fields then the non-linear realisation is an extension of the maximal supergravity theory, as previously conjectured. We also comment on the connections between the different approaches to generalised geometry.Comment: 17 pages, Trivial typos corrected in version one and a substantial note added which gives the equation of motion relating the gravity field to its dua

On Tackling the Limits of Resolution in SAT Solving

The practical success of Boolean Satisfiability (SAT) solvers stems from the CDCL (Conflict-Driven Clause Learning) approach to SAT solving. However, from a propositional proof complexity perspective, CDCL is no more powerful than the resolution proof system, for which many hard examples exist. This paper proposes a new problem transformation, which enables reducing the decision problem for formulas in conjunctive normal form (CNF) to the problem of solving maximum satisfiability over Horn formulas. Given the new transformation, the paper proves a polynomial bound on the number of MaxSAT resolution steps for pigeonhole formulas. This result is in clear contrast with earlier results on the length of proofs of MaxSAT resolution for pigeonhole formulas. The paper also establishes the same polynomial bound in the case of modern core-guided MaxSAT solvers. Experimental results, obtained on CNF formulas known to be hard for CDCL SAT solvers, show that these can be efficiently solved with modern MaxSAT solvers