Results 91 to 100 of about 74,343 (191)
The Refined Calculus of Inductive Construction: Parametricity and Abstraction [PDF]
, 2012 We present a refinement of the Calculus of Inductive Constructions in which one can easily define a notion of relational parametricity.
Keller, Chantal, Lasson, Marc
core +2 more sources
Coenzyme Q in the Treatment of Mitochondrial Disease
Journal of Inborn Errors of Metabolism and Screening, 2017 Currently, there is a paucity of available treatment strategies for oxidative phosphorylation disorders. Coenzyme Q 10 (CoQ 10 ) and related synthetic quinones are the only agents to date that have proven to be beneficial in the treatment of these ...
Viruna Neergheen MSc +6 more
doaj +1 more source
Explaining Gabriel-Zisman localization to the computer [PDF]
, 2005 This explains a computer formulation of Gabriel-Zisman localization of categories in the proof assistant Coq. It includes both the general localization construction with the proof of GZ's Lemma 1.2, as well as the construction using calculus of fractions.
Simpson, Carlos T.
core +3 more sources
Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots
, 2016 We present a unified formal framework for expressing mobile robots models, protocols, and proofs, and devise a protocol design/proof methodology dedicated to mobile robots that takes advantage of this formal framework.
Courtieu, Pierre +3 more
core +4 more sources
Integrative Cancer Therapies, 2017 Coenzyme Q 0 (CoQ 0 ; 2,3-dimethoxy-5-methyl-1,4-benzoquinone), a major active constituent of Antrodia camphorata , has been shown to inhibit human triple-negative breast cancer (MDA-MB-231) cells through induction of apoptosis and cell-cycle arrest ...
Hui-Min Wang PhD +9 more
doaj +1 more source
Journal of Automated Reasoning, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Nomenclature for Factors of the HLA System, 2026
HLA, Volume 107, Issue 3, March 2026.
Steven G. E. Marsh +14 more
wiley +1 more source
TRX: A Formally Verified Parser Interpreter
, 2011 Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser interpreter formally developed in the proof assistant Coq, capable of producing
Adam Koprowski +7 more
core +2 more sources
Mitochondrial Dysfunctions in Human Primary Coenzyme Q10 Deficiencies
BiomoleculesCoenzyme Q10 (CoQ10) is an essential lipid-soluble molecule that plays a central role in mitochondrial energy production as a mobile electron carrier. In addition to its bioenergetic function, CoQ10 participates in antioxidant defense, redox homeostasis,
Fanny Fontaine +2 more
doaj +1 more source
Contact, 2019 Loss of the endoplasmic reticulum (ER)-mitochondria encounter structure (ERMES) complex that resides in contact sites between the yeast ER and mitochondria leads to impaired respiration; however, the reason for that is not clear.
Michal Eisenberg-Bord +9 more
doaj +1 more source