We report the direct observation of muon neutrino interactions with the SND@LHC detector at the Large Hadron Collider. A dataset of proton-proton collisions at $\sqrt{s}=13.6\mathrm{TeV}$ collected by SND@LHC in 2022 is used, corresponding to an integrated luminosity of $36.8{\mathrm{fb}}^{-1}$. The search is based on information from the active electronic components of the SND@LHC detector, which covers the pseudorapidity region of $7.2<\eta <8.4$, inaccessible to the other experiments at the collider. Muon neutrino candidates are identified through their charged-current interaction topology, with a track propagating through the entire length of the muon detector. After selection cuts, 8 ${\nu }_{\mu }$ interaction candidate events remain with an estimated background of 0.086 events, yielding a significance of about 7 standard deviations for the observed ${\nu }_{\mu }$ signal.

Magnetostrictive actuators play an important role in the perception of usefulness of smart materials and devices. Their applications are potentially wider than that of piezoelectric actuators because of the higher energy density and intrinsic robustness. However, the non-negligible hysteresis and complexity of their characteristics make the design and control quite difficult and has limited their diffusion in industrial applications. Nevertheless, the scientific literature presents a wide offer of results in design and geometries, modeling and control that may be exploited for applications. This paper gives a reasoned review of the main results achieved in the literature about design, modeling and control of magnetostrictive actuators exploiting the direct effects of magnetostriction (Joule and Wiedemann). Some perspectives and challenges about magnetostrictive actuators development are also gathered.