Results 171 to 180 of about 3,649,820 (385)

Formally verified redundancy removal [PDF]

, 1999
Stefan Hendricx, Luc Claesen
openalex   +1 more source

Practice Recommendations for Genetic Testing of Ataxias

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Over the past decade, significant advances in genetic testing for ataxia have improved diagnostic accuracy, informed clinical trial eligibility, guided treatment decisions, and enabled cascade testing of at‐risk relatives. While guidance exists for other neurogenetic conditions, there are no standardized guidelines on genetic ...
Sharan R. Srinivasan, Amy D. Mook, Michelle Rochman, Jin Yun Helen Chen, Weiyi Mu, George R. Wilmot, Liana S. Rosenthal, Wendy R. Uhlmann   +7 more
wiley   +1 more source

Automatic formal verification for scheduled VLIW code [PDF]

, 2002
Xiushan Feng, Alan J. Hu
  +4 more sources

Toward Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal Cross- and Self-Attention Large Language Model Approach

IEEE Access
This paper introduces Auto-modeling of Formal Verification with Real-world Prompting for 5G and NextG protocols (AVRE), a novel system designed for the formal verification of Next Generation (NextG) communication protocols, addressing the increasing ...
Jingda Yang, Ying Wang
doaj   +1 more source

Formal specification and verification techniques for RISC pipeline conflicts [PDF]

, 1995
Sofiène Tahar
openalex   +1 more source

Cognitive Impairment in Multiple Sclerosis: The Role of Clinical and Sociodemographic Factors ‐ A Systematic Review and Meta‐Analysis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Cognitive impairment (CI) affects the quality of life in multiple sclerosis (MS). Identifying influencing factors is key to improving CI monitoring. This systematic review and meta‐analysis examines clinical and sociodemographic variables impacting the cognitive screening Symbol Digit Modalities Test (SDMT) performance across MS ...
Katalin Lugosi, Marie A. Engh, Tamás Kói, Zsolt Molnár, Gábor Csukly, Klaudia Horváth, Emma Hargitai, Péter Hegyi, Zsolt Mezei   +8 more
wiley   +1 more source

Formal verification of characteristic properties [PDF]

, 1995
Michel Allemand
openalex   +1 more source

Chronic Pain in Parkinson’s Disease: Prevalence, Sex Differences, Regional Anatomy and Comorbidities

Annals of Clinical and Translational Neurology, EarlyView.
Chronic pain affected 66.2% of 10,631 individuals with Parkinson's disease, with higher prevalence and severity in females. Pain most often involved the buttocks, lower back, neck, and knees, and was linked to depression, sleep disorders, and osteoarthritis.
Natalia S. Ogonowski, Freddy Chafota, Fangyuan Cao, Amanda Wei Yin Lim, Victor Flores‐Ocampo, Santiago Díaz‐Torres, Zuriel Ceja, Luis M. García‐Marín, Scott F. Farrell, Kishore R. Kumar, Jane Alty, George D. Mellick, Trung Thành Ngô, Miguel E. Rentería   +13 more
wiley   +1 more source

Formal verification method for combinatorial circuits at high level design [PDF]

, 1999
Junji Kitamichi, Hitoshi Kageyama, Nobuo Funabiki   +2 more
openalex   +1 more source

Formal Verification of Control Modules in Cyber-Physical Systems. [PDF]

Sensors (Basel), 2020
Grobelna I.
europepmc   +1 more source