Results 51 to 60 of about 74,343 (191)
Coenzyme Q10 deficiencies: pathways in yeast and humans. [PDF]
, 2018 Coenzyme Q (ubiquinone or CoQ) is an essential lipid that plays a role in mitochondrial respiratory electron transport and serves as an important antioxidant.
Awad, Agape M +5 more
core
New Insights on the Uptake and Trafficking of Coenzyme Q
Antioxidants, 2023 Coenzyme Q (CoQ) is an essential lipid with many cellular functions, such as electron transport for cellular respiration, antioxidant protection, redox homeostasis, and ferroptosis suppression.
Michael D. Guile +3 more
doaj +1 more source
MVP Inhibits Influenza A Virus‐Induced Ferroptosis by Targeting IRF1 and Increasing FSP1 Activity
Advanced Science, EarlyView.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
A Coq-based synthesis of Scala programs which are correct-by-construction
, 2017 The present paper introduces Scala-of-Coq, a new compiler that allows a Coq-based synthesis of Scala programs which are "correct-by-construction".
Bakouny, Youssef El +2 more
core +2 more sources
Advanced Science, EarlyView.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
A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4
, 2018 Being able to soundly estimate roundoff errors of finite-precision computations is important for many applications in embedded systems and scientific computing.
Becker, Heiko +5 more
core +1 more source
First steps towards the certification of an ARM simulator using Compcert [PDF]
, 2011 The simulation of Systems-on-Chip (SoC) is nowadays a hot topic because, beyond providing many debugging facilities, it allows the development of dedicated software before the hardware is available. Low-consumption CPUs such as ARM play a central role in
D. August +4 more
core +4 more sources
GPX4 Inhibitor Resistance and Metastatic Features in Triple‐Negative Breast Cancer
Advanced Science, EarlyView.This study establishes breast cancer cell lines that are resistant to glutathione peroxidase 4 inhibitors (GPX4i) in vitro and investigates the metastatic capacity of the GPX4i‐resistant versus parental lines in vivo. GPX4i‐resistant cells survive upon intravenous injection, but lose capacity to spontaneously metastasize.
Marie Sabatier +16 more
wiley +1 more source
SEPIA: Search for Proofs Using Inferred Automata
, 2015 This paper describes SEPIA, a tool for automated proof generation in Coq. SEPIA combines model inference with interactive theorem proving. Existing proof corpora are modelled using state-based models inferred from tactic sequences.
F Wiedijk +6 more
core +1 more source
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018 We propose a formalization in Coq of HOπ , a process calculus where messages carry processes. Such a higher-order calculus features two very different kinds of binder: process input, similar to λ-abstraction, and name restriction, whose scope can be expanded by communication.
Lenglet, Sergueï, Schmitt, Alan
openaire +2 more sources