On the relative expressiveness of higher-order session processes

By integrating constructs from the λ-calculus and the π-calculus, in higher-order process calculi exchanged values may contain processes. This paper studies the relative expressiveness of HOπ, the higher-order π-calculus in which communications are governed by session types. Our main discovery is that HO, a subcalculus of HOπ which lacks name-passing and recursion, can serve as a new core calculus for session-typed higher-order concurrency. By exploring a new bisimulation for HO, we show that HO can encode HOπ fully abstractly (up to typed contextual equivalence) more precisely and efficiently than the first-order session π-calculus (π). Overall, under session types, HOπ, HO, and π are equally expressive; however, HOπ and HO are more tightly related than HOπ and π

Genetic variability in the absorption of dietary sterols affects the risk of coronary artery disease

AIMS: To explore whether variability in dietary cholesterol and phytosterol absorption impacts the risk of coronary artery disease (CAD) using as instruments sequence variants in the ABCG5/8 genes, key regulators of intestinal absorption of dietary sterols. METHODS AND RESULTS: We examined the effects of ABCG5/8 variants on non-high-density lipoprotein (non-HDL) cholesterol (N up to 610 532) and phytosterol levels (N = 3039) and the risk of CAD in Iceland, Denmark, and the UK Biobank (105 490 cases and 844 025 controls). We used genetic scores for non-HDL cholesterol to determine whether ABCG5/8 variants confer greater risk of CAD than predicted by their effect on non-HDL cholesterol. We identified nine rare ABCG5/8 coding variants with substantial impact on non-HDL cholesterol. Carriers have elevated phytosterol levels and are at increased risk of CAD. Consistent with impact on ABCG5/8 transporter function in hepatocytes, eight rare ABCG5/8 variants associate with gallstones. A genetic score of ABCG5/8 variants predicting 1 mmol/L increase in non-HDL cholesterol associates with two-fold increase in CAD risk [odds ratio (OR) = 2.01, 95% confidence interval (CI) 1.75-2.31, P = 9.8 × 10-23] compared with a 54% increase in CAD risk (OR = 1.54, 95% CI 1.49-1.59, P = 1.1 × 10-154) associated with a score of other non-HDL cholesterol variants predicting the same increase in non-HDL cholesterol (P for difference in effects = 2.4 × 10-4). CONCLUSIONS: Genetic variation in cholesterol absorption affects levels of circulating non-HDL cholesterol and risk of CAD. Our results indicate that both dietary cholesterol and phytosterols contribute directly to atherogenesis

Changes over time in characteristics, resource use and outcomes among ICU patients with COVID-19-A nationwide, observational study in Denmark

BACKGROUND: Characteristics and care of intensive care unit (ICU) patients with COVID‐19 may have changed during the pandemic, but longitudinal data assessing this are limited. We compared patients with COVID‐19 admitted to Danish ICUs in the first wave with those admitted later. METHODS: Among all Danish ICU patients with COVID‐19, we compared demographics, chronic comorbidities, use of organ support, length of stay and vital status of those admitted 10 March to 19 May 2020 (first wave) versus 20 May 2020 to 30 June 2021. We analysed risk factors for death by adjusted logistic regression analysis. RESULTS: Among all hospitalised patients with COVID‐19, a lower proportion was admitted to ICU after the first wave (13% vs. 8%). Among all 1374 ICU patients with COVID‐19, 326 were admitted during the first wave. There were no major differences in patient's characteristics or mortality between the two periods, but use of invasive mechanical ventilation (81% vs. 58% of patients), renal replacement therapy (26% vs. 13%) and ECMO (8% vs. 3%) and median length of stay in ICU (13 vs. 10 days) and in hospital (20 vs. 17 days) were all significantly lower after the first wave. Risk factors for death were higher age, larger burden of comorbidities (heart failure, pulmonary disease and kidney disease) and active cancer, but not admission during or after the first wave. CONCLUSIONS: After the first wave of COVID‐19 in Denmark, a lower proportion of hospitalised patients with COVID‐19 were admitted to ICU. Among ICU patients, use of organ support was lower and length of stay was reduced, but mortality rates remained at a relatively high level