Results 101 to 110 of about 75,676 (211)
Mitochondrial Dysfunctions in Human Primary Coenzyme Q10 Deficiencies
BiomoleculesCoenzyme Q10 (CoQ10) is an essential lipid-soluble molecule that plays a central role in mitochondrial energy production as a mobile electron carrier. In addition to its bioenergetic function, CoQ10 participates in antioxidant defense, redox homeostasis,
Fanny Fontaine +2 more
doaj +1 more source
Integrative Cancer Therapies, 2017 Coenzyme Q 0 (CoQ 0 ; 2,3-dimethoxy-5-methyl-1,4-benzoquinone), a major active constituent of Antrodia camphorata , has been shown to inhibit human triple-negative breast cancer (MDA-MB-231) cells through induction of apoptosis and cell-cycle arrest ...
Hui-Min Wang PhD +9 more
doaj +1 more source
Contact, 2019 Loss of the endoplasmic reticulum (ER)-mitochondria encounter structure (ERMES) complex that resides in contact sites between the yeast ER and mitochondria leads to impaired respiration; however, the reason for that is not clear.
Michal Eisenberg-Bord +9 more
doaj +1 more source
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 +15 more
doaj +1 more source
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 +9 more
doaj +1 more source
Primary Coenzyme Q10 Deficiency [PDF]
, 2017 open4siCLINICAL CHARACTERISTICS: Primary coenzyme Q10 (CoQ10) deficiency is usually associated with multisystem involvement, including neurologic manifestations such as fatal neonatal encephalopathy with hypotonia; a late-onset slowly progressive ...
Doimo, Mara +3 more
core
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
Formal verification in Coq of program properties involving the global state effect [PDF]
, 2013 The syntax of an imperative language does not mention explicitly the state, while its denotational semantics has to mention it. In this paper we present a framework for the verification in Coq of properties of programs manipulating the global state ...
Dumas, Jean-Guillaume +3 more
core +5 more sources
, 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
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