Results 41 to 50 of about 12,151 (175)

Cell survival from chemotherapy depends on NF-kappaB transcriptional up-regulation of coenzyme Q biosynthesis. [PDF]

open access: yesPLoS ONE, 2009
BACKGROUND: Coenzyme Q (CoQ) is a lipophilic antioxidant that is synthesized by a mitochondrial complex integrated by at least ten nuclear encoded COQ gene products.
Gloria Brea-Calvo   +4 more
doaj   +1 more source

A measurement of quality costs in industrial organizations

open access: yesCogent Business & Management, 2022
This paper aims to determine the level of awareness and implementation of measuring CoQ in MIEs in Yemen. In contrast, this study was based on the traditional CoQ Prevention—Appraisal—Failure (PAF) model.
Riyadh Y. Alsada, Yathish Kumar
doaj   +1 more source

Coenzyme Q Biosynthesis: An Update on the Origins of the Benzenoid Ring and Discovery of New Ring Precursors

open access: yesMetabolites, 2021
Coenzyme Q (ubiquinone or CoQ) is a conserved polyprenylated lipid essential for mitochondrial respiration. CoQ is composed of a redox-active benzoquinone ring and a long polyisoprenyl tail that serves as a membrane anchor.
Lucía Fernández-del-Río   +1 more
doaj   +1 more source

The Coq Proof Assistant

open access: yes, 2018
<p>Coq version 8.8 contains the result of refinements and stabilization of features and deprecations, cleanups of the internals of the system along with a few new features.</p> <p>Summary of changes</p> <ul> <li> ...
The Coq Development Team (8320326)   +2 more
core   +1 more source

Traumatic Brain Injury Alters Cerebral Concentrations and Redox States of Coenzymes Q9 and Q10 in the Rat

open access: yesAntioxidants, 2023
To date, there is no information on the effect of TBI on the changes in brain CoQ levels and possible variations in its redox state. In this study, we induced graded TBIs (mild TBI, mTBI and severe TBI, sTBI) in male rats, using the weight-drop closed ...
Giacomo Lazzarino   +8 more
doaj   +1 more source

Sets in Coq, Coq in Sets

open access: yesJ. Formaliz. Reason., 2010
Journal of Formalized Reasoning; Vol 3, No 1 (2010); 29 ...
openaire   +2 more sources

The Coq Proof Assistant

open access: yes, 2019
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
The Coq Development Team (8320326)   +1 more
core   +1 more source

Interfacing Coq + SSReflect with GAP

open access: yes, 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

The effects of coenzyme q10 on testes of rats with diabetes induced by streptozotocin [PDF]

open access: yesEurasian Journal of Veterinary Sciences, 2021
Aim: In this study, it was aimed to determine the effect of CoQ10 on testes in streptozotocin (STZ) induced diabetic rats. Materials and Methods: In this study, thirty-four adult male Wistar Albino rats were used.
Tuğba Özaydın   +2 more
doaj  

Functional conservation of coenzyme Q biosynthetic genes among yeasts, plants, and humans. [PDF]

open access: yesPLoS ONE, 2014
Coenzyme Q (CoQ) is an essential factor for aerobic growth and oxidative phosphorylation in the electron transport system. The biosynthetic pathway for CoQ has been proposed mainly from biochemical and genetic analyses of Escherichia coli and ...
Kazuhiro Hayashi   +5 more
doaj   +1 more source

Home - About - Disclaimer - Privacy