Results 81 to 90 of about 53,357 (294)
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
Conditions of the Central-Limit Theorem Are Rarely Satisfied in Empirical Psychological Studies. [PDF]
Front Psychol, 2021 Sawada T.
europepmc +1 more source
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 +8 more
wiley +1 more source
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 +11 more
wiley +1 more source
The Joint Universality for L-Functions of Elliptic Curves
Nonlinear Analysis, 2004 A joint universality theorem in the Voronin sense for L-functions of elliptic curves over the field of rational numbers is proved.
V. Garbaliauskienė
doaj +1 more source
Limit Theorems for Monomer–Dimer Mean-Field Models with Attractive Potential [PDF]
, 2016 Diego Alberici +3 more
openalex +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 +6 more
wiley +1 more source
A Weak Limit Theorem for Galton-Watson Processes in Varying Environments
Journal of Applied Mathematics, 2014 We extend Donsker’s theorem and the central limit theorem of classical Galton-Watson process to the Galton-Watson processes in varying environment.
Zhenlong Gao, Yanhua Zhang
doaj +1 more source
Central limit theorem for Fourier transform and periodogram of random fields [PDF]
, 2018 Magda Peligrad, Na Zhang
openalex +1 more source
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 +4 more
wiley +1 more source