Results 191 to 200 of about 418,373 (300)
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
Automation of a pathology laboratory - current developments. [PDF]
Herbst H, Pocha K.
europepmc +1 more source
This study reveals that dietary stachyose enriches Butyricimonas virosa, effectively attenuating metabolic dysfunction‐associated steatotic liver disease (MASLD). Mechanistically, B. virosa enhances gut thiamine monophosphate synthesis, which elevates hepatic thiamine pyrophosphate levels.
Ningning He +17 more
wiley +1 more source
Bringing Imaging to the Bedside: The Growing Impact of Point-of-Care Ultrasound in Pediatric and Neonatal Intensive Care. [PDF]
Manoj S +4 more
europepmc +1 more source
The study provides an extreme example of insect adaptation to highly toxic defenses of host plants, and investigates the complex strategies to resist carcinogenic aristolochic acids, including physical isolation, metabolic detoxification, and DNA repair.
Yang Luan +20 more
wiley +1 more source
Constitutive PRKCN expression is driven by super‐enhancers and modulated by NF‐κB signaling in multiple myeloma (MM). PRKCN activates mTORC1/2‐IRF4 signaling axis and favors tumor cell growth independently of its kinase activity. IRF4 reciprocally promotes PRKCN transcription, creating a feed‐forward loop.
Koukou Tang +12 more
wiley +1 more source
A lightweight tri-modal few-shot detection framework for fruit diversity recognition toward digital orchard archiving. [PDF]
Xu H, Li H, Zhao J.
europepmc +1 more source
We generated multi‐tissue single‐cell transcriptomic atlases of camels and cattle, uncovering conserved and lineage‐specific cellular features across digestive and metabolic systems. Cross‐species comparisons revealed the evolutionary origin of the camel glandular sac and identified novel cell populations linked to physiological specialization ...
Tao Shi +22 more
wiley +1 more source
Open and impactful academic publishing. [PDF]
Ciriminna R +4 more
europepmc +1 more source

