Results 191 to 200 of about 1,434,275 (265)
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
Robust Bayesian multilevel meta-analysis: Adjusting for publication bias in the presence of dependent effect sizes. [PDF]
Bartoš F, Maier M, Wagenmakers EJ.
europepmc +1 more source
ABSTRACT Genome‐wide association studies (GWAS) link the Tropomyosin 1 (Tpm1) locus to quantitative blood trait variation, but related mechanisms are unclear. Tpm1 encodes an actin‐binding protein that regulates actin filament diversity, cell adhesion, signaling, and actomyosin contractility.
Po‐Lun Kung +19 more
wiley +1 more source
Effects of Negative Meta-Stereotype on the Doctor-Patient Relationship: The Role of Imagined Intergroup Contact. [PDF]
Zhu Y, Jiang M, Feng F, Sun J.
europepmc +1 more source
Prior Expectations Bias Confidence Judgments Through Parietal Alpha‐Band Modulation
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
Acute effects of marathon running on the heart: a systematic review and meta-analysis. [PDF]
Laily I +8 more
europepmc +1 more source
A comprehensive meta‐analysis of expression quantitative trait loci (eQTLs) across five diverse tomato populations reveals a high‐resolution atlas of transcriptional regulation and uncovers conserved and population‐specific regulatory architectures underlying fruit nutritional quality traits, including flavonoids, sugars, organic acids, carotenoids ...
Jiantao Zhao +14 more
wiley +1 more source
Global prevalence of suicide attempts in older adults: A systematic review and meta-analysis. [PDF]
Jalali A +7 more
europepmc +1 more source
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

