Results 81 to 90 of about 75,676 (211)
Long‐Term Stress Adaptation as a Highly‐Conserved Key Factor in Yeast Aging
Aging Cell, Volume 25, Issue 5, May 2026.This study shows that long‐term, but not short‐term, stress exposure triggers molecular changes in yeast that mirror established hallmarks of aging, including altered proteostasis, epigenetic shifts, and reduced lifespan. These changes are reversible upon stress removal, and the genes involved are conserved across all domains of life. ABSTRACT Aging is
Yanzhuo Kong +7 more
wiley +1 more source
Building Decision Procedures in the Calculus of Inductive Constructions [PDF]
, 2007 It is commonly agreed that the success of future proof assistants will rely on their ability to incorporate computations within deduction in order to mimic the mathematician when replacing the proof of a proposition P by the proof of an equivalent ...
Blanqui, Frédéric +2 more
core +6 more sources
Acta Physiologica, Volume 242, Issue 5, May 2026.ABSTRACT Background Abnormal accumulation of lipids within the kidney contributes to the progression of chronic kidney disease, but the underlying metabolic mechanisms remain unclear. Citrate is a central metabolite in cellular energy regulation and is frequently elevated in advanced kidney disease, yet its impact on renal lipid metabolism has not been
Marta Sanz‐Gómez +8 more
wiley +1 more source
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
(Mechanical) Reasoning on Infinite Extensive Games [PDF]
, 2008 In order to better understand reasoning involved in analyzing infinite games in extensive form, we performed experiments in the proof assistant Coq that are reported here.Comment: 11
Lescanne, Pierre
core +5 more sources
A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4
, 2018 Being able to soundly estimate roundoff errors of finite-precision computations is important for many applications in embedded systems and scientific computing.
Becker, Heiko +5 more
core +1 more source
Journal of Cellular and Molecular Medicine, Volume 30, Issue 9, May 2026.ABSTRACT Breast cancer, a malignant tumour that frightens women, ruthlessly claims the lives of tens of thousands of women around the world every year. However, the mechanism by which YTHDF3 regulates the occurrence and development of breast cancer is still imperfect.
ZiQian Liu +8 more
wiley +1 more source
Advanced Science, Volume 13, Issue 19, 2 April 2026.Elevated exogenous palmitic acid promotes the S‐palmitoylation of SRPK1 in endothelial cells, a dynamic process governed by ZDHHC24 and APT1. This post‐translational modification strengthens the interaction between SRPK1 and the E3 ubiquitin ligase MIB1, thereby facilitating the proteasomal degradation of SRPK1.
Xiao‐Hui Tan +11 more
wiley +1 more source
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