Call-by-value non-determinism in a linear logic type discipline

We consider the call-by-value lambda-calculus extended with a may-convergent non-deterministic choice and a must-convergent parallel composition. Inspired by recent works on the relational semantics of linear logic and non-idempotent intersection types, we endow this calculus with a type system based on the so-called Girard's second translation of intuitionistic logic into linear logic. We prove that a term is typable if and only if it is converging, and that its typing tree carries enough information to give a bound on the length of its lazy call-by-value reduction. Moreover, when the typing tree is minimal, such a bound becomes the exact length of the reduction

Associations of Human Milk Oligosaccharides With Otitis Media and Lower and Upper Respiratory Tract Infections up to 2 Years: The Ulm SPATZ Health Study

Background: Humanmilk oligosaccharides (HMOs) support and concurrently shape the neonatal immune system through various mechanisms. Thereby, they may contribute to lower incidence of infections in infants. However, there is limited evidence on the role of individual HMOs in the risk of otitis media (OM), as well as lower and upper respiratory tract infections (LRTI and URTI, respectively) in children up to 2 years. Objective: To investigate whether individual HMO concentrations measured at 6 weeks of lactation were associated with risk of OM, LRTI or URTI up to 2 years in breastfed infants. Associations with OM, LRTI and URTI were determined for the most prominent human milk oligosaccharides including 13 neutral, partly isomeric structures (trioses up to hexaoses), two acidic trioses, and lactose. Design: HMO measurements and physician reported data on infections were available from human milk samples collected at 6 weeks postpartum (n = 667). Associations of HMOs with infections were assessed in crude and adjusted models using modified Poisson regression. Results: Absolute concentrations (median [min, max], in g/L) of 2′-fucosyllactose (2′-FL) tended (p = 0.04) to be lower, while lacto-N-tetraose (LNT) was higher in the milk for infants with OM in the 1st year of life (p = 0.0046). In the milk of secretor mothers, LNT was significantly higher in the milk for infants with OM (RR [95% CI]: 0.98 [0.15, 2.60]) compared to infants without OM (RR [95% CI]: 0.76 [0.14, 2.90]) at 1 year (p = 0.0019). No statistically significant milk group differences and associations were observed for OM, LRTI, and URTI (p > 0.0031). Conclusion: Our findings suggest that neither prominent neutral individual HMOs (ranging from 2′-FL to LNDFHs) nor acidic human milk sialyllactoses or lactose are significantly associated with a reduced or increased risk of infections in infants up to 2 years of age. Further research is needed to determine whether specific HMOs could potentially reduce the incidence or alleviate the course of distinct infections in early life

Genetic Risk and Atrial Fibrillation in Patients with Heart Failure

Aims: To study the association between an atrial fibrillation (AF) genetic risk score with prevalent AF and all-cause mortality in patients with heart failure. Methods and results: An AF genetic risk score was calculated in 3759 European ancestry individuals (1783 with sinus rhythm, 1976 with AF) from the BIOlogy Study to TAilored Treatment in Chronic Heart Failure (BIOSTAT-CHF) by summing 97 single nucleotide polymorphism (SNP) alleles (ranging from 0–2) weighted by the natural logarithm of the relative SNP risk from the latest AF genome-wide association study. Further, we assessed AF risk variance explained by additive SNP variation, and performance of clinical or genetic risk factors, and the combination in classifying AF prevalence. AF was classified as AF or atrial flutter (AFL) at baseline electrocardiogram and/or a history of AF or AFL. The genetic risk score was associated with AF after multivariable adjustment. Odds ratio for AF prevalence per 1-unit increase genetic risk score was 2.12 (95% confidence interval 1.84–2.45, P = 2.15 × 10−24) in the total cohort, 2.08 (1.72–2.50, P = 1.30 × 10−14) in heart failure with reduced ejection fraction (HFrEF) and 2.02 (1.37–2.99, P = 4.37 × 10−4) in heart failure with preserved ejection fraction (HFpEF). AF-associated loci explained 22.9% of overall AF SNP heritability. Addition of the genetic risk score to clinical risk factors increased the C-index by 2.2% to 0.721. Conclusions: The AF genetic risk score was associated with increased AF prevalence in HFrEF and HFpEF. Genetic variation accounted for 22.9% of overall AF SNP heritability. Addition of genetic risk to clinical risk improved model performance in classifying AF prevalence

Human milk oligosaccharide profiles and child atopic dermatitis up to 2 years of age: The Ulm SPATZ Health Study

Background: Human milk oligosaccharides (HMOs) have several biological functions. Yet, very few studies have investigated the effect of HMOs on the development of allergies and even fewer on their specific associations with atopic dermatitis (AD) during early childhood. Objective: This study investigated whether individual HMO concentrations, measured at two time points of lactation, were associated with reported diagnosis of AD in children up to two years of age. Method: Outcome data were available for HMOs measured in human milk samples collected at 6 weeks (n = 534) and 6 months (n = 356) of lactation. Associations of HMOs with AD, ascertained from parents and pediatricians at ages one and two years, were assessed in crude and adjusted logistic regression models. Results: Few associations were statistically significant at the conventional level (p .0031, which is the threshold for statistical significance after correction for multiple testing). Conclusion: Our findings suggest that the intake of different levels (or even absence) of the individual HMOs measured at 6 weeks and 6 months of lactation, in the current study, is not significantly associated with the development of AD in early childhood. Given the exploratory nature of our study and the limited sample size, these results should be interpreted with caution. The specific HMOs for which we show plausible associations at conventional level may warrant further research and investigation

Killer cell proteases can target viral immediate-early proteins to control human cytomegalovirus infection in a noncytotoxic manner.

Human cytomegalovirus (HCMV) is the most frequent viral cause of congenital defects and can trigger devastating disease in immune-suppressed patients. Cytotoxic lymphocytes (CD8+ T cells and NK cells) control HCMV infection by releasing interferon-γ and five granzymes (GrA, GrB, GrH, GrK, GrM), which are believed to kill infected host cells through cleavage of intracellular death substrates. However, it has recently been demonstrated that the in vivo killing capacity of cytotoxic T cells is limited and multiple T cell hits are required to kill a single virus-infected cell. This raises the question whether cytotoxic lymphocytes can use granzymes to control HCMV infection in a noncytotoxic manner. Here, we demonstrate that (primary) cytotoxic lymphocytes can block HCMV dissemination independent of host cell death, and interferon-α/β/γ. Prior to killing, cytotoxic lymphocytes induce the degradation of viral immediate-early (IE) proteins IE1 and IE2 in HCMV-infected cells. Intriguingly, both IE1 and/or IE2 are directly proteolyzed by all human granzymes, with GrB and GrM being most efficient. GrB and GrM cleave IE1 after Asp398 and Leu414, respectively, likely resulting in IE1 aberrant cellular localization, IE1 instability, and functional impairment of IE1 to interfere with the JAK-STAT signaling pathway. Furthermore, GrB and GrM cleave IE2 after Asp184 and Leu173, respectively, resulting in IE2 aberrant cellular localization and functional abolishment of IE2 to transactivate the HCMV UL112 early promoter. Taken together, our data indicate that cytotoxic lymphocytes can also employ noncytotoxic ways to control HCMV infection, which may be explained by granzyme-mediated targeting of indispensable viral proteins during lytic infection

Quality of life in men and women with heart failure:association with outcome, and comparison between the Kansas City Cardiomyopathy questionnaire and the EuroQol 5 dimensions questionnaire

Aims We sought to analyse quality of life (QoL) measures derived from two questionnaires widely used in clinical trials, the Kansas City Cardiomyopathy Questionnaire (KCCQ) and the EuroQoL 5 dimensions (EQ-5D), and to compare their prognostic value in men and women with heart failure and reduced ejection fraction (HFrEF). Methods and results From the BIOlogy Study to TAilored Treatment in Chronic Heart Failure (BIOSTAT-CHF) we compared KCCQ and EQ-5D at baseline and after 9 months in 1276 men and 373 women with new-onset or worsening symptoms of HFrEF, who were sub-optimally treated and in whom there was an anticipated up-titration of guideline-derived medical therapies. Women had significantly worse baseline QoL (median) as compared with men, both when assessed with KCCQ overall score (KCCQ-OS, 44 vs. 53, P 0.2). Conclusion Amongst patients with HFrEF, women reported significantly worse QoL than men. QoL was independently associated with subsequent outcome, similarly in men and women. The KCCQ in general, and the KCCQ-OS in particular, showed the strongest independent association with outcome.publishedVersio

Ethnic differences in atrial fibrillation among patients with heart failure in Asia

Aims We aimed to characterize ethnic differences in prevalence, clinical correlates, and outcomes of atrial fibrillation (AF) in heart failure (HF) with preserved and reduced ejection fraction (HFpEF and HFrEF) across Asia. Methods and results Among 5504 patients with HF prospectively recruited across 11 Asian regions using identical protocols in the Asian Sudden Cardiac Death in Heart Failure study (mean age 61 +/- 13 years, 27% women, 83% HFrEF), 1383 (25%) had AF defined as a history of AF and/or AF/flutter on baseline electrocardiogram. Clinical correlates of AF were similar across ethnicities and included older age, prior stroke, higher NT-proBNP, and larger left atria. Diabetes was associated with lower odds of AF in HFrEF [adjusted odds ratio (AOR) 0.79, 95% CI 0.66-0.95] and HFpEF (AOR 0.58, 95% CI 0.39-0.84) regardless of ethnicity. Compared with Chinese ethnicity, Japanese/Koreans had higher odds of AF in HFrEF (AOR 1.76, 95% CI 1.40-2.21), while Indians had lower odds in HFrEF (AOR 0.18, 95% CI 0.13-0.24) and HFpEF (AOR 0.28, 95% CI 0.16-0.49) even after adjusting for clinical covariates. Interaction between ethnicity and region was observed among Indians, with Southeast Asian Indians having higher odds of AF (AOR 3.01, 95% CI 1.60-5.67) compared with South Asian Indians. AF was associated with poorer quality of life and increased risk of 1 year all-cause mortality or HF hospitalisation (adjusted hazard ratio 1.39, 95% CI 1.18-1.63) regardless of ethnicity. Conclusions Among patients with HF across Asia, clinical correlates and adverse outcomes associated with AF are similar across ethnicities; however, there are striking ethnic variations in the prevalence of AF that are not accounted for by known risk factors

Distinct pathophysiological pathways in women and men with heart failure

Aims: Clinical differences between women and men have been described in heart failure (HF). However, less is known about the underlying pathophysiological mechanisms. In this study, we compared multiple circulating biomarkers to gain better insights into differential HF pathophysiology between women and men. Methods and Results: In 537 women and 1485 men with HF, we compared differential expression of a panel of 363 biomarkers. Then, we performed a pathway over-representation analysis to identify differential biological pathways in women and men. Findings were validated in an independent HF cohort (575 women, 1123 men). In both cohorts, women were older and had higher ejection fraction (LVEF). In the index and validation cohorts respectively, we found 14/363 and 12/363 biomarkers that were relatively up-regulated in women, while 21/363 and 14/363 were up-regulated in men. In both cohorts, the strongest up-regulated biomarkers in women were leptin and fatty acid binding protein-4, compared to matrix metalloproteinase-3 in men. Similar findings were replicated in a subset of patients from both cohorts matched by age and LVEF. Pathway over-representation analysis revealed increased activity of pathways associated with lipid metabolism in women, and neuroinflammatory response in men (all p < 0.0001). Conclusion: In two independent cohorts of HF patients, biomarkers associated with lipid metabolic pathways were observed in women, while biomarkers associated with neuro-inflammatory response were more active in men. Differences in inflammatory and metabolic pathways may contribute to sex differences in clinical phenotype observed in HF, and provide useful insights towards development of tailored HF therapies