Results 31 to 40 of about 4,317 (213)

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

On Determination Method for Resolution of Secondary Electron Images in Scanning Electron Microscopy

Advanced Science, EarlyView.
An idealized SEM, termed Rayleigh's microscope, is constructed by Monte Carlo simulation to represent imaging conditions that just satisfy the Rayleigh criterion. Based on this physically defined model, sharpness–resolution conversion curves are established and combined with the Rose criterion, enabling automated resolution evaluation from practical ...
Tongfang Yang, Yanbo Zou, Zejun Ding
wiley   +1 more source

New High‐Tc Charge‐Transfer Multiferroicity in the Quasi‐2D Antiferromagnet CrSbS3

Advanced Science, EarlyView.
ABSTRACT Low‐dimensional magnets, particularly 2D systems, offer a rich platform for realizing unconventional multiferroic mechanisms, especially when multiple polarization channels coexist. In the quasi‐2D antiferromagnet CrSbS3, which crystallizes in the centrosymmetric orthorhombic space group Pnma and orders magnetically at TN ≈ 90 K, two ...
Hung‐Cheng Wu, Yu‐Hsin Liao, Chih‐Chung Tsai, Pei‐Ying Yang, Yu‐Hao Chang, Yu‐Hui Liang, D. Chandrasekhar Kakarla, Ajay Tiwari, C. Dhanasekhar, Chin‐Wei Wang, Daisuke Okuyama, Chia‐Nung Kuo, Chin‐Shan Lue, Tzu‐Hsuan Weng, Kung‐Hsuan Lin, Jau‐Wern Chiou, Chi‐Hung Lee, Hung‐Duen Yang   +17 more
wiley   +1 more source

Common fixed point theorems for semigroups on metric spaces

International Journal of Mathematics and Mathematical Sciences, 1999
This paper consists of two main results. The first one shows that if S is a left reversible semigroup of selfmaps on a complete metric space (M,d) such that there is a gauge function φ for which d(f(x),f(y))≤φ(δ(Of (x,y))) for f∈S and x,y in M, where δ ...
Young-Ye Huang, Chung-Chien Hong
doaj   +1 more source

Fixed point theorems for some generalized contractive mappings over a locally convex topological vector space [PDF]

Surveys in Mathematics and its Applications, 2021
In this paper we prove some useful fixed point theorems and common fixed point theorems for a class of non-linear mappings acting on locally convex topological vector space with supporting ...
Sayantan Panja , Abhoy Pada Baisnab, Mantu Saha   +2 more
doaj  

Asymmetric Electrostrain/Electrobending in Piezoelectric Ceramics: Role of Defect Dipoles or Oxygen Vacancies

Advanced Science, EarlyView.
Defect‐configurational origins of the asymmetric apparent electrostrain are revealed in different piezoelectric ceramics via atomic‐scale visualization of defect configurations. Migration of oxygen vacancies leads to the electrobending effect in N2‐sintered BaTiO3, while defect dipoles in Ba0.99TiO2.99 generate true asymmetric electrostrain without ...
Jie Wang, Geng Huangfu, Hongjie Zhang, Tiannan Yang, Zhenhua Ma, Jingsheng Chen, Yun Liu, Yiping Guo   +7 more
wiley   +1 more source

Fixed Point and Common Fixed Point Theorems for α-Property in Cone Ball-Metric Spaces

International Journal of Analysis and Applications, 2013
In this paper, we define a new cone ball-metric and get fixed points and common fixed points for the α- property in cone ball-metric spaces.
Rajesh Shrivastava, Rajendra Kumar Dubey, Pankaj Tiwari, Animesh Gupta   +3 more
doaj   +2 more sources

A Wireless 3D Magneto‐Mechanical Stimulation Platform Drives In Situ Chondrogenic Commitment of Endogenous MSCs

Advanced Science, EarlyView.
An intracellular magneto‐mechanical platform utilizing MSC‐targeted nanomotors is developed. After intra‐articular delivery, these nanomotors target endogenous BMSCs and are actuated within lysosomes to execute trans‐planar rotational‐bouncing motions under a rotating‐fluctuating 3D magnetic field, generating amplified mechanical stimulation.
Zhenguang Li, Li Peng, Laiya Lu, Yingying Wang, Xiaolei Chen, Feng Yin, Cuijun Deng, Yu Cheng   +7 more
wiley   +1 more source

Causal‐Guided Ultra‐Long‐Term Time Series Forecasting Via Anticipated Covariates

Advanced Science, EarlyView.
Often treated as unknown, information from the future remains underutilized.We demonstrate that in a coupled dynamical system, providing the future state of the effect enables accurate forecasting of the cause for a long timesteps. A time series forecasting paradigm that introduces anticipated covariates to represent such known future states is ...
Jintong Zhao, Yufei Liu, Ruixi Huang, Zhongxue Gan, Siyang Leng   +4 more
wiley   +1 more source

Some Common Fixed Point Theorems in Partial Metric Spaces

Journal of Applied Mathematics, 2011
Many problems in pure and applied mathematics reduce to a problem of common fixed point of some self-mapping operators which are defined on metric spaces.
Erdal Karapınar, Uğur Yüksel
doaj   +1 more source