Results 191 to 200 of about 3,649,820 (385)

Plasma Proteomic Signatures for Alzheimer's Disease: Comparable Accuracy to ATN Biomarkers and Cross‐Platform Validation

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background There is growing recognition of the potential of plasma proteomics for Alzheimer's Disease (AD) risk assessment and disease characterization. However, differences between proteomics platforms introduce uncertainties regarding cross‐platform applicability.
Manyue Hu, Oliver Robinson, Christina M. Lill, Anna Matton, Raquel Puerta, Pilar Sanz, Merce Boada, Agustín Ruiz, Lefkos Middleton, for the Alzheimer's Disease Neuroimaging Initiative   +9 more
wiley   +1 more source

Verification of an Interactive Software by Analysis of its Formal Specification

, 1995
Philippe Palanque, Rémi Bastide
openalex   +1 more source

Formal Specification and Verification of Java Card’s Application Identifier Class [PDF]

, 2001
Joachim van den Berg, Bart Jacobs, Erik Poll   +2 more
openalex   +1 more source

Impact of Stress‐Induced Hyperglycemia on In‐Hospital Medical Complications in Patients With Acute Stroke: From a Large‐Scale Nationwide Longitudinal Registry

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Aims This study aimed to explore the relationship between stress‐induced hyperglycemia (SIH) and in‐hospital medical complications in patients with acute stroke. Methods We enrolled 865,765 patients with acute stroke from the Chinese Stroke Center Alliance cohort.
Xintong Song, Yi Ju, Hongqiu Gu, Zhikai Zhu, Zixiao Li, Qian Zhang, Xingquan Zhao   +6 more
wiley   +1 more source

Association of Higher Levels of High‐Sensitivity C‐Reactive Protein With Future Development of Psoriatic Arthritis in Psoriasis: A Prospective Cohort Study

Arthritis Care &Research, EarlyView.
Objective We aimed to assess whether high‐sensitivity C‐reactive protein (hsCRP) levels could predict the development of psoriatic arthritis (PsA) in patients with psoriasis. Methods We analyzed data from a prospective cohort of patients with psoriasis without PsA at enrollment.
Lihi Eder, Xianwei Li, Vinod Chandran, Cheryl F. Rosen, Richard J. Cook, Dafna D. Gladman   +5 more
wiley   +1 more source

Automatic construction and verification algorithm for smart contracts based on formal verification

AIP Advances
As an emerging technology, blockchain demonstrates strong potential for applications in digital finance. As a core component of blockchain, the security and reliability of smart contracts is crucial.
Rui Xie, Xuejiao Zhong, Xin Chen, Shaohui Xu, Haiyang Yu, Xinyuan Guo   +5 more
doaj   +1 more source

Screening for Social Determinants of Health in Patients With Systemic Lupus Erythematosus: A Point‐of‐Care Feasibility Study

Arthritis Care &Research, EarlyView.
Objective Social determinants of health (SDoH) can impact outcomes but are not routinely screened for in US outpatient rheumatology clinics. This study determined the feasibility of routine point‐of‐care SDoH screening among patients with systemic lupus erythematosus (SLE) and associated barriers and facilitators at the physician, care team, and ...
S. Sam Lim, Vijay R. Nadipelli, Michelle Bruno, Daphne Lew, Bernard Rubin, Charmayne M. Dunlop‐Thomas, Kelsey Hulcher, Kristi R. Mitchell, Lydia Demetriou, Jeff Berko, Jason Bao, Alfred H. J. Kim   +11 more
wiley   +1 more source

Efficient Debugging in a Formal Verification Environment [PDF]

, 2001
Fady Copty, Amitai Irron, Osnat Weissberg, Nathan Kropp, Kamhi Gila   +4 more
openalex   +1 more source

Association of Elevated Serum S100A8/A9 Levels and Cognitive Impairment in Patients With Systemic Lupus Erythematosus

Arthritis Care &Research, EarlyView.
Objective Cognitive impairment (CI) is common in patients with systemic lupus erythematosus (SLE). Despite its prevalence, the immune mechanisms are not well understood. We previously reported elevated serum levels of S100A8/A9 and matrix metalloproteinase 9 (MMP‐9) in patients with SLE and CI.
Carolina Muñoz‐Grajales, Michelle L. Barraclough, Juan P. Diaz‐Martinez, Jiandong Su, Kathleen Bingham, Mahta Kakvan, Roberta Pozzi Kretzmann, Maria Carmela Tartaglia, Lesley Ruttan, May Y. Choi, Simone Appenzeller, Sherief Marzouk, Dennisse Bonilla, Patricia Katz, Dorcas Beaton, Robin Green, Dafna D. Gladman, Joan Wither, Zahi Touma   +18 more
wiley   +1 more source

Formal description and verification of production systems

, 1995
N. K. Liu, Tharam S. Dillon
openalex   +1 more source