Results 91 to 95 of about 322 (95)

Многопоточный обратный метод Маслова

This article introduces a novel multiprocessing methodology tailored for the Inverse Method, a critical component of Automated Theorem Provers (ATPs), aimed at optimizing theorem proving efficiency. Our approach utilizes multiple running units, each operating as a distinct prover equipped with specific heuristic options, collaborating to explore ...
openaire   +1 more source

Инновации в дипломатической практике: цифровая дипломатия и виртуальные коммуникации

This study examines the essence of digital diplomacy as a phenomenon, conducts a comparative analysis of digital and traditional diplomacy, and identifies the main advantages, disadvantages and prospects for the development of digital diplomacy. General concepts are given and the main ways of implementing digital diplomacy are given.
openaire   +1 more source

Разработка РТК для группового управления

The aim of the work is to design electronics according to the technical specification for a robotic complex corresponding to the regulations of RoboCup Soccer Small Size League, the platform can be used for training in the field of group control. For this purpose, the following tasks need to be solved: 1. study the terms of reference, 2.
openaire   +1 more source

Методические указания по библиографии

1971
openaire   +1 more source

Экологический инжиниринг в Ð³Ð¸Ð´Ñ€Ð¾Ñ‚ÐµÑ Ð½Ð¸ÐºÐµ

1995
openaire   +1 more source