Results 221 to 230 of about 1,204,710 (292)
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
The costs of reproduction can and do differ between the sexes. [PDF]
Pannell JR.
europepmc +1 more source
Prolonged exposure to stiff extracellular matrix drives cancer‐associated fibroblasts into a persistently activated myofibroblast state. Two parallel pathways are identified: β1 integrin activation smoothens the nuclear lamina to reduce lamin–chromatin contacts, while the formin mDia2 regulates nuclear actin to alter chromatin organization.
Swathi Packirisamy +4 more
wiley +1 more source
Public hesitancy for AI-based detection of neurodegenerative diseases in France. [PDF]
Rafaï I +4 more
europepmc +1 more source
Grancalcin (GCA), a myeloid‐derived protein, is enriched in gingival tissues of periodontitis patients and mouse models. Through interactions with CD44 and activation of MYH9, GCA promotes NF‐κB signaling and exacerbates periodontal inflammation and bone loss.
Min Zhou +6 more
wiley +1 more source
A local-authority specific definition of research: Results from a Delphi study. [PDF]
Brown LM +12 more
europepmc +1 more source
This study provides a translational approach for linking neural activity to tactile deficits in autism. By combining psychophysics with cortical recordings in a mouse model of autism, we show that low signal‐to‐noise ratio in somatosensory neurons weakens population encoding of fine touch, impairing detection, decoding, and leading to perceptual ...
Ourania Semelidou +7 more
wiley +1 more source
Unusual solar radiation and its impact on the Japanese rice market during the 1830s famine. [PDF]
Ichino M +3 more
europepmc +1 more source
Model of circNrip1 (cNrip1) upregulation driving neuropathic pain mechanisms. After peripheral nerve injury, increased FUS triggers the formation and upregulation of cNrip1 in injured DRG neurons. Upregulated cNrip1 recruits SYNCRIP to the 3′‐UTR of Tlr2 mRNA by binding to both, thereby promoting SYNCRIP‐triggered Tlr2 mRNA stability and increasing ...
Xiaozhou Feng +14 more
wiley +1 more source
Ending universal school meals: student perspectives on how policy reversal shapes hunger, stigma, and learning. [PDF]
Orta-Aleman D +10 more
europepmc +1 more source

