Results 31 to 40 of about 470,683 (177)
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
Interfacing Coq + SSReflect with GAP [PDF]
, 2012 Presentation slides and preprint both provided by author. Preprint published in Electronic Notes in Theoretical Computer Science: Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10).We report on an extendable ...
Komendantsky, Vladimir +3 more
core +1 more source
coq-tactician/coq-tactician-api: PyTactician v15.1
, 2023 An API for interfacing with Coq through Tactician by external ...
mirefek +2 more
core +1 more source
Coenzyme Q10 and Cardiovascular Diseases
Antioxidants, 2021 Coenzyme Q10 (CoQ10), which plays a key role in the electron transport chain by providing an adequate, efficient supply of energy, has another relevant function as an antioxidant, acting in mitochondria, other cell compartments, and plasma lipoproteins ...
Francisco M. Gutierrez-Mariscal +5 more
doaj +1 more source
coq-tactician/coq-tactician-api: PyTactician v15.0
, 2023 An API for interfacing with Coq through Tactician by external ...
mirefek +2 more
core +1 more source
Antioxidants, 2022 Coenzyme Q10 (CoQ10) is an essential factor for mitochondrial activity and antioxidant protection of cells, tissues and plasma lipoproteins. Its deficiency has been associated with aging progression in animals and humans.
Rocío de la Bella-Garzón +4 more
doaj +1 more source
Dysfunctional Coq9 protein causes predominant encephalomyopathy associated with CoQ deficiency [PDF]
Human Molecular Genetics, 2012 Coenzyme Q10 (CoQ(10)) or ubiquinone is a well-known component of the mitochondrial respiratory chain. In humans, CoQ(10) deficiency causes a mitochondrial syndrome with an unexplained variability in the clinical presentations. To try to understand this heterogeneity in the clinical phenotypes, we have generated a Coq9 Knockin (R239X) mouse model.
Guarás, Adela +11 more
openaire +3 more sources
Dependence of Brown Adipose Tissue Function on CD36-Mediated Coenzyme Q Uptake
Cell Reports, 2015 Brown adipose tissue (BAT) possesses the inherent ability to dissipate metabolic energy as heat through uncoupled mitochondrial respiration. An essential component of the mitochondrial electron transport chain is coenzyme Q (CoQ).
Courtney M. Anderson +21 more
doaj +1 more source
coq-tactician/coq-tactician-api: Tactician's API v15 for Coq 8.11
, 2023 An API for interfacing with Coq through Tactician by external ...
mirefek +2 more
core +1 more source
ionathanch/coq: Practical Sized Typing for Coq (POPL 2021)
, 2020 This is the release for the anonymous supplementary materials for the initial submission of Practical Sized Typing for Coq to POPL 2021. Note that we do not rebase past ce500b3 because commits 3358163 (case inversion for SProp) and 8907a5b (primitive ...
Chan, Jonathan, The Coq Development Team
core +1 more source