Background: We (and others) have previously identified five clinically distinct diabetes subtypes. Currently, few models to identify diabetes subtypes are readily accessible. Further, while COVID-19 has been associated with increased risk of new-onset diabetes, it remains unknown whether the pandemic is also associated with changes in diabetes subtype distribution. Methods: We used the electronic health records of patients diagnosed with diabetes from 2010 to 2019 at the Kirklin Clinic of the University of Alabama at Birmingham (UAB) to train models to assign diabetes subtypes previously identified by hierarchical clustering. We then applied the trained model to conduct a retrospective cluster analysis of electronic health records of patients diagnosed with diabetes from 2020 to 2024 at UAB. We further validated our findings using data from the 2015–2023 National Health and Nutrition Examination Surveys (NHANES). Results: The trained classification model had an average specificity of 98% and an average sensitivity of 93%. Using the model, we identified a significant difference in the distribution of type 2 diabetes subtypes in patients at UAB and in participants in NHANES. In particular, the proportion of patients with severe insulin-dependent diabetes or severe insulin-resistant diabetes subtypes increased from 42% to 61% and 31% to 40% at the UAB and in NHANES, respectively. Conclusions: The model presented here can facilitate the identification of diabetes subtypes. The proportions of patients with severe subtypes of diabetes have seemed to increase in the more recent years following the pandemic. Further studies are required to determine the potential causes of this phenomenon.

This report explores a therapeutic hypothesis for addressing the potential effects of a loss-of-function variant in the ZC4H2 gene. We describe a pediatric female (born 2020) with developmental delay associated with an early truncation variant in ZC4H2. This genetic alteration is suspected to reduce levels of the functional ZC4H2 protein (encoded by the ZC4H2 gene). Variants in ZC4H2 are associated with Wieacker–Wolff and Miles–Carpenter syndrome, which are characterized by intellectual disability, developmental delay, congenital contractures, and seizures. The patient presents with multiple developmental manifestations, including developmental delay, intellectual disability, joint contractures and dislocations, coronal craniosynostosis, truncal hypotonia, laryngomalacia, rocker bottom feet, and intermittent esotropia. We hypothesize that targeting the downstream effects of ZC4H2 haploinsufficiency, such as synaptic dysfunction and impaired dendritic spine stability, may help mitigate the patient’s symptoms by restoring synaptic homeostasis. This report outlines the rationale for this therapeutic hypothesis, which is informed by genetic findings, prior literature, and recent mechanistic insights. Further studies are needed to validate underlying disease mechanisms and to evaluate the candidate therapy for safety and efficacy.

MAPK8IP3- related neurodevelopmental disorders are a spectrum of rare conditions caused by de novo mutations in the MAPK8IP3 gene that encodes the JIP3 protein. These disorders are associated with a spectrum of neurodevelopmental symptoms that manifest in children and cause brain abnormalities, profound intellectual disabilities, movement disorders, and developmental delays. JIP3 is required for axonal transport of proteins and organelles between the soma and the synaptic terminal of neurons, a process critical for normal brain development and function. Homozygous loss-of-function mutations in JIP3 lead to impaired axonal transport and aggregation of cargo, which result in axonal swelling and stunted elongation. Despite these severe outcomes, disease mechanisms are poorly understood, and no current treatments are available. Here we conduct thorough morphological, behavioral, and motility phenotyping in the JIP3 knockout zebrafish and identify locomotor deficits and morphological abnormalities. To identify treatment options, we used insights from expert clinicians and the artificial intelligence tool, mediKanren, to identify drug candidates hypothesized to improve patient symptoms or compensate for the loss of JIP3 at the molecular level. We then prioritized drugs that are FDA-approved, safe for children, and readily available. These collective efforts identified amantadine and levodopa as candidate therapies and rescued motor phenotypes associated with JIP3 loss-of-function in zebrafish.

BACKGROUND Persistent cough and dyspnea are prominent features of postacute sequelae of SARS-CoV-2 (also termed “long COVID”); however, physiologic measures and clinical features associated with these pulmonary symptoms remain poorly defined. Using longitudinal pulmonary function testing (PFT) and CT imaging, this study aimed to identify the characteristics and determinants of pulmonary long COVID. METHODS This single-center retrospective study included 1,097 patients with clinically defined long COVID characterized by persistent pulmonary symptoms (dyspnea, cough, and chest discomfort) lasting for 1 or more months after resolution of primary COVID infection. RESULTS After exclusion, a total of 929 patients with post-COVID pulmonary symptoms and PFTs were stratified as diffusion impairment and pulmonary restriction, as measured by percentage predicted diffusion capacity for carbon monoxide (DLCO) and total lung capacity (TLC). Longitudinal evaluation revealed diffusion impairment (DLCO ≤ 80%) and pulmonary restriction (TLC ≤ 80%) in 51% of the cohort overall ( n = 479). In multivariable modeling regression analysis, invasive mechanical ventilation during primary infection conferred the greatest increased odds of developing pulmonary long COVID with diffusion impairment and restriction (adjusted odds ratio [aOR] = 9.89, 95% CI 3.62–26.9]). Finally, a subanalysis of CT imaging identified radiographic evidence of fibrosis in this patient population. CONCLUSION Longitudinal PFTs revealed persistent diffusion-impaired restriction as a key feature of pulmonary long COVID. These results emphasize the importance of incorporating PFTs into routine clinical practice for evaluation of long COVID patients with prolonged pulmonary symptoms. Subsequent clinical trials should leverage combined symptomatic and quantitative PFT measurements for more targeted enrollment of pulmonary long COVID patients. FUNDING National Institute of Allergy and Infectious Diseases (AI156898, K08AI129705), National Heart, Lung, and Blood Institute (HL153113, OTA21-015E, HL149944), and the COVID-19 Urgent Research Response Fund at the University of Alabama at Birmingham.

This year marks the 63rd anniversary of the International Society of Nephrology, which signaled nephrology’s emergence as a modern medical discipline. In this article, we briefly trace the course of nephrology’s history to show a clear arc in its evolution—of increasing resolution in nephrological data—an arc that is converging with computational capabilities to enable precision nephrology. In general, precision medicine refers to tailoring treatment to the individual characteristics of patients. For an operational definition, this tailoring takes the form of an optimization, in which treatments are selected to maximize a patient’s expected health with respect to all available data. Because modern health data are large and high resolution, this optimization process requires computational intervention, and it must be tuned to the contours of specific medical disciplines. An advantage of this operational definition for precision medicine is that it allows us to better understand what precision medicine means in the context of a specific medical discipline. The goal of this article was to demonstrate how to instantiate this definition of precision medicine for the field of nephrology. Correspondingly, the goal of precision nephrology was to answer two related questions: ( 1 ) How do we optimize kidney health with respect to all available data? and ( 2 ) How do we optimize general health with respect to kidney data?

There are over 6,000 different rare diseases estimated to impact 300 million people worldwide. As genetic testing becomes more common practice in the clinical setting, the number of rare disease diagnoses will continue to increase, resulting in the need for novel treatment options. Identifying treatments for these disorders is challenging due to a limited understanding of disease mechanisms, small cohort sizes, interindividual symptom variability, and little commercial incentive to develop new treatments. A promising avenue for treatment is drug repurposing, where FDA-approved drugs are repositioned as novel treatments. However, linking disease mechanisms to drug action can be extraordinarily difficult and requires a depth of knowledge across multiple fields, which is complicated by the rapid pace of biomedical knowledge discovery. To address these challenges, The Hugh Kaul Precision Medicine Institute developed an artificial intelligence tool, mediKanren, that leverages the mechanistic insight of genetic disorders to identify therapeutic options. Using knowledge graphs, mediKanren enables an efficient way to link all relevant literature and databases. This tool has allowed for a scalable process that has been used to help over 500 rare disease families. Here, we provide a description of our process, the advantages of mediKanren, and its impact on rare disease patients.

Hypothesis generation is a critical step in research and a cornerstone in the rare disease field. Research is most efficient when those hypotheses are based on the entirety of knowledge known to date. Systematic review articles are commonly used in biomedicine to summarize existing knowledge and contextualize experimental data. But the information contained within review articles is typically only expressed as free-text, which is difficult to use computationally. Researchers struggle to navigate, collect and remix prior knowledge as it is scattered in several silos without seamless integration and access. This lack of a structured information framework hinders research by both experimental and computational scientists. To better organize knowledge and data, we built a structured review article that is specifically focused on NGLY1 Deficiency, an ultra-rare genetic disease first reported in 2012. We represented this structured review as a knowledge graph and then stored this knowledge graph in a Neo4j database to simplify dissemination, querying and visualization of the network. Relative to free-text, this structured review better promotes the principles of findability, accessibility, interoperability and reusability (FAIR). In collaboration with domain experts in NGLY1 Deficiency, we demonstrate how this resource can improve the efficiency and comprehensiveness of hypothesis generation. We also developed a read–write interface that allows domain experts to contribute FAIR structured knowledge to this community resource. In contrast to traditional free-text review articles, this structured review exists as a living knowledge graph that is curated by humans and accessible to computational analyses. Finally, we have generalized this workflow into modular and repurposable components that can be applied to other domain areas. This NGLY1 Deficiency-focused network is publicly available at http://ngly1graph.org/. Availability and implementation Database URL: http://ngly1graph.org/. Network data files are at: https://github.com/SuLab/ngly1-graph and source code at: https://github.com/SuLab/bioknowledge-reviewer. Contact asu@scripps.edu

Cardiovascular disease (CVD) is the leading cause of death worldwide, causing over 17 million deaths per year, which outpaces global cancer mortality rates. Despite these sobering statistics, most bioinformatics and computational biology research and funding to date has been concentrated predominantly on cancer research, with a relatively modest footprint in CVD. In this paper, we review the existing literary landscape and critically assess the unmet need to further develop an emerging field at the multidisciplinary interface of bioinformatics and precision cardiovascular medicine, which we refer to as ‘cardioinformatics’.

Synthesizing programs using example input/outputs is a classic problem in artificial intelligence. We present a method for solving Programming By Example (PBE) problems by using a neural model to guide the search of a constraint logic programming system called miniKanren. Crucially, the neural model uses miniKanren’s internal representation as input; miniKanren represents a PBE problem as recursive constraints imposed by the provided examples. We explore Recurrent Neural Network and Graph Neural Network models. We contribute a modified miniKanren, drivable by an external agent, available at https://github.com/xuexue/neuralkanren. We show that our neural-guided approach using constraints can synthesize programs faster in many cases, and importantly, can generalize to larger problems.

In higher order settings, control-flow analysis aims to model the propagation of both data and control by finitely approximating program behaviors across all possible executions. The polyvariance of an analysis describes the number of distinct abstract representations, or variants, for each syntactic entity (e.g., functions, variables, or intermediate expressions). Monovariance, one of the most basic forms of polyvariance, maintains only a single abstract representation for each variable or expression. Other polyvariant strategies allow a greater number of distinct abstractions and increase analysis complexity with the aim of increasing analysis precision. For example, k -call sensitivity distinguishes flows by the most recent k call sites, k -object sensitivity by a history of allocation points, and argument sensitivity by a tuple of dynamic argument types. From this perspective, even a concrete operational semantics may be thought of as an unboundedly polyvariant analysis. In this paper, we develop a unified methodology that fully captures this design space. It is easily tunable and guarantees soundness regardless of how tuned. We accomplish this by extending the method of abstracting abstract machines, a systematic approach to abstract interpretation of operational abstract-machine semantics. Our approach permits arbitrary instrumentation of the underlying analysis and arbitrary tuning of an abstract-allocation function. We show that the design space of abstract allocators both unifies and generalizes existing notions of polyvariance. Simple changes to the behavior of this function recapitulate classic styles of analysis and yield novel combinations and variants.

We present a functional approach to parsing unrestricted context-free grammars based on Brzozowski’s derivative of regular expressions. If we consider context-free grammars as recursive regular expressions, Brzozowski’s equational theory extends without modification to context-free grammars (and it generalizes to parser combinators). The supporting actors in this story are three concepts familiar to functional programmers - laziness, memoization and fixed points; these allow Brzozowski’s original equations to be transliterated into purely functional code in about 30 lines spread over three functions.

Yet, this almost impossibly brief implementation has a drawback: its performance is sour - in both theory and practice. The culprit? Each derivative can double the size of a grammar, and with it, the cost of the next derivative.

Fortunately, much of the new structure inflicted by the derivative is either dead on arrival, or it dies after the very next derivative. To eliminate it, we once again exploit laziness and memoization to transliterate an equational theory that prunes such debris into working code. Thanks to this compaction, parsing times become reasonable in practice.

We equip the functional programmer with two equational theories that, when combined, make for an abbreviated understanding and implementation of a system for parsing context-free languages.