Results 21 to 30 of about 12,151 (175)
An Implementation of Deflate in Coq [PDF]
, 2016 The widely-used compression format "Deflate" is defined in RFC 1951 and is based on prefix-free codings and backreferences. There are unclear points about the way these codings are specified, and several sources for confusion in the standard. We tried to fix this problem by giving a rigorous mathematical specification, which we formalized in Coq.
Christoph-Simon Senjak +1 more
openaire +2 more sources
coq-tactician/coq-tactician-api: Tactician's API v15 for Coq 8.11
, 2023 An API for interfacing with Coq through Tactician by external ...
mirefek +2 more
core +1 more source
A propos du programme de maturité fédérale en géographie [PDF]
Geographica HelveticaNo abstract available.
J. Portmann
doaj +1 more source
Molecules, 2020 Coenzyme Q (CoQ) is an essential component of the mitochondrial electron transport chain and an important antioxidant present in all cellular membranes.
Lucía Fernández-del-Río +3 more
doaj +1 more source
Antioxidants, 2021 Coenzyme Q10 (CoQ10), an essential component for energy production that exhibits antioxidant activity, is considered a health-supporting and antiaging supplement.
Michiyo Takahashi +4 more
doaj +1 more source
The Coq Proof Script Visualiser (coq-psv)
CoRR, 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
Molecules, 2018 In this study, a series of di-O-caffeoylquinic acids (di-COQs) were systematically investigated for their antioxidant and cytoprotective effects towards •OH-damaged bone marrow-derived mesenchymal stem cells (bmMSCs).
Xican Li +7 more
doaj +1 more source
J. Autom. Reason., 2020 We present a formalization of HOπ in Coq, a process calculus where messages carry processes. Such a higher-order calculus features two very different kinds of binder: process input, similar to λ-abstraction, and name restriction, whose scope can be expanded by communication.
Ambal, Guillaume +2 more
openaire +2 more sources
uds-psl/coq-library-undecidability: Coq Library of Undecidability Proofs version 1.1.1+8.18
, 2023 A library of mechanised undecidability proofs in the Coq proof ...
Yannick Forster +12 more
core +2 more sources
Redox Biology, 2021 Mitochondrial energy production and function rely on optimal concentrations of the essential redox-active lipid, coenzyme Q (CoQ). CoQ deficiency results in mitochondrial dysfunction associated with increased mitochondrial oxidative stress and a range of
Anita Ayer +19 more
doaj +1 more source