Results 271 to 280 of about 4,880,009 (349)

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

Improving the robustness of the immersed interface method through regularized velocity reconstruction. [PDF]

J Comput Phys
Sun Q, Kolahdouz EM, Griffith BE.
europepmc   +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

Corrigendum to "Several distance and degree-based molecular structural attributes of cove-edged graphene nanoribbons" [Heliyon Volume 10, Issue 15, August 2024, Article e34944]. [PDF]

Heliyon
Prabhu S, Murugan G, Imran M, Arockiaraj M, Alam MM, Ghani MU.   +5 more
europepmc   +1 more source

Category 10 — Computations, Complexity, and Resource Gradients: Entity E9 and the Dynamics of Mathematical Work in Causal Theory

Son David Bolduc
openalex   +1 more source

Electric Field Modulation of Interlayer Coupling via Piezostrain in a Synthetic Antiferromagnet

Advanced Science, EarlyView.
Controlling the interlayer exchange coupling (IEC) in synthetic antiferromagnets (SAFs) using an electric field is a promising route toward energy‐efficient spintronic devices. In this study, electric field induced‐strain modulation of IEC in Co/Ru/Co SAF/PMN‐PT is demonstrated.
Yuichi Hisada, Sachio Komori, Keiichiro Imura, Chenyu Shen, Yoshihiro Gohda, Calvin Ching Ian Ang, Wen Siang Lew, Tomoyasu Taniyama   +7 more
wiley   +1 more source

Transfer learning on protein language models improves antimicrobial peptide classification. [PDF]

Sci Rep
Georgoulis E, Zervou MA, Pantazis Y.
europepmc   +1 more source

His‐MMDM: Multi‐Domain and Multi‐Omics Translation of Histopathological Images with Diffusion Models

Advanced Science, EarlyView.
His‐MMDM is a diffusion model‐based framework for scalable multi‐domain and multi‐omics translation of histopathological images, enabling tasks from virtual staining, cross‐tumor knowledge transfer, and omics‐guided image editing. ABSTRACT Generative AI (GenAI) has advanced computational pathology through various image translation models.
Zhongxiao Li, Tianqi Su, Bin Zhang, Wenkai Han, Sibin Zhang, Guiyin Sun, Yuwei Cong, Xin Chen, Jiping Qi, Yujie Wang, Shiguang Zhao, Hongxue Meng, Peng Liang, Xin Gao   +13 more
wiley   +1 more source

More than just slowing: bimodal vigilance dynamics in sleep deprivation. [PDF]

Sleep
Lee K, Lim D, Kim JK.
europepmc   +1 more source

ISRN Computational Mathematics

, 2012
openaire   +1 more source