Results 151 to 160 of about 2,879,484 (330)

Sequent Systems for Consequence Relations of Cyclic Linear Logics

Bulletin of the Section of Logic
Linear Logic is a versatile framework with diverse applications in computer science and mathematics. One intriguing fragment of Linear Logic is Multiplicative-Additive Linear Logic (MALL), which forms the exponential-free component of the larger ...
Paweł Płaczek
doaj   +1 more source

The Cut-Elimination Theorem for Differential Nets with Promotion

, 2009
Michele Pagani
openalex   +2 more sources

Dapagliflozin prevents methylglyoxal‐induced retinal cell death in ARPE‐19 cells

FEBS Open Bio, EarlyView.
Diabetic macular oedema is a diabetes complication of the eye, which may lead to permanent blindness. ARPE‐19 are human retinal cells used to study retinal diseases and potential therapeutics. Methylglyoxal is a compound increased in uncontrolled diabetes due to elevated blood glucose.
Naina Trivedi, Zainab Quraishi, Shima Khezri Azizi Far, Madaleine Ward, Aidan Conway, Reem Abdulredha, Eman Mshari, Yousif A. Shamsaldeen   +7 more
wiley   +1 more source

Semantic Cut Elimination for the Logic of Bunched Implications and Structural Extensions, Formalized in Coq

, 2022
Frumin D.
europepmc   +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

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

Kidney REPLACEment therapies in patients with acute kidney injury and RHABDOmyolysis (ReplaceRhabdo): a pilot trial

BMC Nephrology
Background Rhabdomyolysis is frequently associated with acute kidney injury (AKI). Due to the nephrotoxic properties of myoglobin, its rapid removal is relevant.
Lorenz Weidhase, Antonia Borrmann, Anja Willenberg, Meinhard Mende, Christina Scharf-Janßen, Sirak Petros, Jonathan de Fallois   +6 more
doaj   +1 more source

Topdown Cut-Elimination

Topdown Cut-Elimination
A direct cut-elimination procedure is proposed, which works for the sequent calculi not only of the classical and the intuitionistic logics but also of the standard modal logics. In the procedure, we do not introduce the inference rule mix but eliminate the usual rule cut directly.
openaire  

The Aging Blood: Cellular Origins, Circulating Drivers, and Therapeutic Potential

Aging and Cancer, EarlyView.
As a conduit linking all organs, the blood system both reflects and actively drives systemic aging. This review highlights how circulating pro‐aging and antiaging factors and age‐associated hematopoietic stem cell dysfunction contribute to immunosenescence and multi‐organ decline, positioning the hematopoietic system as a target for aging intervention.
Hanqing He, Jianwei Wang
wiley   +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