Results 141 to 150 of about 4,683 (239)

A Perspective on Interactive Theorem Provers in Physics

open access: yesAdvanced Science, EarlyView.
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

Challenges in Academic Authorship and Citation Metrics: Navigating Inflation, Biases, and the Rise of Evidence Synthesis. [PDF]

open access: yesIndian J Community Med
Bhattacharya S   +6 more
europepmc   +1 more source

A Brain‐Wide Atlas of Astrocytic Oxytocin Receptors Reveals a Glial Basis for Nucleus Accumbens Modulation of Affiliative Behavior

open access: yesAdvanced Science, EarlyView.
The cellular actors of oxytocin signaling are under intense scrutiny. A brain‐wide anatomical and functional analysis in mice and rats reveals widespread expression of oxytocin receptors in astrocytes. These receptors are functionally active and, in the nucleus accumbens, selectively regulate male social affiliation.
Clémence Denis   +32 more
wiley   +1 more source

3D Chromatin Architecture Provides Insights Into Leaf Trait Variation Among Pear Species

open access: yesAdvanced Science, EarlyView.
ABSTRACT Three‐dimensional (3D) chromatin architecture plays a fundamental role in eukaryotic gene regulations, its functional significance in perennial fruit trees remains poorly characterized despite extensive applications in crop genomics. Here, we developed high‐resolution (∼5 kb) Hi‐C maps of Pyrus and compared 3D genomic architecture of three ...
Yueyuan Liu   +11 more
wiley   +1 more source

Prior Expectations Bias Confidence Judgments Through Parietal Alpha‐Band Modulation

open access: yesAdvanced Science, EarlyView.
ABSTRACT Humans possess the metacognitive ability to estimate the likely accuracy of their own decisions through confidence judgments. Yet, whether prior information shapes confidence and the neural mechanisms mediating such influence, remain to be determined.
Luca Tarasi   +4 more
wiley   +1 more source

Tumor‐Derived LAMB3 Drives Immunosuppressive LRRC15+ Fibroblast Formation During Pancreatic Ductal Adenocarcinoma Development

open access: yesAdvanced Science, EarlyView.
A single‐cell atlas of pancreatic ductal adenocarcinoma development reveals progressive ductal‐fibroblast‐immune crosstalk. Tumor‐derived LAMB3 drives the formation of immunosuppressive LRRC15+ fibroblasts through the ITGB1/FAK/MAPK/FOSL2 signaling. Glycolytic reprogramming upregulates LAMB3 and correlates with LRRC15+ fibroblast enrichment.
Xuqing Shi   +23 more
wiley   +1 more source

Home - About - Disclaimer - Privacy