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

Composition of Constraint, Hypothesis and Error Models to improve interaction in Human-Machine Interfaces

We use Weighted Finite-State Transducers (WFSTs) to represent the different sources of information available: the initial hypotheses, the possible errors, the constraints imposed by the task (interaction language) and the user input. The fusion of these models to find the most probable output string can be performed efficiently by using carefully selected transducer operations. The proposed system initially suggests an output based on the set of hypotheses, possible errors and Constraint Models. Then, if human intervention is needed, a multimodal approach, where the user input is combined with the aforementioned models, is applied to produce, with a minimum user effort, the desired output. This approach offers the practical advantages of a de-coupled model (e.g. input-system + parameterized rules + post-processor), keeping at the same time the error-recovery power of an integrated approach, where all the steps of the process are performed in the same formal machine (as in a typical HMM in speech recognition) to avoid that an error at a given step remains unrecoverable in the subsequent steps. After a presentation of the theoretical basis of the proposed multi-source information system, its application to two real world problems, as an example of the possibilities of this architecture, is addressed. The experimental results obtained demonstrate that a significant user effort can be saved when using the proposed procedure. A simple demonstration, to better understand and evaluate the proposed system, is available on the web https://demos.iti.upv.es/hi/. (C) 2015 Elsevier B.V. All rights reserved.Navarro Cerdan, JR.; Llobet Azpitarte, R.; Arlandis, J.; Perez-Cortes, J. (2016). Composition of Constraint, Hypothesis and Error Models to improve interaction in Human-Machine Interfaces. Information Fusion. 29:1-13. doi:10.1016/j.inffus.2015.09.001S1132

Cold and Ultracold Rydberg Atoms in Strong Magnetic Fields

Cold Rydberg atoms exposed to strong magnetic fields possess unique properties which open the pathway for an intriguing many-body dynamics taking place in Rydberg gases consisting of either matter or anti-matter systems. We review both the foundations and recent developments of the field in the cold and ultracold regime where trapping and cooling of Rydberg atoms have become possible. Exotic states of moving Rydberg atoms such as giant dipole states are discussed in detail, including their formation mechanisms in a strongly magnetized cold plasma. Inhomogeneous field configurations influence the electronic structure of Rydberg atoms, and we describe the utility of corresponding effects for achieving tightly trapped ultracold Rydberg atoms. We review recent work on large, extended cold Rydberg gases in magnetic fields and their formation in strongly magnetized ultracold plasmas through collisional recombination. Implications of these results for current antihydrogen production experiments are pointed out, and techniques for trapping and cooling of such atoms are investigated.Comment: 46 pages, 38 figures, to appear in Physics Report

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

Cost-effectiveness of non-invasive methods for assessment and monitoring of liver fibrosis and cirrhosis in patients with chronic liver disease: systematic review and economic evaluation

BACKGROUND: Liver biopsy is the reference standard for diagnosing the extent of fibrosis in chronic liver disease; however, it is invasive, with the potential for serious complications. Alternatives to biopsy include non-invasive liver tests (NILTs); however, the cost-effectiveness of these needs to be established. OBJECTIVE: To assess the diagnostic accuracy and cost-effectiveness of NILTs in patients with chronic liver disease. DATA SOURCES: We searched various databases from 1998 to April 2012, recent conference proceedings and reference lists. METHODS: We included studies that assessed the diagnostic accuracy of NILTs using liver biopsy as the reference standard. Diagnostic studies were assessed using the Quality Assessment of Diagnostic Accuracy Studies (QUADAS-2) tool. Meta-analysis was conducted using the bivariate random-effects model with correlation between sensitivity and specificity (whenever possible). Decision models were used to evaluate the cost-effectiveness of the NILTs. Expected costs were estimated using a NHS perspective and health outcomes were measured as quality-adjusted life-years (QALYs). Markov models were developed to estimate long-term costs and QALYs following testing, and antiviral treatment where indicated, for chronic hepatitis B (HBV) and chronic hepatitis C (HCV). NILTs were compared with each other, sequential testing strategies, biopsy and strategies including no testing. For alcoholic liver disease (ALD), we assessed the cost-effectiveness of NILTs in the context of potentially increasing abstinence from alcohol. Owing to a lack of data and treatments specifically for fibrosis in patients with non-alcoholic fatty liver disease (NAFLD), the analysis was limited to an incremental cost per correct diagnosis. An analysis of NILTs to identify patients with cirrhosis for increased monitoring was also conducted. RESULTS: Given a cost-effectiveness threshold of £20,000 per QALY, treating everyone with HCV without prior testing was cost-effective with an incremental cost-effectiveness ratio (ICER) of £9204. This was robust in most sensitivity analyses but sensitive to the extent of treatment benefit for patients with mild fibrosis. For HBV [hepatitis B e antigen (HBeAg)-negative)] this strategy had an ICER of £28,137, which was cost-effective only if the upper bound of the standard UK cost-effectiveness threshold range (£30,000) is acceptable. For HBeAg-positive disease, two NILTs applied sequentially (hyaluronic acid and magnetic resonance elastography) were cost-effective at a £20,000 threshold (ICER: £19,612); however, the results were highly uncertain, with several test strategies having similar expected outcomes and costs. For patients with ALD, liver biopsy was the cost-effective strategy, with an ICER of £822. LIMITATIONS: A substantial number of tests had only one study from which diagnostic accuracy was derived; therefore, there is a high risk of bias. Most NILTs did not have validated cut-offs for diagnosis of specific fibrosis stages. The findings of the ALD model were dependent on assuptions about abstinence rates assumptions and the modelling approach for NAFLD was hindered by the lack of evidence on clinically effective treatments. CONCLUSIONS: Treating everyone without NILTs is cost-effective for patients with HCV, but only for HBeAg-negative if the higher cost-effectiveness threshold is appropriate. For HBeAg-positive, two NILTs applied sequentially were cost-effective but highly uncertain. Further evidence for treatment effectiveness is required for ALD and NAFLD. STUDY REGISTRATION: This study is registered as PROSPERO CRD42011001561. FUNDING: The National Institute for Health Research Health Technology Assessment programme

Reconciling conflicting clinical studies of antioxidant supplementation as HIV therapy: a mathematical approach

<p>Abstract</p> <p>Background</p> <p>Small, highly reactive molecules called reactive oxygen species (ROS) play a crucial role in cell signalling and infection control. However, high levels of ROS can cause significant damage to cell structure and function. Studies have shown that infection with the human immunodeficiency virus (HIV) results in increased ROS concentrations, which can in turn lead to faster progression of HIV infection, and cause CD4⁺T-cell apoptosis. To counteract these effects, clinical studies have explored the possibility of raising antioxidant levels, with mixed results.</p> <p>Methods</p> <p>In this paper, a mathematical model is used to explore this potential therapy, both analytically and numerically. For the numerical work, we use clinical data from both HIV-negative and HIV-positive injection drug users (IDUs) to estimate model parameters; these groups have lower baseline concentrations of antioxidants than non-IDU controls.</p> <p>Results</p> <p>Our model suggests that increases in CD4⁺T cell concentrations can result from moderate levels of daily antioxidant supplementation, while excessive supplementation has the potential to cause periods of immunosuppression.</p> <p>Conclusion</p> <p>We discuss implications for HIV therapy in IDUs and other populations which may have low baseline concentrations of antioxidants.</p

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

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

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

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