Results 221 to 230 of about 1,734,929 (287)

A Perspective on Interactive Theorem Provers in Physics

open access: yesAdvanced 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

Dual Bipolar Resistive Switching in Wafer‐Scalable 2D Perovskite Oxide Nanosheets‐Based Memristor

open access: yesAdvanced Science, EarlyView.
A wafer‐scalable memristor based on 2D Sr2Nb3O₁₀ perovskite oxide nanosheets exhibits dual bipolar resistive switching through controllable oxygen ion migration and redox reactions. This single device enables both STDP and anti‐STDP synaptic functions, achieving 86.4% MNIST accuracy in supervised spiking neural networks, offering a compact, energy ...
Sohwi Kim   +11 more
wiley   +1 more source

AXL Promotes Ischemic Myelin Repair Through Alleviating Myelin Debris Deposition and Lipid Droplets Accumulation

open access: yesAdvanced Science, EarlyView.
Microglial AXL drives white matter repair after stroke by orchestrating the cleanup of myelin debris. Mechanistically, AXL signals through EGR1 to boost Smpd1 transcription, regulating sphingolipid metabolism and preventing lipid droplet toxicity. Restoring the pathway with ASM therapy mitigates damage, positioning AXL as a key node for therapeutic ...
Junqiu Jia   +13 more
wiley   +1 more source

A Tangentially Sensitive Tactile Sensor Reveals the Stick‐Slip Mechanism and Enhances Robotic Tactile Sensing

open access: yesAdvanced Science, EarlyView.
An ultralight, multilayer anisotropic tactile sensor—an artificial Pacinian corpuscle—exhibits ultrahigh tangential sensitivity (1022 kPa−1) and spatiotemporal sensing. It discriminates static, sliding, and rolling contacts, detects incipient stick–slip via high‑frequency signatures, and enhances robotic touch (100%/98.18% accuracy for active/passive ...
Jinghui Wang   +12 more
wiley   +1 more source

NK Cell Activation by Platinum Boosts Immunotherapy in HR+/HER2− Breast Cancer

open access: yesAdvanced Science, EarlyView.
Multi‐omics and single‐cell analyses identify activated NK cells as key mediators of anti‐PD‐(L)1 response in HR+/HER2− breast cancer. Platinum chemotherapy enhances NK cell cytotoxicity through NF‐κB–associated signaling, synergizing with immunotherapy and providing a rationale for combination treatment.
Yi‐Yu Chen   +8 more
wiley   +1 more source

Home - About - Disclaimer - Privacy