Results 41 to 50 of about 75,676 (211)
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
First steps towards the certification of an ARM simulator using Compcert [PDF]
, 2011 The simulation of Systems-on-Chip (SoC) is nowadays a hot topic because, beyond providing many debugging facilities, it allows the development of dedicated software before the hardware is available. Low-consumption CPUs such as ARM play a central role in
D. August +4 more
core +4 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
A Coq-based synthesis of Scala programs which are correct-by-construction
, 2017 The present paper introduces Scala-of-Coq, a new compiler that allows a Coq-based synthesis of Scala programs which are "correct-by-construction".
Bakouny, Youssef El +2 more
core +2 more sources
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
Metabolites, 2021 Coenzyme Q (ubiquinone or CoQ) is a conserved polyprenylated lipid essential for mitochondrial respiration. CoQ is composed of a redox-active benzoquinone ring and a long polyisoprenyl tail that serves as a membrane anchor.
Lucía Fernández-del-Río +1 more
doaj +1 more source
Total Haskell is Reasonable Coq
, 2017 We would like to use the Coq proof assistant to mechanically verify properties of Haskell programs. To that end, we present a tool, named hs-to-coq, that translates total Haskell programs into Coq programs via a shallow embedding.
Abel Andreas +15 more
core +1 more source
The Coq Proof Script Visualiser (coq-psv)
, 2021 In this work, we present a visualisation tool that is able to process Coq proof scripts and generate a table representation of the contained proofs as $\LaTeX$ or PDF files. This tool has the aim to support both education and review processes as all proof steps can be visualised.
openaire +2 more sources
Functional conservation of coenzyme Q biosynthetic genes among yeasts, plants, and humans. [PDF]
PLoS ONE, 2014 Coenzyme Q (CoQ) is an essential factor for aerobic growth and oxidative phosphorylation in the electron transport system. The biosynthetic pathway for CoQ has been proposed mainly from biochemical and genetic analyses of Escherichia coli and ...
Kazuhiro Hayashi +5 more
doaj +1 more source
Journal of Formalized Reasoning, 2010 This work is about formalizing models of various type theories of the Calculus of Constructions family. Here we focus on set theoretical models. The long-term goal is to build a formal set theoretical model of the Calculus of Inductive Constructions, so we can be sure that Coq is consistent with the language used by most mathematicians.One aspect of ...
openaire +3 more sources