Results 191 to 200 of about 10,789 (253)
A Perspective on Interactive Theorem Provers in Physics
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
Quartz Enhanced Photoacoustic Spectroscopy on Solid Samples. [PDF]
Falkhofen J +3 more
europepmc +1 more source
Single‐cell RNA analyses of paired lesions from CD30+ mycosis fungoides patients demonstrate that brentuximab vedotin (BV) induces immunogenic cell death in both CD30+ and CD30− malignant T cells. BV also targets regulatory T cells and remodels tumor microenvironment, while resistance is driven by impaired IFN responses, drug efflux, and BCL2 ...
Yi Jiang +8 more
wiley +1 more source
Reactions of the Criegee Intermediate Methyl Vinyl Ketone Oxide with HC(O)OH: Infrared Spectra of the Hydrogen-Transfer Adduct 2-Hydroperoxybut-3-en-2-yl Formate. [PDF]
Hsiao YL, Lee YP.
europepmc +1 more source
Solid Harmonic Wavelet Bispectrum for Image Analysis
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 +3 more
wiley +1 more source
Zero-Point-Energy Driven Isotopic Exchange of the [H3O]- anion Probed by Mid-Infrared Action Spectroscopy. [PDF]
Dinu DF +6 more
europepmc +1 more source
Perspective: Hollow Core Optical Fibres for Ultraviolet and Visible Wavelengths
Hollow core optical fibres bypass material constraints that limit optical fibres at ultraviolet and visible wavelengths. However, their challenging fabrication has limited their development, and significant gains in performance remain possible. In this perspective we outline approaches to enable the next generation of fibres for shorter wavelengths ...
Robbie Mears +5 more
wiley +1 more source
Anharmonic effects control interaction of carbyne confined in carbon nanotubes shaping their vibrational properties. [PDF]
Parth E +9 more
europepmc +1 more source
Integrated multi‐omic profiling maps the gene‐regulatory landscape of the coelomic mesothelium across heart, lung, and pancreas. A cardiac‐restricted regulatory program is uncovered in which TBX20 activates heart mesothelial (epicardial) cis‐regulatory elements, while MAF emerges as a conserved regulator of mesothelial identity.
Quang Minh Dang +3 more
wiley +1 more source

