Results 131 to 140 of about 10,853 (264)

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

The model of wireless charging infrastructure for electric transport of open-pit mining enterprises

open access: yesЗаписки Горного института
The prospects for implementing battery-powered dump trucks at open-pit mining enterprises are considered. Main attention is on the problem of charging infrastructure for adopting the unmanned production concept. The suggestion is to use wireless charging
Irina Yu. Semykina   +3 more
doaj  

CHARGE-MAP: An integrated framework to study the multicriteria EV charging infrastructure expansion problem. [PDF]

open access: yesProc Natl Acad Sci U S A
Islam KA   +6 more
europepmc   +1 more source

Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement

open access: yesAdvanced Science, EarlyView.
The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang   +7 more
wiley   +1 more source

Recent Advances in Laser‐Induced Graphene‐Based Gas Sensors: From Sensing Mechanisms to Biomedical Applications

open access: yesAdvanced Science, EarlyView.
Laser‐induced graphene (LIG) provides a scalable, laser‐direct‐written route to porous graphene architecture with tunable chemistry and defect density. Through heterojunction engineering, catalytic functionalization, and intrinsic self‐heating, LIG achieves highly sensitive and selective detection of NOX, NH3, H2, and humidity, supporting next ...
Md Abu Sayeed Biswas   +6 more
wiley   +1 more source

Senolytic Therapy as a Preventive Strategy for Spine Degeneration and Pain

open access: yesAdvanced Science, EarlyView.
Cellular senescence promotes inflammation, tissue degeneration, and chronic back pain. In sparc‐null mice, early oral administration of the senolytic agents o‐vanillin and RG‐7112 reduced senescent cell burden and pro‐inflammatory SASP signaling across intervertebral discs, endplates, vertebral bone, and spinal cord.
Saber Ghazizadeh   +7 more
wiley   +1 more source

Home - About - Disclaimer - Privacy