Results 121 to 130 of about 2,313,292 (299)
A Perspective on Interactive Theorem Provers in Physics
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement
The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang +7 more
wiley +1 more source
Felicity Callard’s interest in the long history of research into daydreaming, fantasy and reverie, and the ways in which this subterranean tradition might productively complicate contemporary cognitive scientific investigations of mind wandering, has been a significant focus of her work for Hubbub.
openaire +2 more sources
This study analyzes gut bacteria in cholangiocarcinoma patients, revealing distinct microbial signatures that enable accurate disease detection. Species‐based diagnostic models achieved over 98% accuracy in identifying cholangiocarcinoma and distinguished it from other liver diseases. The research demonstrates that specific beneficial bacteria suppress
Benchen Rao +18 more
wiley +1 more source
Acquiring Qualitative Data for Secondary Analysis
Qualidata was launched in 1994 as a proactive service for the location, documentation and preservation of qualitative social science research data. Over the course of its relatively short history, Qualidata has succeeded in gaining acceptance for the ...
Louise Corti, Gill Backhouse
doaj
A Functionally Conserved Enhancer is Critical for PGC1A Expression and Thermogenesis in Brown Fat
An evolutionarily conserved enhancer controls PGC1A expression and thermogenic activation in brown adipose tissue. Integrative multi‐omics analyses identify two BAT‐specific enhancers, with PGC1A‐En1 functioning as the dominant regulatory element that maintains thermogenic capacity across species.
Duo Su +10 more
wiley +1 more source
TRF enriches Ruminococcus, a bacterial genus producing SCFAs, and activates the epithelial HIF‐1α signaling pathway. This mechanism protects the colonic mucosa from inflammatory insults in colitis models. Mechanistically, gut lactate production during starvation and refeeding mediates H4K12la, which increases SLC9A3 expression and creates an acidic gut
Linwen Huang +17 more
wiley +1 more source
This study identifies GDF15+ TAMs as a cell subset mediating tumor regression after immunotherapy. Macrophage‐intrinsic GDF15 enhances phagocytosis and antigen cross‐presentation to CD8+ T cells through the NF‐κB signaling pathway, thereby inhibiting tumor progression.
Xinyu Zhou +9 more
wiley +1 more source
Soybean employs its circadian clock, governed by GmCCA1, to rhythmically defend against soybean cyst nematodes. The pathogen retaliates by secreting the effector Hg4E02, which hijacks the clock to suppress defense and co‐opt the host's translation machinery for nutrient acquisition.
Xingwei Wang +21 more
wiley +1 more source
Bioenergy Cropping Reduces the Spatiotemporal Scaling of Soil Bacterial Biodiversity
Consistent with patterns observed in plant and animal communities, soil bacterial communities exhibit significant species–time–area and phylogenetic–time–area relationships independent of nested structure. Bioenergy cropping significantly reduces the spatiotemporal scaling rates, particularly in sandy loam soils.
Zhencheng Ye +19 more
wiley +1 more source

