Results 81 to 90 of about 74,343 (191)
Typed Template Coq -- Certified Meta-Programming in Coq
, 2018 Template-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 the purpose of writing functions on Coq's AST in Gallina.
Anand, Abhishek +3 more
openaire +2 more sources
, 2012 Component-based Engineering aims at providing a modular means to specify a wide range of applications. The idea is to promote a clean separation of concerns, and thus reusability, in order to ease the burden of software development and maintenance.
Gaspar, Nuno, Madelaine, Eric
openaire +2 more sources
A Proof of the S-m-n theorem in Coq [PDF]
, 1997 This report describes the implementation of a mechanisation of the theory of computation in the Coq proof assistant which leads to a proof of the Smn theorem. This mechanisation is based on a model of computation similar to the partial recursive function
Zammit, Vincent
core +1 more source
Extreme Droughts Push Heterotrophic Functions Above Baseline Levels in a Neotropical Ecosystem
Global Change Biology, Volume 32, Issue 3, March 2026.Using tank bromeliads, we experimentally assessed post‐drought resistance and recovery of ecosystem multifunctionality under realistic drought scenarios. We focused on three key functions in these small yet abundant Neotropical freshwater ecosystems: litter decomposition, microbial respiration, and photosynthetic efficiency.
Thibaut Rota +9 more
wiley +1 more source
Machine Learning of Coq Proof Guidance: First Experiments [PDF]
, 2014 We report the results of the first experiments with learning proof dependencies from the formalizations done with the Coq system. We explain the process of obtaining the dependencies from the Coq proofs, the characterization of formulas that is used for ...
Kaliszyk, Cezary +2 more
core +1 more source
Advanced Science, Volume 13, Issue 11, 23 February 2026.Schematic model showing the suggested mechanism that ZA induces classical activation of macrophages by impairing mitochondrial biofunction and inhibiting mitochondrial clearance to contribute to the pathological process of BRONJ. RAPA‐loaded nanoparticles ZDPR has shown potential in alleviating BRONJ lesions as well as treating osteoporosis or ...
Hang Zhang +10 more
wiley +1 more source
Statins in Breast Cancer Therapy: Mechanistic Insights and Emerging Evidence
Cancer Innovation, Volume 5, Issue 1, February 2026.Statins, particularly simvastatin, demonstrate potential as adjuvant agents in breast cancer treatment by disrupting tumour cell signalling and survival pathways. This review highlights emerging evidence supporting their repurposing for improved outcomes, especially in aggressive breast cancer subtypes.
Rohina Alim, H. M. Kasuni Akalanka
wiley +1 more source
Mitochondrial CoQ deficiency is a common driver of mitochondrial oxidants and insulin resistance
eLife, 2018 Insulin resistance in muscle, adipocytes and liver is a gateway to a number of metabolic diseases. Here, we show a selective deficiency in mitochondrial coenzyme Q (CoQ) in insulin-resistant adipose and muscle tissue.
Daniel J Fazakerley +23 more
doaj +1 more source
, 1996 The essential step of the formal verification of a proof-checker such as Coq is the verification of its kernel: a type-checker for the Calculus of Inductive Constructions (CIC) which is its underlying formalism. The present work is a first small-scale attempt on a significative fragment of CIC: the Calculus of Constructions (CC).
openaire +2 more sources
Negotiation tools for vegetable commodity chain in Vientiane : SUSPER (sustainable development of peri-urban agriculture in South-East Asia) project [PDF]
, 2003 This report gives an overview of the vegetable sector in Vientiane prefecture in terms of production and market (supply and demand). The report is based on secondary data (see bibliography) and some preliminary results from the analysis of the data ...
Le Coq, Jean-François
core