Results 241 to 250 of about 169,871 (302)

A Soft Tactile Unit with Three-Dimensional Force and Temperature Mathematical Decoupling Ability for Robots

open access: gold
Xiong Yang   +13 more
openalex   +1 more source

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

A collective intelligence model for swarm robotics applications. [PDF]

open access: yesNat Commun
Nitti A   +3 more
europepmc   +1 more source

Climate variability amplifies the need for vector-borne disease outbreak preparedness. [PDF]

open access: yesProc Natl Acad Sci U S A
Hart WS   +5 more
europepmc   +1 more source

Global Flux-Based Assessment Reveals Declining Ozone Risk for Wheat in Future Climate Change Scenarios. [PDF]

open access: yesGlob Chang Biol
Guaita PR   +7 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy