Article

Generation of the weakest preconditions of programs with dynamic memory in symbolic execution

October 2022

Article

Malyavin F.F. and others

The impact of yttrium aluminum garnet stoichiometry deviation on the conversion efficiency of tetravalent chromium ions

October 2022

Article

Application of Neural Network and Computer Vision Technologies for Image Analysis of Skin Lesion

October 2022

Article

CALCULATION OF OBSERVATION PERSISTENCE DURING RADAR SURVEY

October 2022

Article

METHOD FOR ESTIMATING THE PERFORMANCE OF LARGE INFORMATION SYSTEMS WITH TRANSACTION CLUSTERING

October 2022

Article

COORDINATED WORK OF TWO MOBILE ROBOTS WHEN PERFORMING OPERATIONS AUTOMATICALLY IN A COMPLEX ENVIRONMENT

October 2022

Article

ALGORITHM FOR PREDICTING THE STATE OF EQUIPMENT BASED ON MACHINE LEARNING

October 2022

Article

APPLICATION OF METHODS OF FRACTAL IMAGES ANALYSIS IN SOLVING ENVIRONMENTAL ASSESSMENT AND OBJECT RECOGNITION PROBLEMS

October 2022

Article

PROMISING METHODS FOR MEASURING THE THERMAL CONDUCTIVITY OF SOLIDS

October 2022

Article

MODEL FOR ASSESSING THE READINESS OF COMPLEX TECHNICAL SYSTEMS TAKING INTO ACCOUNT THE METROLOGICAL CHARACTERISTICS OF CONTROL TOOLS

October 2022