Results 131 to 137 of about 694 (137)
Some of the next articles are maybe not open access.
ÐногопоÑоÑнÑй обÑаÑнÑй меÑод ÐаÑлова
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
ТеоÑÐ¸Ñ Ð¾ÑганизаÑии
2008ÐоÑобие ÑооÑвеÑÑÑвÑÐµÑ Ð³Ð¾ÑÑдаÑÑÑÐ²ÐµÐ½Ð½Ð¾Ð¼Ñ Ð¾Ð±ÑазоваÑелÑÐ½Ð¾Ð¼Ñ ÑÑандаÑÑÑ Ð´Ð¸ÑÑÐ¸Ð¿Ð»Ð¸Ð½Ñ Â«Ð¢ÐµÐ¾ÑÐ¸Ñ Ð¾ÑганизаÑии» подгоÑовки ÑпеÑиалиÑÑов по напÑÐ°Ð²Ð»ÐµÐ½Ð¸Ñ 080504 «ÐоÑÑдаÑÑÑвенное и мÑниÑипалÑное ÑпÑавление».
openaire +1 more source
ÐкÑкаваÑоÑ-погÑÑзÑик
2017РабоÑа поÑвÑÑена пÑоекÑиÑÐ¾Ð²Ð°Ð½Ð¸Ñ ÑкÑкаваÑоÑа-погÑÑзÑика Ð´Ð»Ñ ÑазÑабоÑки гÑÑнÑов и полезнÑÑ Ð¸ÑкопаемÑÑ Ñ Ð¿Ð¾ÑледÑÑÑим пеÑемеÑением Ð¸Ñ Ð¸ вÑгÑÑзкой в оÑвал или кÑзов авÑомобилÑ.
openaire +1 more source
РаÑпознавание Ð¿Ð¾Ð·Ñ Ñеловека на ÑоÑогÑаÑии
The research set the following goals: â studying existing approaches to human pose recognition in photographs; â selecting an appropriate approach for pose recognition; â implementing an application capable of determining human poses in photographs; â analyzing results and identifying potential future steps.openaire +1 more source
2016
СпÑоекÑиÑован индÑкÑоÑнÑй генеÑаÑÐ¾Ñ Ð¼Ð¾ÑноÑÑÑÑ 2.2 кÐÑ Ð´Ð»Ñ Ð½Ñжд ÑÑанÑпоÑÑнÑÑ ÑÑедÑÑв. ÐпÑÐµÐ´ÐµÐ»ÐµÐ½Ñ Ð¾ÑновнÑе геомеÑÑиÑеÑкие ÑазмеÑÑ, пÑоизведен ÑлекÑÑомагниÑнÑй ÑаÑÑеÑ, ÑаÑÑÑиÑÐ°Ð½Ñ Ð¸ поÑÑÑÐ¾ÐµÐ½Ñ Ñ Ð ...
openaire +1 more source
СпÑоекÑиÑован индÑкÑоÑнÑй генеÑаÑÐ¾Ñ Ð¼Ð¾ÑноÑÑÑÑ 2.2 кÐÑ Ð´Ð»Ñ Ð½Ñжд ÑÑанÑпоÑÑнÑÑ ÑÑедÑÑв. ÐпÑÐµÐ´ÐµÐ»ÐµÐ½Ñ Ð¾ÑновнÑе геомеÑÑиÑеÑкие ÑазмеÑÑ, пÑоизведен ÑлекÑÑомагниÑнÑй ÑаÑÑеÑ, ÑаÑÑÑиÑÐ°Ð½Ñ Ð¸ поÑÑÑÐ¾ÐµÐ½Ñ Ñ Ð ...
openaire +1 more source
Ð ÑамкаÑ
данной ÑабоÑÑ ÑаÑÑмоÑÑена акÑÑалÑноÑÑÑ Ð¸ необÑ
одимоÑÑÑ ÑÐ¾Ð·Ð´Ð°Ð½Ð¸Ñ Ð¼ÐµÑодики калибÑовки и пÑоÑилиÑÐ¾Ð²Ð°Ð½Ð¸Ñ ÑкÑанов. РаÑÑмоÑÑена ÑеоÑÐ¸Ñ ÑвеÑа, воÑпÑиÑÑие ÑвеÑа Ñеловеком и ÑиÑÑовÑми ÑиÑÑ ...
openaire +1 more source
openaire +1 more source
The purpose of the study is providing of defense against denial-of-service attacks based on request cancellation. The subject of the work is impact of request cancellation on application-layer protocols. The research set the following goals: 1. Analysis of present means of defense against denial-of-service attacks based on request cancellation.
openaire +1 more source
openaire +1 more source

