Results 141 to 150 of about 4,463,103 (324)

Meta‐analysis fails to show any correlation between protein abundance and ubiquitination changes

FEBS Open Bio, EarlyView.
We analyzed over 50 published proteomics datasets to explore the relationship between protein levels and ubiquitination changes across multiple experimental conditions and biological systems. Although ubiquitination is often associated with protein degradation, our analysis shows that changes in ubiquitination do not globally correlate with changes in ...
Nerea Osinalde, Unai Alduntzin, Gorka Prieto, Ugo Mayor   +3 more
wiley   +1 more source

Guaranteeing Correctness in Black-Box Machine Learning: A Fusion of Explainable AI and Formal Methods for Healthcare Decision-Making

IEEE Access
In recent years, Explainable Artificial Intelligence (XAI) has attracted considerable attention from the research community, primarily focusing on elucidating the opaque decision-making processes inherent in complex black-box machine learning systems ...
Nadia Khan, Muhammad Nauman, Ahmad S. Almadhor, Nadeem Akhtar, Abdullah Alghuried, Adi Alhudhaif   +5 more
doaj   +1 more source

C2α‐carbanion‐protonating glutamate discloses tradeoffs between substrate accommodation and reaction rate in actinobacterial 2‐hydroxyacyl‐CoA lyase

FEBS Open Bio, EarlyView.
Enzymes of the 2‐hydroxyacyl‐CoA lyase group catalyze the condensation of formyl‐CoA with aldehydes or ketones. Thus, by structural adaptation of active sites, practically any pharmaceutically and industrially important 2‐hydroxyacid could be biotechnologically synthesized. Combining crystal structure analysis, active site mutations and kinetic assays,
Michael Zahn, Barbara Seroka, Ryszard Lazny, Zenon Lotowski, Thore Rohwerder   +4 more
wiley   +1 more source

Formal Methods

Electronic Notes in Theoretical Computer Science, 1999
Anthony Hall, Jonathan P. Bowen, Michael G. Hinchey, Jeannette M. Wing, C. A. R. Hoare   +4 more
openaire   +2 more sources

Enhancing Oncological Care for India's Aging Population: Addressing the Complex Needs of Older Adults With Cancer

Aging and Cancer, EarlyView.
Aging‐associated physiological and molecular alterations pose significant challenges in cancer management among India's elderly. Limited geriatric oncology expertise, financial constraints, and inadequate specialized care exacerbate disparities. Strategic expansion of insurance coverage, integration of palliative care, and infrastructural advancements ...
Nihanthy D. Sreenath, Mathigatta Shivarudraiah S, Rajath Govind, Kaushik M R   +3 more
wiley   +1 more source

Predicting and Comparing the Subjective Health Experience of Older Cancer Survivors and Non‐Cancer Survivors: A Modeling Approach

Aging and Cancer, EarlyView.
This study underscores the significant influence of frailty and vitality on the subjective health experience of older cancer survivors with acceptance and control emerging as salient mediators. These findings affirm the conceptual and empirical robustness of the model highlighting its potential utility in shaping future interventions for older cancer ...
Damien S. E. Broekharst, Sjaak Bloem, Eline J. Mertens, Nathascha Hanzen, Michel van Agthoven   +4 more
wiley   +1 more source

A user-friendly formal requirements specification method [PDF]

, 1992
Shaoying Liu
openalex   +1 more source

Cutaneous Melanoma Drives Metabolic Changes in the Aged Bone Marrow Immune Microenvironment

Aging and Cancer, EarlyView.
Melanoma, the deadliest form of skin cancer, increasingly affects older adults. Our study reveals that melanoma induces changes in iron and lipid levels in the bone marrow, impacting immune cell populations and increasing susceptibility to ferroptosis.
Alexis E. Carey, Murilo Ramos Rocha, Cheyenne Palm, Vania Wang, Denys Balandin, Ethan Black, Kevin Y. Zhang, Fan Huang, Daniel J. Zabransky, Yash Chhabra, Mareike Peters, Gabriel Ghiaur, Ashani Weeraratna   +12 more
wiley   +1 more source

Introductory paper Special section on formal methods for industrial critical systems

, 2005
Thjj Thomas Arts, van de Jc Jaco Pol
openalex   +2 more sources

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