Results 91 to 100 of about 414,450 (299)

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

Solid Harmonic Wavelet Bispectrum for Image Analysis

Advanced Science, EarlyView.
The Solid Harmonic Wavelet Bispectrum (SHWB), a rotation‐ and translation‐invariant descriptor that captures higher‐order (phase) correlations in signals, is introduced. Combining wavelet scattering, bispectral analysis, and group theory, SHWB achieves interpretable, data‐efficient representations and demonstrates competitive performance across texture,
Alex Brown, Mathilda Avirett‐Mackenzie, Carolin Villforth, Georgios Exarchakis   +3 more
wiley   +1 more source

Generating Dynamic Structures Through Physics‐Based Sampling of Predicted Inter‐Residue Geometries

Advanced Science, EarlyView.
While static structure prediction has been revolutionized, modeling protein dynamics remains elusive. trRosettaX2‐Dynamics is presented to address this challenge. This framework leverages a Transformer‐based network to predict inter‐residue geometric constraints, guiding conformation generation via physics‐based iterative sampling. The resulting method
Chenxiao Xiang, Wenkai Wang, Zhenling Peng, Jianyi Yang   +3 more
wiley   +1 more source

Biomechanics‐Driven 3D Architecture Inference from Histology Using CellSqueeze3D

Advanced Science, EarlyView.
CellSqueeze3D reconstructs 3D cellular architecture from standard 2D histology images using biomechanical constraints and optimization. Validated on clinical datasets, it enables accurate tissue phenotyping, predicts gene mutations, and reveals significant correlations between nuclear‐cytoplasmic ratio entropy and tumor progression.
Yan Kong, Hui Lu
wiley   +1 more source

A note on a generalized double series. [PDF]

PLoS One
Reynolds R.
europepmc   +1 more source

Appendix A: Fundamental Probability Theory and Mathematical Statistics [PDF]

, 1994
Igor Ushakov
openalex   +1 more source

Nanozymes Integrated Biochips Toward Smart Detection System

Advanced Science, EarlyView.
This review systematically outlines the integration of nanozymes, biochips, and artificial intelligence (AI) for intelligent biosensing. It details how their convergence enhances signal amplification, enables portable detection, and improves data interpretation.
Dongyu Chen, Wang Zheng, Zhihui Zhang, Shenping Yu, Xinxin Hang, Han Wu, Xiao‐Wei Xiang, Wei Mu, Yanli Jiao, Zaizai Dong, Lingqian Chang   +10 more
wiley   +1 more source

Exploration on the Ideological and Political Reform of the Blended <i>Courses Probability Theory and Mathematical Statistics</i>

, 2021
娜 汪
openalex   +1 more source

Beyond Traditional RAFT Polymerization: Emerging Strategies and Future Perspectives; A Third Update

Advanced Science, EarlyView.
This review explores recent advances in the past five years for non‐traditional RAFT polymerization, focusing on new activation strategies, sustainable depolymerization, and integration with automated and AI‐driven synthesis. Together, these innovations advance polymer chemistry and reveal how the pieces of the non‐traditional RAFT puzzle are steadily ...
Vianna F. Jafari, James L. Grace, Jiajia Li, Joji Tanaka, Glen R. Jones, Athina Anastasaki, Wei You, Jian Zhu, Masami Kamigaito, Cyrille Boyer, Greg G. Qiao   +10 more
wiley   +1 more source

Optical wave propagation in magneto-optic waveguides with generalized anti-cubic model. [PDF]

Sci Prog
Baber MZ, Yasin MW, Ahmed N, Arif K, Ceesay B.   +4 more
europepmc   +1 more source