Results 161 to 170 of about 2,046,692 (239)

Task‐Oriented Path Planning Towards Autonomous Sensor Network Deployment in Rainforest Canopies

Advanced Robotics Research, EarlyView.
An informative path planner for drone‐based deployment of wireless sensor networks in rainforest canopies is presented, addressing key challenges in large‐scale biodiversity monitoring. By integrating canopy surface detection with connectivity‐aware sampling under strict flight constraints, the approach enables efficient and reliable aerial sensor ...
Rita Santos Raminhos, Salua Hamaza
wiley   +1 more source

XeraBorg: Neural Control of Tail‐Flick Escape for Backward Propulsion in Cyborg Crayfish

Advanced Robotics Research, EarlyView.
This work presents the first controlled tail‐flick propulsion method for the cyborg Cherax quadricarinatus. Comprehensive experiments establish a foundational framework for using the crayfish's natural escape mechanism as a locomotion strategy, expanding its potential as an underwater and amphibious mobile robot.
H. Nhan Le, Oscar J. Davis, Lachlan Fitzgerald, Robbie Wilson, Christofer Clemente, P. Ross McAree, T. Nho Do, T. Thang Vo‐Doan   +7 more
wiley   +1 more source

An interactive assistant for the definition of proof certificates

, 2016
The Foundational Proof Certificate (FPC) approach to proof evidence offers a flexible framework for the formal definition of proof semantics, described through its relationship to focused proof systems.
Chihani, Zakaria, Blanco, Roberto
core  

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

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

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

Broadening Hard‐Magnet Discovery Beyond Symmetry Constraints via Unified Effective Anisotropy

Advanced Science, EarlyView.
A unified effective‐anisotropy descriptor (Keff) extends hard‐magnet screening across all seven crystal systems, beyond the uniaxial restriction of conventional searches. Machine‐learning screening of 9320 known ferromagnets and diffusion‐model generation together yield 38 rare‐earth‐free or ‐lean candidates with DFT‐validated magnetic hardness (κ > 1),
Hojae Kim, Hyeondeok Shin, Kyungju Nam, Seunghyo Noh, Donghwi Kim, Yousung Jung   +5 more
wiley   +1 more source

Multiferroic‐Centric Materials and Systems Engineering for Battery Applications: An Insight Into Mechanisms, Strategies, and Characterizations

Advanced Science, EarlyView.
Multiferroic order parameters – polarization, magnetization, and ferroelastic strain – are positioned as dynamic design variables for batteries. Their mechanistic roles, practical tuning through fabrication and external fields, and ferroic‐resolved characterization routes are unified into a closed‐loop framework, revealing how coupled ferroic responses
Jiaqi Su, Yanda Zhu, Hao Peng, Manman Li, Xuzihan Zhang, Meixiao Wu, Siyuan Zhang, Yuhan Zeng, Jiwen Liao, Ming Luo, Hetaishan Huang, Yutong Wang, Sean Li, Wenxian Li   +13 more
wiley   +1 more source

Learning Moisture‐Induced Damage From Vision: Diffusion Models for Real‐Time Monitoring of Additive Manufacturing Processes

Advanced Science, EarlyView.
We introduce a vision‐based real‐time monitoring system for additive manufacturing that detects subtle moisture‐induced degradation via a diffusion model‐based framework. The approach enables nondestructive assessment of moisture‐induced damage level and mechanical performance and establishes a practical route toward more intelligent, reliable, and ...
Jiyoung Jung, Yuna Yoo, Dharneedar Ravichandran, Dahyun Daniel Lim, Grace X. Gu   +4 more
wiley   +1 more source

Electrolyte–Framework Matching in High‐Voltage TEMPO‐COF Cathodes for Lithium Batteries

Advanced Science, EarlyView.
TEMPO‐functionalized covalent organic frameworks are investigated as high‐voltage cathodes for lithium batteries. Screening five electrolyte anions identifies lithium difluoro(oxalato)borate (LiDFOB) as the optimal electrolyte, balancing capacity, rate capability, and cycling stability, while buckypaper electrodes achieve high mass loading (40 mg cm−2)
Marilyn Esclance DMello, Nagaraj Patil, Fanni Fekecs, Sergio Pinilla, Rebeca Marcilla, Manuel Souto   +5 more
wiley   +1 more source