Results 71 to 80 of about 43,481,631 (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
Local Spectral Variability Features for Speaker Verification
Speaker verification techniques neglect the short-time variation in the feature space even though it contains speaker related attributes. We propose a simple method to capture and characterize this spectral variations through the eigen-structure of the ...
Sahidullah, Md +3 more
core +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
Turkish Text-Dependent Speaker Verification using i-vector/PLDA Approach [PDF]
26th IEEE Signal Processing and Communications Applications Conference (SIU) -- MAY 02-05, 2018 -- Izmir, TURKEYi-vector feature extraction is the state-of-the-art technique for text-independent speaker recognition.
Hanilçi, Cemal, Celiktas, Havva
core
This study achieves anisotropic thermal expansion tuning in Nd2(Co1‐xFex)17‐yCry compounds via a magnetoelastic strategy. Variable‐temperature synchrotron X‐ray diffraction reveals that increased Fe content induces switchable lattice responses. Compositional control reduces the volume expansion coefficient αV by 20% (x═0.7) and modulates TC (442–625 K),
Jiayuan Li +8 more
wiley +1 more source
Deep‐learning‐based signal enhancement is an effective way to recover high‐resolution details from a low‐resolution chromatin contact map. However, due to computational challenges, existing methods commonly divide up the contact map into small patches and create artificial discontinuities at patch boundaries.
Qinyao Li +6 more
wiley +1 more source
A flexible pressure sensor with triple‐gradient design of conductivity, modulus, and dimension in binary micro‐dome pixels is proposed. Based on precisely‐designed CNT/PDMS matrix, the device exhibits a linear sensitivity of 974.1 kPa−1 across range up to 1.8 MPa (R2 > 0.99), offering an effective strategy for potential applications in healthcare ...
Yifan Liu +9 more
wiley +1 more source
Content Normalization for Text-Dependent Speaker Verification [PDF]
Subhadeep Dey +3 more
openaire +4 more sources
A yolk–shell PTFE‐based composite (YSP) enables tunable, robust hydrophobic–water interfaces for efficient, on‐demand sonocatalytic H2O2 generation and pollutant degradation. ABSTRACT The use of polytetrafluoroethylene (PTFE) particles to promote sonochemical H2O2 production has attracted growing interest, as cavitation bubbles formed at or near their ...
Rong Wang +6 more
wiley +1 more source
Many authentication applications involving automatic speaker verification (ASV) demand robust performance using short-duration, fixed or prompted text utterances. Text constraints not only reduce the phone-mismatch between enrollment and test utterances,
Hector Delgado +14 more
core +1 more source

