Percentile Queries in Multi-Dimensional Markov Decision Processes

Markov decision processes (MDPs) with multi-dimensional weights are useful to analyze systems with multiple objectives that may be conflicting and require the analysis of trade-offs. We study the complexity of percentile queries in such MDPs and give algorithms to synthesize strategies that enforce such constraints. Given a multi-dimensional weighted MDP and a quantitative payoff function $f$, thresholds $v_i$ (one per dimension), and probability thresholds $\alpha_i$, we show how to compute a single strategy to enforce that for all dimensions $i$, the probability of outcomes $\rho$ satisfying $f_i(\rho) \geq v_i$ is at least $\alpha_i$. We consider classical quantitative payoffs from the literature (sup, inf, lim sup, lim inf, mean-payoff, truncated sum, discounted sum). Our work extends to the quantitative case the multi-objective model checking problem studied by Etessami et al. in unweighted MDPs.Comment: Extended version of CAV 2015 pape

Maximizing the Conditional Expected Reward for Reaching the Goal

The paper addresses the problem of computing maximal conditional expected accumulated rewards until reaching a target state (briefly called maximal conditional expectations) in finite-state Markov decision processes where the condition is given as a reachability constraint. Conditional expectations of this type can, e.g., stand for the maximal expected termination time of probabilistic programs with non-determinism, under the condition that the program eventually terminates, or for the worst-case expected penalty to be paid, assuming that at least three deadlines are missed. The main results of the paper are (i) a polynomial-time algorithm to check the finiteness of maximal conditional expectations, (ii) PSPACE-completeness for the threshold problem in acyclic Markov decision processes where the task is to check whether the maximal conditional expectation exceeds a given threshold, (iii) a pseudo-polynomial-time algorithm for the threshold problem in the general (cyclic) case, and (iv) an exponential-time algorithm for computing the maximal conditional expectation and an optimal scheduler.Comment: 103 pages, extended version with appendices of a paper accepted at TACAS 201

Association between the c.*229C>T polymorphism of the topoisomerase IIb binding protein 1 (TopBP1) gene and breast cancer

Topoisomerase IIb binding protein 1 (TopBP1) is involved in cell survival, DNA replication, DNA damage repair and cell cycle checkpoint control. The biological function of TopBP1 and its close relation with BRCA1 prompted us to investigate whether alterations in the TopBP1 gene can influence the risk of breast cancer. The aim of this study was to examine the association between five polymorphisms (rs185903567, rs116645643, rs115160714, rs116195487, and rs112843513) located in the 30UTR region of the TopBP1 gene and breast cancer risk as well as allele-specific gene expression. Five hundred thirty-four breast cancer patients and 556 population controls were genotyped for these SNPs. Allele-specific Top- BP1 mRNA and protein expressions were determined by using real time PCR and western blotting methods, respectively. Only one SNP (rs115160714) showed an association with breast cancer. Compared to homozygous common allele carriers, heterozygous and homozygous for the T variant had significantly increased risk of breast cancer (adjusted odds ratio = 3.81, 95 % confidence interval: 1.63–8.34, p = 0.001). Mean TopBP1 mRNA and protein expression were higher in the individuals with the CT or TT genotype. There was a significant association between the rs115160714 and tumor grade and stage. Most carriers of minor allele had a high grade (G3) tumors classified as T2-T4N1M0. Our study raises a possibility that a genetic variation of TopBP1 may be implicated in the etiology of breast cancer

Rgs2 Mediates Pro-Angiogenic Function of Myeloid Derived Suppressor Cells in the Tumor Microenvironment via Upregulation of MCP-1

Tumor growth is intimately linked with stromal interactions. Myeloid derived suppressor cells (MDSCs) are dramatically elevated in cancer patients and tumor bearing mice. MDSCs modulate the tumor microenvironment through attenuating host immune response and increasing vascularization.In searching for molecular mediators responsible for pro-tumor functions, we found that regulator of G protein signaling-2 (Rgs2) is highly increased in tumor-derived MDSCs compared to control MDSCs. We further demonstrate that hypoxia, a common feature associated with solid tumors, upregulates the gene expression. Genetic deletion of Rgs2 in mice resulted in a significant retardation of tumor growth, and the tumors exhibit decreased vascular density and increased cell death. Interestingly, deletion of Rgs2 in MDSCs completely abolished their tumor promoting function, suggesting that Rgs2 signaling in MDSCs is responsible for the tumor promoting function. Cytokine array profiling identified that Rgs2-/- tumor MDSCs produce less MCP-1, leading to decreased angiogenesis, which could be restored with addition of recombinant MCP-1.Our data reveal Rgs2 as a critical regulator of the pro-angiogenic function of MDSCs in the tumor microenvironment, through regulating MCP-1 production

Biocontrol of larval mosquitoes by Acilius sulcatus (Coleoptera: Dytiscidae)

<p>Abstract</p> <p>Background</p> <p>Problems associated with resistant mosquitoes and the effects on non-target species by chemicals, evoke a reason to find alternative methods to control mosquitoes, like the use of natural predators. In this regard, aquatic coleopterans have been explored less compared to other insect predators. In the present study, an evaluation of the role of the larvae of <it>Acilius sulcatus </it>Linnaeus 1758 (Coleoptera: Dytiscidae) as predator of mosquito immatures was made in the laboratory. Its efficacy under field condition was also determined to emphasize its potential as bio-control agent of mosquitoes.</p> <p>Methods</p> <p>In the laboratory, the predation potential of the larvae of <it>A. sulcatus </it>was assessed using the larvae of <it>Culex quinquefasciatus </it>Say 1823 (Diptera: Culicidae) as prey at varying predator and prey densities and available space. Under field conditions, the effectiveness of the larvae of <it>A. sulcatus </it>was evaluated through augmentative release in ten cemented tanks hosting immatures of different mosquito species at varying density. The dip density changes in the mosquito immatures were used as indicator for the effectiveness of <it>A. sulcatus </it>larvae.</p> <p>Results</p> <p>A single larva of <it>A. sulcatus </it>consumed on an average 34 IV instar larvae of <it>Cx. quinquefasciatus </it>in a 24 h period. It was observed that feeding rate of <it>A. sulcatus </it>did not differ between the light-on (6 a.m. – 6 p.m.), and dark (6 p.m. – 6 a.m.) phases, but decreased with the volume of water i.e., space availability. The prey consumption of the larvae of <it>A. sulcatus </it>differed significantly (P < 0.05) with different prey, predator and volume combinations, revealed through univariate ANOVA. The field study revealed a significant decrease (p < 0.05) in larval density of different species of mosquitoes after 30 days from the introduction of <it>A. sulcatus </it>larvae, while with the withdrawal, a significant increase (p < 0.05) in larval density was noted indicating the efficacy of <it>A. sulcatus </it>in regulating mosquito immatures. In the control tanks, mean larval density did not differ (p > 0.05) throughout the study period.</p> <p>Conclusion</p> <p>the larvae of the dytiscid beetle <it>A. sulcatus </it>proved to be an efficient predator of mosquito immatures and may be useful in biocontrol of medically important mosquitoes.</p

Mutation of Rubie, a Novel Long Non-Coding RNA Located Upstream of Bmp4, Causes Vestibular Malformation in Mice

Background: The vestibular apparatus of the vertebrate inner ear uses three fluid-filled semicircular canals to sense angular acceleration of the head. Malformation of these canals disrupts the sense of balance and frequently causes circling behavior in mice. The Epistatic circler (Ecl) is a complex mutant derived from wildtype SWR/J and C57L/J mice. Ecl circling has been shown to result from the epistatic interaction of an SWR-derived locus on chromosome 14 and a C57L-derived locus on chromosome 4, but the causative genes have not been previously identified. Methodology/Principal Findings: We developed a mouse chromosome substitution strain (CSS-14) that carries an SWR/J chromosome 14 on a C57BL/10J genetic background and, like Ecl, exhibits circling behavior due to lateral semicircular canal malformation. We utilized CSS-14 to identify the chromosome 14 Ecl gene by positional cloning. Our candidate interval is located upstream of bone morphogenetic protein 4 (Bmp4) and contains an inner ear-specific, long non-coding RNA that we have designated Rubie (RNA upstream of Bmp4 expressed in inner ear). Rubie is spliced and polyadenylated, and is expressed in developing semicircular canals. However, we discovered that the SWR/J allele of Rubie is disrupted by an intronic endogenous retrovirus that causes aberrant splicing and premature polyadenylation of the transcript. Rubie lies in the conserved gene desert upstream of Bmp4, within a region previously shown to be important for inner ear expression of Bmp4. We found that the expression patterns of Bmp4 and Rubie are nearly identical in developing inner ears

Anisomycin activates JNK and sensitises DU 145 prostate carcinoma cells to Fas mediated apoptosis

Treatment of the hormone refractory prostate cancer cell line DU 145 with sublethal concentrations of chemotherapeutic drugs has been reported to sensitise these cells to Fas mediated apoptosis. However, the mechanism by which this occurs has not been determined. Our group has shown that inhibition of JNK activity completely abrogates the effects of chemotherapeutic drugs. Using anisomycin, a potent JNK agonist, we have demonstrated a role for JNK in Fas mediated apoptosis in DU 145 cells. Inhibition of Caspase 8 and Caspase 9 completely inhibits this process which suggests that DU 145 cells require mitochondrial amplification of the Fas apoptotic signal. Furthermore, we have shown that inhibition of Fas mediated apoptosis is an early event in DU 145 cells, occurring upstream of Caspase 8 cleavage. It is hoped that identifying the target of JNK will allow novel therapies to be developed for the treatment of hormone refractory prostate cancer. Such therapies are especially important because no single or combined treatment to date has significantly prolonged survival in patients with hormone refractory prostate cancer

Analytic philosophy for biomedical research: the imperative of applying yesterday's timeless messages to today's impasses

The mantra that "the best way to predict the future is to invent it" (attributed to the computer scientist Alan Kay) exemplifies some of the expectations from the technical and innovative sides of biomedical research at present. However, for technical advancements to make real impacts both on patient health and genuine scientific understanding, quite a number of lingering challenges facing the entire spectrum from protein biology all the way to randomized controlled trials should start to be overcome. The proposal in this chapter is that philosophy is essential in this process. By reviewing select examples from the history of science and philosophy, disciplines which were indistinguishable until the mid-nineteenth century, I argue that progress toward the many impasses in biomedicine can be achieved by emphasizing theoretical work (in the true sense of the word 'theory') as a vital foundation for experimental biology. Furthermore, a philosophical biology program that could provide a framework for theoretical investigations is outlined

Conserving, Distributing and Managing Genetically Modified Mouse Lines by Sperm Cryopreservation

Sperm from C57BL/6 mice are difficult to cryopreserve and recover. Yet, the majority of genetically modified (GM) lines are maintained on this genetic background.Reported here is the development of an easily implemented method that consistently yields fertilization rates of 70+/-5% with this strain. This six-fold increase is achieved by collecting sperm from the vas deferens and epididymis into a cryoprotective medium of 18% raffinose (w/v), 3% skim milk (w/v) and 477 microM monothioglycerol. The sperm suspension is loaded into 0.25 mL French straws and cooled at 37+/-1 degrees C/min before being plunged and then stored in LN(2). Subsequent to storage, the sperm are warmed at 2,232+/-162 degrees C/min and incubated in in vitro fertilization media for an hour prior to the addition of oocyte cumulus masses from superovulated females. Sperm from 735 GM mouse lines on 12 common genetic backgrounds including C57BL/6J, BALB/cJ, 129S1/SvImJ, FVB/NJ and NOD/ShiLtJ were cryopreserved and recovered. C57BL/6J and BALB/cByJ fertilization rates, using frozen sperm, were slightly reduced compared to rates involving fresh sperm; fertilization rates using fresh or frozen sperm were equivalent in all other lines. Developmental capacity of embryos produced using cryopreserved sperm was equivalent, or superior to, cryopreserved IVF-derived embryos.Combined, these results demonstrate the broad applicability of our approach as an economical and efficient option for archiving and distributing mice

Efficient Induction of Extrinsic Cell Death by Dandelion Root Extract in Human Chronic Myelomonocytic Leukemia (CMML) Cells

BACKGROUND: Chronic Myelomonocytic Leukemia (CMML) is a heterogeneous disease that is not only hard to diagnose and classify, but is also highly resistant to treatment. Available forms of therapy for this disease have not shown significant effects and patients rapidly develop resistance early on in therapy. These factors lead to the very poor prognosis observed with CMML patients, with median survival duration between 12 and 24 months after diagnosis. This study is therefore centered around evaluating the selective efficacy of a natural extract from dandelion roots, in inducing programmed cell death in aggressive and resistant CMML cell lines. METHODOLOGY/PRINCIPAL FINDINGS: To confirm the induction of programmed cell death in three human CMML cell lines, nuclear condensation and externalization of the phosphatidylserine, two main characteristics of apoptosis, were detected using Hoechst staining and annexin-V binding assay. The induction of another mode of cell death, autophagy, was determined using a monodansylcadaverine (MDC) stain, to detect the formation of autophagy vacuoles. The results from this study indicate that Dandelion Root Extract (DRE) is able to efficiently and selectively induce apoptosis and autophagy in these cell lines in a dose and time dependent manner, with no significant toxicity on non-cancerous peripheral blood mononuclear cells. More importantly, we observed early activation of initiator caspase-8, which led to mitochondrial destabilization and the induction of autophagy, suggesting that DRE acts through the extrinsic pathway of apoptosis. The inability of DRE to induce apoptosis in dominant-negative FADD cells, confirms the mechanism of action of DRE in in vitro models of CMML. CONCLUSION: The results from this study indicate that natural products, in particular Dandelion Root Extract, have great potential, as non-toxic and effective alternatives to conventional modes of chemotherapy available today