Results 121 to 130 of about 3,157,454 (357)

Formal verification of characteristic properties [PDF]

, 1995
Michel Allemand
openalex   +1 more source

Understanding Mechanisms of Whole Brain and Regional Grey Matter Atrophy in Children With MOGAD

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To investigate the mechanisms driving whole brain and regional grey matter (GM) volume changes along with their clinical correlates in paediatric myelin oligodendrocyte glycoprotein antibody (MOG‐Ab)–associated disease (MOGAD). Methods One‐hundred‐nine paediatric MOGAD patients from two UK centres underwent MRI at attack nadir and ...
Ermelinda De Meo, Riccardo Nistri, Michael Eyre, Cheryl Hemingway, Ming Lim, Thomas Rossor, Asthik Biswas, Kshitij Mankad, Ata Siddiqui, Sniya Sudhakar, Declan Chard, Frederik Barkhof, Arman Eshaghi, Olga Ciccarelli, Yael Hacohen   +14 more
wiley   +1 more source

Streamlining Temporal Formal Verification over Columnar Databases

Information
Recent findings demonstrate how database technology enhances the computation of formal verification tasks expressible in linear time logic for finite traces (LTLf).
Giacomo Bergami
doaj   +1 more source

Quantitative Shape Irregularity and Density Heterogeneity Predict Hematoma Expansion in Patients With Intracerebral Hemorrhage

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Purpose This study aimed to explore the association between quantitative shape irregularity and density heterogeneity of hematomas and hematoma expansion (HE) for intracerebral hemorrhage (ICH) patients. Methods This cohort study included patients arriving within 24 h of symptom onset between August 2021 and July 2022 as the derivation cohort ...
Zeqiang Ji, Yunyi Hao, Bin Gao, Xiaojing Zhang, Yani Zhang, Jiaokun Jia, Xue Xia, Yuhao Guo, Sijia Li, Jianwei Wu, Kaijiang Kang, Xingquan Zhao   +11 more
wiley   +1 more source

Formally Verifying Interactive Systems: A Review [PDF]

, 1997
José Creissac Campos, Michael D. Harrison   +1 more
openalex   +1 more source

Comparative Effect of Standard Versus Extended Interval Dosing of Rituximab or Ocrelizumab in Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective We aimed to investigate the comparative effectiveness of standard versus personalized extended interval dosing of anti‐CD20 therapy on clinical and sub‐clinical outcomes in multiple sclerosis. Methods Clinical information was collected prospectively on Research Electronic Data Capture.
Nabil K. El Ayoubi, Fares Fahd, Hani Tamim, Salem Hannoun, Mark Bal, Elham El‐Hallak, Samia J. Khoury   +6 more
wiley   +1 more source

Formal verification of a peer-to-peer streaming protocol

Journal of King Saud University: Computer and Information Sciences, 2020
Peer (P2P) networks have emerged as an efficient and affordable means of transmitting videos to numerous end-users via the Internet. The dynamic and heterogeneous nature of P2P streaming systems (P2PSS) makes testing, analyzing and verification a ...
Oluwafolake E. Ojo, Ayodeji O. Oluwatope, Suraju O. Ajadi   +2 more
doaj  

The SCR method for formally specifying, verifying, and validating requirements [PDF]

, 1997
Constance Heitmeyer, James Kirby, B. Labaw   +2 more
openalex   +1 more source

Associations of Stroke With Risk of Epilepsy: Results From the Atherosclerosis Risk in Communities (ARIC) Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To estimate the risk of epilepsy associated with stroke in a community‐based cohort, with consideration of stroke type, number, and severity. Methods Data from 15,100 Atherosclerosis Risk in Communities (ARIC) Study participants without stroke at baseline (1987–1989) were analyzed through 12/31/2022.
Jiping Zhou, Asma A. Ladak, Connor A. Law, Michelle C. Johansen, Anny Reyes, Silvia Koton, Sean Kelly, Jeubin Huang, Kamakshi Lakshminarayan, Rebecca F. Gottesman, Emily Johnson, Andrea L. C. Schneider   +11 more
wiley   +1 more source

Formal verification of pipeline control using controlled token nets and abstract interpretation [PDF]

, 1998
Pei-Hsin Ho, Adrian J. Isles, Timothy Kam   +2 more
openalex   +1 more source