Results 181 to 190 of about 590,012 (309)

Programming with global analysis

, 1997
Global data-flow analysis of (constraint) logic programs, which is generally based on abstract interpretation [7], is reaching a comparatively high level of maturity.
Hermenegildo, Manuel V.
core  

Complementarity of Long‐Reads and Optical Mapping in Parkinson's Disease for Structural Variants

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Long‐read sequencing and optical genome mapping technologies have the ability to detect large and complex structural variants. This has led to the discovery of novel pathogenic variants in neurodegenerative movement disorders. Thus, we aimed to systematically compare the SV detection capabilities of OGM and ONT in Parkinson's disease.
André Fienemann, Theresa Lüth, Susen Schaake, Carolin Gabbert, Marius Möller, Hauke Busch, Katja Lohmann, Jonas A. Gustafson, Danny E. Miller, Kensuke Daida, Manabu Funayama, Nobutaka Hattori, Samia Ben Sassi, Faycel Hentati, Matthew J. Farrer, Kristian K. Ullrich, Christine Klein, Joanne Trinh   +17 more
wiley   +1 more source

Static Analysis Using Abstract Interpretation

, 2019
Lecture about abstract interpretation. This lecture starts with a brief introduction to validation and verification using formal methods. It then demonstrates IKOS (Inference Kernel for Open Static Analyzers), a static analyzer for C/C++ based on ...
Arthaud, Maxime
core  

Validity of a Wearable Digital Insole for Assessing Gait ON and OFF in Parkinson's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Gait impairment is a distinctive symptom of Parkinson's disease that negatively impact mobility. We assessed the validity of wearable digital insoles against a validated reference gait analysis system for measuring select gait characteristics in patients with Parkinson's disease. Methods A comparative analysis between digital insoles
Deborah A. Hall, Kimberly Kwei, Rolando J. Acosta, Bharatkumar Koyani, Erin Robertson, Pratyush Rai, Roland Barge, Emily Timm, Nicollette L. Purcell, Natasha Desai, Dhanesh Patel, Ana‐Maria Visoiu‐Knapp, Samuel Stuart, Rinol Alaj, Matthew F. Wipperman, Oren Levy, Joan A. O'Keefe   +16 more
wiley   +1 more source

Correction: Reconstruction algorithms and arm positioning effects on abdominal CT image quality and radiation dose: a phantom study. [PDF]

Eur Radiol Exp
Mun HS, Lim S, Kang S.
europepmc   +1 more source

Vestibular Patient Journey: Insights From Vestibular Disorders Association (VeDA) Registry

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Vestibular symptoms impose a high burden of disability. Understanding real‐world diagnostic and treatment pathways can identify care gaps and guide interventions. We aimed to characterize symptom profiles, diagnostic trends, provider involvement, and treatment patterns in vestibular disorders.
Ali Rafati, Sami I. Nassar, Shaun A. Nguyen, Patricia L. Gerend, Michael C. Schubert, Michael T. Teixido, Frederick A. Godley, Joel A. Goebel, Cynthia A. Ryan, Habib G. Rizk, Amir Kheradmand   +10 more
wiley   +1 more source

Closing the screening gap but not the writing gap: a two-topic evaluation of LLMs for systematic reviews and meta-analyses in hepatology. [PDF]

NPJ Gut Liver
Zou Y, Kim I, Gao N, Li M, Kim MO, Ge J.
europepmc   +1 more source

Baseline Regional Cholinergic Denervation Predicts Cognitive Trajectories in Moderate Parkinson Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Cognitive decline is a disabling and variable feature of Parkinson disease (PD). While cholinergic system degeneration is linked to cognitive impairments in PD, most prior research reported cross‐sectional associations. We aimed to fill this gap by investigating whether baseline regional cerebral vesicular acetylcholine transporter ...
Taylor Brown, Giulia Carli, Prabesh Kanel, Stiven Roytman, Jaimie Barr, Nicolaas I. Bohnen, Roger L. Albin   +6 more
wiley   +1 more source

A Prospective Study of Individuals at Risk of Multiple Sclerosis Informs the Design of Primary Prevention Studies

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective In multiple sclerosis, the optimal time for deploying a therapeutic intervention is before the central nervous system is damaged; given the success of trials treating the earliest stage of MS, the radiologically isolated syndrome, developing primary prevention strategies is an important next challenge.
Amy W. Laitinen, Ceren Tozlu, Tina Roostaei, Fatoumata Diallo, Kaho Onomichi, Jiyeon Son, Zongqi Xia, Philip L. De Jager   +7 more
wiley   +1 more source

Developmental and Epileptic Encephalopathy due to Biallelic Pathogenic Variants in PIGM

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective PIGM encodes a critical enzyme in the glycosylphosphatidylinositol (GPI)‐anchor biosynthesis pathway. While promoter‐region mutations in PIGM have been associated with a relatively mild phenotype characterized by portal vein thrombosis and absence seizures, recent evidence suggests that coding‐region mutations result in a more severe
Júlia Sala‐Coromina, Anna Marcé‐Grau, Barbara Masotto, Marta Codina, Lamia BenJemaa, Yasmina Elaribi, Mónica Martinez‐Gallo, Roger Colobran, Angel Sanchez‐Montañez, Irene Valenzuela, Yoshiko Murakami, Alfons Macaya   +11 more
wiley   +1 more source