Results 31 to 40 of about 74,343 (191)
Coinductive Formal Reasoning in Exact Real Arithmetic [PDF]
, 2008 In this article we present a method for formally proving the correctness of the lazy algorithms for computing homographic and quadratic transformations -- of which field operations are special cases-- on a representation of real numbers by coinductive ...
Martín Escardó, Milad Niqui
core +1 more source
Dependence of Brown Adipose Tissue Function on CD36-Mediated Coenzyme Q Uptake
Cell Reports, 2015 Brown adipose tissue (BAT) possesses the inherent ability to dissipate metabolic energy as heat through uncoupled mitochondrial respiration. An essential component of the mitochondrial electron transport chain is coenzyme Q (CoQ).
Courtney M. Anderson +21 more
doaj +1 more source
Cell survival from chemotherapy depends on NF-kappaB transcriptional up-regulation of coenzyme Q biosynthesis. [PDF]
PLoS 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
Category Theory in Coq 8.5 [PDF]
, 2015 We report on our experience implementing category theory in Coq 8.5. The repository of this development can be found at https://bitbucket.org/amintimany/categories/.
Jacobs, Bart, Timany, Amin
core +2 more sources
A measurement of quality costs in industrial organizations
Cogent 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
Computing with Classical Real Numbers [PDF]
, 2008 There are two incompatible Coq libraries that have a theory of the real numbers; the Coq standard library gives an axiomatic treatment of classical real numbers, while the CoRN library from Nijmegen defines constructively valid real numbers ...
Kaliszyk, Cezary, O'Connor, Russell
core +3 more sources
The effects of coenzyme q10 on testes of rats with diabetes induced by streptozotocin [PDF]
Eurasian 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
Antioxidants, 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
Clinical syndromes associated with Coenzyme Q10 deficiency. [PDF]
, 2018 Primary Coenzyme Q deficiencies represent a group of rare conditions caused by mutations in one of the genes required in its biosynthetic pathway at the enzymatic or regulatory level.
Alc\ue1zar-Fabra, Maria +2 more
core +1 more source
Concrete Semantics with Coq and CoqHammer
, 2018 The "Concrete Semantics" book gives an introduction to imperative programming languages accompanied by an Isabelle/HOL formalization. In this paper we discuss a re-formalization of the book using the Coq proof assistant.
A Chlipala +7 more
core +1 more source