A Perspective on Interactive Theorem Provers in Physics
Advanced 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
Techno economic integrated planning of solar integrated electric vehicle charging infrastructure in India using an AI enabled multi objective planning framework. [PDF]
Sci RepKotla RW +4 more
europepmc +1 more source
Optimization of Static and Dynamic Charging Infrastructure for Electric Buses
The adoption of electric buses in public transport requires careful planning for the bus fleet and charging infrastructure. A mathematical model of an urban bus service was developed to support the deployment of charging infrastructure.
Bálint Csonka
core
Security Challenges and Solutions in EV Charging Infrastructure
This paper provides an overview of security challenges and potential solutions in electric vehicle (EV) charging infrastructure. It examines the growing adoption of EVs, the expanding threat surface across charging systems, and the need for robust ...
Sutanu Ghosh +2 more
core +1 more source
Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement
Advanced 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
Spatiotemporal planning of electric vehicle charging infrastructure: Demand estimation and grid-aware optimization under uncertainty. [PDF]
iScienceWang J, Kaushik HD, Jacob RA, Zhang J.
europepmc +1 more source
Advanced 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
Data-driven EV charging infrastructure with uncertainty based on a spatial-temporal flow-driven (STFD) models considering batteries. [PDF]
Sci RepAlharbi T, Abdalrahman A, Mostafa MH.
europepmc +1 more source
Sustainable Materials Design With Multi‐Modal Artificial Intelligence
Advanced Science, EarlyView.Critical mineral scarcity, high embodied carbon, and persistent pollution from materials processing intensify the need for sustainable materials design. This review frames the problem as multi‐objective optimization under heterogeneous, high‐dimensional evidence and highlights multi‐modal AI as an enabling pathway.
Tianyi Xu +8 more
wiley +1 more source
Advanced Science, EarlyView.By overcoming the fixed‐path limitations of conventional machine learning, a heterogeneous graph neural network fundamentally reconstructs material data representation. Integrating variable processing sequences with intrinsic elemental features, this framework enables exploratory optimization across high‐dimensional spaces.
Jie Yin +12 more
wiley +1 more source