Results 261 to 270 of about 693,162 (317)

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

Optimization of experimental designs for biological rhythm discovery. [PDF]

PLoS Comput Biol
Silverthorne T, Carlucci M, Petronis A, Stinchcombe AR.   +3 more
europepmc   +1 more source

Designing, Understanding, and Analyzing Unconventional Computation: The Important Role Of Logic And Constructive Mathematics

, 2011
Владик Крейнович
openalex   +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

Identification of stochastic optical solitons in a generalized NLSE characterized by fourth order dispersion and weak nonlocality. [PDF]

Sci Rep
Ahmed KK, Ahmed HM, Akgül A, Hassani MK, Hendy AS, Samir I.   +5 more
europepmc   +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

Author Correction: Cross-species comparison reveals therapeutic vulnerabilities halting glioblastoma progression. [PDF]

Nat Commun
Foerster LC, Kaya O, Wüst V, Danciu DP, Akcay V, Bekavac M, Ziegler KC, Stinchcombe N, Tang A, Kleber S, Tang JLY, Brunken J, Lois-Bermejo I, Gesteira-Perez N, Ma X, Sadik A, Le PU, Petrecca K, Opitz CA, Liu H, Wirtz CR, Goncalves A, Marciniak-Czochra A, Anders S, Martin-Villalba A.   +24 more
europepmc   +1 more source

A lightweight adaptive image deblurring framework using dynamic convolutional neural networks. [PDF]

Sci Rep
Zheng X, Li Y, Zhu Y, Zhao H, Huo P.
europepmc   +1 more source

Advancing Biomechanics-Based Motion Analysis from Methodology to Application. [PDF]

Bioengineering (Basel)
He C, Fu H, Ma CZ.
europepmc   +1 more source