Containment and equivalence of weighted automata: Probabilistic and max-plus cases

This paper surveys some results regarding decision problems for probabilistic and max-plus automata, such as containment and equivalence. Probabilistic and max-plus automata are part of the general family of weighted automata, whose semantics are maps from words to real values. Given two weighted automata, the equivalence problem asks whether their semantics are the same, and the containment problem whether one is point-wise smaller than the other one. These problems have been studied intensively and this paper will review some techniques used to show (un)decidability and state a list of open questions that still remain

Recent Advances in Percutaneous Cardioscopy

Percutaneous cardioscopy, using high-resolution fiberoptic imaging, enables direct visualization of the cardiac interior, thereby enabling macroscopic pathological diagnosis. Percutaneous cardioscopy has demonstrated that the endocardial surface exhibits various colors characteristic of different heart diseases. This imaging modality can now be used for evaluation of the severity of myocardial ischemia, and staging of myocarditis. Myocardial blood flow recovery induced by vasodilating agents or percutaneous coronary interventions can be clearly visualized. Morphological and functional changes in the cardiac valves can also be evaluated. Cardioscope-guided endomyocardial biopsy enables pin-point biopsy of the diseased myocardium. Recently, dye-image cardioscopy and fluorescence cardioscopy were developed for evaluation of the subendocardial microcirculation. Cardioscope-guided intracardiac therapies such as myotomy, myectomy, valvulotomy, and transendocardial angiogenic and myogenic therapy have been trialed using animal models in anticipation of future clinical applications. Percutaneous cardioscopy has the potential to contribute to our understanding of heart disease, and to assist in guidance for intracardiac therapies

Can Non-lytic CD8+T Cells Drive HIV-1 Escape?

The CD8+ T cell effector mechanisms that mediate control of HIV-1 and SIV infections remain poorly understood. Recent work suggests that the mechanism may be primarily non-lytic. This is in apparent conflict with the observation that SIV and HIV-1 variants that escape CD8+ T cell surveillance are frequently selected. Whilst it is clear that a variant that has escaped a lytic response can have a fitness advantage compared to the wild-type, it is less obvious that this holds in the face of non-lytic control where both wild-type and variant infected cells would be affected by soluble factors. In particular, the high motility of T cells in lymphoid tissue would be expected to rapidly destroy local effects making selection of escape variants by non-lytic responses unlikely. The observation of frequent HIV-1 and SIV escape poses a number of questions. Most importantly, is the consistent observation of viral escape proof that HIV-1- and SIV-specific CD8+ T cells lyse infected cells or can this also be the result of non-lytic control? Additionally, the rate at which a variant strain escapes a lytic CD8+ T cell response is related to the strength of the response. Is the same relationship true for a non-lytic response? Finally, the potential anti-viral control mediated by non-lytic mechanisms compared to lytic mechanisms is unknown. These questions cannot be addressed with current experimental techniques nor with the standard mathematical models. Instead we have developed a 3D cellular automaton model of HIV-1 which captures spatial and temporal dynamics. The model reproduces in vivo HIV-1 dynamics at the cellular and population level. Using this model we demonstrate that non-lytic effector mechanisms can select for escape variants but that outgrowth of the variant is slower and less frequent than from a lytic response so that non-lytic responses can potentially offer more durable control

The Efficiency of the Human CD8+ T Cell Response: How Should We Quantify It, What Determines It, and Does It Matter?

Multidisciplinary techniques, in particular the combination of theoretical and experimental immunology, can address questions about human immunity that cannot be answered by other means. From the turnover of virus-infected cells in vivo, to rates of thymic production and HLA class I epitope prediction, theoretical techniques provide a unique insight to supplement experimental approaches. Here we present our opinion, with examples, of some of the ways in which mathematics has contributed in our field of interest: the efficiency of the human CD8+ T cell response to persistent viruses

HIV/HCV Co-infection: Pathogenesis, Clinical Complications, Treatment, and New Therapeutic Technologies

World-wide, hepatitis C virus (HCV) accounts for approximately 130 million chronic infections, with an overall 3% prevalence. Four to 5 million persons are co-infected with HIV. It is well established that HIV has a negative impact on the natural history of HCV, including a higher rate of viral persistence, increased viral load, and more rapid progression to fibrosis, end-stage liver disease, and death. Whether HCV has a negative impact on HIV disease progression continues to be debated. However, following the introduction of effective combination antiretroviral therapy, the survival of coinfected individuals has significantly improved and HCV-associated diseases have emerged as the most important co-morbidities. In this review, we summarize the newest studies regarding the pathogenesis of HIV/HCV coinfection, including effects of coinfection on HIV disease progression, HCV-associated liver disease, the immune system, kidney and cardiovascular disease, and neurologic status; and effectiveness of current anti-HIV and HCV therapies and proposed new treatment strategies

Identification of Gemin5 as a Novel 7-Methylguanosine Cap-Binding Protein

A unique attribute of RNA molecules synthesized by RNA polymerase II is the presence of a 7-methylguanosine (m(7)G) cap structure added co-transcriptionally to the 5' end. Through its association with trans-acting effector proteins, the m(7)G cap participates in multiple aspects of RNA metabolism including localization, translation and decay. However, at present relatively few eukaryotic proteins have been identified as factors capable of direct association with m(7)G.Employing an unbiased proteomic approach, we identified gemin5, a component of the survival of motor neuron (SMN) complex, as a factor capable of direct and specific interaction with the m(7)G cap. Gemin5 was readily purified by cap-affinity chromatography in contrast to other SMN complex proteins. Investigating the underlying basis for this observation, we found that purified gemin5 associates with m(7)G-linked sepharose in the absence of detectable eIF4E, and specifically crosslinks to radiolabeled cap structure after UV irradiation. Deletion analysis revealed that an intact set of WD repeat domains located in the N-terminal half of gemin5 are required for cap-binding. Moreover, using structural modeling and site-directed mutagenesis, we identified two proximal aromatic residues located within the WD repeat region that significantly impact m(7)G association.This study rigorously identifies gemin5 as a novel cap-binding protein and describes an unprecedented role for WD repeat domains in m(7)G recognition. The findings presented here will facilitate understanding of gemin5's role in the metabolism of non-coding snRNAs and perhaps other RNA pol II transcripts

A mature macrophage is a principal HIV-1 cellular reservoir in humanized mice after treatment with long acting antiretroviral therapy

BACKGROUND: Despite improved clinical outcomes seen following antiretroviral therapy (ART), resting CD4+ T cells continue to harbor latent human immunodeficiency virus type one (HIV-1). However, such cells are not likely the solitary viral reservoir and as such defining where and how others harbor virus is imperative for eradication measures. To such ends, we used HIV-1(ADA)-infected NOD.Cg-Prkdc (scid) Il2rg (tm1Wjl)/SzJ mice reconstituted with a human immune system to explore two long-acting ART regimens investigating their abilities to affect viral cell infection and latency. At 6 weeks of infection animals were divided into four groups. One received long-acting (LA) cabotegravir (CAB) and rilpivirine (RVP) (2ART), a second received LA CAB, lamivudine, abacavir and RVP (4ART), a third were left untreated and a fourth served as an uninfected control. After 4 weeks of LA ART treatment, blood, spleen and bone marrow (BM) cells were collected then phenotypically characterized. CD4+ T cell subsets, macrophages and hematopoietic progenitor cells were analyzed for HIV-1 nucleic acids by droplet digital PCR. RESULTS: Plasma viral loads were reduced by two log(10) or to undetectable levels in the 2 and 4ART regimens, respectively. Numbers and distributions of CD4+ memory and regulatory T cells, macrophages and hematopoietic progenitor cells were significantly altered by HIV-1 infection and by both ART regimens. ART reduced viral DNA and RNA in all cell and tissue compartments. While memory cells were the dominant T cell reservoir, integrated HIV-1 DNA was also detected in the BM and spleen macrophages in both regimen-treated mice. CONCLUSION: Despite vigorous ART regimens, HIV-1 DNA and RNA were easily detected in mature macrophages supporting their potential role as an infectious viral reservoir. ELECTRONIC SUPPLEMENTARY MATERIAL: The online version of this article (doi:10.1186/s12977-017-0344-7) contains supplementary material, which is available to authorized users

Variable effect of co-infection on the HIV infectivity: Within-host dynamics and epidemiological significance

<p>Abstract</p> <p>Background</p> <p>Recent studies have implicated viral characteristics in accounting for the variation in the HIV set-point viral load (spVL) observed among individuals. These studies have suggested that the spVL might be a heritable factor. The spVL, however, is not in an absolute equilibrium state; it is frequently perturbed by immune activations generated by co-infections, resulting in a significant amplification of the HIV viral load (VL). Here, we postulated that if the HIV replication capacity were an important determinant of the spVL, it would also determine the effect of co-infection on the VL. Then, we hypothesized that viral factors contribute to the variation of the effect of co-infection and introduce variation among individuals.</p> <p>Methods</p> <p>We developed a within-host deterministic differential equation model to describe the dynamics of HIV and malaria infections, and evaluated the effect of variations in the viral replicative capacity on the VL burden generated by co-infection. These variations were then evaluated at population level by implementing a between-host model in which the relationship between VL and the probability of HIV transmission per sexual contact was used as the within-host and between-host interface.</p> <p>Results</p> <p>Our within-host results indicated that the combination of parameters generating low spVL were unable to produce a substantial increase in the VL in response to co-infection. Conversely, larger spVL were associated with substantially larger increments in the VL. In accordance, the between-host model indicated that co-infection had a negligible impact in populations where the virus had low replicative capacity, reflected in low spVL. Similarly, the impact of co-infection increased as the spVL of the population increased.</p> <p>Conclusion</p> <p>Our results indicated that variations in the viral replicative capacity would influence the effect of co-infection on the VL. Therefore, viral factors could play an important role driving several virus-related processes such as the increment of the VL induced by co-infections. These results raise the possibility that biological differences could alter the effect of co-infection and underscore the importance of identifying these factors for the implementation of control interventions focused on co-infection.</p