Results 101 to 110 of about 74,343 (191)

Coenzyme Q deficiency causes impairment of the sulfide oxidation pathway

EMBO Molecular Medicine, 2016
Coenzyme Q (CoQ) is an electron acceptor for sulfide‐quinone reductase (SQR), the first enzyme of the hydrogen sulfide oxidation pathway. Here, we show that lack of CoQ in human skin fibroblasts causes impairment of hydrogen sulfide oxidation ...
Marcello Ziosi, Ivano Di Meo, Giulio Kleiner, Xing‐Huang Gao, Emanuele Barca, Maria J Sanchez‐Quintero, Saba Tadesse, Hongfeng Jiang, Changhong Qiao, Richard J Rodenburg, Emmanuel Scalais, Markus Schuelke, Belinda Willard, Maria Hatzoglou, Valeria Tiranti, Catarina M Quinzii   +15 more
doaj   +1 more source

Association between genetic variants in the Coenzyme Q₁₀ metabolism and Coenzyme Q₁₀ status in humans

BMC Research Notes, 2011
Background Coenzyme Q10 (CoQ10) is essential for mitochondrial energy production and serves as an antioxidants in extra mitochondrial membranes. The genetics of primary CoQ10 deficiency has been described in several studies, whereas the influence of ...
Menke Thomas, Niklowitz Petra, Rimbach Gerald, Schmelzer Constance, Fischer Alexandra, Döring Frank   +5 more
doaj   +1 more source

The clinical heterogeneity of coenzyme Q10 deficiency results from genotypic differences in the Coq9 gene

EMBO Molecular Medicine, 2015
Primary coenzyme Q10 (CoQ10) deficiency is due to mutations in genes involved in CoQ biosynthesis. The disease has been associated with five major phenotypes, but a genotype–phenotype correlation is unclear.
Marta Luna‐Sánchez, Elena Díaz‐Casado, Emanuele Barca, Miguel Ángel Tejada, Ángeles Montilla‐García, Enrique Javier Cobos, Germaine Escames, Dario Acuña‐Castroviejo, Catarina M Quinzii, Luis Carlos López   +9 more
doaj   +1 more source

Formal proof for delayed finite field arithmetic using floating point operators [PDF]

, 2008
Formal proof checkers such as Coq are capable of validating proofs of correction of algorithms for finite field arithmetics but they require extensive training from potential users.
Boldo, Sylvie, Daumas, Marc, Giorgi, Pascal   +2 more
core   +3 more sources

Cumulative Inductive Types in Coq

, 2018
In order to avoid well-known paradoxes associated with self-referential definitions, higher-order dependent type theories stratify the theory using a countably infinite hierarchy of universes (also known as sorts), Type 0 : Type 1 : · · ·. Such type systems are called cumulative if for any type A we have that A : Type i implies A : Type i+1.
Timany, Amin, Sozeau, Matthieu
openaire   +4 more sources

Strategic use of available capacity in the electricity spot market [PDF]

The literature on deregulated electricity markets generally assumes available capacities to be given. In contrast, this paper studies a model where firms precommit to capacity levels before competing in a uniform price auction.
Le Coq, Chloé
core  

Coq Modulo Theory [PDF]

, 2010
Coq Modulo Theory (CoqMT) is an extension of the Coq proof assistant incorporating, in its computational mechanism, validity entailment for user-defined first-order equational theories. Such a mechanism strictly enriches the system (more terms are typable), eases the use of dependent types and provides more automation during the development of proofs ...
openaire   +2 more sources

β‐RA reduces DMQ/CoQ ratio and rescues the encephalopathic phenotype in Coq9R239X mice

EMBO Molecular Medicine, 2018
Coenzyme Q (CoQ) deficiency has been associated with primary defects in the CoQ biosynthetic pathway or to secondary events. In some cases, the exogenous CoQ supplementation has limited efficacy.
Agustín Hidalgo‐Gutiérrez, Eliana Barriocanal‐Casado, Mohammed Bakkali, M Elena Díaz‐Casado, Laura Sánchez‐Maldonado, Miguel Romero, Ramy K Sayed, Cornelia Prehn, Germaine Escames, Juan Duarte, Darío Acuña‐Castroviejo, Luis C López   +11 more
doaj   +1 more source

Brown adipose tissue CoQ deficiency activates the integrated stress response and FGF21-dependent mitohormesis

The EMBO Journal
Coenzyme Q (CoQ) is essential for mitochondrial respiration and required for thermogenic activity in brown adipose tissues (BAT). CoQ deficiency leads to a wide range of pathological manifestations, but mechanistic consequences of CoQ deficiency in ...
Ching-Fang Chang, Amanda L Gunawan, Irene Liparulo, Peter-James H Zushin, Kaitlyn Vitangcol, Greg A Timblin, Kaoru Saijo, Biao Wang, Güneş Parlakgül, Ana Paula Arruda, Andreas Stahl   +10 more
doaj   +1 more source

DHODH Alleviates Heart Failure via the Modulation of CoQ-Related Ferroptotic Inhibition

Frontiers in Bioscience-Landmark
Background: Heart failure (HF) is a clinical syndrome that seriously endangers human health and quality of life as the terminal stage of cardiovascular diseases.
Chen Wang, Chuchu Chen, Jiabin Zhou, Jiayu Shi, Hanrui Sun, Jingyu Li, Pengyang Gu, Xinglin Wang, Qi Lu, Shuai Wang   +9 more
doaj   +1 more source