Results 71 to 80 of about 103,871 (266)

Waveguide Photoactuators: Materials, Fabrication, and Applications

Advanced Robotics Research, EarlyView.
Waveguide photoactuators convert guided light into mechanical motion. Their tethered‐flexible design enables minimally invasive surgery and confined‐space robotics. This review aims to guide materials selection, device design, and system integration, accelerating the transition of waveguide photoactuators from laboratory prototypes to versatile ...
Minjie Xi, Hemin Pan, Yang Zong, Yongfeng Mei, Jizhai Cui   +4 more
wiley   +1 more source

Analysis of coupled systems of implicit impulsive fractional differential equations involving Hadamard derivatives

Advances in Difference Equations, 2019
We present some results on the existence, uniqueness and Hyers–Ulam stability to the solution of an implicit coupled system of impulsive fractional differential equations having Hadamard type fractional derivative.
Usman Riaz, Akbar Zada, Zeeshan Ali, Yujun Cui, Jiafa Xu   +4 more
doaj   +1 more source

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

The fan theorem and unique existence of maxima

Journal of Symbolic Logic, 2006
AbstractThe existence and uniqueness of a maximum point for a continuous real–valued function on a metric space are investigated constructively. In particular, it is shown, in the spirit of reverse mathematics, that a natural unique existence theorem is equivalent to the fan theorem.
Berger, Josef, Bridges, Douglas, Schuster, Peter   +2 more
openaire   +3 more sources

Multifunctional Programmable Transmissive Metasurface with Phase and Amplitude Manipulation Capability

Advanced Science, EarlyView.
This work provides a multifunctional programmable transmissive metasurface with phase and amplitude manipulation capability in the sub‐6G band. By applying different coding strategies, the proposed metasurface can realize vortex beam generation, holographic imaging under phase coding mode, and multi‐beam forming in phase‐amplitude joint coding mode ...
Hao Tian Shi, Rui Yuan Wu, Shi He, Xue Yun Guo, Xiao Qing Chen, Yi Ning Zheng, Bing Bing Zhu, Lei Zhang, Tie Jun Cui   +8 more
wiley   +1 more source

Rib‐Reinforced Ultralight and Ultra‐Strong Shell Lattices

Advanced Science, EarlyView.
This study thoroughly reveals the relation between the curvature and stress direction of triply periodic minimal surface (TPMS) thin shell lattices and proposes a novel rib reinforcement design strategy to incorporate ribs along the line of asymptotes (LOA) and the line of principal curvatures (LOC) to enhance the strength of ultralight TPMS shell ...
Winston Wai Shing Ma, Lei Zhang, Junhao Ding, Shuo Qu, Michael Yu Wang, Xu Song, Ming Wang Fu   +6 more
wiley   +1 more source

Nonlinear equations with weighted potential type operators in Lebesgue spaces

Vestnik Samarskogo Gosudarstvennogo Tehničeskogo Universiteta. Seriâ: Fiziko-Matematičeskie Nauki, 2011
By method of monotone operators, existence and uniqueness theorems are proved for some classes of nonlinear equations with weighted potential type operators in Lebesgue spaces.
S. N. Askhabov
doaj   +3 more sources

On the existence of solutions for nonlocal sequential boundary fractional differential equations via ψ-Riemann–Liouville derivative

Boundary Value Problems
The purpose of this paper is to study a generalized Riemann–Liouville fractional differential equation and system with nonlocal boundary conditions. Firstly, some properties of the Green function are presented and then Lyapunov-type inequalities for a ...
Faouzi Haddouchi, Mohammad Esmael Samei
doaj   +1 more source

An Optically Transparent Water‐Based Metamaterial Absorber for Ultra‐Broadband EMI Shielding in Coal Mines

Advanced Science, EarlyView.
This study introduces a novel metamaterial absorber integrating water as a lossy medium with patterned indium tin oxide (ITO) films to achieve simultaneous optical transparency and ultra‐wideband electromagnetic absorption over 0.52‐40 GHz. It effectively overcomes the limitations of conventional opaque and bulky shielding materials, offering a ...
Xiaojun Huang, Lina Gao, Yidan Xu, Yifei Wang, Wei Hou, Yu Luo   +5 more
wiley   +1 more source

Coupled implicit Caputo fractional q-difference systems

Advances in Difference Equations, 2019
This paper deals with some existence, uniqueness, and Ulam stability results for a coupled implicit Caputo fractional q-difference system in Banach and generalized Banach spaces.
Saïd Abbas, Mouffak Benchohra, Bessem Samet, Yong Zhou   +3 more
doaj   +1 more source