Výsledky vyhľadávania - "КОРРЕКТНОСТЬ"

Promising Compilation to ARMv8.3 Autor A.V., Podkopaev A.V., O., Lahav, V., Vafeiadis

“…Concurrent programs have behaviors, which cannot be explained by interleaving execution of their threads on a single processing unit due to optimizations,…”
Získať plný text

Об одной краевой задаче со смещением для параболо-гиперболического уравнения с двумя перпендикулярными линиями изменения типа Autor Хайдаров, И.У., Зуннунов, Р.Т.

“…В статье рассматривается краевая задача со смещением для параболо-гиперболического уравнения, содержащее спектральный параметр и характеризующееся наличием…”
Získať plný text

Корректность математической модели слабосжимаемой вязкоупругой среды Максвелла Autor Е.Н. Журавлева

“…На базе модели сжимаемой вязкоупругой среды Максвелла с постоянной динамической вязкостью и временем релаксации построена математическая модель движения…”
Získať plný text

Об однозначной разрешимости одной полунелокальной краевой задачи для нагруженного уравнения Чаплыгина в прямоугольнике Autor Джамалов, С.З., Ашуров, Р.Р., Султанов, М.А., Рузиев, У.Ш.

“…В данной работе при некоторых условиях на коэффициенты нагруженного уравнения Чаплыгина в прямоугольнике доказывается однозначная разрешимость одной…”
Získať plný text

Reflection of Correct and Incorrect Behaviour in the Russian Paremiological World View Autor - Lying Yuan

“…We share the point of view stated and proved by the writer and philosopher Nikolay Kryshchuk: “In any society there are unwritten laws. (...). The oral,…”
Získať plný text

ОБ ОДНОЙ ЛИНЕЙНОЙ ОБРАТНОЙ ЗАДАЧЕ ДЛЯ УРАВНЕНИЯ ТРИКОМИ В ТРЁХМЕРНОМ ПРОСТРАНСТВЕ Autor Djamalov, S.Z.

“…В работе рассматриваются вопросы корректности одной линейной обратной задачи для уравнения Трикоми в трёхмерном пространстве. Для этой задачи методами…”
Získať plný text

Automatic C Program Verification Based on Mixed Axiomatic Semantics Autor I. V. Maryasov, V. A. Nepomnyaschy, A. V. Promsky, D. A. Kondratyev

“…The development of the C-light project resulted in the application of new formalisms and implementation techniques which facilitate the verification process…”
Získať plný text

A Generalized Solution of an Initial Boundary Value Problem Arising in the Mechanics of Discrete-Continuous Systems Autor E. P. Kubyshkin, O. A. Khrebtyugova

“…In this paper we define a generalized solution of an initial boundary value problem for a linear system of differential equations with one ordinary…”
Získať plný text

Euphemism and political correctness in contemporary English Autor N B Rubina

“…The presented article is devoted to the consideration of such linguistic category as the political correctness which was widely adopted in the English-speaking…”
Získať plný text