LNCS

We study turn-based stochastic zero-sum games with lexicographic preferences over reachability and safety objectives. Stochastic games are standard models in control, verification, and synthesis of stochastic reactive systems that exhibit both randomness as well as angelic and demonic non-determinism. Lexicographic order allows to consider multiple objectives with a strict preference order over the satisfaction of the objectives. To the best of our knowledge, stochastic games with lexicographic objectives have not been studied before. We establish determinacy of such games and present strategy and computational complexity results. For strategy complexity, we show that lexicographically optimal strategies exist that are deterministic and memory is only required to remember the already satisfied and violated objectives. For a constant number of objectives, we show that the relevant decision problem is in NP∩coNP , matching the current known bound for single objectives; and in general the decision problem is PSPACE -hard and can be solved in NEXPTIME∩coNEXPTIME . We present an algorithm that computes the lexicographically optimal strategies via a reduction to computation of optimal strategies in a sequence of single-objectives games. We have implemented our algorithm and report experimental results on various case studies

Detecting microsatellites within genomes: significant variation among algorithms

<p>Abstract</p> <p>Background</p> <p>Microsatellites are short, tandemly-repeated DNA sequences which are widely distributed among genomes. Their structure, role and evolution can be analyzed based on exhaustive extraction from sequenced genomes. Several dedicated algorithms have been developed for this purpose. Here, we compared the detection efficiency of five of them (TRF, Mreps, Sputnik, STAR, and RepeatMasker).</p> <p>Results</p> <p>Our analysis was first conducted on the human X chromosome, and microsatellite distributions were characterized by microsatellite number, length, and divergence from a pure motif. The algorithms work with user-defined parameters, and we demonstrate that the parameter values chosen can strongly influence microsatellite distributions. The five algorithms were then compared by fixing parameters settings, and the analysis was extended to three other genomes (<it>Saccharomyces cerevisiae</it>, <it>Neurospora crassa </it>and <it>Drosophila melanogaster</it>) spanning a wide range of size and structure. Significant differences for all characteristics of microsatellites were observed among algorithms, but not among genomes, for both perfect and imperfect microsatellites. Striking differences were detected for short microsatellites (below 20 bp), regardless of motif.</p> <p>Conclusion</p> <p>Since the algorithm used strongly influences empirical distributions, studies analyzing microsatellite evolution based on a comparison between empirical and theoretical size distributions should therefore be considered with caution. We also discuss why a typological definition of microsatellites limits our capacity to capture their genomic distributions.</p

The CD81 Partner EWI-2wint Inhibits Hepatitis C Virus Entry

Two to three percent of the world's population is chronically infected with hepatitis C virus (HCV) and thus at risk of developing liver cancer. Although precise mechanisms regulating HCV entry into hepatic cells are still unknown, several cell surface proteins have been identified as entry factors for this virus. Among these molecules, the tetraspanin CD81 is essential for HCV entry. Here, we have identified a partner of CD81, EWI-2wint, which is expressed in several cell lines but not in hepatocytes. Ectopic expression of EWI-2wint in a hepatoma cell line susceptible to HCV infection blocked viral entry by inhibiting the interaction between the HCV envelope glycoproteins and CD81. This finding suggests that, in addition to the presence of specific entry factors in the hepatocytes, the lack of a specific inhibitor can contribute to the hepatotropism of HCV. This is the first example of a pathogen gaining entry into host cells that lack a specific inhibitory factor

Medical treatment of prolactinomas.

Prolactinomas, the most prevalent type of neuroendocrine disease, account for approximately 40% of all pituitary adenomas. The most important clinical problems associated with prolactinomas are hypogonadism, infertility and hyposexuality. In patients with macroprolactinomas, mass effects, including visual field defects, headaches and neurological disturbances, can also occur. The objectives of therapy are normalization of prolactin levels, to restore eugonadism, and reduction of tumor mass, both of which can be achieved in the majority of patients by treatment with dopamine agonists. Given their association with minimal morbidity, these drugs currently represent the mainstay of treatment for prolactinomas. Novel data indicate that these agents can be successfully withdrawn in a subset of patients after normalization of prolactin levels and tumor disappearance, which suggests the possibility that medical therapy may not be required throughout life. Nevertheless, multimodal therapy that involves surgery, radiotherapy or both may be necessary in some cases, such as patients who are resistant to the effects of dopamine agonists or for those with atypical prolactinomas. This Review reports on efficacy and safety of pharmacotherapy in patients with prolactinomas

Generation of a Cell Culture-Adapted Hepatitis C Virus with Longer Half Life at Physiological Temperature

BACKGROUND: We previously reported infectious HCV clones that contain the convenient reporters, green fluorescent protein (GFP) and Renilla luciferase (Rluc), in the NS5a-coding sequence. Although these viruses were useful in monitoring viral proliferation and screening of anti-HCV drugs, the infectivity and yield of the viruses were low. METHODOLOGY/PRINCIPAL FINDINGS: In order to obtain a highly efficient HCV cultivation system, we transfected Huh7.5.1 cells [1] with JFH 5a-GFP RNA and then cultivated cells for 20 days. We found a highly infectious HCV clone containing two cell culture-adapted mutations. Two cell culture-adapted mutations which were responsible for the increased viral infectivity were located in E2 and p7 protein coding regions. The viral titer of the variant was ∼100-fold higher than that of the parental virus. The mutation in the E2 protein increased the viability of virus at 37°C by acquiring prolonged interaction capability with a HCV receptor CD81. The wild-type and p7-mutated virus had a half-life of ∼2.5 to 3 hours at 37°C. In contrast, the half-life of viruses, which contained E2 mutation singly and combination with the p7 mutation, was 5 to 6 hours at 37°C. The mutation in the p7 protein, either singly or in combination with the E2 mutation, enhanced infectious virus production about 10-50-fold by facilitating an early step of virion production. CONCLUSION/SIGNIFICANCE: The mutation in the E2 protein generated by the culture system increases virion viability at 37°C. The adaptive mutation in the p7 protein facilitates an earlier stage of virus production, such as virus assembly and/or morphogenesis. These reporter-containing HCV viruses harboring adaptive mutations are useful in investigations of the viral life cycle and for developing anti-viral agents against HCV

Pituitary surgery for small prolactinomas as an alternative to treatment with dopamine agonists

Despite the fact that consensus guidelines recommend long-term dopamine agonist (DA) therapy as a first-line approach to the treatment of small prolactinoma, some patients continue to prefer a primary surgical approach. Concerns over potential adverse effects of long-term medical therapy and/or the desire to become pregnant and avoid long-term medication are often mentioned as reasons to pursue surgical removal. In this retrospective study, 34 consecutive patients (30 female, 4 male) preferably underwent primary pituitary surgery without prior DA treatment for small prolactinomas (microprolactinoma 1–10 mm, macroprolactinoma 11–20 mm) at the Department of Neurosurgery, University of Bern, Switzerland. At the time of diagnosis, 31 of 34 patients (91%) presented with symptoms. Patients with microprolactinomas had significantly lower preoperative prolactin (PRL) levels compared to patients with macroprolactinomas (median 143 μg/l vs. 340 μg/l). Ninety percent of symptomatic patients experienced significant improvement of their signs and symptoms upon surgery. The postoperative PRL levels (median 3.45 μg/l) returned to normal in 94% of patients with small prolactinomas. There was no mortality and no major morbidities. One patient suffered from hypogonadotropic hypogonadism after surgery despite postoperative normal PRL levels. Long-term remission was achieved in 22 of 24 patients (91%) with microprolactinomas, and in 8 of 10 patients (80%) with macroprolactinomas after a median follow-up period of 33.5 months. Patients with small prolactinomas can safely consider pituitary surgery in a specialized centre with good chance of long-term remission as an alternative to long-term DA therapy

Cell Culture Replication of a Genotype 1b Hepatitis C Virus Isolate Cloned from a Patient Who Underwent Liver Transplantation

The introduction of the genotype 2a isolate JFH1 was a major breakthrough in the field of hepatitis C virus (HCV), allowing researchers to study the complete life cycle of the virus in cell culture. However, fully competent culture systems encompassing the most therapeutically relevant HCV genotypes are still lacking, especially for the highly drug-resistant genotype 1b. For most isolated HCV clones, efficient replication in cultured hepatoma cells requires the introduction of replication-enhancing mutations. However, such mutations may interfere with viral assembly, as occurs in the case of the genotype 1b isolate Con1. In this study, we show that a clinical serum carrying a genotype 1b virus with an exceptionally high viral load was able to infect Huh7.5 cells. Similar to previous reports, inoculation of Huh7.5 cells by natural virus is very inefficient compared to infection by cell culture HCV. A consensus sequence of a new genotype 1b HCV isolate was cloned from the clinical serum (designated Barcelona HCV1), and then subjected to replication studies. This virus replicated poorly in a transient fashion in Huh7.5 cells after electroporation with in vitro transcribed RNA. Nonetheless, approximately 3 weeks post electroporation and thereafter, core protein-positive cells were detected by immunofluorescence. Surprisingly, small amounts of core protein were also measurable in the supernatant of electroporated cells, suggesting that HCV particles might be assembled and released. Our findings not only enhance the current method of cloning in vitro HCV replication-competent isolates, but also offer valuable insights for the realization of fully competent culture systems for HCV

NS2 Protein of Hepatitis C Virus Interacts with Structural and Non-Structural Proteins towards Virus Assembly

Growing experimental evidence indicates that, in addition to the physical virion components, the non-structural proteins of hepatitis C virus (HCV) are intimately involved in orchestrating morphogenesis. Since it is dispensable for HCV RNA replication, the non-structural viral protein NS2 is suggested to play a central role in HCV particle assembly. However, despite genetic evidences, we have almost no understanding about NS2 protein-protein interactions and their role in the production of infectious particles. Here, we used co-immunoprecipitation and/or fluorescence resonance energy transfer with fluorescence lifetime imaging microscopy analyses to study the interactions between NS2 and the viroporin p7 and the HCV glycoprotein E2. In addition, we used alanine scanning insertion mutagenesis as well as other mutations in the context of an infectious virus to investigate the functional role of NS2 in HCV assembly. Finally, the subcellular localization of NS2 and several mutants was analyzed by confocal microscopy. Our data demonstrate molecular interactions between NS2 and p7 and E2. Furthermore, we show that, in the context of an infectious virus, NS2 accumulates over time in endoplasmic reticulum-derived dotted structures and colocalizes with both the envelope glycoproteins and components of the replication complex in close proximity to the HCV core protein and lipid droplets, a location that has been shown to be essential for virus assembly. We show that NS2 transmembrane region is crucial for both E2 interaction and subcellular localization. Moreover, specific mutations in core, envelope proteins, p7 and NS5A reported to abolish viral assembly changed the subcellular localization of NS2 protein. Together, these observations indicate that NS2 protein attracts the envelope proteins at the assembly site and it crosstalks with non-structural proteins for virus assembly