Results 181 to 190 of about 286,038 (288)

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

Path Planning for Delivery Robots Based on an Improved Ant Colony Optimization Algorithm Combined with Dynamic Window Approach. [PDF]

Sensors (Basel)
Huang L, Hu T, Wei J, Guo Y, Tong X, Ding J, Yang H, Zhong B.   +7 more
europepmc   +1 more source

Hierarchical Targeting of TREM2+ Myeloid Cells via Acid‐Triggered OMVs Reprogram Immunosuppression and Suppress Osteolysis in Bone‐Metastatic TNBC

Advanced Science, EarlyView.
This study developed a hierarchical targeting nanoplatform, siTREM2@ETP‐PEOz‐OMVs, against triple‐negative breast cancer (TNBC) bone metastasis. It precisely delivers therapeutic siTREM2 to monocytes/macrophages within the metastatic niche. This intervention dually regulates cell fate: reprogramming immunosuppressive macrophages and inhibiting ...
Fanglu Chen, Yucheng Xue, Xiao Ma, Liang Chen, Zhenxuan Shao, Hangxiang Sun, Haochen Mou, Fangqian Wang, Zilong Li, Yechao Shen, Zhaoming Ye, Xiaohua Yu, Shengdong Wang   +12 more
wiley   +1 more source

Connectivity Labeling in Faulty Colored Graphs. [PDF]

Distrib Comput
Petruschka A, Sapir S, Tzalik E.
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

Harnessing multi-modal deep learning for multi-drone navigation-based trajectory prediction system. [PDF]

Sci Rep
Alzahrani A.
europepmc   +1 more source

Photon‐Sphere Modes in Curved Optical Microcavities: A Black‐Hole Analogue Laser

Advanced Science, EarlyView.
An optical analogue of a Schwarzschild black hole is realized using curved microcavities that preserve light‐like geodesics. A new family of laser modes confined around the photon sphere is identified alongside conventional whispering‐gallery modes. Analytical theory, numerical simulations, and experiments reveal curvature‐induced confinement, enabling
Chenni Xu, Aswathy Sundaresan, Nazire‐Begüm Kazkal, Clement Lafargue, Lior Zarfaty, Li‐Gang Wang, Ofek Birnholtz, Dominique Decanini, Melanie Lebental, Patrick Sebbah   +9 more
wiley   +1 more source

A New Framework for Job Shop Integrated Scheduling and Vehicle Path Planning Problem. [PDF]

Sensors (Basel)
Li R, Mao J, Wu X, Zhou W, Qian C, Du H.
europepmc   +1 more source

DOTA‐grafted Cationic Polymers Behaving as Powerful Macromolecular Resistance‐reversal Agents (MRRAs) Combating Against New Delhi Metallo‐β‐lactamase (NDM)‐producing Bacteria

Advanced Science, EarlyView.
Two macromolecular resistance‐reversal agents (MRRAs)—linear (MRRAL) and nanostructured (MRRAN) polymers were fabricated by integrating DOTA motifs into tunable polycationic scaffolds. MRRAs exhibit superior antibacterial potency once combined with meropenem (MEM) through (i) bacterial membrane disruption via localized cationic charge and ...
Ruixue Wang, Jian Zhang, Yun li, Liping Qiao, Zhuorui Dong, Dandan Cui, Peirong Bai, Liping Li, Bing Cao, Ruiping Zhang   +9 more
wiley   +1 more source

Wireless sensor network design with reliable and long network lifetime. [PDF]

Sci Rep
Çelik E, Keskin ME.
europepmc   +1 more source