Results 91 to 100 of about 470,683 (177)
Cell Biochemistry and Function, Volume 44, Issue 9, September 2026.ABSTRACT Ferroptosis is a form of programmed cell death characterized by iron‐dependent phospholipid peroxidation and is implicated in a wide range of human diseases. Emerging evidence highlights the critical role of epigenetic regulation in this process.
Xiaoqian Tang +5 more
wiley +1 more source
mattam82/Coq-Equations: Equations 1.3 for Coq 8.13
, 2021 Equations 1.3 This is a new major release of Equations, working with Coq 8.13. This version adds an improved syntax (less ;-separation), integration with the Coq-HoTT library and numerous bug fixes. See the reference manual for details.
Matthieu Sozeau +19 more
core +1 more source
Ferroptosis: Newly Emerged Regulator for Human Disease
MedComm, Volume 7, Issue 9, September 2026.Ferroptosis is a key regulated cell death pathway closely involved in cancers, neurodegenerative disorders, acute organ injuries, and cardiovascular and chronic metabolic diseases, representing a promising therapeutic target for diverse human illnesses.
Dandan Xiao +4 more
wiley +1 more source
Applications of Mesenchymal Stromal Cells for Treatment of Diseases
MedComm, Volume 7, Issue 9, September 2026.This schematic summarizes the major therapeutic mechanisms of MSCs across different disease systems and highlights factors associated with MSCs dysfunction, together with current strategies to enhance MSCs function and therapeutic efficacy. This summary diagram illustrates that MSCs exert therapeutic effects in various diseases through multiple ...
Dongmei Xue, Yongsheng Li, Lei Wu
wiley +1 more source
uds-psl/coq-library-undecidability: Coq Library of Undecidability Proofs version 1.1
, 2023 A library of mechanised undecidability proofs in the Coq proof ...
Yannick Forster +12 more
core +1 more source
Coenzyme Q deficiency in muscle [PDF]
, 2011 PURPOSE OF REVIEW: Coenzyme Q (CoQ) is a vital component of the mitochondrial respiratory chain. A number of patients with CoQ deficiency presented with different clinical phenotypes, often affecting skeletal muscle, and responded well to CoQ ...
Leonardo Salviati +5 more
core +2 more sources
Frontiers in Physiology, 2017 Coq9 is required for the stability of a mitochondrial multi-subunit complex, termed the CoQ-synthome, and the deamination step of Q intermediates that derive from para-aminobenzoic acid (pABA) in yeast. In human, mutations in the COQ9 gene cause neonatal-
Cuiwen H. He +6 more
doaj +1 more source
mattam82/Coq-Equations: Equations 1.0 for Coq 8.8
, 2018 <p>Equations is a function definition plugin for Coq (supporting Coq 8.6, 8.7 and 8.8), that allows the definition of functions by dependent pattern-matching and well-founded, mutual or nested structural recursion and compiles them into core terms.
Matthieu Sozeau +9 more
core +1 more source
mattam82/Coq-Equations: Equations 1.2.3 for Coq 8.11
, 2020 This is a bugfix release of version 1.2 working with Coq 8.11. The bug fixes in the depind and depelim are potential sources of incompatibility. See https://mattam82.github.io/Coq-Equations/equations/2019/05/17/1.2.html for the 1.2 release notes.
Matthieu Sozeau +17 more
core +1 more source
, 1996 Projet COQThe essential step of the formal verification of a proof-checker such as Coq is the verification of its kernel: a type-checker for the Calculus of Inductive Constructions (CIC) which is its underlying formalism.
Barras, Bruno
core +1 more source