Results 201 to 210 of about 134,845 (353)
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
A multilingual analysis of pro Russian misinformation on Twitter during the Russian invasion of Ukraine. [PDF]
Lai C, Toriumi F, Yoshida M.
europepmc +1 more source
An ionic liquid‐based shear‐thickening fluid (ILSTF) exhibits lubricated dynamics from strong shear thickening to impact‐triggered jamming. A persistent nanometric solvation layer around silica governs both the shear thickening saturation in rheology and jamming front propagation under dynamic impact compression.
Yiran Wu +6 more
wiley +1 more source
Migrant Health Country Profile tool (MHCP-t) for transforming health data collection and surveillance in the Middle East and North African (MENA) region: tool development protocol with embedded process evaluation. [PDF]
Evangelidou S +25 more
europepmc +1 more source
Hydrogel‐based wearable electronics hold great promise for physiological monitoring in privacy‐sensitive regions. In this study, a polyurethane (PU) microfiber‐reinforced gelatin hydrogel e‐skin is developed, boasting multiple advantages such as ultra‐thinness, high toughness, and long‐term skin conformability.
Yarong Ding +11 more
wiley +1 more source
IndicDialogue: A dataset of subtitles in 10 Indic languages for Indic language modeling. [PDF]
Arnob NMK +5 more
europepmc +1 more source

