Article

Moiseenko E.V., Gladstein V.P., Podkopaev A.V, Koznov D.V.

Mechanization of pomset languages in the Coq proof assistant for the specification of weak memory models

June 2022

Article

Timofeev A.V., Groznov D.I.

Monitoring of infiltration processes in hydraulic structures using distributed acoustic sensing technology

June 2022

Article

IMPACT OF CONTROL METHODS IN VIRTUAL REALITY SYSTEMS ON THE OCCURRENCE OF LOCOMOTION DISEASE SYMPTOMS

June 2022

Article

IDENTIFICATION OF DEFECTS IN LINEAR SYSTEMS BASED ON OPTIMAL CONTROL METHODS

June 2022

Article

DYNAMIC MODEL OF A SYSTEM OF ELASTICALLY COUPLED PARTICLES FOR TOPOLOGICAL OPTIMIZATION OF COMPOSITE MATERIAL PRODUCTS

June 2022

Article

APPLICATION OF THE TOTAL INTERNAL REFLECTION METHOD FOR THE STUDY OF LIQUID-PHASE MEDIUM BASED ON BOTULINUM TOXIN

June 2022

Article

TERNARY MODULAR CODES WITH SUMMATION FOR THE SYNTHESIS OF DIGITAL SELF-TESTING DEVICES

June 2022

Article

TECHNOLOGICAL EQUIPMENT EFFICIENCY INDICATORS

June 2022

Article

PERFORMANCE ANALYSIS AND STATIC PARAMETERS SETTING OF SINGLE-QUERY TRAJECTORY PLANNERS

June 2022

Article

Enzymatic extraction of oil from Atlantic mackerel waste and its use in functional nutrition

June 2022