Results 31 to 40 of about 12,151 (175)
How plants synthesize coenzyme Q
Plant Communications, 2022 Coenzyme Q (CoQ) is a conserved redox-active lipid that has a wide distribution across the domains of life. CoQ plays a key role in the oxidative electron transfer chain and serves as a crucial antioxidant in cellular membranes.
Jing-Jing Xu +3 more
doaj +1 more source
mattam82/Coq-Equations: Equations 1.3 for Coq 8.13
, 2021 Equations 1.3 This is a new major release of Equations, working with Coq 8.13. This version adds an improved syntax (less ;-separation), integration with the Coq-HoTT library and numerous bug fixes. See the reference manual for details.
Matthieu Sozeau +19 more
core +1 more source
2013 International Symposium on Theoretical Aspects of Software Engineering, 2013 Structural operational semantics provides a well known framework to describe the semantics of programming languages, lending itself to formalization in theorem provers. The formalization of syntactic SOS rule formats, which enforce some form of well-behavedness, has so far received less attention. GSOS is a rule format that enjoys the property that the
Madlener, K., Smetsers, S.
openaire +2 more sources
ionathanch/coq: Practical Sized Typing for Coq (POPL 2021)
, 2020 This is the release for the anonymous supplementary materials for the initial submission of Practical Sized Typing for Coq to POPL 2021. Note that we do not rebase past ce500b3 because commits 3358163 (case inversion for SProp) and 8907a5b (primitive ...
Chan, Jonathan, The Coq Development Team
core +1 more source
Proofs You Can Believe In: Proving Equivalences Between Prolog Semantics in Coq [PDF]
, 2013 Basing program analyses on formal semantics has a long and successful tradition in the logic programming paradigm. These analyses rely on results about the relative correctness of mathematically sophisticated semantics, and authors of such analyses often
Jael Kriener +5 more
core +1 more source
The Coq Library of Undecidability Proofs: Hilbert's Tenth problem in Coq (LMCS) v1.1
, 2021 Hilbert's Tenth problem in Coq Dominique Larchey-Wendling dominique.larchey-wendling@loria.fr, Yannick Forster forster@ps.uni-saarland.de This repository contains the Coq formalisation of the paper "Hilbert's tenth problem in Coq", submitted as a ...
Yannick Forster +11 more
core +1 more source
Antioxidants, 2023 Coenzyme Q10 (CoQ10) bioavailability in vivo is limited due to its lipophilic nature. Moreover, a large body of evidence in the literature shows that muscle CoQ10 uptake is limited. In order to address cell specific differences in CoQ uptake, we compared
Fabio Marcheggiani +7 more
doaj +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
Antioxidants, 2021 Mitochondrial dysfunction in type 2 diabetes leads to oxidative stress, which drives disease progression and diabetes complications. L-carnosine, an endogenous dipeptide, improves metabolic control, wound healing and kidney function in animal models of ...
Cheng Schwank-Xu +8 more
doaj +1 more source
A Formalization of Operads in Coq
CoRR, 2023 What provides the highest level of assurance for correctness of execution within a programming language? One answer, and our solution in particular, to this problem is to provide a formalization for, if it exists, the denotational semantics of a programming language.
Zachary Flores +3 more
openaire +2 more sources