A Formal, Resource Consumption-Preserving Translation of Actors to Haskell

We present a formal translation of an actor-based language with cooperative scheduling to the functional language Haskell. The translation is proven correct with respect to a formal semantics of the source language and a high-level operational semantics of the target, i.e. a subset of Haskell. The main correctness theorem is expressed in terms of a simulation relation between the operational semantics of actor programs and their translation. This allows us to then prove that the resource consumption is preserved over this translation, as we establish an equivalence of the cost of the original and Haskell-translated execution traces.Comment: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534

Discrepancy between Mtb-specific IFN-γ and IgG responses in HIV-positive people with low CD4 counts

Background: Tuberculosis (TB) is a leading infectious cause of death worldwide and treating latent TB infection (LTBI) with TB preventative therapy is a global priority. This study aimed to measure interferon gamma (IFN-γ) release assay (IGRA) positivity (the current reference standard for LTBI diagnosis) and Mtb-specific IgG antibodies in otherwise healthy adults without HIV and those living with HIV (PLWH). Methods: One-hundred and eighteen adults (65 without HIV and 53 antiretroviral-naïve PLWH), from a peri-urban setting in KwaZulu-Natal, South Africa were enrolled. IFN-γ released following stimulation with ESAT-6/CFP-10 peptides and plasma IgG antibodies specific for multiple Mtb antigens were measured using the QuantiFERON-TB Gold Plus (QFT) and customized Luminex assays, respectively. The relationships between QFT status, relative concentrations of anti-Mtb IgG, HIV-status, sex, age and CD4 count were analysed. Findings: Older age, male sex and higher CD4 count were independently associated with QFT positivity (p = 0.045, 0.05 and 0.002 respectively). There was no difference in QFT status between people with and without HIV infection (58% and 65% respectively, p = 0.06), but within CD4 count quartiles, people with HIV had higher QFT positivity than people without HIV (p = 0.008 (2nd quartile), <0.0001 (3rd quartile)). Concentrations of Mtb-specific IFN-γ were lowest, and relative concentrations of Mtb-specific IgGs were highest in PLWH in the lowest CD4 quartile. Interpretation: These results suggest that the QFT assay underestimates LTBI among immunosuppressed people with HIV and Mtb-specific IgG may be a useful alternative biomarker for Mtb infection. Further evaluation of how Mtb-specific antibodies can be leveraged to improve LTBI diagnosis is warranted, particularly in HIV-endemic areas. Fundings: NIH, AHRI, SHIP: SA-MRC and SANTHE

Measuring indirect transmission-reducing effects in tuberculosis vaccine efficacy trials: why and how?

Tuberculosis is the leading bacterial cause of death globally. In 2021, 10·6 million people developed symptomatic tuberculosis and 1·6 million died. Seven promising vaccine candidates that aim to prevent tuberculosis disease in adolescents and adults are currently in late-stage clinical trials. Conventional phase 3 trials provide information on the direct protection conferred against infection or disease in vaccinated individuals, but they tell us little about possible indirect (ie, transmission-reducing) effects that afford protection to unvaccinated individuals. As a result, proposed phase 3 trial designs will not provide key information about the overall effect of introducing a vaccine programme. Information on the potential for indirect effects can be crucial for policy makers deciding whether and how to introduce tuberculosis vaccines into immunisation programmes. We describe the rationale for measuring indirect effects, in addition to direct effects, of tuberculosis vaccine candidates in pivotal trials and lay out several options for incorporating their measurement into phase 3 trial designs

Soft eSkin:distributed touch sensing with harmonized energy and computing

Inspired by biology, significant advances have been made in the field of electronic skin (eSkin) or tactile skin. Many of these advances have come through mimicking the morphology of human skin and by distributing few touch sensors in an area. However, the complexity of human skin goes beyond mimicking few morphological features or using few sensors. For example, embedded computing (e.g. processing of tactile data at the point of contact) is centric to the human skin as some neuroscience studies show. Likewise, distributed cell or molecular energy is a key feature of human skin. The eSkin with such features, along with distributed and embedded sensors/electronics on soft substrates, is an interesting topic to explore. These features also make eSkin significantly different from conventional computing. For example, unlike conventional centralized computing enabled by miniaturized chips, the eSkin could be seen as a flexible and wearable large area computer with distributed sensors and harmonized energy. This paper discusses these advanced features in eSkin, particularly the distributed sensing harmoniously integrated with energy harvesters, storage devices and distributed computing to read and locally process the tactile sensory data. Rapid advances in neuromorphic hardware, flexible energy generation, energy-conscious electronics, flexible and printed electronics are also discussed. This article is part of the theme issue ‘Harmonizing energy-autonomous computing and intelligence’

MAGE-A cancer/testis antigens inhibit MDM2 ubiquitylation function and promote increased levels of MDM4

Melanoma antigen A (MAGE-A) proteins comprise a structurally and biochemically similar sub-family of Cancer/Testis antigens that are expressed in many cancer types and are thought to contribute actively to malignancy. MAGE-A proteins are established regulators of certain cancer-associated transcription factors, including p53, and are activators of several RING finger-dependent ubiquitin E3 ligases. Here, we show that MAGE-A2 associates with MDM2, a ubiquitin E3 ligase that mediates ubiquitylation of more than 20 substrates including mainly p53, MDM2 itself, and MDM4, a potent p53 inhibitor and MDM2 partner that is structurally related to MDM2. We find that MAGE-A2 interacts with MDM2 via the N-terminal p53-binding pocket and the RING finger domain of MDM2 that is required for homo/hetero-dimerization and for E2 ligase interaction. Consistent with these data, we show that MAGE-A2 is a potent inhibitor of the E3 ubiquitin ligase activity of MDM2, yet it does not have any significant effect on p53 turnover mediated by MDM2. Strikingly, however, increased MAGE-A2 expression leads to reduced ubiquitylation and increased levels of MDM4. Similarly, silencing of endogenous MAGE-A expression diminishes MDM4 levels in a manner that can be rescued by the proteasomal inhibitor, bortezomid, and permits increased MDM2/MDM4 association. These data suggest that MAGE-A proteins can: (i) uncouple the ubiquitin ligase and degradation functions of MDM2; (ii) act as potent inhibitors of E3 ligase function; and (iii) regulate the turnover of MDM4. We also find an association between the presence of MAGE-A and increased MDM4 levels in primary breast cancer, suggesting that MAGE-A-dependent control of MDM4 levels has relevance to cancer clinically

Uterine selection of human embryos at implantation

Human embryos frequently harbor large-scale complex chromosomal errors that impede normal development. Affected embryos may fail to implant although many first breach the endometrial epithelium and embed in the decidualizing stroma before being rejected via mechanisms that are poorly understood. Here we show that developmentally impaired human embryos elicit an endoplasmic stress response in human decidual cells. A stress response was also evident upon in vivo exposure of mouse uteri to culture medium conditioned by low-quality human embryos. By contrast, signals emanating from developmentally competent embryos activated a focused gene network enriched in metabolic enzymes and implantation factors. We further show that trypsin, a serine protease released by pre-implantation embryos, elicits Ca2+ signaling in endometrial epithelial cells. Competent human embryos triggered short-lived oscillatory Ca2+ fluxes whereas low-quality embryos caused a heightened and prolonged Ca2+ response. Thus, distinct positive and negative mechanisms contribute to active selection of human embryos at implantation

Structure Discovery in Mixed Order Hyper Networks

Background  Mixed Order Hyper Networks (MOHNs) are a type of neural network in which the interactions between inputs are modelled explicitly by weights that can connect any number of neurons. Such networks have a human readability that networks with hidden units lack. They can be used for regression, classification or as content addressable memories and have been shown to be useful as fitness function models in constraint satisfaction tasks. They are fast to train and, when their structure is fixed, do not suffer from local minima in the cost function during training. However, their main drawback is that the correct structure (which neurons to connect with weights) must be discovered from data and an exhaustive search is not possible for networks of over around 30 inputs.  Results  This paper presents an algorithm designed to discover a set of weights that satisfy the joint constraints of low training error and a parsimonious model. The combined structure discovery and weight learning process was found to be faster, more accurate and have less variance than training an MLP.  Conclusions  There are a number of advantages to using higher order weights rather than hidden units in a neural network but discovering the correct structure for those weights can be challenging. With the method proposed in this paper, the use of high order networks becomes tractable

Contrasting Inflammatory Signatures in Peripheral Blood and Bronchoalveolar Cells Reveal Compartment-Specific Effects of HIV Infection

The mechanisms by which HIV increases susceptibility to tuberculosis and other respiratory infections are incompletely understood. We used transcriptomics of paired whole bronchoalveolar lavage cells (BLCs) and peripheral blood mononuclear cells to compare the effect of HIV at the lung mucosal surface and in peripheral blood. The majority of HIV-induced differentially expressed genes (DEGs) were specific to either the peripheral or lung mucosa compartments (1,307/1,404, 93%). Type I interferon signaling was the dominant signature of DEGs in HIV-positive blood but not in HIV-positive BLCs. DEGs in the HIV-positive BLCs were significantly enriched for infiltration with cytotoxic CD8+ T cells. Higher expression of type 1 interferon transcripts in peripheral CD8+ T cells and representative transcripts and proteins in BLCs-derived CD8+ T cells during HIV infection, including IFNG (IFN-gamma), GZMB (Granzyme B), and PDCD1 (PD-1), was confirmed by cell-subset specific transcriptional analysis and flow cytometry. Thus, we report that a whole transcriptomic approach revealed qualitatively distinct effects of HIV in blood and bronchoalveolar compartments. Further work exploring the impact of distinct type I interferon programs and functional features of CD8+ T cells infiltrating the lung mucosa during HIV infection may provide novel insights into HIV-induced susceptibility to respiratory pathogens