Results 71 to 80 of about 75,676 (211)
JCMS: Journal of Common Market Studies, EarlyView.Abstract Literature on policy debates often analyses cases involving either a single or two policy fields, which typically result in stable equilibria, manifesting either as outright rejection of policy proposals, successful institutional change or the entrenchment of divisions into a deadlock.
Laure Gosselin +2 more
wiley +1 more source
PLoS ONE, 2010 BackgroundCoenzyme Q(10) (CoQ(10)) and its analogs are used therapeutically by virtue of their functions as electron carriers, antioxidant compounds, or both.
Luis C López +8 more
doaj +1 more source
CoQ Regulates Brown Adipose Tissue Respiration and Uncoupling Protein 1 Expression
Antioxidants, 2022 Coenzyme Q (CoQ, aka ubiquinone) is a key component of the mitochondrial electron transport chain (ETC) and membrane-incorporated antioxidant. CoQ10 deficiencies encompass a heterogeneous spectrum of clinical phenotypes and can be caused by hereditary ...
Ching-Fang Chang +6 more
doaj +1 more source
Automated verification of termination certificates [PDF]
, 2012 In order to increase user confidence, many automated theorem provers provide certificates that can be independently verified. In this paper, we report on our progress in developing a standalone tool for checking the correctness of certificates for the ...
Blanqui, Frédéric, Ly, Kim Quyen
core +2 more sources
Formal Proofs for Nonlinear Optimization [PDF]
, 2015 We present a formally verified global optimization framework. Given a semialgebraic or transcendental function $f$ and a compact semialgebraic domain $K$, we use the nonlinear maxplus template approximation algorithm to provide a certified lower bound of
Allamigeon, Xavier +3 more
core +4 more sources
Oxidative Stress in the Tumor Immune Microenvironment: Mechanisms and Therapeutic Perspectives
MedComm – Oncology, Volume 5, Issue 2, June 2026.Oxidative stress is involved in several key processes in cancer, including redox regulation, DNA damage, post‐translational modifications, transcriptional regulation, epigenetic modifications, metabolic reprogramming, cell death, and immune modulation. These mechanisms collectively influence tumor progression, immune evasion, and therapeutic responses,
Zhen Wang +14 more
wiley +1 more source
MVP Inhibits Influenza A Virus‐Induced Ferroptosis by Targeting IRF1 and Increasing FSP1 Activity
Advanced Science, Volume 13, Issue 26, 8 May 2026.During IAV infection, MVP inhibits IRF1 polyubiquitination, thereby relieving IRF1‐mediated transcriptional inhibition of FSP1. Consequently, this leads to an upregulation of FSP1 expression, thereby reinforcing the inhibition of ferroptosis. In addition, the MVP can promote myristoylation and ubiquitination of FSP1, enabling its membrane localization ...
Yingbo Chen +12 more
wiley +1 more source
Advanced Science, Volume 13, Issue 25, 4 May 2026.Resident myonuclei are the molecular “control centers” for large multinuclear muscle fibers. It is presumed that, with aging, these control centers become compromised and contribute to delayed or blunted muscle adaptive potential. This study is a detailed roadmap that exposes how young versus aged myonuclei respond to a hypertrophic loading stimulus ...
Pieter J. Koopmans +8 more
wiley +1 more source
Effect of a Two-Week Diet without Meat and Poultry on Serum Coenzyme Q10 Levels
DieteticsCoenzyme Q10 (CoQ10) is an essential compound for energy production in the mitochondria and the antioxidation of lipid-soluble substances in cells. As it can be biosynthesized in cells, CoQ10 is not an essential nutrient.
Toshikazu Suzuki
doaj +1 more source
Category Theory in Coq 8.5 [PDF]
, 2015 We report on our experience implementing category theory in Coq 8.5. The repository of this development can be found at https://bitbucket.org/amintimany/categories/.
Jacobs, Bart, Timany, Amin
core +2 more sources