QStream: A Suite of Streams

We present a simple tool in Haskell, QStream, implementing the technique of coinductive counting by making use of Haskell's built-in coinduction capabilities. We furthermore provide a number of useful tools for stream exploration, including a number of pretty print functions and integration with the Online Encyclopedia of Integer Sequences

Context-free Coalgebras

In this article, we provide a coalgebraic account of parts of the mathematical theory underlying context-free languages. We characterize context-free languages, and power series and streams generalizing or corresponding to the context-free languages, by means of systems of behavioural differential equations; and prove a number of results, some of which are new, and some of which are new proofs of existing theorems, using the techniques of bisimulation and bisimulation up to linear combinations. Furthermore, we establish a link between automatic sequences and these systems of equations, allowing us to, given an automaton generating an automatic sequence, easily construct a system of behavioural differential equations yielding this sequence as a context-free stream

Context-free languages, coalgebraically

We give a coalgebraic account of context-free languages using the functor ${\cal D}(X) = 2 \times X^A$ for deterministic automata over an alphabet $A$, in three different but equivalent ways: (i) by viewing context-free grammars as ${\cal D}$-coalgebras; (ii) by defining a format for behavioural differential equations (w.r.t. ${\cal D}$) for which the unique solutions are precisely the context-free languages; and (iii) as the ${\cal D}$-coalgebra of generalized regular expressions in which the Kleene star is replaced by a unique fixed point operator. In all cases, semantics is defined by the unique homomorphism into the final coalgebra of all languages, thus paving the way for coinductive proofs of context-free language equivalence. Furthermore, the three characterizations are elementary to the extent that they can serve as the basis for the definition of a general coalgebraic notion of context-freeness, which we see as the ultimate long-term goal of the present study

Efficacy of a loading dose of IV salbutamol in children with severe acute asthma admitted to a PICU:a randomized controlled trial

The optimal dose regimen for intravenous (IV) treatment in children with severe acute asthma (SAA) is still a matter of debate. We assessed the efficacy of adding a salbutamol loading dose to continuous infusion with salbutamol in children admitted to a pediatric intensive care unit (PICU) with SAA. This multicentre, placebo-controlled randomized trial in the PICUs of four tertiary care children’s hospitals included children (2–18 years) with SAA admitted between 2017 and 2019. Children were randomized to receive either a loading dose IV salbutamol (15 mcg/kg, max. 750 mcg) or normal saline while on continuous salbutamol infusion. The primary outcome was the asthma score (Qureshi) 1 h after the intervention. Analysis of covariance models was used to evaluate sensitivity to change in asthma scores. Serum concentrations of salbutamol were obtained. Fifty-eight children were included (29 in the intervention group). Median baseline asthma score was 12 (IQR 10–13) in the intervention group and 11 (9–12) in the control group (p = 0.032). The asthma score 1 h after the intervention did not differ significantly between the groups (p = 0.508, β-coefficient = 0.283). The median increase in salbutamol plasma levels 10 min after the intervention was 13 μg/L (IQR 5–24) in the intervention group and 4 μg/L (IQR 0–7) in the control group (p = 0.001). Side effects were comparable between both groups. Conclusion: We found no clinical benefit of adding a loading dose IV salbutamol to continuous infusion of salbutamol, in children admitted to the PICU with SAA. Clinically significant side effects from the loading dose were not encountered.What is Known:• Pediatric asthma guidelines struggle with an evidence-based approach for the treatment of SAA beyond the initial steps of oxygen suppletion, repetitive administration of inhaled β2-agonists, and systemic steroids.• During an SAA episode, effective delivery of inhaled drugs is unpredictable due to severe airway obstruction.What is New:• This study found no beneficial effect of an additional loading dose IV salbutamol in children admitted to the PICU.• This study found no clinically significant side effects from the loading dose

Hypertensive response to exercise in adult patients with repaired aortic coarctation

OBJECTIVE: The clinical and prognostic implications of a hypertensive response to exercise after repair of coarctation of the aorta (CoA) remain controversial. We aimed to determine the prevalence of a hypertensive response to exercise, identify factors associated with peak exercise systolic blood pressure (SBP) and explore the association of peak exercise SBP with resting blood pressure and cardiovascular events during follow-up. METHODS: From the Dutch national CONgenital CORvitia (CONCOR) registry, adults with repaired CoA who underwent exercise stress testing were included. A hypertensive response to exercise was defined as a peak exercise SBP ≥210 mm Hg in men and ≥190 mm Hg in women. Cardiovascular events consisted of coronary artery disease, stroke, aortic complications and cardiovascular death. RESULTS: Of the original cohort of 920 adults with repaired CoA, 675 patients (median age 24 years (range 16-72 years)) underwent exercise stress testing. Of these, 299 patients (44%) had a hypertensive response to exercise. Mean follow-up duration was 10.1 years. Male sex, absence of a bicuspid aortic valve and elevated resting SBP were independently associated with increased peak exercise SBP. Peak exercise SBP was positively predictive of office SBP (β=0.11, p<0.001) and 24-hour SBP (β=0.05, p=0.03) at follow-up, despite correction for baseline SBP. During follow-up, 100 patients (15%) developed at least 1 cardiovascular event. Peak exercise SBP was not significantly associated with the occurrence of cardiovascular events (HR 0.994 (95% CI 0.987 to 1.001), p=0.11). CONCLUSIONS: A hypertensive response to exercise was present in nearly half of the patients in this large, prospective cohort of adults with repaired CoA. Risk factors for increased peak exercise SBP were male sex, absence of a bicuspid aortic valve and elevated resting SBP. Increased peak exercise SBP independently predicted hypertension at follow-up. These results support close follow-up of patients with a hypertensive response to exercise to ensure timely diagnosis and treatment of future hypertension

Cardiovascular morbidity and mortality in adult patients with repaired aortic coarctation

BACKGROUND: The long‐term burden of cardiovascular disease after repair of coarctation of the aorta (CoA) has not been elucidated. We aimed to determine the incidence of and risk factors for cardiovascular events in adult patients with repaired CoA. Additionally, mortality rates were compared between adults with repaired CoA and the general population. METHODS AND RESULTS: Using the Dutch Congenital Corvitia (CONCOR) registry, patients aged ≥16 years with previous surgical or transcatheter CoA repair from 5 tertiary referral centers were included. Cardiovascular events were recorded, comprising coronary artery disease, stroke/transient ischemic attack, aortic complications, arrhythmias, heart failure hospitalizations, endocarditis, and cardiovascular death. In total, 920 patients (median age, 24 years [range 16–74 years]) were included. After a mean follow‐up of 9.3±5.1 years, 191 patients (21%) experienced at least 1 cardiovascular event. A total of 270 cardiovascular events occurred, of which aortic complications and arrhythmias were most frequent. Older age at initial CoA repair (hazard ratio [HR], 1.017; 95% CI, 1.000–1.033 [P=0.048]) and elevated left ventricular mass index (HR, 1.009; 95% CI, 1.005–1.013 [P<0.001]) were independently associated with an increased risk of cardiovascular events. The mortality rate was 3.3 times higher than expected based on an age‐ and sex‐matched cohort from the Dutch general population (standardized mortality ratio, 3.3; 95% CI, 2.3–4.4 [P<0.001]). CONCLUSIONS: This large, prospective cohort of adults with repaired CoA showed a high burden of cardiovascular events, particularly aortic complications and arrhythmias, during long‐term follow‐up. Older age at initial CoA repair and elevated left ventricular mass index were independent risk factors for the occurrence of cardiovascular events. Mortality was 3.3‐fold higher compared with the general population. These results advocate stringent follow‐up after CoA repair and emphasize the need for improved preventive strategies

Mutations in the histone methyltransferase gene KMT2B cause complex early-onset dystonia.

Histone lysine methylation, mediated by mixed-lineage leukemia (MLL) proteins, is now known to be critical in the regulation of gene expression, genomic stability, cell cycle and nuclear architecture. Despite MLL proteins being postulated as essential for normal development, little is known about the specific functions of the different MLL lysine methyltransferases. Here we report heterozygous variants in the gene KMT2B (also known as MLL4) in 27 unrelated individuals with a complex progressive childhood-onset dystonia, often associated with a typical facial appearance and characteristic brain magnetic resonance imaging findings. Over time, the majority of affected individuals developed prominent cervical, cranial and laryngeal dystonia. Marked clinical benefit, including the restoration of independent ambulation in some cases, was observed following deep brain stimulation (DBS). These findings highlight a clinically recognizable and potentially treatable form of genetic dystonia, demonstrating the crucial role of KMT2B in the physiological control of voluntary movement.Funding for the project was provided by the Wellcome Trust for UK10K (WT091310) and DDD Study. The DDD study presents independent research commissioned by the Health Innovation Challenge Fund [grant number HICF-1009-003] - see www.ddduk.org/access.html for full acknowledgement. This work was supported in part by the Intramural Research Program of the National Human Genome Research Institute and the Common Fund, NIH Office of the Director. This work was supported in part by the German Ministry of Research and Education (grant nos. 01GS08160 and 01GS08167; German Mental Retardation Network) as part of the National Genome Research Network to A.R. and D.W. and by the Deutsche Forschungsgemeinschaft (AB393/2-2) to A.R. Brain expression data was provided by the UK Human Brain Expression Consortium (UKBEC), which comprises John A. Hardy, Mina Ryten, Michael Weale, Daniah Trabzuni, Adaikalavan Ramasamy, Colin Smith and Robert Walker, affiliated with UCL Institute of Neurology (J.H., M.R., D.T.), King’s College London (M.R., M.W., A.R.) and the University of Edinburgh (C.S., R.W.)