Results 121 to 130 of about 18,135 (145)
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
ÐÑан баÑеннÑй полноповоÑоÑнÑй
2022ÐÐ°Ð½Ð½Ð°Ñ ÑабоÑа поÑвÑÑена пÑоекÑиÑÐ¾Ð²Ð°Ð½Ð¸Ñ Ð±Ð°Ñенного кÑана гÑÑзоподÑемноÑÑÑÑ 12 Ñонн и вÑлеÑом ÑÑÑÐµÐ»Ñ 9 меÑÑов. Ð Ñ Ð¾Ð´Ðµ вÑÐ¿Ð¾Ð»Ð½ÐµÐ½Ð¸Ñ ÑабоÑÑ ÑеÑаÑÑÑÑ ÑледÑÑÑие задаÑи: пÑоекÑиÑование Ð¼ÐµÑ Ð°Ð½Ð¸Ð·Ð¼Ð¾Ð² Ð¿Ð¾Ð´Ñ ...
openaire +1 more source
Ðнализ ÑоÑÐ¼Ñ Ð´ÐµÐ½Ð´ÑиÑнÑÑ Ñипиков
2022The subject of the graduate qualification work is: "Dendritic spine shape analysis". This work is focused on examination of existing approaches to the analysis of dendritic spine morphology and development of a new method for three-dimensional shape analysis.
openaire +1 more source
ФилоÑоÑиÑ. ТеÑÑовÑе заданиÑ
2008ÐоÑобие ÑооÑвеÑÑÑвÑÐµÑ Ð³Ð¾ÑÑдаÑÑÑÐ²ÐµÐ½Ð½Ð¾Ð¼Ñ Ð¾Ð±ÑазоваÑелÑÐ½Ð¾Ð¼Ñ ÑÑандаÑÑÑ Ð´Ð¸ÑÑÐ¸Ð¿Ð»Ð¸Ð½Ñ Â«Ð¤Ð¸Ð»Ð¾ÑоÑиÑ». ÐÑÐµÐ´Ð»Ð¾Ð¶ÐµÐ½Ñ ÑеÑÑÑ ÐºÐ¾ вÑем Ñемам вÑзовÑкого кÑÑÑа, коÑоÑÑе пÑедÑÑмоÑÑÐµÐ½Ñ Ð¿ÑогÑаммой, ÑоÑÑавленной ка
openaire +1 more source
2022
Ð Ñ Ð¾Ð´Ðµ ÑабоÑÑ Ð±Ñл пÑоведен иÑÑоÑиÑеÑкий анализ ÑÑаÑÑÑа недвижимого имÑÑеÑÑва в пÑавовой ÑиÑÑеме РоÑÑии. Также, бÑли иÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ñ ÑазлиÑнÑе Ð¿Ð¾Ð´Ñ Ð¾Ð´Ñ Ðº опÑÐµÐ´ÐµÐ»ÐµÐ½Ð¸Ñ Ð¿Ð¾Ð½ÑÑÐ¸Ñ Ð¸ пÑизнаков недвижимÑÑ
openaire +1 more source
Ð Ñ Ð¾Ð´Ðµ ÑабоÑÑ Ð±Ñл пÑоведен иÑÑоÑиÑеÑкий анализ ÑÑаÑÑÑа недвижимого имÑÑеÑÑва в пÑавовой ÑиÑÑеме РоÑÑии. Также, бÑли иÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ñ ÑазлиÑнÑе Ð¿Ð¾Ð´Ñ Ð¾Ð´Ñ Ðº опÑÐµÐ´ÐµÐ»ÐµÐ½Ð¸Ñ Ð¿Ð¾Ð½ÑÑÐ¸Ñ Ð¸ пÑизнаков недвижимÑÑ
openaire +1 more source
ÐÐ±Ð·Ð¾Ñ ÑовÑеменнÑÑ ÐÐÐС ÑиÑÐ¼Ñ Altera
2016ÐÑоведен Ð¾Ð±Ð·Ð¾Ñ Ð¸ анализ Ñ Ð°ÑакÑеÑиÑÑик линейки ÐÐÐС Altera Stratix, Arria и Cyclon поÑледнего поколениÑ, пÑи ÑеализаÑии алгоÑиÑмов ÑиÑÑовой обÑабоÑки Ñигналов.
openaire +1 more source
ТÑговÑй ÑаÑÑÐµÑ Ð°Ð²ÑомобилÑ
2001ÐоÑобие ÑооÑвеÑÑÑвÑÑÑ Ð³Ð¾ÑÑдаÑÑÑÐ²ÐµÐ½Ð½Ð¾Ð¼Ñ Ð¾Ð±ÑазоваÑелÑÐ½Ð¾Ð¼Ñ ÑÑандаÑÑÑ Ð´Ð¸ÑÑÐ¸Ð¿Ð»Ð¸Ð½Ñ "ТеоÑÐ¸Ñ Ð´Ð²Ð¸Ð¶ÐµÐ½Ð¸Ñ Ð°Ð²Ñомобилей и ÑÑакÑоÑов" напÑÐ°Ð²Ð»ÐµÐ½Ð¸Ñ Ð±Ð°ÐºÐ°Ð»Ð°Ð²ÑÑкой подгоÑовки 551400 "ÐаземнÑе ÑÑанÑпоÑÑнÑе ÑиÑÑ ...
openaire +1 more source
2019
This work is devoted to the development and analysis of the software-hardware electronic environment simulator. The program was implemented in Python. This simulator provides the possibility to form an array of sampled quadratures of signal describing an electronic environment.
openaire +1 more source
This work is devoted to the development and analysis of the software-hardware electronic environment simulator. The program was implemented in Python. This simulator provides the possibility to form an array of sampled quadratures of signal describing an electronic environment.
openaire +1 more source
"ÐÑоÑеÑÑионалÑнÑй ÑазговоÑ"
1979УÑебнÑе Ð·Ð°Ð´Ð°Ð½Ð¸Ñ Ð¿ÑедназнаÑÐµÐ½Ñ Ð´Ð»Ñ ÑазвиÑÐ¸Ñ Ð½Ð°Ð²Ñков ÑÑÑной ÑеÑи на ÑемÑ,ÑвÑзаннÑе Ñ Ð¿ÑоÑеÑÑионалÑной подгоÑовкой ÑÑÑденÑов в вÑзе. Ð¢ÐµÐ¼Ñ Ð¾Ñ Ð²Ð°ÑÑваÑÑ ÑÑебнÑÑ ÑабоÑÑ -"ÐекÑиÑ", ÐÐРС - наÑÑно-иÑÑлеР...
openaire +1 more source
ТÑговÑй мобилÑнÑй ÑобоÑ
ЦелÑÑ ÑабоÑÑ ÑвлÑеÑÑÑ ÑазÑабоÑка ÑÑгового мобилÑного ÑобоÑа, пÑедназнаÑенного Ð´Ð»Ñ ÐºÐ¾Ð»Ð»ÐµÐºÑивного пеÑÐµÐ´Ð²Ð¸Ð¶ÐµÐ½Ð¸Ñ Ð³ÑÑзовой плаÑÑоÑмÑ, Ñ ÑÑеÑом оÑÑÑÑÑÑÐ²Ð¸Ñ Ð½Ð°ÐºÐ»Ð¾Ð½Ð° коÑпÑÑа и пÑоÑкалÑзÑÐ²Ð°Ð½Ð¸Ñ ÐºÐ¾Ð»ÑÑ,openaire +1 more source