Results 41 to 50 of about 74,343 (191)
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
Gradual Certified Programming in Coq
, 2015 Expressive static typing disciplines are a powerful way to achieve high-quality software. However, the adoption cost of such techniques should not be under-estimated.
Disney T. +7 more
core +3 more sources
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
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots [PDF]
, 2013 We propose a framework to build formal developments for robot networks using the COQ proof assistant, to state and to prove formally various properties. We focus in this paper on impossibility proofs, as it is natural to take advantage of the COQ higher ...
Auger, Cédric +4 more
core +5 more sources
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
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
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
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
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
Advanced Science, EarlyView.Elevated exogenous palmitic acid promotes the S‐palmitoylation of SRPK1 in endothelial cells, a dynamic process governed by ZDHHC24 and APT1. This post‐translational modification strengthens the interaction between SRPK1 and the E3 ubiquitin ligase MIB1, thereby facilitating the proteasomal degradation of SRPK1.
Xiao‐Hui Tan +11 more
wiley +1 more source