Results 51 to 60 of about 12,151 (175)
The Coq Proof Assistant, version 8.7+beta2.
, 2017 <p>Coq 8.7 includes:</p> <ul> <li>A large amount of work on cleaning and speeding up the code base, notably the work of Pierre-Marie Pédrot on making the tactic-level system insensitive to existential variable expansion ...
The Coq Development Team (8320326) +2 more
core +1 more source
uds-psl/coq-library-undecidability: Coq Library of Undecidability Proofs version 1.1
, 2023 A library of mechanised undecidability proofs in the Coq proof ...
Yannick Forster +12 more
core +1 more source
Mitochondrial-ER Contact Sites and Tethers Influence the Biosynthesis and Function of Coenzyme Q
ContactCoenzyme Q (CoQ) is an essential redox-active lipid that plays a major role in the electron transport chain, driving mitochondrial ATP synthesis. In Saccharomyces cerevisiae (yeast), CoQ biosynthesis occurs exclusively in the mitochondrial matrix via a ...
Noelle Alexa Novales +4 more
doaj +1 more source
Program Calculation in Coq [PDF]
, 2011 Program calculation, being a programming technique that derives programs from specification by means of formula manipulation, is a challenging activity. It requires human insights and creativity, and needs systems to help human to focus on clever parts of the derivation by automating tedious ones and verifying correctness of transformations.
Julien Tesson +4 more
openaire +1 more source
The Anatomical Record, EarlyView.Abstract Macaws are renowned for processing dry, mechanically resistant fruits, yet the species‐level anatomical and functional correlates of this performance remain incompletely resolved. We examined the feeding apparatus of the Blue‐and‐yellow Macaw (Ara ararauna) using an integrated approach that combines osteology, myology, and bite‐force estimates
Sérgio R. Posso +2 more
wiley +1 more source
uds-psl/coq-library-undecidability: Trakhtenbrot in Coq, IJCAR 2020 selected papers (LMCS) v1.0
, 2021 A library of mechanised undecidability proofs in the Coq proof ...
Yannick Forster +6 more
core +1 more source
Exploring Plasma Coenzyme Q10 Status in Paediatric Dyslipidaemia
AntioxidantsCoenzyme Q10 (CoQ) is a ubiquitous lipid with different biological functions. In blood, there is a close relationship between CoQ status and cholesterol, which strongly supports the study of both molecules simultaneously.
Beatriz Minguez +12 more
doaj +1 more source
Inherited metabolic epilepsies–established diseases, new approaches
Epilepsia Open, EarlyView.Abstract Inherited metabolic epilepsies (IMEs) represent the inherited metabolic disorders (IMDs) in which epilepsy is a prevailing component, often determining other neurodevelopmental outcomes associated with the disorder. The different metabolic pathways affected by individual IMEs are the basis of their rarity and heterogeneity.
Itay Tokatly Latzer, Phillip L. Pearl
wiley +1 more source
mattam82/Coq-Equations: Equations 1.2.2 for Coq 8.11
, 2020 This is a bugfix release of version 1.2 working with Coq 8.11. The bug fixes in the depind and depelim are potential sources of incompatibility. See https://mattam82.github.io/Coq-Equations/equations/2019/05/17/1.2.html for the 1.2 release notes.
Matthieu Sozeau +17 more
core +1 more source
Coenzyme Q supplementation in pulmonary arterial hypertension
Redox Biology, 2014 Mitochondrial dysfunction is a fundamental abnormality in the vascular endothelium and smooth muscle of patients with pulmonary arterial hypertension (PAH). Because coenzyme Q (CoQ) is essential for mitochondrial function and efficient oxygen utilization
Jacqueline Sharp +8 more
doaj +1 more source