Results 161 to 170 of about 74,343 (191)
Coenzyme Q and Selenium Co-Supplementation Alleviate Methionine Choline-Deficient Diet-Induced Metabolic Dysfunction-Associated Steatohepatitis in Mice. [PDF]
NutrientsChoi H, Choi J, Go Y, Chung J.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, 2013
We describe a Coq formalization of a subset of the x86 architecture. One emphasis of the model is brevity: using dependent types, type classes and notation we give the x86 semantics a makeover that counters its reputation for baroqueness. We model bits, bytes, and memory concretely using functions that can be computed inside Coq itself; concrete ...
Benton, Nick +3 more
openaire +2 more sources
We describe a Coq formalization of a subset of the x86 architecture. One emphasis of the model is brevity: using dependent types, type classes and notation we give the x86 semantics a makeover that counters its reputation for baroqueness. We model bits, bytes, and memory concretely using functions that can be computed inside Coq itself; concrete ...
Benton, Nick +3 more
openaire +2 more sources
2001
Fusion theorem is a classical result that allows the simplification of the morphisms among homogeneus structures [10]. We present this theorem and some generalizations in the context of the constructive proof assistant tool Coq [2] where we have dependent types and parametric polymorphism.
José L. Freire Nistal +3 more
openaire +1 more source
Fusion theorem is a classical result that allows the simplification of the morphisms among homogeneus structures [10]. We present this theorem and some generalizations in the context of the constructive proof assistant tool Coq [2] where we have dependent types and parametric polymorphism.
José L. Freire Nistal +3 more
openaire +1 more source
COQ: Extraction of COQ homologues from animal tissues / HPLC
2000Abstract Coenzyme Q (COQ) plays an important role in ATP synthesis as an electroncarrying component of the mitochondrial respiratory chain. In recent years, increasing attention has focused on the reduced form of COQ homologues (COQnH2) as antioxidants.
openaire +1 more source
Coq, un outil pour l'enseignement
2005In this article, we present the use of the Coq proof assistant with DESS (Master thesis) students. First, in the framework of a course of programming language semantics, Coq greatly helps the students to understand formal and abstract notions, such as induction, by binding them to more concrete terms.
Delahaye, David +2 more
openaire +3 more sources