Results 121 to 130 of about 12,151 (175)

MetaCoq: Coq Coq Correct!

, 2019
Snapshot of MetaCoq - accompanying material of the article: Matthieu Sozeau, Simon Boulier, Yannick Forster, Nicolas Tabareau, and Théo Winterhalter. 2020. Coq Coq Correct! Verification of Type Checking and Erasure for Coq, in Coq. Proc.
Matthieu Sozeau, Yannick Forster, Théo Winterhalter, Simon Boulier (8216100), Théo Winterhalter (8216103), Nicolas Tabareau (367802), Matthieu Sozeau (8216097), Yannick Forster (7134431), Nicolas Tabareau, Simon Boulier   +9 more
core   +1 more source

Brown adipose tissue CoQ deficiency activates the integrated stress response and FGF21-dependent mitohormesis

The EMBO Journal
Coenzyme Q (CoQ) is essential for mitochondrial respiration and required for thermogenic activity in brown adipose tissues (BAT). CoQ deficiency leads to a wide range of pathological manifestations, but mechanistic consequences of CoQ deficiency in ...
Ching-Fang Chang, Amanda L Gunawan, Irene Liparulo, Peter-James H Zushin, Kaitlyn Vitangcol, Greg A Timblin, Kaoru Saijo, Biao Wang, Güneş Parlakgül, Ana Paula Arruda, Andreas Stahl   +10 more
doaj   +1 more source

The Coq Proof Assistant : A Tutorial : Version 7.2 [PDF]

, 2002
Projet COQCoq is a proof assistant based on a higher-order logic. Coq allows to handle calculus mathematical assertions and to check mechanically proofs of these assertions.
Paulin-Mohring, Christine, Huet, Gérard, Kahn, Gilles   +2 more
core   +1 more source

Mitochondrial NAD kinase Pos5 is required for CoQ biosynthesis in yeasts.

PLoS ONE
Coenzyme Q (CoQ) is an essential component of the electron transport chain, and ten genes involved in CoQ biosynthesis have been identified in Schizosaccharomyces pombe. To gain further insight into CoQ biosynthesis, we screened the Bioneer gene-deletion
Shogo Nishihara, Ikuhisa Nishida, Yasuhiro Matsuo, Tomohiro Kaino, Makoto Kawamukai   +4 more
doaj   +1 more source

DHODH Alleviates Heart Failure via the Modulation of CoQ-Related Ferroptotic Inhibition

Frontiers in Bioscience-Landmark
Background: Heart failure (HF) is a clinical syndrome that seriously endangers human health and quality of life as the terminal stage of cardiovascular diseases.
Chen Wang, Chuchu Chen, Jiabin Zhou, Jiayu Shi, Hanrui Sun, Jingyu Li, Pengyang Gu, Xinglin Wang, Qi Lu, Shuai Wang   +9 more
doaj   +1 more source

A Proof of the S-m-n theorem in Coq

, 1997
This report describes the implementation of a mechanisation of the theory of computation in the Coq proof assistant which leads to a proof of the Smn theorem. This mechanisation is based on a model of computation similar to the partial recursive function
Zammit, Vincent, Vincent Zammit
core  

Agro-food manufacturing in Mediterranean Spanish regions: Andalusia versus Valencian region [PDF]

Agro ? food manufacturing is a basic activity in economic structure of Mediterranean regions. Spanish Mediterranean regions are not an exception in this pattern of specialization. Agro ?
Daniel Coq Huelva
core  

Coq Support in HAHA.

, 2018
HAHA is a tool that helps in teaching and learning Hoare logic. It is targeted at an introductory course on software verification. We present a set of new features of the HAHA verification environment that exploit Coq. These features are (1) generation of verification conditions in Coq so that they can be explored and proved interactively and (2 ...
Jacek Chrzaszcz, Aleksy Schubert, Jakub Zakrzewski 0003   +2 more
openaire   +3 more sources

The Coq Proof Assistant : A Tutorial : Version 6.1

, 1997
Projet COQCoq is a proof assistant based on a higher-order logic allowing powerful definitions of functions. This document is a tutorial for the version V6.1 of Coq.
Paulin-Mohring, Christine, Huet, Gérard, Kahn, Gilles   +2 more
core   +1 more source

Coqs

Caramel, 2023
openaire   +2 more sources