Results 81 to 90 of about 646,451 (325)

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

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

Performance Analysis of a Compact Conformal SWB Antenna for 5G and Wearable IoT Applications [PDF]

Journal of Microwaves, Optoelectronics and Electromagnetic Applications
This paper focused on the design and practical implementation of a compact arrowhead slot Super Wide Band (SWB) antenna on a semi-flexible substrate for a wide range of applications.
Dipika Sagne, Rashmi A. Pandhare
doaj   +1 more source

Gradient Ion Beams Regulate Surface Group Modification to Enhance Interfacial Charge Transport in Triboelectric Polymers

Advanced Science, EarlyView.
This study addresses the core scientific question of atomic‐scale structural units and their assembly mechanisms by integrating ion implantation technology— originally developed in nuclear physics research—with flexible intelligent polymers. Through this interdisciplinary approach, we have enabled on‐demand customization of surface functionalities and ...
Yi Chen, Yuliang Yao, Xinya Shen, Meiling Gong, Chuan Xu, Chunliang Zhou, Fuqiu Ma, Jian Zhang, Xiangyu Chen, Yanxia Liang, Engang Fu, Yong Fan   +11 more
wiley   +1 more source

On the semi-sub-hypergroups of a hypergroup

International Journal of Mathematics and Mathematical Sciences, 1991
In this paper we study some properties of the semi-sub-hypergroups and the closed sub-hypergroups of the hypergroups. We introduce the correlated elements and the fundamental elements and we connect the concept antipodal of the latter with Frattin's ...
Ch. G. Massouros
doaj   +1 more source

Estructuras y representaciones

Crítica, 2018
The aim of the present paper is to set a philosophical basis in order to discuss the type of representation that holds between mathematical structures and those aspects of the real world which they represent.
Adolfo García de la Sienra
doaj   +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

On Kurzweil integral of fuzzy number valued functions with two variables

Demonstratio Mathematica
In this study, the fundamental theory of Kurzweil integral for fuzzy-number-valued functions with two variables will be discussed. Firstly, we provide the concept and fundamental properties of this integral.
Luo Lei, Shao Yabin
doaj   +1 more source

Objectivist versus Subjectivist Approaches to the Marxian Theory of Exploitation [PDF]

This paper analyses two central issues in exploitation theory. First, the appropriate definition of individual and aggregate measures of exploitation is discussed.
Veneziani, Roberto, Yoshihara, Naoki
core  

Experimental Joint Estimation of Phase and Phase Diffusion Via Deterministic Bell Measurements

Advanced Science, EarlyView.
This work employs Bell measurement, a form of entangling measurement, to estimate both the phase and its fluctuations in an optical interferometer. By incorporating a novel quantum effect at the measurement stage, the proposed method achieves the ultimate precision limit and demonstrates the significant potential of entangling measurements in multi ...
Ben Wang, Minghao Mi, Huangqiuchen Wang, Qian Xie, Lijian Zhang   +4 more
wiley   +1 more source