Results 201 to 210 of about 837,747 (262)

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

open access: yesAging 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   +12 more
wiley   +1 more source

Multimode Type Theory as a Library in Type Theory

open access: yes
In this dissertation, we investigate the feasibility of implementing modal type theory as a library within type theory. More specifically, we try to construct a formalisation in the dependently typed language Agda of multimode type theory (MTT). MTT is a general framework for modal dependent type theories developed by Gratzer, Kavvos, Nuyts, and ...
openaire   +1 more source

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

open access: yesAging 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   +8 more
wiley   +1 more source

Network Localization of Fatigue in Multiple Sclerosis

open access: yesAnnals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Fatigue is among the most common symptoms and one of the main factors determining the quality of life in multiple sclerosis (MS). However, the neurobiological mechanisms underlying fatigue are not fully understood. Here we studied lesion locations and their connections in individuals with MS, aiming to identify brain networks ...
Olli Likitalo   +12 more
wiley   +1 more source

Quotient types in type theory

open access: yes
Martin-Lof's intuitionistic type theory (Type Theory) is a formal system that serves not only as a foundation of constructive mathematics but also as a dependently typed programming language. Dependent types are types that depend on values of other types.
openaire  

Inhibition of Classical and Alternative Complement Pathway by Ravulizumab and Eculizumab

open access: yesAnnals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To explore the feasibility of classical (CH50) and alternative (AH50) complement pathway activity as potential biomarkers for treatment guidance and monitoring during therapy with ravulizumab in patients with generalized myasthenia gravis (gMG) and compare these to therapeutic drug monitoring under eculizumab.
Lea Gerischer   +14 more
wiley   +1 more source

The McCance Brain Care Score and Mortality: Evidence From a Large‐Scale Population‐Based Cohort

open access: yesAnnals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objectives This study aimed to examine the relationship between the McCance Brain Care Score (BCS) and mortality in the general population. Methods We conducted a prospective, population‐based cohort study using data from the UK Biobank. Participants with complete data enabling calculation of BCS and full mortality information were included ...
Zhiqiang Xu, Xiaoxiao Wang, Nan Li
wiley   +1 more source

Home - About - Disclaimer - Privacy