Results 161 to 170 of about 8,956 (202)
Some of the next articles are maybe not open access.
2021
This work presents an approach to proving the correctness of programs by constructing ther denotational semantics based on defined semantics of language operators. To do this, there was considered and implemented the guarded command language, proposed by E. Dijkstra in his work "A discipline of programming".
openaire +1 more source
This work presents an approach to proving the correctness of programs by constructing ther denotational semantics based on defined semantics of language operators. To do this, there was considered and implemented the guarded command language, proposed by E. Dijkstra in his work "A discipline of programming".
openaire +1 more source
2021
The theme of the qualifying work: «The use of artificial neural networks in metallurgy». Purpose of the work: optimization of the T-joint welding mode in automatic submerged arc welding of low-carbon steel using artificial neural networks. Work tasks: - analysis of periodical literature on the architecture of artificial neural networks, used ...
openaire +1 more source
The theme of the qualifying work: «The use of artificial neural networks in metallurgy». Purpose of the work: optimization of the T-joint welding mode in automatic submerged arc welding of low-carbon steel using artificial neural networks. Work tasks: - analysis of periodical literature on the architecture of artificial neural networks, used ...
openaire +1 more source
ÐпÑимизаÑÐ¸Ñ ÑÑÑÑкÑÑÑÑ ÐºÐ°Ð¿Ð¸Ñала пÑедпÑиÑÑиÑ
2018ÐбÑекÑом иÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ ÑвлÑеÑÑÑ ÐР«СпеÑавÑÐ¾Ñ Ð¾Ð·ÑйÑÑво» ЦелÑÑ Ð²ÑпÑÑкной квалиÑикаÑионной ÑабоÑÑ ÑвлÑеÑÑÑ ÑазÑабоÑка меÑопÑиÑÑий по опÑимизаÑии ÑÑÑÑкÑÑÑÑ ÐºÐ°Ð¿Ð¸Ñала (на пÑимеÑе ÐР«СпеÑавÑÐ¾Ñ Ð¾Ð ...
openaire +1 more source
ÐÑполÑзование меÑаÑоÑÑ Ð² ÑиÑÑовом иÑкÑÑÑÑве
2019The purpose of this work is to study the phenomenon of "metaphor" in design as an artistic tool for interaction and behavior of systems, environments and products with their users. The masterâs thesis presents historical and cultural review and analysis of examples of metaphor usage in the historical section of art of the XIX â XX centuries, during
openaire +1 more source
Российский физиологический журнал им И М Сеченова, 2021
И. В. Кубасов +5 more
semanticscholar +1 more source
И. В. Кубасов +5 more
semanticscholar +1 more source
ÐидеÑÑÑво. ÐаÑка и иÑкÑÑÑÑво ÑпÑÐ°Ð²Ð»ÐµÐ½Ð¸Ñ Ð»ÑдÑми
2013ÐзлагаÑÑÑÑ ÑеоÑеÑиÑеÑкие и пÑакÑиÑеÑкие Ð¿Ð¾Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ Ð»Ð¸Ð´ÐµÑÑÑва как наÑки и иÑкÑÑÑÑва ÑпÑÐ°Ð²Ð»ÐµÐ½Ð¸Ñ Ð»ÑдÑми и оÑганизаÑиÑми в ÑÑловиÑÑ Ð³Ð»Ð¾Ð±Ð°Ð»Ð¸Ð·Ð°Ñии и инÑеÑнализаÑии Ð¸Ñ Ð¾ÑноÑений, Ñ Ð°ÑакÑеÑнÑÑ Ð´Ð»Ñ Ñ ...
openaire +1 more source
Российский физиологический журнал им И М Сеченова, 2021
Ольга Анатольевна Любашина +2 more
semanticscholar +1 more source
Ольга Анатольевна Любашина +2 more
semanticscholar +1 more source
Сердце крысы в пренатальном и постнатальном периоде онтогенеза
Онтогенез, 2021Виктория Валентиновна Иванова +3 more
semanticscholar +1 more source

