A clickable CoQ imaging probe reveals that cellular uptake and lysosomal trafficking depend on CD36 and NPC1 [PDF]
Redox BiologyCoenzyme 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 ...
Irene Liparulo +8 more
doaj +2 more sources
Impact of liposomal delivery on coenzyme Q10 absorption: a double-blind, placebo-controlled, randomized trial [PDF]
Frontiers in NutritionBackgroundCoenzyme 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 ...
Ralf Jäger +6 more
doaj +2 more sources
Improved Biopharmaceutical Performance of Coenzyme Q10 Through Solid Lipid Nanoparticles for Enhanced Brain Delivery [PDF]
ScientificaCoenzyme 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.
Shimul Halder +5 more
doaj +2 more sources
Evolution of COQ-Synthome Transcripts and CoQ Levels in Mice Tissues Along Aging: Effect of Resveratrol and Exercise [PDF]
AntioxidantsThe 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
Catherine Meza-Torres +6 more
doaj +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
Metabolites, 2022 Coenzyme Q10 (CoQ10) is a lipid-soluble compound with important physiological functions and is sought after in the food and cosmetic industries owing to its antioxidant properties.
Arthur Burgardt +4 more
doaj +1 more source