Results 101 to 110 of about 12,151 (175)
erikmd/coq-bool-games: BoolGames
, 2018 <p>A library for the Coq proof assistant accompanying the paper "A Formal Study of Boolean Games with Random Formulas as Payoff Functions" by Erik Martin-Dorel and Sergei Soloviev.</p ...
Erik Martin-Dorel (8279976) +3 more
core +1 more source
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
, 2019 Some mathematical proofs involve intensive computations, for instance: the four-color theorem, Hales' theorem on sphere packing (formerly known as the Kepler conjecture) or interval arithmetic. For numerical computations, floating-point arithmetic enjoys widespread usage thanks to its efficiency, despite the introduction of rounding errors.
Guillaume Bertholon +2 more
openaire +3 more sources
Lem: reusable engineering of real-world semantics [PDF]
, 2014 Recent years have seen remarkable successes in rigorous engineering: using mathematically rigorous semantic models (not just idealised calculi) of real-world processors, programming languages, protocols, and security mechanisms, for testing, proof ...
Kathryn E. Gray (7672313) +14 more
core +1 more source
coq-tactician/coq-tactician: Tactician 1.0~beta2.1+8.15 for Coq 8.15
, 2023 A Seamless, Interactive Tactic Learner and Prover for ...
Zhang-Liao +2 more
core +1 more source
coq-tactician/coq-tactician: Tactician 1.0~beta2.1+8.17 for Coq 8.17
, 2023 A Seamless, Interactive Tactic Learner and Prover for ...
Zhang-Liao +2 more
core +1 more source
Towards Certified Meta-Programming with Typed Template-Coq
, 2018 International audienceTemplate-Coq is a plugin for Coq, originally implemented by Malecha, which provides a reifier for Coq terms and global declarations , as represented in the Coq kernel, as well as a denotation command. Initially, it was developed for
Matthieu Sozeau +9 more
core +1 more source
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
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