نتایج جستجو برای: coq 10
تعداد نتایج: 1018019 فیلتر نتایج به سال:
Neuropathological symptoms of Alzheimer's disease appear in advances stages, once neuronal damage arises. Nevertheless, recent studies demonstrate that in early asymptomatic stages, ß-amyloid peptide damages the cerebral microvasculature through mechanisms that involve an increase in reactive oxygen species and calcium, which induces necrosis and apoptosis of endothelial cells, leading to cereb...
Highly luminescent and water-soluble cobalt(ii)-bis(8-hydroxyquinoline) (CoQ(2)) nanosheets have been successfully synthesized via a simple, rapid sonochemical method. The water-soluble CoQ(2) nanosheets were characterized by luminescence spectroscopy, UV-vis spectroscopy, FT-IR spectroscopy and transmission electron microscopy (TEM). The CoQ(2) nanosheets allow highly sensitive and selective d...
This tutorial will illustrate how to use the Coq proof assistant to implement effective and provably correct computation for analysis. Coq provides a dependently typed functional programming language that allows users to specify both programs and formal proofs. We will introduce dependent type theory and show how it can be used to develop both mathematics and programming. We will show how to us...
Coenzyme Q (CoQ) is a lipid present in all cell membranes. One of the multiple metabolic functions of CoQ is to transport electrons in the reaction catalyzed by sulfide:quinone oxidoreductase (SQOR), the first enzyme of the oxidation pathway of sulfides (hydrogen sulfide, H2S). Early evidence of a defect in the metabolism of H2S in primary CoQ deficiency came from yeast studies in Schizosacchar...
Probably the most popular ITP systems these days are Isabelle [4a] and Coq [5]. Isabelle is a descendant of Edinburgh LCF. Its declarative extension Isabelle/Isar [4b] has been heavily influenced by Mizar. Coq can be viewed as a descendant of the Automath system in that both systems are based on the Curry-Howard correspondence [6] (a proof is a program, the formula it proves is a type for the p...
Electrons feed into the mitochondrial electron transport chain (mETC) from NAD- or FAD-dependent enzymes. A shift from glucose to fatty acids increases electron flux through FAD, which can saturate the oxidation capacity of the dedicated coenzyme Q (CoQ) pool and result in the generation of reactive oxygen species. To prevent this, the mETC superstructure can be reconfigured through the degrada...
This paper is a tutorial on using the Coq proof-assistant for reasoning on software correctness. It illustrates features of Coq like inductive definitions and proof automation on a few examples including arithmetic, algorithms on functional and imperative lists and cryptographic protocols. Coq is not a tool dedicated to software verification but a general purpose environment for developing math...
Equational reasoning in Coq is not straightforward. For a few years now there has been an ongoing research process towards adding rewriting to Coq. However, there are many research problems on this way. In this paper we give a coherent view of rewriting in Coq, we describe what is already done and what remains to be done. We discuss such issues as strong normalization, confluence, logical consi...
Rheumatoid arthritis is a common severe joint disease that affects all age groups, it is thus of great importance to develop new strategies for its treatment. The aim of the present study was to examine the combined effect of coenzyme Q₁₀ (CoQ₁₀) and methotrexate (MTX) on the progression of adjuvant-induced arthritis in rats. Adjuvant arthritis (AA) was induced by a single intradermal injection...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید