Results 51 to 60 of about 23,621 (170)
Physiological Reports, Volume 14, Issue 21, November 2026.Prolonged high‐fat, high‐cholesterol feeding makes male mice more susceptible than females to obesity‐induced muscle atrophy, driven by disrupted intestinal homeostasis and mitochondrial dysfunction. Abstract Obesity‐related skeletal muscle atrophy poses a significant health burden, with marked sex differences in this condition. However, the mechanisms
Tingyi Mo +7 more
wiley +1 more source
Decoding ferroptosis via integrated multi‐omics analyses in rice blast
iMeta, Volume 5, Issue 5, October 2026.The rice‐Magnaporthe oryzae pathosystem is presented as a host‐pathogen ferroptosis model. Multi‐omics insights connect ferroptosis to several cellular processes, such as iron homeostasis, reactive oxygen species (ROS)/redox imbalance, and polyunsaturated fatty acid‐containing phospholipid (PUFA‐PL) peroxidation, under multiple regulators in rice and M.
Zhibin Liang +8 more
wiley +1 more source
Journal of Addictions &Offender Counseling, Volume 47, Issue 2, Page 195-204, October 2026.ABSTRACT This study reports findings from a community‐based program evaluation examining treatment effectiveness in a real‐world outpatient substance use care setting. Using a within‐program pre–post design, changes in alcohol and drug use were assessed among clients receiving intensive outpatient services.
Jessie A. Brown +3 more
wiley +1 more source
Aging Cell, Volume 25, Issue 10, October 2026.Mitochondrial fission‐fusion imbalance contributes to age‐related cardio‐cerebral diseases like Alzheimer's disease, Parkinson's disease, Cerebral Infarction, Arteriosclerosis, Myocardial Infarction, Cardiac valve disease, Hypertension, and Cardiomyopathy. This review summarizes its regulatory mechanisms and interventions.
Yuyao Yin, Zijian Li
wiley +1 more source
Towards Certified Meta-Programming with Typed Template-Coq [PDF]
, 2018 International audienceTemplate-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
Matthieu Sozeau +9 more
core +1 more source
The Coq Proof Assistant : Reference Manual : Version 7.2
, 2002 Coq is a proof assistant based on a higher-order logic. Coq allows to handle calculus mathematical assertions and to check mechanically proofs of these assertions.
Coq, The
core +3 more sources
Travelling, Staying, Working, Imagining: Space and the Practice of Internationalism, c1900–1950
History Compass, Volume 24, Issue 5, October 2026.ABSTRACT This article considers space as a key element in the practice of internationalism in the first half of the 20th century. Drawing on approaches in historical geography and cultural history, the article proposes four analytical categories through which internationalism might be explored in the period between 1900 and 1950.
Julia Eichenberg, Tomás Irish
wiley +1 more source
uds-psl/coq-library-undecidability: Coq Library of Undecidability Proofs version 1.0.1
, 2022 This release is intended to serve as the base for a release of coq-library-complexity.1.0+8.16.
Yannick Forster +8 more
core +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 +2 more sources
Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity, 2020 Video about the Monadic W in Coq for the SBLP 2020.
Rafael Castro Gonçalves Silva +2 more
openaire +3 more sources