Human-Centred Feasibility Restoration

Decision systems for solving real-world combinatorial problems must be able to report infeasibility in such a way that users can understand the reasons behind it, and understand how to modify the problem to restore feasibility. Current methods mainly focus on reporting one or more subsets of the problem constraints that cause infeasibility. Methods that also show users how to restore feasibility tend to be less flexible and/or problem-dependent. We describe a problem-independent approach to feasibility restoration that combines existing techniques from the literature in novel ways to yield meaningful, useful, practical and flexible user support. We evaluate the resulting framework on two real-world applications

Groebner bases of ideals invariant under endomorphisms

We introduce the notion of Groebner S-basis of an ideal of the free associative algebra K over a field K invariant under the action of a semigroup S of endomorphisms of the algebra. We calculate the Groebner S-bases of the ideal corresponding to the universal enveloping algebra of the free nilpotent of class 2 Lie algebra and of the T-ideal generated by the polynomial identity [x,y,z]=0, with respect to suitable semigroups S. In the latter case, if |X|>2, the ordinary Groebner basis is infinite and our Groebner S-basis is finite. We obtain also explicit minimal Groebner bases of these ideals.Comment: 15 page

A Critical Role of a Cellular Membrane Traffic Protein in Poliovirus RNA Replication

Replication of many RNA viruses is accompanied by extensive remodeling of intracellular membranes. In poliovirus-infected cells, ER and Golgi stacks disappear, while new clusters of vesicle-like structures form sites for viral RNA synthesis. Virus replication is inhibited by brefeldin A (BFA), implicating some components(s) of the cellular secretory pathway in virus growth. Formation of characteristic vesicles induced by expression of viral proteins was not inhibited by BFA, but they were functionally deficient. GBF1, a guanine nucleotide exchange factor for the small cellular GTPases, Arf, is responsible for the sensitivity of virus infection to BFA, and is required for virus replication. Knockdown of GBF1 expression inhibited virus replication, which was rescued by catalytically active protein with an intact N-terminal sequence. We identified a mutation in GBF1 that allows growth of poliovirus in the presence of BFA. Interaction between GBF1 and viral protein 3A determined the outcome of infection in the presence of BFA

COPI Is Required for Enterovirus 71 Replication

Enterovirus 71 (EV71), a member of the Picornaviridae family, is found in Asian countries where it causes a wide range of human diseases. No effective therapy is available for the treatment of these infections. Picornaviruses undergo RNA replication in association with membranes of infected cells. COPI and COPII have been shown to be involved in the formation of picornavirus-induced vesicles. Replication of several picornaviruses, including poliovirus and Echovirus 11 (EV11), is dependent on COPI or COPII. Here, we report that COPI, but not COPII, is required for EV71 replication. Replication of EV71 was inhibited by brefeldin A and golgicide A, inhibitors of COPI activity. Furthermore, we found EV71 2C protein interacted with COPI subunits by co-immunoprecipitation and GST pull-down assay, indicating that COPI coatomer might be directed to the viral replication complex through viral 2C protein. Additionally, because the pathway is conserved among different species of enteroviruses, it may represent a novel target for antiviral therapies

Allorecognition in the Tasmanian Devil (Sarcophilus harrisii), an Endangered Marsupial Species with Limited Genetic Diversity

Tasmanian devils (Sarcophilus harrisii) are on the verge of extinction due to a transmissible cancer, devil facial tumour disease (DFTD). This tumour is an allograft that is transmitted between individuals without immune recognition of the tumour cells. The mechanism to explain this lack of immune recognition and acceptance is not well understood. It has been hypothesized that lack of genetic diversity at the Major Histocompatibility Complex (MHC) allowed the tumour cells to grow in genetically similar hosts without evoking an immune response to alloantigens. We conducted mixed lymphocyte reactions and skin grafts to measure functional MHC diversity in the Tasmanian devil population. The limited MHC diversity was sufficient to produce measurable mixed lymphocyte reactions. There was a wide range of responses, from low or no reaction to relatively strong responses. The highest responses occurred when lymphocytes from devils from the east of Tasmania were mixed with lymphocytes from devils from the west of Tasmania. All of the five successful skin allografts were rejected within 14 days after surgery, even though little or no MHC I and II mismatches were found. Extensive T-cell infiltration characterised the immune rejection. We conclude that Tasmanian devils are capable of allogeneic rejection. Consequently, a lack of functional allorecognition mechanisms in the devil population does not explain the transmission of a contagious cancer

Systematic Identification of Novel, Essential Host Genes Affecting Bromovirus RNA Replication

Positive-strand RNA virus replication involves viral proteins and cellular proteins at nearly every replication step. Brome mosaic virus (BMV) is a well-established model for dissecting virus-host interactions and is one of very few viruses whose RNA replication, gene expression and encapsidation have been reproduced in the yeast Saccharomyces cerevisiae. Previously, our laboratory identified ∼100 non-essential host genes whose loss inhibited or enhanced BMV replication at least 3-fold. However, our isolation of additional BMV-modulating host genes by classical genetics and other results underscore that genes essential for cell growth also contribute to BMV RNA replication at a frequency that may be greater than that of non-essential genes. To systematically identify novel, essential host genes affecting BMV RNA replication, we tested a collection of ∼900 yeast strains, each with a single essential gene promoter replaced by a doxycycline-repressible promoter, allowing repression of gene expression by adding doxycycline to the growth medium. Using this strain array of ∼81% of essential yeast genes, we identified 24 essential host genes whose depleted expression reproducibly inhibited or enhanced BMV RNA replication. Relevant host genes are involved in ribosome biosynthesis, cell cycle regulation and protein homeostasis, among other cellular processes. BMV 2aPol levels were significantly increased in strains depleted for a heat shock protein (HSF1) or proteasome components (PRE1 and RPT6), suggesting these genes may affect BMV RNA replication by directly or indirectly modulating 2aPol localization, post-translational modification or interacting partners. Investigating the diverse functions of these newly identified essential host genes should advance our understanding of BMV-host interactions and normal cellular pathways, and suggest new modes of virus control

Chlamydia trachomatis Co-opts GBF1 and CERT to Acquire Host Sphingomyelin for Distinct Roles during Intracellular Development

The obligate intracellular pathogen Chlamydia trachomatis replicates within a membrane-bound inclusion that acquires host sphingomyelin (SM), a process that is essential for replication as well as inclusion biogenesis. Previous studies demonstrate that SM is acquired by a Brefeldin A (BFA)-sensitive vesicular trafficking pathway, although paradoxically, this pathway is dispensable for bacterial replication. This finding suggests that other lipid transport mechanisms are involved in the acquisition of host SM. In this work, we interrogated the role of specific components of BFA-sensitive and BFA-insensitive lipid trafficking pathways to define their contribution in SM acquisition during infection. We found that C. trachomatis hijacks components of both vesicular and non-vesicular lipid trafficking pathways for SM acquisition but that the SM obtained from these separate pathways is being utilized by the pathogen in different ways. We show that C. trachomatis selectively co-opts only one of the three known BFA targets, GBF1, a regulator of Arf1-dependent vesicular trafficking within the early secretory pathway for vesicle-mediated SM acquisition. The Arf1/GBF1-dependent pathway of SM acquisition is essential for inclusion membrane growth and stability but is not required for bacterial replication. In contrast, we show that C. trachomatis co-opts CERT, a lipid transfer protein that is a key component in non-vesicular ER to trans-Golgi trafficking of ceramide (the precursor for SM), for C. trachomatis replication. We demonstrate that C. trachomatis recruits CERT, its ER binding partner, VAP-A, and SM synthases, SMS1 and SMS2, to the inclusion and propose that these proteins establish an on-site SM biosynthetic factory at or near the inclusion. We hypothesize that SM acquired by CERT-dependent transport of ceramide and subsequent conversion to SM is necessary for C. trachomatis replication whereas SM acquired by the GBF1-dependent pathway is essential for inclusion growth and stability. Our results reveal a novel mechanism by which an intracellular pathogen redirects SM biosynthesis to its replicative niche

Mouse Hepatitis Coronavirus RNA Replication Depends on GBF1-Mediated ARF1 Activation

Coronaviruses induce in infected cells the formation of double membrane vesicles, which are the sites of RNA replication. Not much is known about the formation of these vesicles, although recent observations indicate an important role for the endoplasmic reticulum in the formation of the mouse hepatitis coronavirus (MHV) replication complexes (RCs). We now show that MHV replication is sensitive to brefeldin A (BFA). Consistently, expression of a dominant-negative mutant of ARF1, known to mimic the action of the drug, inhibited MHV infection profoundly. Immunofluorescence analysis and quantitative electron microscopy demonstrated that BFA did not block the formation of RCs per se, but rather reduced their number. MHV RNA replication was not sensitive to BFA in MDCK cells, which are known to express the BFA-resistant guanine nucleotide exchange factor GBF1. Accordingly, individual knockdown of the Golgi-resident targets of BFA by transfection of small interfering RNAs (siRNAs) showed that GBF1, but not BIG1 or BIG2, was critically involved in MHV RNA replication. ARF1, the cellular effector of GBF1, also appeared to be involved in MHV replication, as siRNAs targeting this small GTPase inhibited MHV infection significantly. Collectively, our results demonstrate that GBF1-mediated ARF1 activation is required for efficient MHV RNA replication and reveal that the early secretory pathway and MHV replication complex formation are closely connected