Comparing Two Approaches to Include Stochasticity in Hybrid Automata

Different stochastic extensions of hybrid automata have been proposed in the past, with unclear expressivity relations between them. To structure and relate these modeling languages, in this paper we formalize two alternative approaches to extend hybrid automata with stochastic choices of discrete events and their time points. The first approach, which we call decomposed scheduling, adds stochasticity via stochastic races, choosing random time points for the possible discrete events and executing a winner with an earliest time. In contrast, composed scheduling first samples the time point of the next event and then the event to be executed at the sampled time point. We relate the two approaches regarding their expressivity and categorize available stochastic extensions of hybrid automata from the literature.Comment: This paper is accepted for publication (without appendix) in the Proceedings of the 2023 International Conference on Quantitative Evaluation of Systems (QEST). The appendix was part of the submission and provides additional material which is not included in the QEST publicatio

Impact of cholesterol on proinflammatory monocyte production by the bone marrow.

AIM: Preclinical work indicates that low-density lipoprotein cholesterol (LDL-C) not only drives atherosclerosis by directing the innate immune response at plaque level but also augments proinflammatory monocyte production in the bone marrow (BM) compartment. In this study, we aim to unravel the impact of LDL-C on monocyte production in the BM compartment in human subjects. METHODS AND RESULTS: A multivariable linear regression analysis in 12 304 individuals of the EPIC-Norfolk prospective population study showed that LDL-C is associated with monocyte percentage (β = 0.131 [95% CI: 0.036-0.225]; P = 0.007), at the expense of granulocytes (β = -0.876 [95% CI: -1.046 to -0.705]; P < 0.001). Next, we investigated whether altered haematopoiesis could explain this monocytic skewing by characterizing CD34+ BM haematopoietic stem and progenitor cells (HSPCs) of patients with familial hypercholesterolaemia (FH) and healthy normocholesterolaemic controls. The HSPC transcriptomic profile of untreated FH patients showed increased gene expression in pathways involved in HSPC migration and, in agreement with our epidemiological findings, myelomonocytic skewing. Twelve weeks of cholesterol-lowering treatment reverted the myelomonocytic skewing, but transcriptomic enrichment of monocyte-associated inflammatory and migratory pathways persisted in HSPCs post-treatment. Lastly, we link hypercholesterolaemia to perturbed lipid homeostasis in HSPCs, characterized by lipid droplet formation and transcriptomic changes compatible with increased intracellular cholesterol availability. CONCLUSIONS: Collectively, these data highlight that LDL-C impacts haematopoiesis, promoting both the number and the proinflammatory activation of circulating monocytes. Furthermore, this study reveals a potential contributory role of HSPC transcriptomic reprogramming to residual inflammatory risk in FH patients despite cholesterol-lowering therapy

Gene therapy for aromatic L-amino acid decarboxylase deficiency: Requirements for safe application and knowledge-generating follow-up

The autosomal recessive defect of aromatic L-amino acid decarboxylase (AADC) leads to a severe neurological disorder with manifestation in infancy due to a pronounced, combined deficiency of dopamine, serotonin and catecholamines. The success of conventional drug treatment is very limited, especially in patients with a severe phenotype. The development of an intracerebral AAV2-based gene delivery targeting the putamen or substantia nigra started more than 10 years ago. Recently, the putaminally-delivered construct, Eladocagene exuparvovec has been approved by the European Medicines Agency and by the British Medicines and Healthcare products Regulatory Agency. This now available gene therapy provides for the first time also for AADC deficiency (AADCD) a causal therapy, leading this disorder into a new therapeutic era. By using a standardized Delphi approach members of the International Working Group on Neurotransmitter related Disorders (iNTD) developed structural requirements and recommendations for the preparation, management and follow-up of AADC deficiency patients who undergo gene therapy. This statement underlines the necessity of a framework for a quality-assured application of AADCD gene therapy including Eladocagene exuparvovec. Treatment requires prehospital, inpatient and posthospital care by a multidisciplinary team in a specialized and qualified therapy center. Due to lack of data on long-term outcomes and the comparative efficacy of alternative stereotactic procedures and brain target sites, a structured follow-up plan and systematic documentation of outcomes in a suitable, industry-independent registry study are necessary

Biallelic variants in FLII cause pediatric cardiomyopathy by disrupting cardiomyocyte cell adhesion and myofibril organization

Pediatric cardiomyopathy (CM) represents a group of rare, severe disorders that affect the myocardium. To date, the etiology and mechanisms underlying pediatric CM are incompletely understood, hampering accurate diagnosis and individualized therapy development. Here, we identified biallelic variants in the highly conserved flightless-I (FLII) gene in 3 families with idiopathic, early-onset dilated CM. We demonstrated that patient-specific FLII variants, when brought into the zebrafish genome using CRISPR/Cas9 genome editing, resulted in the manifestation of key aspects of morphological and functional abnormalities of the heart, as observed in our patients. Importantly, using these genetic animal models, complemented with in-depth loss-of-function studies, we provided insights into the function of Flii during ventricular chamber morphogenesis in vivo, including myofibril organization and cardiomyocyte cell adhesion, as well as trabeculation. In addition, we identified Flii function to be important for the regulation of Notch and Hippo signaling, crucial pathways associated with cardiac morphogenesis and function. Taken together, our data provide experimental evidence for a role for FLII in the pathogenesis of pediatric CM and report biallelic variants as a genetic cause of pediatric CM.</p

Kinetic properties and small-molecule inhibition of human myosin-6.

Myosin-6 is an actin-based motor protein that moves its cargo towards the minus-end of actin filaments. Mutations in the gene encoding the myosin-6 heavy chain and changes in the cellular abundance of the protein have been linked to hypertrophic cardiomyopathy, neurodegenerative diseases, and cancer. Here, we present a detailed kinetic characterization of the human myosin-6 motor domain, describe the effect of 2,4,6-triiodophenol on the interaction of myosin-6 with F-actin and nucleotides, and show how addition of the drug reduces the number of myosin-6-dependent vesicle fusion events at the plasma membrane during constitutive secretion

KCNQ2 R144 variants cause neurodevelopmental disability with language impairment and autistic features without neonatal seizures through a gain-of-function mechanism

Prior studies have revealed remarkable phenotypic heterogeneity in KCNQ2-related disorders, correlated with effects on biophysical features of heterologously expressed channels. Here, we assessed phenotypes and functional properties associated with KCNQ2 missense variants R144W, R144Q, and R144G. We also explored in vitro blockade of channels carrying R144Q mutant subunits by amitriptyline

Gene-based analysis of regulatory variants identifies 4 putative novel asthma risk genes related to nucleotide synthesis and signaling

Background Hundreds of genetic variants are thought to contribute to variation in asthma risk by modulating gene expression. Methods that increase the power of genome-wide association studies (GWASs) to identify risk-associated variants are needed. Objective We sought to develop a method that aggregates the evidence for association with disease risk across expression quantitative trait loci (eQTLs) of a gene and use this approach to identify asthma risk genes. Methods We developed a gene-based test and software package called EUGENE that (1) is applicable to GWAS summary statistics; (2) considers both cis- and trans-eQTLs; (3) incorporates eQTLs identified in different tissues; and (4) uses simulations to account for multiple testing. We applied this approach to 2 published asthma GWASs (combined n\ua0=\ua046,044) and used mouse studies to provide initial functional insights into 2 genes with novel genetic associations. Results We tested the association between asthma and 17,190 genes that were found to have cis- and/or trans-eQTLs across 16 published eQTL studies. At an empirical FDR of 5%, 48 genes were associated with asthma risk. Of these, for 37, the association was driven by eQTLs located in established risk loci for allergic disease, including 6 genes not previously implicated in disease cause (eg, LIMS1, TINF2, and SAFB). The remaining 11 significant genes represent potential novel genetic associations with asthma. The association with 4 of these replicated in an independent GWAS: B4GALT3, USMG5, P2RY13, and P2RY14, which are genes involved in nucleotide synthesis or nucleotide-dependent cell activation. In mouse studies, P2ry13 and P2ry14—purinergic receptors activated by adenosine 5-diphosphate and UDP-sugars, respectively—were upregulated after allergen challenge, notably in airway epithelial cells, eosinophils, and neutrophils. Intranasal exposure with receptor agonists induced the release of IL-33 and subsequent eosinophil infiltration into the lungs. Conclusion We identified novel associations between asthma and eQTLs for 4 genes related to nucleotide synthesis/signaling and demonstrated the power of gene-based analyses of GWASs

Potential Genetic Overlap Between Insomnia and Sleep Symptoms in Major Depressive Disorder: A Polygenic Risk Score Analysis

Background: The prevalence of insomnia and hypersomnia in depressed individuals is substantially higher than that found in the general population. Unfortunately, these concurrent sleep problems can have profound effects on the disease course. Although the full biology of sleep remains to be elucidated, a recent genome-wide association (GWAS) of insomnia, and other sleep traits in over 1 million individuals was recently published and provides many promising hits for genetics of insomnia in a population-based sample. Methods: Using data from the largest available GWAS of insomnia and other sleep traits, we sought to test if sleep variable PRS scores derived from population-based studies predicted sleep variables in samples of depressed cases [Psychiatric Genomics Consortium - Major Depressive Disorder subjects (PGC MDD)]. A leave-one-out analysis was performed to determine the effects that each individual study had on our results. Results: The only significant finding was for insomnia, where p-value threshold, p = 0.05 was associated with insomnia in our PGC MDD sample (R2 = 1.75−3, p = 0.006). Conclusion: Our results reveal that <1% of variance is explained by the variants that cover the two significant p-value thresholds, which is in line with the fact that depression and insomnia are both polygenic disorders. To the best of our knowledge, this is the first study to investigate genetic overlap between the general population and a depression sample for insomnia, which has important treatment implications, such as leading to novel drug targets in future research efforts