Results 91 to 100 of about 12,151 (175)
Advanced Science, Volume 13, Issue 25, 4 May 2026.Resident myonuclei are the molecular “control centers” for large multinuclear muscle fibers. It is presumed that, with aging, these control centers become compromised and contribute to delayed or blunted muscle adaptive potential. This study is a detailed roadmap that exposes how young versus aged myonuclei respond to a hypertrophic loading stimulus ...
Pieter J. Koopmans +8 more
wiley +1 more source
AntioxidantsThe balanced control of the synthesis of CoQ along the life of the organism is essential to maintain the respiratory capacity at the mitochondria and the antioxidant protection of cell membranes and plasma lipoproteins. For this reason, we determined the
Catherine Meza-Torres +6 more
doaj +1 more source
Proteolytic control of mitochondrial protein translocases
Protein Science, Volume 35, Issue 5, May 2026.Abstract Mitochondria are essential organelles that drive numerous cellular processes, including energy metabolism, ion homeostasis, and programmed cell death. This functional versatility relies on a highly dynamic proteome whose composition is continuously remodeled to meet changing cellular and environmental demands.
Lara Kroczek, Thomas Langer
wiley +1 more source
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
Manuscrits et imprimés contenant des coq-à-l'âne (jusqu'en 1649)
, 2022 Où les coq-à-l'âne imprimés ou manuscrits sont-ils conservés aujourd'hui? Une tentative de recensement.
ducoqalane
core +1 more source
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
A Comparative Study of Coq and HOL
, 1997 This paper illustrates the differences between the style of theory mechanisation of Coq and of HOL. This comparative study is based on the mechanisation of fragments of the theory of computation in these systems.
Zammit, Vincent, Vincent Zammit
core +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
Computer Science and Information Systems, 2008 In this article we describe an implementation of Kleene algebra with tests (KAT) in the Coq theorem prover. KAT is an equational system that has been successfully applied in program verification and, in particular, it subsumes the propositional Hoare logic (PHL). We also present an PHL encoding in KAT, by deriving its deduction rules as theorems of KAT.
David Pereira, Nelma Moreira
openaire +1 more source
Company-Coq: Taking Proof General one step closer to a real IDE [PDF]
, 2016 Company-Coq is a new Emacs package that extends Proof General with a contextual auto-completion engine for Coq proofs and many additional facilities to make writing proofs easier and more efficient.
Courtieu, Pierre +2 more
core +1 more source