Results 111 to 120 of about 8,773 (135)
Some of the next articles are maybe not open access.
2021
This thesis is devoted to modeling and formal verification of distributed transactional memory CUDA-DTM using Model Checking method. Memory model CUDA-DTM is new and authors of the article describing this model did not provide information about formal verification of the model.
openaire +1 more source
This thesis is devoted to modeling and formal verification of distributed transactional memory CUDA-DTM using Model Checking method. Memory model CUDA-DTM is new and authors of the article describing this model did not provide information about formal verification of the model.
openaire +1 more source
ÐеÑиÑикаÑÐ¸Ñ ÑаÑпÑеделеннÑÑ ÑиÑÑем
2011ÐеÑаÑаеÑÑÑ Ð¿Ð¾ ÑеÑÐµÐ½Ð¸Ñ ÑедакÑионно-издаÑелÑÑкого ÑовеÑа СанкÑ-ÐеÑеÑбÑÑгÑкого гоÑÑдаÑÑÑвенного полиÑÐµÑ Ð½Ð¸ÑеÑкого ÑнивеÑÑиÑеÑа.
openaire +1 more source
2023
The purpose of the study is to determine the features of the use of Korean traditional graphics in the creation of modern corporate identity on the example of developing a corporate identity model for a Korean cuisine restaurant in St. Petersburg. The research set and solve the following goals: 1.
openaire +1 more source
The purpose of the study is to determine the features of the use of Korean traditional graphics in the creation of modern corporate identity on the example of developing a corporate identity model for a Korean cuisine restaurant in St. Petersburg. The research set and solve the following goals: 1.
openaire +1 more source
РазÑабоÑка Web-инÑеÑÑейÑа Ð´Ð»Ñ Ð²ÐµÑиÑикаÑоÑа Spin
2017Рданной ÑабоÑе опиÑÑваеÑÑÑ Ð¿ÑоÑеÑÑ ÑазÑабоÑки веб-инÑеÑÑейÑа Ð´Ð»Ñ Ð²ÐµÑиÑикаÑоÑа Spin Ñ Ð²Ð¾Ð·Ð¼Ð¾Ð¶Ð½Ð¾ÑÑÑÑ Ð¸Ð½ÑеÑакÑивного конÑÑÑÑиÑоÂÐ²Ð°Ð½Ð¸Ñ ÐºÐ¾Ð½ÐµÑнÑÑ Ð°Ð²ÑомаÑов. ÐÑ Ð²Ð°ÑÑваÑÑÑÑ ÑледÑÑÑие ÑÑÐ°Ð¿Ñ Ñикла ÑазÑа
openaire +1 more source
2020
This work is devoted to the correspondence of the estimated evacuation time with the experimental evacuation time. The purpose of the study is verification of the calculated evacuation model in the unique 36-storey building with a height of 144 meters. Tasks: 1.
openaire +1 more source
This work is devoted to the correspondence of the estimated evacuation time with the experimental evacuation time. The purpose of the study is verification of the calculated evacuation model in the unique 36-storey building with a height of 144 meters. Tasks: 1.
openaire +1 more source
ÐÑоÑÑ-веÑиÑикаÑÐ¸Ñ ÑаÑÑеÑнÑÑ ÐºÐ¾Ð´Ð¾Ð² ÐÐРСÐРи ÐÐРТÐС
2017Рдипломной ÑабоÑе пÑоведен Ð¾Ð±Ð·Ð¾Ñ Ð»Ð¸ÑеÑаÑÑÑÑ Ð¿Ð¾ конденÑаÑии паÑа Ñ Ð¿ÑиÑÑÑÑÑвием неконденÑиÑÑÑÑÐ¸Ñ ÑÑ Ð³Ð°Ð·Ð¾Ð². ÐÑполнена ÑазÑабоÑка ÑаÑÑеÑнÑÑ Ð¼Ð¾Ð´ÐµÐ»ÐµÐ¹ пÑоÑеÑÑам конденÑаÑии в пÑиÑÑÑÑÑвии неконР...
openaire +1 more source
2023
ÐÐ°Ð½Ð½Ð°Ñ ÑабоÑа поÑвÑÑена иÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ Ð²Ð¾Ð·Ð¼Ð¾Ð¶Ð½Ð¾ÑÑи веÑиÑикаÑии динамиÑеÑÐºÐ¸Ñ Ð¼Ð¾Ð´ÐµÐ»ÐµÐ¹ ÑаÑÑи ÑнеÑгоÑиÑÑÐµÐ¼Ñ Ð¡ÐµÐ²ÐµÑо-Ðапада Ñ Ð¸ÑполÑзованием паÑамеÑÑов в ÑаÑÑоÑной облаÑÑи.
openaire +1 more source
ÐÐ°Ð½Ð½Ð°Ñ ÑабоÑа поÑвÑÑена иÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ Ð²Ð¾Ð·Ð¼Ð¾Ð¶Ð½Ð¾ÑÑи веÑиÑикаÑии динамиÑеÑÐºÐ¸Ñ Ð¼Ð¾Ð´ÐµÐ»ÐµÐ¹ ÑаÑÑи ÑнеÑгоÑиÑÑÐµÐ¼Ñ Ð¡ÐµÐ²ÐµÑо-Ðапада Ñ Ð¸ÑполÑзованием паÑамеÑÑов в ÑаÑÑоÑной облаÑÑи.
openaire +1 more source
2022
The subject of the graduate qualification work: "Linguistic specificity of the image of the territoryâs construal: a comparative analysis (based on Russian and English languages)". This work is devoted to the analysis of the image of the territoryâs construal through various linguostylistic means. The research set the following goals: 1.
openaire +1 more source
The subject of the graduate qualification work: "Linguistic specificity of the image of the territoryâs construal: a comparative analysis (based on Russian and English languages)". This work is devoted to the analysis of the image of the territoryâs construal through various linguostylistic means. The research set the following goals: 1.
openaire +1 more source
2019
Рданной ÑабоÑе изÑÑена иÑÑоÑÐ¸Ñ Ð¼Ð¸Ð³ÑаÑионнÑÑ Ð¿ÑоÑеÑÑов в ÐеÑмании, а Ñакже ее ÑовÑÐµÐ¼ÐµÐ½Ð½Ð°Ñ Ð¼Ð¸Ð³ÑаÑÐ¸Ð¾Ð½Ð½Ð°Ñ ÑиÑÑаÑиÑ. ÐÑоанализиÑована мигÑаÑÐ¸Ð¾Ð½Ð½Ð°Ñ Ð¿Ð¾Ð»Ð¸Ñика ÐеÑмании и оÑÑÑеÑÑвлÑемÑе немеÑкимР...
openaire +1 more source
Рданной ÑабоÑе изÑÑена иÑÑоÑÐ¸Ñ Ð¼Ð¸Ð³ÑаÑионнÑÑ Ð¿ÑоÑеÑÑов в ÐеÑмании, а Ñакже ее ÑовÑÐµÐ¼ÐµÐ½Ð½Ð°Ñ Ð¼Ð¸Ð³ÑаÑÐ¸Ð¾Ð½Ð½Ð°Ñ ÑиÑÑаÑиÑ. ÐÑоанализиÑована мигÑаÑÐ¸Ð¾Ð½Ð½Ð°Ñ Ð¿Ð¾Ð»Ð¸Ñика ÐеÑмании и оÑÑÑеÑÑвлÑемÑе немеÑкимР...
openaire +1 more source
2020
ÐÑедÑÑÐ°Ð²Ð»ÐµÐ½Ð½Ð°Ñ ÑабоÑа поÑвÑÑена оÑенке возможноÑÑей по веÑиÑикаÑии паÑамеÑÑов ÑлекÑÑоÑнеÑгеÑиÑеÑкой ÑиÑÑÐµÐ¼Ñ Ð¿Ñи иÑполÑзовании ÑÑÑÑойÑÑв ÑÐ¸Ð½Ñ ÑонизиÑованнÑÑ Ð²ÐµÐºÑоÑнÑÑ Ð¸Ð·Ð¼ÐµÑений, акÑивно Ð ...
openaire +1 more source
ÐÑедÑÑÐ°Ð²Ð»ÐµÐ½Ð½Ð°Ñ ÑабоÑа поÑвÑÑена оÑенке возможноÑÑей по веÑиÑикаÑии паÑамеÑÑов ÑлекÑÑоÑнеÑгеÑиÑеÑкой ÑиÑÑÐµÐ¼Ñ Ð¿Ñи иÑполÑзовании ÑÑÑÑойÑÑв ÑÐ¸Ð½Ñ ÑонизиÑованнÑÑ Ð²ÐµÐºÑоÑнÑÑ Ð¸Ð·Ð¼ÐµÑений, акÑивно Ð ...
openaire +1 more source