Results 211 to 220 of about 11,231,484 (245)

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

Advanced Materials, Machinability and Intelligent Manufacturing Systems. [PDF]

Materials (Basel)
Burduk A, Batako A, Michael AX, Butdee S, Machado J, Krot K.   +5 more
europepmc   +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, Xinyuan Ke, Andrew Heath, Richard J. Ball, Jiawei Xie, Jinchen Fan, Guisheng Li, Kevin Paine   +7 more
wiley   +1 more source

Construction of a data-driven knowledge discovery path from the perspective of intelligent academic evaluation: an empirical study based on institutional repository and solr technology. [PDF]

Sci Rep
Lu L, Yang B, Wang X.
europepmc   +1 more source

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

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, Ankan Dutta, Shuvendu Das, Abu Musa Abdullah, Wanqing Zhang, Fatema Tuz Zohra, Huanyu Cheng   +6 more
wiley   +1 more source

Research on smart ship technology topic mining and impact quantification based on BERTopic and contrimetric. [PDF]

Sci Rep
Ji D, Yang Y, Guo J.
europepmc   +1 more source

Atomic Defects in Layered Transition Metal Dichalcogenides for Sustainable Energy Storage and the Intelligent Trends in Data Analytics

Advanced Science, EarlyView.
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, Ying Yang, Zizhen Fu, Fengqi Liu, Susu Fang, Kele Xu, Shanshan Wang   +6 more
wiley   +1 more source

Intelligent Robot-Aided, Task-Oriented Physiotherapy Method for Upper Limb Rehabilitation: Development and Usability Study. [PDF]

JMIR Rehabil Assist Technol
Falkowski P, Jeznach K, Oleksiuk J, Osiak T, Pikuliński M, Zakręcki A, Zawalski K, Kołodziejski P, Śliż D.   +8 more
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, Tianshuo Wei, Yan Ge, Bo Peng, Yue Li, Maolin Wang, Peng Wen, Chao Yang, Ye Wei   +8 more
wiley   +1 more source

From Sensor-Empowered Ubiquitous Computing to Embodied Intelligence: Architectures, Paradigm Evolution, and Emerging Challenges. [PDF]

Sensors (Basel)
Jia A, Cai Z, Liu X, Zheng K, Liu J.
europepmc   +1 more source