Results 211 to 215 of about 15,380 (215)
Some of the next articles are maybe not open access.
2018
Ð ÑабоÑе опиÑано ÑеÑение ÑледÑÑÑÐ¸Ñ Ð·Ð°Ð´Ð°Ñ: иÑÑледование ÑпеÑиÑики поÑÑÑÐ¾ÐµÐ½Ð¸Ñ VANET-ÑеÑей и пÑименÑемÑÑ Ð² Ð½Ð¸Ñ Ð¼ÐµÑ Ð°Ð½Ð¸Ð·Ð¼Ð¾Ð² безопаÑноÑÑи; ÑазÑабоÑка модели ÑгÑоз VANET-ÑеÑÑм на оÑнове гÑаÑового пÑедÑÑÐ ...
openaire +1 more source
Ð ÑабоÑе опиÑано ÑеÑение ÑледÑÑÑÐ¸Ñ Ð·Ð°Ð´Ð°Ñ: иÑÑледование ÑпеÑиÑики поÑÑÑÐ¾ÐµÐ½Ð¸Ñ VANET-ÑеÑей и пÑименÑемÑÑ Ð² Ð½Ð¸Ñ Ð¼ÐµÑ Ð°Ð½Ð¸Ð·Ð¼Ð¾Ð² безопаÑноÑÑи; ÑазÑабоÑка модели ÑгÑоз VANET-ÑеÑÑм на оÑнове гÑаÑового пÑедÑÑÐ ...
openaire +1 more source
ÐабоÑаÑоÑнÑй пÑакÑикÑм по ÑопÑоÑÐ¸Ð²Ð»ÐµÐ½Ð¸Ñ Ð¼Ð°ÑеÑиалов
ÐÑедÑÑавлено опиÑание лабоÑаÑоÑнÑÑ ÑÐ°Ð±Ð¾Ñ Ð¿Ð¾ кÑÑÑÑ Â«Ð¡Ð¾Ð¿ÑоÑивление маÑеÑиалов». ÐÑиведено опиÑание пÑинÑипа дейÑÑÐ²Ð¸Ñ Ð¸Ð·Ð¼ÐµÑиÑелÑнÑÑ Ð¿ÑибоÑов и ÑÑÑановок, пÑедназнаÑеннÑÑ Ð´Ð»Ñ Ð¿ÑÐ¾Ð²ÐµÐ´ÐµÐ½Ð¸Ñ Ð»Ð°Ð±Ð¾Ñаopenaire +1 more source
ÐногопоÑоÑнÑй обÑаÑнÑй меÑод ÐаÑлова
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
WISSENSCHAFTLICHE ERGEBNISSE UND ERRUNGENSCHAFTEN: 2020 - BAND 2, 2020
Олеся Приймук
semanticscholar +1 more source
Олеся Приймук
semanticscholar +1 more source

