Worker/wrapper/makes it/faster

Much research in program optimization has focused on formal approaches to correctness: proving that the meaning of programs is preserved by the optimisation. Paradoxically, there has been comparatively little work on formal approaches to efficiency: proving that the performance of optimized programs is actually improved. This paper addresses this problem for a general-purpose optimization technique, the worker/wrapper transformation. In particular, we use the call-by-need variant of improvement theory to establish conditions under which the worker/wrapper transformation is formally guaranteed to preserve or improve the time performance of programs in lazy languages such as Haskell

People with Long COVID and Myalgic Encephalomyelitis/Chronic Fatigue Syndrome (ME/CFS) exhibit similarly impaired vascular function

Background This study aimed to compare flow-mediated dilation values between individuals with long COVID, individuals with myalgic encephalomyelitis/chronic fatigue syndrome (ME/CFS), and healthy age-matched controls to assess the potential implications for clinical management and long-term health outcomes. Methods A case-case-control approach was employed, and flow-mediated dilation measurements were obtained from 51 participants (17 long COVID patients, 17 ME/CFS patients, and 17 healthy age-matched controls). Flow-mediated dilation values were analyzed using 1-way analysis of variance for between-group comparisons. Results Results revealed significantly impaired endothelial function in both long COVID and ME/CFS groups compared with healthy age-matched controls as determined by maximum % brachial artery diameter post-occlusion compared with pre-occlusion resting diameter (6.99 ± 4.33% and 6.60 ± 3.48% vs 11.30 ± 4.44%, respectively, both P < .05). Notably, there was no difference in flow-mediated dilation between long COVID and ME/CFS groups (P = .949), despite significantly longer illness duration in the ME/CFS group (ME/CFS: 16 ± 11.15 years vs long COVID: 1.36 ± 0.51 years, P < .0001). Conclusion The study demonstrates that both long COVID and ME/CFS patients exhibit similarly impaired endothelial function, indicating potential vascular involvement in the pathogenesis of these post-viral illnesses. The significant reduction in flow-mediated dilation values suggests an increased cardiovascular risk in these populations, warranting careful monitoring and the development of targeted interventions to improve endothelial function and mitigate long-term health implications

Concentric and Eccentric Remodelling of the Left Ventricle and Its Association to Function in the Male Athletes Heart: An Exploratory Study

Aims To compare (1) conventional left ventricular (LV) functional parameters, (2) LV peak strain and strain rate and (3) LV temporal strain and strain rate curves in age, ethnicity and sport-matched athletes with concentric, eccentric and normal LV geometry.Methods Forty-five male athletes were categorised according to LV geometry including concentric remodelling/hypertrophy (CON), eccentric hypertrophy (ECC) or normal (NORM). Athletes were evaluated using conventional echocardiography and myocardial speck tracking, allowing the assessment of myocardial strain and strain rate; as well as twist mechanics. Results Concentric remodelling was associated with an increased ejection fraction (EF) compared to normal geometry athletes (64% (48-78%) and 56% (50-65%), respectively; p < 0.04). No differences in peak myocardial strain or strain rate were present between LV geometry groups including global longitudinal strain (GLS; CON -16.9% (-14.9-20.6%); ECC -17.9% (-13.0-22.1%); NORM -16.9% (-12.8-19.4%)), global circumferential strain (GCS; CON -18.1% (-13.5-24.5%); ECC -18.7% (-15.6-22.4%); NORM -18.0% (-13.5-19.7%)), global radial strain (GRS; CON 42.2% (30.3-70.5%); ECC 50.0% (39.2-60.0%); NORM 40.6 (29.9-57.0%)) and twist (CON 14.9° (3.7-25.3°); ECC 12.5° (6.3-20.8°); NORM 13.2° (8.8-24.2°)). Concentric and eccentric remodelling was associated with alterations in temporal myocardial strain and strain rate as compared to normal geometry athletes. Conclusion Physiological concentric and eccentric remodelling in the athletes heart is generally associated with normal LV function; with concentric remodelling associated with an increased EF. Physiological concentric and eccentric remodelling in the athletes heart has no effect on peak myocardial strain but superior deformation and untwisting is unmasked when assessing the temporal distribution

Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs

A benefit of pure functional programming is that it encourages equational reasoning. However, the Haskell language has lacked direct tool support for such reasoning. Consequently, reasoning about Haskell programs is either performed manually, or in another language that does provide tool support (e.g. Agda or Coq). HERMIT is a Haskell-specific toolkit designed to support equational reasoning and user-guided program transformation, and to do so as part of the GHC compilation pipeline. This paper describes HERMIT’s recently developed support for equational reasoning, and presents two case studies of HERMIT usage: checking that type-class laws hold for specific instance declarations, and mechanising textbook equational reasoning

The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs

The importance of reasoning about and refactoring programs is a central tenet of functional programming. Yet our compilers and development toolchains only provide rudimentary support for these tasks. This paper introduces a programmatic and compiler-centric interface that facilitates refactoring and equational reasoning. To develop our ideas, we have implemented HERMIT, a toolkit enabling informal but systematic transformation of Haskell programs from inside the Glasgow Haskell Compiler’s optimization pipeline. With HERMIT, users can experiment with optimizations and equational reasoning, while the tedious heavy lifting of performing the actual transformations is done for them. HERMIT provides a transformation API that can be used to build higher-level rewrite tools. One use-case is prototyping new optimizations as clients of this API before being committed to the GHC toolchain. We describe a HERMIT application - a read-eval-print shell for performing transformations using HERMIT. We also demonstrate using this shell to prototype an optimization on a specific example, and report our initial experiences and remaining challenges

People With Long COVID and Myalgic Encephalomyelitis/Chronic Fatigue Syndrome (ME/CFS) Exhibit Similarly Impaired Vascular Function.

This study aimed to compare flow-mediated dilation values between individuals with Long COVID, Myalgic Encephalomyelitis/Chronic Fatigue Syndrome (ME/CFS), and healthy age-matched controls to assess the potential implications for clinical management and long-term health outcomes. A case-case-control approach was employed, and flow-mediated dilation measurements were obtained from 51 participants (17 Long COVID patients, 17 ME/CFS patients, and 17 healthy age-matched controls). Flow-mediated dilation values were analysed using one-way ANOVA for between-group comparisons. Results revealed significantly impaired endothelial function in both Long COVID and ME/CFS groups compared to healthy age-matched controls as determined by maximum % brachial artery diameter post-occlusion compared to pre-occlusion resting diameter (6.99 ± 4.33% and 6.60 ± 3.48% vs. 11.30 ± 4.44%, respectively, both p < 0.05). Notably, there was no difference in flow-mediated dilation between Long COVID and ME/CFS groups (p = 0.949), despite significantly longer illness duration in the ME/CFS group (ME/CFS: 16 ± 11.15 years vs. Long COVID: 1.36 ± 0.51 years, p < 0.0001). The study demonstrates that both Long COVID and ME/CFS patients exhibit similarly impaired endothelial function, indicating potential vascular involvement in the pathogenesis of these post-viral illnesses. The significant reduction in flow-mediated dilation values suggests an increased cardiovascular risk in these populations, warranting careful monitoring and the development of targeted interventions to improve endothelial function and mitigate long-term health implications. [Abstract copyright: Copyright © 2023. Published by Elsevier Inc.

Post-Traumatic Stress Disorder and Complex Post-Traumatic Stress Disorder in people with long COVID, ME/CFS, and controls.

Prevalences of Post-Traumatic Stress Disorder (PTSD) and Complex Post-Traumatic Stress Disorder (CPTSD) have not previously been compared between individuals with long COVID and individuals with Myalgic Encephalomyelitis/ Chronic Fatigue Syndrome (ME/CFS), and healthy age-matched controls. For these reasons, this study aimed to determine the prevalence of PTSD and CPTSD in individuals with long COVID (n=21) and ME/CFS (n=20) and age-matched controls (n=20). A case-case-control approach was employed, participants completed the International Trauma Questionnaire (ITQ), a self-report measure of the International Classification of Diseases (ICD-11) of PTSD and CPTSD consisting of 18 items. Scores were calculated for each PTSD and Disturbances in Self-Organization (DSO) symptom cluster and summed to produce PTSD and DSO scores. PTSD was diagnosed if the criteria for PTSD were met but not DSO, and CPTSD was diagnosed if the criteria for PTSD and DSO were met. Moreover, each cluster of PTSD and DSO were compared among individuals with long COVID, ME/CFS and healthy controls. Individuals with long COVID (PTSD= 5%, CPTSD= 33%) had more prevalence of PTSD and CPTSD than individuals with ME/CFS (PTSD= 0%, CPTSD= 20%) and healthy controls (PTSD= 0%, CPTSD= 0%). PTSD and CPTSD prevalence was greater in individuals with long COVID and ME/CFS than controls. Individuals with long COVID had greater values controls for all PTSD values. Moreover, individuals with long COVID had greater values than controls for all DSO values. Individuals with ME/CFS had greater values than controls for all DSO values. Both long COVID and ME/CFS groups differed in overall symptom scores compared to controls. Findings of this study demonstrated that individuals with long COVID generally had more cases of PTSD and CPTSD than individuals with ME/CFS and healthy controls. [Abstract copyright: Copyright © 2023. Published by Elsevier Inc.

Salivary nitrite production is elevated in individuals with a higher abundance of oral nitrate-reducing bacteria

Nitric oxide (NO) can be generated endogenously via NO synthases or via the diet following the action of symbiotic nitrate-reducing bacteria in the oral cavity. Given the important role of NO in smooth muscle control there is an intriguing suggestion that cardiovascular homeostasis may be intertwined with the presence of these bacteria. Here, we measured the abundance of nitrate-reducing bacteria in the oral cavity of 25 healthy humans using 16S rRNA sequencing and observed, for 3.5?h, the physiological responses to dietary nitrate ingestion via measurement of blood pressure, and salivary and plasma NO metabolites. We identified 7 species of bacteria previously known to contribute to nitrate-reduction, the most prevalent of which were Prevotella melaninogenica and Veillonella dispar. Following dietary nitrate supplementation, blood pressure was reduced and salivary and plasma nitrate and nitrite increased substantially. We found that the abundance of nitrate-reducing bacteria was associated with the generation of salivary nitrite but not with any other measured variable. To examine the impact of bacterial abundance on pharmacokinetics we also categorised our participants into two groups; those with a higher abundance of nitrate reducing bacteria (> 50%), and those with a lower abundance (< 50%). Salivary nitrite production was lower in participants with lower abundance of bacteria and these individuals also exhibited slower salivary nitrite pharmacokinetics. We therefore show that the rate of nitrate to nitrite reduction in the oral cavity is associated with the abundance of nitrate-reducing bacteria. Nevertheless, higher abundance of these bacteria did not result in an exaggerated plasma nitrite response, the best known marker of NO bioavailability. These data from healthy young adults suggest that the abundance of oral nitrate-reducing bacteria does not influence the generation of NO through the diet, at least when the host has a functional minimum threshold of these microorganisms

Monocot plastid phylogenomics, timeline, net rates of species diversification, the power of multiâ gene analyses, and a functional model for the origin of monocots

Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/146610/1/ajb21178-sup-0009-AppendixS9.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/146610/2/ajb21178-sup-0020-AppendixS20.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/146610/3/ajb21178.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/146610/4/ajb21178-sup-0019-AppendixS19.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/146610/5/ajb21178-sup-0010-AppendixS10.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/146610/6/ajb21178-sup-0002-AppendixS2.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/146610/7/ajb21178-sup-0006-AppendixS6.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/146610/8/ajb21178-sup-0012-AppendixS12.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/146610/9/ajb21178-sup-0017-AppendixS17.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/146610/10/ajb21178-sup-0007-AppendixS7.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/146610/11/ajb21178-sup-0001-AppendixS1.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/146610/12/ajb21178-sup-0003-AppendixS3.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/146610/13/ajb21178-sup-0016-AppendixS16.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/146610/14/ajb21178_am.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/146610/15/ajb21178-sup-0008-AppendixS8.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/146610/16/ajb21178-sup-0004-AppendixS4.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/146610/17/ajb21178-sup-0018-AppendixS18.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/146610/18/ajb21178-sup-0014-AppendixS14.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/146610/19/ajb21178-sup-0011-AppendixS11.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/146610/20/ajb21178-sup-0005-AppendixS5.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/146610/21/ajb21178-sup-0015-AppendixS15.pd