Results 191 to 200 of about 1,434,275 (265)

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

Tropomyosin 1 Promotes Platelet Adhesion and Clot Contraction Separate from Its Roles in Developmental Hematopoiesis

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

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

Acute effects of marathon running on the heart: a systematic review and meta-analysis. [PDF]

open access: yesBMJ Open Sport Exerc Med
Laily I   +8 more
europepmc   +1 more source

eQTL Meta‐Analysis Reveals Conserved and Population‐Specific Regulatory Variation Underlying Nutritional Trait Evolution and Domestication in Tomato

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

open access: yesInt J Nurs Stud Adv
Jalali A   +7 more
europepmc   +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