A clickable CoQ imaging probe reveals that cellular uptake and lysosomal trafficking depend on CD36 and NPC1. [PDF]
Redox BiolCoenzyme Q (CoQ) is a crucial lipid-soluble antioxidant and electron transporter vital for mitochondrial respiration and cellular redox balance. Despite the role of CoQ in oxidative phosphorylation being well established, the mechanisms by which CoQ is ...
Liparulo I +8 more
europepmc +2 more sources
Impact of liposomal delivery on coenzyme Q10 absorption: a double-blind, placebo-controlled, randomized trial. [PDF]
Front NutrBackgroundCoenzyme Q10 (CoQ-10) plays a vital role in cellular energy production and protection against oxidative stress. However, its absorption from orally administered forms is limited due to its poor water solubility and relatively large molecular ...
Jäger R +6 more
europepmc +2 more sources
Improved Biopharmaceutical Performance of Coenzyme Q10 Through Solid Lipid Nanoparticles for Enhanced Brain Delivery. [PDF]
Scientifica (Cairo)Coenzyme Q10 (CoQ) is a powerful antioxidant with neuroprotective characteristics; nevertheless, its clinical use is constrained by inadequate solubility, diminished bioavailability, and limited blood–brain barrier (BBB) penetration.
Halder S +5 more
europepmc +2 more sources
Evolution of COQ-Synthome Transcripts and CoQ Levels in Mice Tissues Along Aging: Effect of Resveratrol and Exercise. [PDF]
Antioxidants (Basel)The balanced control of the synthesis of CoQ along the life of the organism is essential to maintain the respiratory capacity at the mitochondria and the antioxidant protection of cell membranes and plasma lipoproteins. For this reason, we determined the
Meza-Torres C +6 more
europepmc +2 more sources
Mitochondrial NAD kinase Pos5 is required for CoQ biosynthesis in yeasts. [PDF]
PLoS OneCoenzyme Q (CoQ) is an essential component of the electron transport chain, and ten genes involved in CoQ biosynthesis have been identified in Schizosaccharomyces pombe. To gain further insight into CoQ biosynthesis, we screened the Bioneer gene-deletion
Nishihara S +4 more
europepmc +2 more sources
Coenzyme Q in Thraustochytrium sp. RT2316-16: Effect of the Medium Composition
Marine Drugs, 2023 Coenzyme Q (CoQ; ubiquinone) is an essential component of the respiratory chain. It is also a potent antioxidant that prevents oxidative damage to DNA, biological membranes, and lipoproteins.
Liset Flores +3 more
doaj +1 more source
Coq Coq correct! verification of type checking and erasure for Coq, in Coq [PDF]
Proceedings of the ACM on Programming Languages, 2019 Coq is built around a well-delimited kernel that perfoms typechecking for definitions in a variant of the Calculus of Inductive Constructions (CIC). Although the metatheory of CIC is very stable and reliable, the correctness of its implementation in Coq is less clear.
Sozeau, Matthieu +4 more
openaire +3 more sources
Redox Biology, 2022 Defects in Coenzyme Q (CoQ) metabolism have been associated with primary mitochondrial disorders, neurodegenerative diseases and metabolic conditions.
Pilar González-García +12 more
doaj +1 more source
Coenzyme Q10 Treatment Monitoring in Different Human Biological Samples
Antioxidants, 2020 Coenzyme Q10 (CoQ) treatment monitoring is a matter of debate since CoQ distribution from plasma to blood cells and tissues is not fully understood. We aimed to analyze the CoQ levels in a wide set of human biological samples (plasma, blood mononuclear ...
Abraham J. Paredes-Fuentes +10 more
doaj +1 more source
Extracting functional programs from Coq, in Coq
Journal of Functional Programming, 2022 AbstractWe implement extraction of Coq programs to functional languages based on MetaCoq’s certified erasure. We extend the MetaCoq erasure output language with typing information and use it as an intermediate representation, which we call${\lambda^T_\square}$.
DANIL ANNENKOV +3 more
openaire +4 more sources