torque, speed, and power as mechanical variables are associated with the functional performance of any rotating machinery. the real-time performance and the efficiency of a machine can be determined with on-line measurement of these parameters. in this investigation a rotary torque meter (transducer) was constructed from strain gauge sensors for measuring the torque of rotating shafts. the syst...

The Sileye detector can simultaneously measure particle energy losses from 2.5 Minimum Ionizing Particles (MIPs) to 2500 MIPs and determine the coordinates of passing particles with an accuracy of 1.8 mm. This instrument can be used for cosmic rays studies as well as for medical-biological and technological space researches. We will present the results obtained with the first prototype of the a...

In this paper we present the first formally verified implementations of Kyber and, to best our knowledge, such any post-quantum cryptosystem. We give a (readable) formal specification in EasyCrypt proof assistant, which is syntactically very close pseudocode description scheme as given most recent version NIST submission. high-assurance open-source written Jasmin language, along with machine-ch...