Results 241 to 250 of about 2,784,953 (338)

Proving the Correctness of Multiprocess Programs

IEEE Transactions on Software Engineering, 1977
L. Lamport
semanticscholar   +1 more source

Natural Products as Geroprotective Modulators in Diabetic Nephropathy: A Mechanistic Framework Integrating Aging Hallmarks and the AMPK–SIRT1–Nrf2 Axis

Aging and Cancer, EarlyView.
Natural products target the aging kidney in diabetic nephropathy by restoring the AMPK–SIRT1–Nrf2 axis, reducing oxidative stress, inflammation, fibrosis, and cellular senescence while enhancing mitochondrial biogenesis and antioxidant defenses.
Sherif Hamidu, Latif Adams, Eunice Ampem‐Danso, Justice Kumi, Abigail Aning, Fatima Hamidu, Mustapha Abdul Mumin Mohammed, Ayuba Nii Darku Ankrah, Seth Kwabena Amponsah   +8 more
wiley   +1 more source

Assessment of X-ray ankle joint image projection correctness with the use of machine learning algorithms. [PDF]

Pol J Radiol
Gabryś PD, Łapińska N, Mendyk A, Tatoń G.   +3 more
europepmc   +1 more source

The Correctness-Security Gap in Compiler Optimization

2015 IEEE Security and Privacy Workshops, 2015
V. D'Silva, Mathias Payer, D. Song
semanticscholar   +1 more source

Tracking Motor Progression and Device‐Aided Therapy Eligibility in Parkinson's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To characterise the progression of motor symptoms and identify eligibility for device‐aided therapies in Parkinson's disease, using both the 5‐2‐1 criteria and a refined clinical definition, while examining differences across genetic subgroups.
David Ledingham, Sahana Sathyanarayana, Charlotte B. Stewart, Robyn Iredale, Victoria Foster, Debra Galley, Mark Baker, Nicola Pavese   +7 more
wiley   +1 more source

Artificial intelligence-generated informed patient consent in various ophthalmological procedures: A comparative study of correctness, completeness, readability, and real-word application between Deepseek and Chatgpt 4o. [PDF]

Indian J Ophthalmol
Das D, Chawla B, Lomi N, Tomar P, Herle A, Joshi S.   +5 more
europepmc   +1 more source

Lesion Location and Functional Connections Reveal Cognitive Impairment Networks in Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Cognitive impairment, fatigue, and depression are common in multiple sclerosis (MS), potentially due to disruption of regional functional connectivity caused by white matter (WM) lesions. We explored whether WM lesions functionally connected to specific brain regions contribute to these MS‐related manifestations.
Alessandro Franceschini, Paolo Preziosa, Paola Valsasina, Damiano Mistri, Monica Margoni, Federica Esposito, Massimo Filippi, Maria A. Rocca   +7 more
wiley   +1 more source

Comparative Evaluation of Large Language Models in Explaining Radiology Reports: Expert Assessment of Readability, Understandability, and Communication Features. [PDF]

Insights Imaging
Bozer A, Pekçevik Y.
europepmc   +1 more source

Factors Hindering Correct Identification of Unapparent Lipohypertrophy

, 2016
Felice Strollo
openalex   +1 more source

The Impact of Tilburg Frailty on Poststroke Fatigue in First‐Ever Stroke Patients: A Cross‐Sectional Study With Unified Measurement Tools and Improved Statistics

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Poststroke fatigue (PSF) and frailty share substantial overlap in their manifestations, yet previous research has yielded conflicting results due to the use of heterogeneous frailty assessment tools. Objective To evaluate the independent impact of frailty on PSF using a unified measurement system (Tilburg Frailty Indicator, TFI ...
Chuan‐Bang Chen, Xiao‐Xue Wang, Shao‐Rui Bao, Sui‐Li Lin, Mei‐Chun Shu, Xi‐Xi Ye, Wen‐Jie Cong   +6 more
wiley   +1 more source