Distribution-based bisimulation for labelled Markov processes

In this paper we propose a (sub)distribution-based bisimulation for labelled Markov processes and compare it with earlier definitions of state and event bisimulation, which both only compare states. In contrast to those state-based bisimulations, our distribution bisimulation is weaker, but corresponds more closely to linear properties. We construct a logic and a metric to describe our distribution bisimulation and discuss linearity, continuity and compositional properties.Comment: Accepted by FORMATS 201

Testing Reactive Probabilistic Processes

We define a testing equivalence in the spirit of De Nicola and Hennessy for reactive probabilistic processes, i.e. for processes where the internal nondeterminism is due to random behaviour. We characterize the testing equivalence in terms of ready-traces. From the characterization it follows that the equivalence is insensitive to the exact moment in time in which an internal probabilistic choice occurs, which is inherent from the original testing equivalence of De Nicola and Hennessy. We also show decidability of the testing equivalence for finite systems for which the complete model may not be known

Efficacy and safety of therapies for COVID-19 in pregnancy: a systematic review and meta-analysis

Background: Clinical evidence suggests that pregnant women are more vulnerable to COVID-19, since they are at increased risk for disease progression and for obstetric complications, such as premature labor, miscarriage, preeclampsia, cesarean delivery, fetal growth restriction and perinatal death. Despite this evidence, pregnant women are often excluded from clinical trials, resulting in limited knowledge on COVID-19 management. The aim of this systematic review and meta-analysis is to provide better evidence on the efficacy and safety of available COVID-19 treatment in pregnant women. Methods: Four authors searched major electronic databases from inception until 1 st November-2022 for controlled trials/observational studies, investigating outcomes after the administration of anti-SARS-CoV-2 treatments in pregnant women affected by COVID-19. The analyses investigated the cumulative incidence of delivery and maternal outcomes in pregnant women, comparing those taking active medication vs standard care. Risk ratios (RRs) with 95% confidence intervals were calculated. Statistical significance was assessed using the random effects model and inverse-variance method. This systematic review and meta-analysis was conducted in accordance with the updated 2020 Preferred Reporting Items for Systematic Reviews and Meta-Analyses (PRISMA) guidelines. The protocol has been registered in Prospero (number registration: CRD42023397445). Results: From initially 937 non duplicate records, we assessed the full texts of 40 articles, finally including ten studies. In six studies, including 1627 patients, the use of casirivimab/imdevimab (CAS/IMD), remdesivir, and IFN-alpha 2b significantly decreased the need of cesarean section ((RR = 0.665; 95%CI: 0.491–0.899; p = 0.008; I 2 = 19.5%;) (Table 1, (Fig. 1). Treatments did not decrease the risk of preterm delivery, admission to neonatal ICU, or stillbirth/perinatal loss (p-values > 0.50 for all these outcomes) and did not prevent the progression of disease towards severe degrees (k = 8; 2,374 pregnant women; RR = 0.778; 95%CI: 0.550–1.099; p = 0.15; I 2 = 0%). Moreover, the use of medications during pregnancy did not modify the incidence of maternal death in two studies (Table 2). Conclusions: To our analysis, CAS/IMD, remdesivir, and IFN alpha 2b reduced the number of cesarean sections but demonstrated no effect on disease progression and other obstetric and COVID-19 related outcomes. The inability to evaluate the influence of viral load on illness development in pregnant women was attributed to lack of data. In our systematic review, no major side effects were reported. Though, it is essential for the medical community to focus more on clinical trials and less on episodic case reports and case series, with standardization of fetal and maternal outcomes

Refining criteria for selecting candidates for a safe lopinavir/ritonavir or darunavir/ritonavir monotherapy in HIV-infected virologically suppressed patients

Objective: The primary objective of this study was to estimate the incidence of treatment failure (TF) to protease inhibitor monotherapies (PI/r-MT) with lopinavir/ritonavir (LPV/r) or darunavir/ritonavir (DRV/r). Design: A multicenter cohort of HIV-infected patients with viral load (VL) \ue2\u89\ua450 copies/mL, who underwent a switch from any triple combination therapy to PI/r-MT with either LPV/r or DRV/r. Methods: VL was assessed in each center according to local procedures. Residual viremia was defined by any HIV-RNA value detectable below 50 copies/mL by a Real-Time PCR method. Standard survival analysis was used to estimate the rate of TF (defined by virological failure or interruption of monotherapy or reintroduction of combination therapy). A multivariable Cox regression analysis with automatic stepwise procedures was used to identify factors independently associated with TF among nadir and baseline CD4+ counts, residual viremia, time spent with 100 cells/\uce\ubcL) and residual viremia (aHR = 1.48 [95% CI: 1.01-2.17] vs. undetectable VL) were independently associated to TF. Conclusions: Residual viremia and nadir CD4+ counts <100 cells/\uce\ubcL should be regarded as the main factors to be taken into account before considering switching to a PI/r-MT

Impact of social determinants on antiretroviral therapy access and outcomes entering the era of universal treatment for people living with HIV in Italy

Background: Social determinants are known to be a driving force of health inequalities, even in high income countries. Aim of our study was to determine if these factors can limit antiretroviral therapy (ART) access, outcome and retention in care of people living with HIV (PLHIV) in Italy. Methods: All ART naïve HIV+ patients (pts) of Italian nationality enrolled in the ICONA Cohort from 2002 to 2016 were included. The association of socio-demographic characteristics (age, sex, risk factor for HIV infection, educational level, occupational status and residency area) with time to: ART initiation (from the first positive anti-HIV test), ART regimen discontinuation, and first HIV-RNA &lt; 50 cp/mL, were evaluated by Cox regression analysis, Kaplan Meier method and log-rank test. Results: A total of 8023 HIV+ pts (82% males, median age at first pos anti-HIV test 36 years, IQR: 29-44) were included: 6214 (77.5%) started ART during the study period. Women, people who inject drugs (PWID) and residents in Southern Italy presented the lowest levels of education and the highest rate of unemployment compared to other groups. Females, pts aged &gt; 50 yrs., unemployed vs employed, and people with lower educational levels presented the lowest CD4 count at ART initiation compared to other groups. The overall median time to ART initiation was 0.6 years (yrs) (IQR 0.1-3.7), with a significant decrease over time [2002-2006 = 3.3 yrs. (0.2-9.4); 2007-2011 = 1.0 yrs. (0.1-3.9); 2012-2016 = 0.2 yrs. (0.1-2.1), p &lt; 0.001]. By multivariate analysis, females (p &lt; 0.01) and PWID (p &lt; 0.001), presented a longer time to ART initiation, while older people (p &lt; 0.001), people with higher educational levels (p &lt; 0.001), unemployed (p = 0.02) and students (p &lt; 0.001) were more likely to initiate ART. Moreover, PWID, unemployed vs stable employed, and pts. with lower educational levels showed a lower 1-year probability of achieving HIV-RNA suppression, while females, older patients, men who have sex with men (MSM), unemployed had higher 1-year risk of first-line ART discontinuation. Conclusions: Despite median time to ART start decreased from 2002 to 2016, socio-demographic factors still contribute to disparities in ART initiation, outcome and durability

Sarilumab plus standard of care vs standard of care for the treatment of severe COVID-19: a phase 3, randomized, open-labeled, multi-center study (ESCAPE study)

Background Among interleukin-6 inhibitors suggested for use in COVID-19, there are few robust evidences for the efficacy of sarilumab. Herein, we evaluated the efficacy and safety of sarilumab in severe COVID-19.Methods In this phase 3, open-labeled, randomized clinical trial, conducted at 5 Italian hospitals, adults with severe COVID-19 pneumonia (excluding mechanically ventilated) were randomized 2:1 to receive intravenous sarilumab (400 mg, repeatable after 12 h) plus standard of care (SOC) (arm A) or to continue SOC (arm B). Randomization was web-based. As post-hoc analyses, the participants were stratified according to baseline inflammatory parameters. The primary endpoint was analysed on the modified Intention-To-Treat population, including all the randomized patients who received any study treatment (sarilumab or SOC). It was time to clinical improvement of 2 points on a 7-points ordinal scale, from baseline to day 30. We used Kaplan Meier method and log-rank test to compare the primary outcome between two arms, and Cox regression stratified by clinical center and adjusted for severity of illness, to estimate the hazard ratio (HR). The trial was registered with EudraCT (2020-001390-76).Findings Between May 2020 and May 2021, 191 patients were assessed for eligibility, of whom, excluding nine dropouts, 176 were assigned to arm A (121) and B (55). At day 30, no significant differences in the primary endpoint were found (88% [95% CI 81-94] in arm A vs 85% [74-93], HR 1.07 [0.8-1.5] in arm B; log-rank p = 0.50). After stratifying for inflammatory parameters, arm A showed higher probability of improvement than B without statistical significance in the strata with C reactive protein (CRP) &lt; 7 mg/dL (88% [77-96] vs 79% [63-91], HR 1.55 [0.9-2.6]; log-rank p = 0.049) and in the strata with lymphocytes &lt;870/mmc (90% [79-96]) vs (73% [55-89], HR 1.53 [0.9-2.7]; log-rank p = 0.058). Overall, 39/121 (32%) AEs were reported in arm A and 14/55 (23%) in B (p = 0.195), while serious AEs were 22/121 (18%) and 7/55 (11%), respectively (p = 0.244). There were no treatment-related deaths.Interpretation The efficacy of sarilumab in severe COVID-19 was not demonstrated both in the overall and in the stratified for severity analysis population. Exploratory analyses suggested that subsets of patients with lower CRP values or lower lymphocyte counts might have had benefit with sarilumab treatment, but this finding would require replication in other studies. The relatively low rate of concomitant corticosteroid use, could partially explain our results.Funding This study was supported by INMI "Lazzaro Spallanzani" Ricerca Corrente Linea 1 on emerging and ree-merging infections, funded by Italian Ministry of Health.Copyright (c) 2023 The Authors. Published by Elsevier Ltd. This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/)

Therapeutic immunization with HIV-1 Tat reduces immune activation and loss of regulatory T-cells and improves immune function in subjects on HAART.

Although HAART suppresses HIV replication, it is often unable to restore immune homeostasis. Consequently, non-AIDS-defining diseases are increasingly seen in treated individuals. This is attributed to persistent virus expression in reservoirs and to cell activation. Of note, in CD4(+) T cells and monocyte-macrophages of virologically-suppressed individuals, there is continued expression of multi-spliced transcripts encoding HIV regulatory proteins. Among them, Tat is essential for virus gene expression and replication, either in primary infection or for virus reactivation during HAART, when Tat is expressed, released extracellularly and exerts, on both the virus and the immune system, effects that contribute to disease maintenance. Here we report results of an ad hoc exploratory interim analysis (up to 48 weeks) on 87 virologically-suppressed HAART-treated individuals enrolled in a phase II randomized open-label multicentric clinical trial of therapeutic immunization with Tat (ISS T-002). Eighty-eight virologically-suppressed HAART-treated individuals, enrolled in a parallel prospective observational study at the same sites (ISS OBS T-002), served for intergroup comparison. Immunization with Tat was safe, induced durable immune responses, and modified the pattern of CD4(+) and CD8(+) cellular activation (CD38 and HLA-DR) together with reduction of biochemical activation markers and persistent increases of regulatory T cells. This was accompanied by a progressive increment of CD4(+) T cells and B cells with reduction of CD8(+) T cells and NK cells, which were independent from the type of antiretroviral regimen. Increase in central and effector memory and reduction in terminally-differentiated effector memory CD4(+) and CD8(+) T cells were accompanied by increases of CD4(+) and CD8(+) T cell responses against Env and recall antigens. Of note, more immune-compromised individuals experienced greater therapeutic effects. In contrast, these changes were opposite, absent or partial in the OBS population. These findings support the use of Tat immunization to intensify HAART efficacy and to restore immune homeostasis. TRIAL REGISTRATION: ClinicalTrials.gov NCT00751595

Search for the standard model Higgs boson in the H to ZZ to 2l 2nu channel in pp collisions at sqrt(s) = 7 TeV

A search for the standard model Higgs boson in the H to ZZ to 2l 2nu decay channel, where l = e or mu, in pp collisions at a center-of-mass energy of 7 TeV is presented. The data were collected at the LHC, with the CMS detector, and correspond to an integrated luminosity of 4.6 inverse femtobarns. No significant excess is observed above the background expectation, and upper limits are set on the Higgs boson production cross section. The presence of the standard model Higgs boson with a mass in the 270-440 GeV range is excluded at 95% confidence level.Comment: Submitted to JHE