204 research outputs found
Qualitative Analysis of Partially-observable Markov Decision Processes
We study observation-based strategies for partially-observable Markov
decision processes (POMDPs) with omega-regular objectives. An observation-based
strategy relies on partial information about the history of a play, namely, on
the past sequence of observations. We consider the qualitative analysis
problem: given a POMDP with an omega-regular objective, whether there is an
observation-based strategy to achieve the objective with probability~1
(almost-sure winning), or with positive probability (positive winning). Our
main results are twofold. First, we present a complete picture of the
computational complexity of the qualitative analysis of POMDP s with parity
objectives (a canonical form to express omega-regular objectives) and its
subclasses. Our contribution consists in establishing several upper and lower
bounds that were not known in literature. Second, we present optimal bounds
(matching upper and lower bounds) on the memory required by pure and randomized
observation-based strategies for the qualitative analysis of POMDP s with
parity objectives and its subclasses
Inactivation of aspartyl proteinases by butane-2,3-dione. Modification of tryptophan and tyrosine residues and evidence against reaction of arginine residues
Randomness for Free
We consider two-player zero-sum games on graphs. These games can be
classified on the basis of the information of the players and on the mode of
interaction between them. On the basis of information the classification is as
follows: (a) partial-observation (both players have partial view of the game);
(b) one-sided complete-observation (one player has complete observation); and
(c) complete-observation (both players have complete view of the game). On the
basis of mode of interaction we have the following classification: (a)
concurrent (both players interact simultaneously); and (b) turn-based (both
players interact in turn). The two sources of randomness in these games are
randomness in transition function and randomness in strategies. In general,
randomized strategies are more powerful than deterministic strategies, and
randomness in transitions gives more general classes of games. In this work we
present a complete characterization for the classes of games where randomness
is not helpful in: (a) the transition function probabilistic transition can be
simulated by deterministic transition); and (b) strategies (pure strategies are
as powerful as randomized strategies). As consequence of our characterization
we obtain new undecidability results for these games
Design of (ω-N-(O-acyl)hydroxy amid) aminodicarboxylic acid pyrrolidides as potent inhibitors of proline-specific peptidases
AbstractA novel class of competitive, acylating inhibitors for the proline-specific peptidases: dipeptidyl peptidase IV, dipeptidyl peptidase II and prolyl endopeptidase, has been developed. The inhibitor molecules combine the efficacy of aminoacyl pyrrolidides and the potential transacylating capability of diacyl hydroxyl amines. The N-terminal deblocked inhibitors are potent reversible inhibitors of porcine kidney dipeptidyl peptidase IV, human placenta dipeptidyl peptidase II exhibiting K1 values in the μM range. Boc-protected (ω-N-hydroxy acyl amid) aminodiacarboxylic acid pyrrolidides inhibit substrate hydrolysis by prolyl endopeptidases from different sources competitively reaching K, values of 30 nM to 60 μM. Additionally, α-N-BOC-(ω-N-hydroxy acetyl) glutaminyl pyrrolidide modifies human placenta prolyl endopeptidase in a time-dependent reaction
Heterologous Replacement of the Supposed Host Determining Region of Avihepadnaviruses: High In Vivo Infectivity Despite Low Infectivity for Hepatocytes
Hepadnaviruses, including hepatitis B virus (HBV), a highly relevant human pathogen, are small enveloped DNA viruses that replicate via reverse transcription. All hepadnaviruses display a narrow tissue and host tropism. For HBV, this restricts efficient experimental in vivo infection to chimpanzees. While the cellular factors mediating infection are largely unknown, the large viral envelope protein (L) plays a pivotal role for infectivity. Furthermore, certain segments of the PreS domain of L from duck HBV (DHBV) enhanced infectivity for cultured duck hepatocytes of pseudotyped heron HBV (HHBV), a virus unable to infect ducks in vivo. This implied a crucial role for the PreS sequence from amino acid 22 to 90 in the duck tropism of DHBV. Reasoning that reciprocal replacements would reduce infectivity for ducks, we generated spreading-competent chimeric DHBVs with L proteins in which segments 22–90 (Du-He4) or its subsegments 22–37 and 37–90 (Du-He2, Du-He3) are derived from HHBV. Infectivity for duck hepatocytes of Du-He4 and Du-He3, though not Du-He2, was indeed clearly reduced compared to wild-type DHBV. Surprisingly, however, in ducks even Du-He4 caused high-titered, persistent, horizontally and vertically transmissable infections, with kinetics of viral spread similar to those of DHBV when inoculated at doses of 108 viral genome equivalents (vge) per animal. Low-dose infections down to 300 vge per duck did not reveal a significant reduction in specific infectivity of the chimera. Hence, sequence alterations in PreS that limited infectivity in vitro did not do so in vivo. These data reveal a much more complex correlation between PreS sequence and host specificity than might have been anticipated; more generally, they question the value of cultured hepatocytes for reliably predicting in vivo infectivity of avian and, by inference, mammalian hepadnaviruses, with potential implications for the risk assessment of vaccine and drug resistant HBV variants
Purinergic Receptor Functionality Is Necessary for Infection of Human Hepatocytes by Hepatitis Delta Virus and Hepatitis B Virus
Hepatitis B virus (HBV) and hepatitis delta virus (HDV) are major sources of acute and chronic hepatitis. HDV requires the envelope proteins of HBV for the processes of assembly and infection of new cells. Both viruses are able to infect hepatocytes though previous studies have failed to determine the mechanism of entry into such cells. This study began with evidence that suramin, a symmetrical hexasulfated napthylurea, could block HDV entry into primary human hepatocytes (PHH) and was then extrapolated to incorporate findings of others that suramin is one of many compounds that can block activation of purinergic receptors. Thus other inhibitors, pyridoxal-phosphate-6-azophenyl-2′,4′-disulfonate (PPADS) and brilliant blue G (BBG), both structurally unrelated to suramin, were tested and found to inhibit HDV and HBV infections of PHH. BBG, unlike suramin and PPADS, is known to be more specific for just one purinergic receptor, P2X7. These studies provide the first evidence that purinergic receptor functionality is necessary for virus entry. Furthermore, since P2X7 activation is known to be a major component of inflammatory responses, it is proposed that HDV and HBV attachment to susceptible cells, might also contribute to inflammation in the liver, that is, hepatitis
Characterization of primary human hepatocytes, HepG2 cells, and HepaRG cells at the mRNA level and CYP activity in response to inducers and their predictivity for the detection of human hepatotoxins
In the pharmaceutical industry, improving the early detection of drug-induced hepatotoxicity is essential as it is one of the most important reasons for attrition of candidate drugs during the later stages of drug development. The first objective of this study was to better characterize different cellular models (i.e., HepG2, HepaRG cells, and fresh primary human hepatocytes) at the gene expression level and analyze their metabolic cytochrome P450 capabilities. The cellular models were exposed to three different CYP450 inducers; beta-naphthoflavone (BNF), phenobarbital (PB), and rifampicin (RIF). HepG2 cells responded very weakly to the different inducers at the gene expression level, and this translated generally into low CYP450 activities in the induced cells compared with the control cells. On the contrary, HepaRG cells and the three human donors were inducible after exposure to BNF, PB, and RIF according to gene expression responses and CYP450 activities. Consequently, HepaRG cells could be used in screening as a substitute and/or in complement to primary hepatocytes for CYP induction studies. The second objective was to investigate the predictivity of the different cellular models to detect hepatotoxins (16 hepatotoxic and 5 nonhepatotoxic compounds). Specificity was 100% with the different cellular models tested. Cryopreserved human hepatocytes gave the highest sensitivity, ranging from 31% to 44% (depending on the donor), followed by lower sensitivity (13%) for HepaRG and HepG2 cells (6.3%). Overall, none of the models under study gave desirable sensitivities (80–100%). Consequently, a high metabolic capacity and CYP inducibility in cell lines does not necessarily correlate with a high sensitivity for the detection of hepatotoxic drugs. Further investigations are necessary to compare different cellular models and determine those that are best suited for the detection of hepatotoxic compounds
Liver Progenitor Cell Line HepaRG Differentiated in a Bioartificial Liver Effectively Supplies Liver Support to Rats with Acute Liver Failure
A major roadblock to the application of bioartificial livers is the need for a human liver cell line that displays a high and broad level of hepatic functionality. The human bipotent liver progenitor cell line HepaRG is a promising candidate in this respect, for its potential to differentiate into hepatocytes and bile duct cells. Metabolism and synthesis of HepaRG monolayer cultures is relatively high and their drug metabolism can be enhanced upon treatment with 2% dimethyl sulfoxide (DMSO). However, their potential for bioartificial liver application has not been assessed so far. Therefore, HepaRG cells were cultured in the Academic Medical Center bioartificial liver (AMC-BAL) with and without DMSO and assessed for their hepatic functionality in vitro and in a rat model of acute liver failure. HepaRG-AMC-BALs cultured without DMSO eliminated ammonia and lactate, and produced apolipoprotein A-1 at rates comparable to freshly isolated hepatocytes. Cytochrome P450 3A4 transcript levels and activity were high with 88% and 37%, respectively, of the level of hepatocytes. DMSO treatment of HepaRG-AMC-BALs reduced the cell population and the abovementioned functions drastically. Therefore, solely HepaRG-AMC-BALs cultured without DMSO were tested for efficacy in rats with acute liver failure (n = 6). HepaRG-AMC-BAL treatment increased survival time of acute liver failure rats ∼50% compared to acellular-BAL treatment. Moreover, HepaRG-AMC-BAL treatment decreased the progression of hepatic encephalopathy, kidney failure, and ammonia accumulation. These results demonstrate that the HepaRG-AMC-BAL is a promising bioartificial liver for clinical application
A Viral Ubiquitin Ligase Has Substrate Preferential SUMO Targeted Ubiquitin Ligase Activity that Counteracts Intrinsic Antiviral Defence
Intrinsic antiviral resistance represents the first line of intracellular defence against virus infection. During herpes simplex virus type-1 (HSV-1) infection this response can lead to the repression of viral gene expression but is counteracted by the viral ubiquitin ligase ICP0. Here we address the mechanisms by which ICP0 overcomes this antiviral response. We report that ICP0 induces the widespread proteasome-dependent degradation of SUMO-conjugated proteins during infection and has properties related to those of cellular SUMO-targeted ubiquitin ligases (STUbLs). Mutation of putative SUMO interaction motifs within ICP0 not only affects its ability to degrade SUMO conjugates, but also its capacity to stimulate HSV-1 lytic infection and reactivation from quiescence. We demonstrate that in the absence of this viral countermeasure the SUMO conjugation pathway plays an important role in mediating intrinsic antiviral resistance and the repression of HSV-1 infection. Using PML as a model substrate, we found that whilst ICP0 preferentially targets SUMO-modified isoforms of PML for degradation, it also induces the degradation of PML isoform I in a SUMO modification-independent manner. PML was degraded by ICP0 more rapidly than the bulk of SUMO-modified proteins in general, implying that the identity of a SUMO-modified protein, as well as the presence of SUMO modification, is involved in ICP0 targeting. We conclude that ICP0 has dual targeting mechanisms involving both SUMO- and substrate-dependent targeting specificities in order to counteract intrinsic antiviral resistance to HSV-1 infection
Hepatitis B Virus Impairs TLR9 Expression and Function in Plasmacytoid Dendritic Cells
Plasmacytoid dendritic cells (pDCs) play a key role in detecting pathogens by producing large amounts of type I interferon (IFN) by sensing the presence of viral infections through the Toll-Like Receptor (TLR) pathway. TLR9 is a sensor of viral and bacterial DNA motifs and activates the IRF7 transcription factor which leads to type I IFN secretion by pDCs. However, during chronic hepatitis B virus (HBV) infection, pDCs display an impaired ability to secrete IFN-α following ex vivo stimulation with TLR9 ligands. Here we highlight several strategies used by HBV to block IFN-α production through a specific impairment of the TLR9 signaling. Our results show that HBV particle internalisation could inhibit TLR9- but not TLR7-mediated secretion of IFN-α by pDCs. We observed that HBV down-regulated TLR9 transcriptional activity in pDCs and B cells in which TLR9 mRNA and protein levels were reduced. HBV can interfere with TLR9 activity by blocking the MyD88-IRAK4 axis and Sendai virus targeting IRF7 to block IFN-α production. Neutralising CpG motif sequences were identified within HBV DNA genome of genotypes A to H which displayed a suppressive effect on TLR9-immune activation. Moreover, TLR9 mRNA and protein were downregulated in PBMCs from patients with HBV-associated chronic hepatitis and hepatocellular carcinoma. Thus HBV has developed several escape mechanisms to avoid TLR9 activation in both pDCs and B lymphocytes, which may in turn contribute to the establishment and/or persistence of chronic infection
- …