Results 241 to 250 of about 169,871 (302)
Lie symmetry approach to the dynamical behavior and conservation laws of actin filament electrical models. [PDF]
Beenish, Samreen M, Alshammari FS.
europepmc +1 more source
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 collective intelligence model for swarm robotics applications. [PDF]
Nitti A +3 more
europepmc +1 more source
Sea Surface Temperature and Directional Wave Spectra During the 2023 Marine Heatwave in the North Atlantic. [PDF]
Peláez-Zapata D, Ward B, Dias F.
europepmc +1 more source
A Frequency Domain Analysis of the Growth Factor-Driven Extra-Cellular-Regulated Kinase (ERK) Pathway. [PDF]
Tran NHN, Frascoli F, Clayton AHA.
europepmc +1 more source
Climate variability amplifies the need for vector-borne disease outbreak preparedness. [PDF]
Hart WS +5 more
europepmc +1 more source
Global Flux-Based Assessment Reveals Declining Ozone Risk for Wheat in Future Climate Change Scenarios. [PDF]
Guaita PR +7 more
europepmc +1 more source
Sensitivity of global storm surge modelling to sea surface drag. [PDF]
Özkan FN, Verlaan M, Muis S, Zijl F.
europepmc +1 more source

