Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes

Interval Markov decision processes (IMDPs) generalise classical MDPs by having interval-valued transition probabilities. They provide a powerful modelling tool for probabilistic systems with an additional variation or uncertainty that prevents the knowledge of the exact transition probabilities. In this paper, we consider the problem of multi-objective robust strategy synthesis for interval MDPs, where the aim is to find a robust strategy that guarantees the satisfaction of multiple properties at the same time in face of the transition probability uncertainty. We first show that this problem is PSPACE-hard. Then, we provide a value iteration-based decision algorithm to approximate the Pareto set of achievable points. We finally demonstrate the practical effectiveness of our proposed approaches by applying them on several case studies using a prototypical tool.Comment: This article is a full version of a paper accepted to the Conference on Quantitative Evaluation of SysTems (QEST) 201

Recrystallization of water in a non-water-soluble polymer examined by Fourier transform infrared spectroscopy: poly(2-methoxyethylacrylate) with low water content.

Crystallization of water during heating, the so-called "recrystallization of water", in poly(2-methoxyethylacrylate) (PMEA) was investigated by temperature-variable Fourier transform infrared spectroscopy. Recrystallization in a polymer-water system is generally understood to be a phase transition from glassy water (condensed water) to crystalline water. However, infrared spectral changes of the PMEA-water system with low water content indicated that the formation of ice I h during heating occurred by a vapor deposition process rather than by a crystallization process

Update of ASRP: the Arabidopsis Small RNA Project database

Development of the Arabidopsis Small RNA Project (ASRP) Database, which provides information and tools for the analysis of microRNA, endogenous siRNA and other small RNA-related features, has been driven by the introduction of high-throughput sequencing technology. To accommodate the demands of increased data, numerous improvements and updates have been made to ASRP, including new ways to access data, more efficient algorithms for handling data, and increased integration with community-wide resources. New search and visualization tools have also been developed to improve access to small RNA classes and their targets. ASRP is publicly available through a web interface at http://asrp.cgrb.oregonstate.edu/db

Detailed Kinetics of the Direct Allo-Response in Human Liver Transplant Recipients: New Insights from an Optimized Assay

Conventional assays for quantification of allo-reactive T-cell precursor frequencies (PF) are relatively insensitive. We present a robust assay for quantification of PF of T-cells with direct donor-specificity, and establish the kinetics of circulating donor-specific T cells after liver transplantation (LTx). B cells from donor splenocytes were differentiated into professional antigen-presenting cells by CD40-engagement (CD40-B cells). CFSE-labelled PBMC from LTx-recipients obtained before and at several time points after LTx, were stimulated with donor-derived or 3rd party CD40-B cells. PF of donor-specific T cells were calculated from CFSE-dilution patterns, and intracellular IFN-γ was determined after re-stimulation with CD40-B cells. Compared to splenocytes, stimulations with CD40-B cells resulted in 3 to 5-fold higher responding T-cell PF. Memory and naïve T-cell subsets responded equally to allogeneic CD40-B cell stimulation. Donor-specific CD4+ and CD8+ T-cell PF ranged from 0.5 to 19% (median: 5.2%). One week after LTx, PF of circulating donor-specific CD4+ and CD8+ T cells increased significantly, while only a minor increase in numbers of T cells reacting to 3rd party allo-antigens was observed. One year after LTx numbers of CD4+ and CD8+ T cells reacting to donor antigens, as well as those reacting to 3rd party allo-antigens, were slightly lower compared to pre-transplant values. Moreover, CD4+ and CD8+ T cells responding to donor-derived, as well as those reacting to 3rd party CD40-B cells, produced less IFN-γ. In conclusion, our alternative approach enables detection of allo-reactive human T cells at high frequencies, and after application we conclude that donor-specific T-cell PF increase immediately after LTx. However, no evidence for a specific loss of circulating T-cells recognizing donor allo-antigens via the direct pathway up to 1 year after LTx was obtained, underscoring the relative insensitiveness of previous assays

A Model of Ischemia-Induced Neuroblast Activation in the Adult Subventricular Zone

We have developed a rat brain organotypic culture model, in which tissue slices contain cortex-subventricular zone-striatum regions, to model neuroblast activity in response to in vitro ischemia. Neuroblast activation has been described in terms of two main parameters, proliferation and migration from the subventricular zone into the injured cortex. We observed distinct phases of neuroblast activation as is known to occur after in vivo ischemia. Thus, immediately after oxygen/glucose deprivation (6–24 hours), neuroblasts reduce their proliferative and migratory activity, whereas, at longer time points after the insult (2 to 5 days), they start to proliferate and migrate into the damaged cortex. Antagonism of ionotropic receptors for extracellular ATP during and after the insult unmasks an early activation of neuroblasts in the subventricular zone, which responded with a rapid and intense migration of neuroblasts into the damaged cortex (within 24 hours). The process is further enhanced by elevating the production of the chemoattractant SDf-1α and may also be boosted by blocking the activation of microglia. This organotypic model which we have developed is an excellent in vitro system to study neurogenesis after ischemia and other neurodegenerative diseases. Its application has revealed a SOS response to oxygen/glucose deprivation, which is inhibited by unfavorable conditions due to the ischemic environment. Finally, experimental quantifications have allowed us to elaborate a mathematical model to describe neuroblast activation and to develop a computer simulation which should have promising applications for the screening of drug candidates for novel therapies of ischemia-related pathologies

Phylogenomic analysis of the Chlamydomonas genome unmasks proteins potentially involved in photosynthetic function and regulation

Chlamydomonas reinhardtii, a unicellular green alga, has been exploited as a reference organism for identifying proteins and activities associated with the photosynthetic apparatus and the functioning of chloroplasts. Recently, the full genome sequence of Chlamydomonas was generated and a set of gene models, representing all genes on the genome, was developed. Using these gene models, and gene models developed for the genomes of other organisms, a phylogenomic, comparative analysis was performed to identify proteins encoded on the Chlamydomonas genome which were likely involved in chloroplast functions (or specifically associated with the green algal lineage); this set of proteins has been designated the GreenCut. Further analyses of those GreenCut proteins with uncharacterized functions and the generation of mutant strains aberrant for these proteins are beginning to unmask new layers of functionality/regulation that are integrated into the workings of the photosynthetic apparatus

Economic Effects of Alternative Programs and Market Prices on Selected Cotton Farms in the Southeast

The objectives of this study are: 1) To depict the resource availability and efficiencies of production on selected individual farms in major cotton producing areas of the Southeast, and 2) To estimate, for these farms, the effects of changes in the cotton program of the 1970 Agricultural Act and of changes in the prices of cotton and competing crops

Potential for Oilseed Sunflowers in the United States

The rising prominence of sunflower oil in world edible oil markets has stimulated increased interest in expanded U.S. production. U.S. acreage devoted to oilseed sunflowers has expanded rapidly, with over 600,000 acres grown in 1972. Production has been concentrated in the southern Cotton Belt States and in the Red River Valley area of Minnesota and North Dakota. This report examines recent trends in domestic fats and oils markets and the possible place of sunflower oil in these markets. Estimates are developed of the yield per acre and price required of sunflowerseed to make it competitive with established crops in the two areas. Also, estimates are made of the costs and profitability of processing sunflowerseed in southern screw-press mills