Results 161 to 170 of about 1,803,900 (290)

Formal verification of bioinformatics software using model checking and theorem proving. [PDF]

Brief Bioinform
Weerasena H, Jayasena A, Boucher C, Mishra P.   +3 more
europepmc   +1 more source

Formal verification: will the seedling ever flower? [PDF]

Philos Trans A Math Phys Eng Sci, 2017
White N, Matthews S, Chapman R.
europepmc   +1 more source

Risk of Non‐Arteritic Anterior Ischemic Optic Neuropathy in Idiopathic Intracranial Hypertension Patients Treated with GLP‐1 Receptor Agonists

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Introduction Glucagon‐like peptide‐1 receptor agonists (GLP‐1 RAs) have demonstrated significant weight‐reducing effects and may offer benefits in idiopathic intracranial hypertension (IIH); however, recent concerns about the risk of non‐arteritic anterior ischemic optic neuropathy (NAION) have emerged.
Faisal A. Al‐Harbi, Mohanad A. Alkuwaiti, Yazeed B. Alaql, Ahmed K. Alsaif, Ahmed A. Alessa, Meshari Ayed Alharbi, Mohammed Alfalah, Saud A. Alnaaim, Sajjad M. AlHaddad, Ahmed Y. Azzam   +9 more
wiley   +1 more source

Comparative Effectiveness and Safety of Inebilizumab Versus Rituximab in AQP4‐IgG‐Positive NMOSD

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Rituximab (anti‐CD20, RTX) and inebilizumab (anti‐CD19, INE) represent B‐cell‐depleting therapies used for aquaporin‐4 antibody‐positive (AQP4‐IgG+) neuromyelitis optica spectrum disorder (NMOSD); however, direct comparative evidence remains limited.
Jie Lin, Binbin Xue, Dewei Xie, Jia Li, Juyuan Pan, Lanbing Zhu, Qiaowen Tong, Jing Lin, Ruofan Zhu, Xu Zhang, Junhui Xia, Xiang Li   +11 more
wiley   +1 more source

Towards robust electronic health record systems: integrating formal verification and process modeling techniques. [PDF]

BMC Med Res Methodol
Khan S, Akhtar N, Mushtaq MF, Abdel Samee N, Mahmoud NF, Ashraf I.   +5 more
europepmc   +1 more source

Comprehensive Characterization of 98 Chinese Cases of Genetic Creutzfeldt‐Jakob Disease With T188K Mutation

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To characterize the demographic, clinical, and laboratory features of the Chinese patients of genetic Creutzfeldt‐Jakob disease with T188K variant (T188K‐gCJD), the most common subtype of genetic prion diseases (gPrDs) in China. Methods In this nationwide retrospective study, data from 98 genetically confirmed T188K‐gCJD patients ...
Chun‐Jie Li, Dong‐Lin Liang, Li‐Ping Gao, Wei‐Wei Zhang, Wei Zhou, A. Ruhan, Bing Xu, Run‐Dong Cao, Kang Xiao, Cao Chen, Qi Shi, Xiao‐Ping Dong   +11 more
wiley   +1 more source

Dynamics simulations of hypoxia inducible factor-1 regulatory network in cancer using formal verification techniques. [PDF]

Front Mol Biosci
Azhar HMF, Saeed MT, Jabeen I.
europepmc   +1 more source

White Matter Microstructural Abnormalities in Neonatal Onset Genetic Epilepsy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Recent evidence indicates that epilepsy is associated with abnormal white matter. If seizures alter white matter, then the impact upon network function, epileptogenesis, and cognition could be pronounced in neonates undergoing rapid developmental myelination. Neonates with epilepsy due to nonstructural genetic causes provide a unique
Amanda G. Sandoval Karamian, Tianjia Zhu, Hao Huang, Shavonne L. Massey, Mark P. Fitzgerald, Darshana Parikh, Arastoo Vossough, Ingo Helbig, Nicholas S. Abend   +8 more
wiley   +1 more source

Formal verification of a concurrent file system based on lock guarantee conditions extended concurrent separation logic

Tongxin xuebao
During the formal verification, logic is relied to formally specify and reason about the properties that the file system must satisfy. Concurrent separation logic (CSL) is used in the formal verification of concurrent file systems and to prove the ...
ZHENG Xinmin, LI Mingshu, YANG Qiusong, LI Wenbo   +3 more
doaj  

A fuzzy description logic based IoT framework: Formal verification and end user programming. [PDF]

PLoS One
Pérez-Gaspar M, Gomez J, Bárcenas E, Garcia F.   +3 more
europepmc   +1 more source