Results 131 to 140 of about 4,080,925 (285)

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

Friend, Not Foe: Lowered Tissue Reactivity to Long‐Term Polyimide Implants

open access: yesAdvanced Science, EarlyView.
The choice of optimal neural probe designs remains a major challenge in the field of neurotechnology. This study investigated the biocompatibility of several probe variations, including material, thickness, width, and implantation strategy. It highlights the clear advantage of soft polyimide probes over stiff silicon probes for better device ...
Corinne Orlemann   +11 more
wiley   +1 more source

A Worm‐Inspired Origami Robot with Multimodal Locomotion for Adaptive Mobility in Complex Pipeline Environments

open access: yesAdvanced Science, EarlyView.
An origami worm‐inspired robot achieves multimodal locomotion in confined pipelines through mechatronic integration that embeds actuation, control, and communication within each origami module. Large, reversible configuration and dimensional changes enable 25 gaits synthesized by a unified framework across peristaltic, inchworm, and wheel‐rolling modes
Qiwei Zhang   +6 more
wiley   +1 more source

Surface‐Spin‐Induced Magnetic Loss Enhancement in Ultralight Electromagnetic Absorbers

open access: yesAdvanced Science, EarlyView.
Fe3O4 nanoparticles with different hollow rates were synthesized to demonstrate the key role of surface moment in magnetic loss process. Using the same volume filling ratio, the 54.1% hollow Fe3O4 absorber represents about 20% enhancement in the imaginary part (μ'') than solid particles due to the coexisting magnetic resonance of inside and outside ...
Ruimin Ren   +5 more
wiley   +1 more source

A Rigid–Foldable Kirigami‐Inspired Metamorphic Mechanism With Programmable Motion Modes and Self‐Locking

open access: yesAdvanced Science, EarlyView.
Geometric constraint reconfiguration enables a rigid–foldable kirigami‐inspired mechanism to switch between twisting, directional translation, and self‐locking states. By encoding multifunctionality directly into its architecture, the mechanism achieves multimodal motion and passive locking without reassembly, providing a compact platform for adaptive ...
Jianlin Wang, Zhongmin Song, Ketao Zhang
wiley   +1 more source

Review of Gastrointestinal Capsule Robots: Materials, Actuation, Diagnostics, and Therapeutics

open access: yesAdvanced Science, EarlyView.
This review examines gastrointestinal capsule robots through a systems engineering lens, covering shell materials, actuation and localization strategies, diagnostic modalities, therapeutic interventions, and commercialization status. By mapping the complete technological chain from fabrication to clinical deployment, this work identifies critical gaps ...
Zengsheng Li   +8 more
wiley   +1 more source

Home - About - Disclaimer - Privacy