Results 191 to 200 of about 72,560 (302)
Autonomous UAV Target Search Method Based on Lightweight YOLOv8n and Coverage Path Planning. [PDF]
Duan H, Wang Z, Li M, He Z, Zhang H.
europepmc +1 more source
Autonomous robots require efficient local path planning capabilities to handle complex dynamic obstacles in unstructured environments. However, traditional methods, such as Timed Elastic Band (TEB) local path planning, rely on static parameter settings ...
Chongxiao Liu (644813) +4 more
core
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
Perception-Aware Cooperative Path Planning for Multi-UAV Systems in Urban Wind Fields via Deep Reinforcement Learning. [PDF]
Ding J, Wang L, Jin S, Wang D.
europepmc +1 more source
This study combines full‐field tomography with diffraction mapping to quantify radial (ε002$\varepsilon _{002}$) and axial (ε100$\varepsilon _{100}$) lattice strain in wrinkled carbon‐fiber specimens for the first time. Radial microstrain gradients (−14.5 µεMPa$\varepsilon \mathrm{MPa}$−1) are found to signal damage‐prone zones ahead of failure, which ...
Hoang Minh Luong +7 more
wiley +1 more source
A Multilayer Decision-Making Method for UAV Formation Cooperative Flight in Complex Urban Environments. [PDF]
Wang J, Yan D, Hao Y, Miao H.
europepmc +1 more source
In this study, chemoproteomics combined with genetic and functional analyses was integrated to identify SHMT2 as a covalent and functional target of gambogic acid (GA) in triple‐negative breast cancer (TNBC). Further validation demonstrated that GA selectively modifies the Cys241 site of SHMT2, triggering mitochondrial dysfunction, activating the Nrf2 ...
Tong Yang +15 more
wiley +1 more source
QLFDGWO: Q-Learning-Guided Weighted Fitness-Distance Grey Wolf Optimizer for UAV Path Planning. [PDF]
Huang C, Yang B, Huo Y.
europepmc +1 more source
A programmable 2048‐element circular ultrasound array combined with a compact acoustic lens produces a thin “sound sheet” over a large field of view, and records echoes with wide angular diversity across the ring aperture. Coherence‐enhanced beamforming converts full‐matrix data into high‐contrast tomographic slices, delivering near‐diffraction‐limited
Qiu‐De Zhang +11 more
wiley +1 more source
Replication of central policy or local innovation: a study of the policy reinvention mechanism for sports policies for older adults in China's provincial local governments. [PDF]
Zhang F, Zhou K, Shi X.
europepmc +1 more source

