Informatika, 2018 Рассматривается задача определения показателей надежности структурно-сложных системсо многими состояниями. Предлагается методика расчета, основанная на сведении вероятностно-алгебраической модели структурно-сложной системы со многими состояниями к ...
doaj
Перспективы интеграции методов верификации программного обеспечения
Труды Института системного программирования РАН, 2009 В статье предлагается подход к построению расширяемой среды верификации программных систем, которая, по мнению автора, поможет решить проблемы практической применимости современных строгих методов верификации к практически значимым программам, сложность ...
В. В. Кулямин
doaj
[Thyrotoxicosis in a patient with Turner syndrome: radioactive iodine therapy]. [PDF]
Probl Endokrinol (Mosk), 2022 Guseinova RM +4 more
europepmc +1 more source
[Dynamics the parameters of mineral metabolism in hospitalized patients with COVID-19, the impact of etiotropic and pathogenetic therapy]. [PDF]
Probl Endokrinol (Mosk), 2023 Maganeva IS +8 more
europepmc +1 more source
АЛГОРИТМ БЫСТРОГО ВЫЧИСЛЕНИЯ ОПТИЧЕСКОГО ПОТОКА ПРИ ПОМОЩИ SSE2-ИНСТРУКЦИЙ ПРОЦЕССОРОВ СЕМЕЙСТВА x86
Informatika, 2018 Представлен алгоритм быстрого вычисления оптического потока при помощи SSE2-инструкций на персональном компьютере. Алгоритм имеет константную сложность в зависимости от радиуса окна оптического потока, применяет SSE2 SIMD-инструкции на всех ...
doaj
[Testosterone replacement therapy and its relationship with hyperestrogenism and obesity. Problems of laboratory diagnostics of hyperestrogenism]. [PDF]
Probl Endokrinol (Mosk), 2021 Golodnikov II, Pavlova ZS, Kamalov AA.
europepmc +1 more source
[Microcephalic osteodysplastic primordial dwarfism type II (MOPD II): clinical case]. [PDF]
Probl Endokrinol (Mosk)Makretskaya NA +2 more
europepmc +1 more source
[Experience in using teriparatide for the treatment of postoperative hypoparathyroidism in hemodialysis patients]. [PDF]
Probl Endokrinol (Mosk), 2022 Eremkina AK +4 more
europepmc +1 more source