Results 131 to 140 of about 3,239,824 (259)
Advanced Robotics Research, EarlyView.DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano +3 more
wiley +1 more source
International Journal of Mathematics and Mathematical SciencesLoss data may often exhibit features such as multimodality and skewness that render single distributions incapable of capturing all these features. Insurance data often comprise of extremely large losses, of which single distributions may inadequately ...
Williams Kumi +3 more
doaj +1 more source
Consensus Formation and Change are Enhanced by Neutrality
Advanced Science, EarlyView.Neutral agents are shown to enhance both the formation and overturning of consensus in collective decision‐making. A general mathematical model and experiments with locusts and humans reveal that neutrality enables robust consensus via simple interactions and accelerates consensus change by reducing effective population size.
Andrei Sontag +3 more
wiley +1 more source
Helix Alignment, Chevrons, and Edge Dislocations in Twist‐Bend Ferroelectric Nematics
Advanced Science, EarlyView.The recently discovered twist‐bend ferroelectric nematic (NTBF) is the new member of the multiferroic family, representing a fluid with an oblique helicoidal (heliconical) periodic structure of spontaneous electric polarization. The work presents a thorough exploration of the material properties of this phase, how the periodic modulation of ...
Bijaya Basnet +8 more
wiley +1 more source
Australian demographic statistics, Sep 2015
, 2016 Quarterly estimates of total resident population for states, territories and Australia. About this release Quarterly estimates of total resident population for states, territories and Australia.
Australian Bureau of Statistics
core
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
Sharp constants relating the sub-Gaussian norm and the sub-Gaussian parameter
Publisher Copyright: © 2026, Institute of Mathematical Statistics. All rights reserved.We determine the optimal constants in the classical inequalities relating the sub-Gaussian norm ‖X‖ψ2 and the sub-Gaussian parameter σX for centered real-valued random
Zhukov, Matvei, Leskelä, Lasse
core +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 +3 more
wiley +1 more source
Disintegration of Gaussian measures for sequential assimilation of linear operator data
IMSV - Gruppe Prof.
Ginsbourger, David, Travelletti, Cédric
core +1 more source