Results 171 to 180 of about 20,971 (250)
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
This work proposed a pollen‐enhanced bionic mechanoreceptor based on ionic convection. Leveraging the ion anchoring effect of the pollen particle, the output performance could be ∼12 times higher than the original state. By employing deep learning models as AI brains, the feasibility of a sensory‐augmented prosthesis consisting of a pollen‐enhanced ...
Zi Hao Guo +7 more
wiley +1 more source
This review comprehensively summarizes the atomic defects in TMDs for their applications in sustainable energy storage devices, along with the latest progress in ML methodologies for high‐throughput TEM data analysis, offering insights on how ML‐empowered microscopy facilitates bridging structure–property correlation and inspires knowledge for precise ...
Zheng Luo +6 more
wiley +1 more source
Electrolyte Additive Strategies in Aqueous Zn‐Ion Batteries: Recent Advances and Prospects
This article provides a comprehensive overview of the current status and future development directions of AZIBs electrolyte additives in three aspects: stabilizing zinc anodes (uniform deposition, inhibition of dendritic crystals), protecting cathodes (structural stability, inhibition of dissolution), and enhancing electrolyte stability (wider ...
Yuanze Yu +7 more
wiley +1 more source
Human‐Centered Innovation: Precision Nutrition and the Future of Food
ABSTRACT Nutritional science is moving beyond one‐size‐fits‐all recommendations toward more precise and personalized approaches, yet its implementation pathway remains unclear. This paper proposes a human‐centered precision nutrition framework that highlights the central roles of artificial intelligence (AI), food innovation, and human agency.
Shanshan Zhang +3 more
wiley +1 more source
Editorial: Physical AI and robotics - outputs from IS-PAIR 2025 and beyond. [PDF]
Manoonpong P +3 more
europepmc +1 more source
A graphene oxide/collagen scaffold is developed for chronic massive rotator cuff tear repair. The scaffold improves compressive stability, supports reparative mesenchymal differentiation, and modulates the immune microenvironment. In chronic MRCT models, it reduces muscle degeneration, enhances tendon–bone regeneration, and improves functional recovery,
Renwen Wan +24 more
wiley +1 more source
Correction: ROS 4 healthcare: a framework for physiological human sensing for social, assistive, rehabilitation, and medical robotics. [PDF]
Manríquez-Cisterna RJ +12 more
europepmc +1 more source
Sustainable Materials Design With Multi‐Modal Artificial Intelligence
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
Editorial: AI for design and control of advanced robots. [PDF]
Chen G, Li X, Wu K, Xia P.
europepmc +1 more source

