Results 81 to 90 of about 8,773 (135)

[Cyclic Cushing's syndrome: difficulties of diagnostic search and choice of treatment tactics. A clinical case]. [PDF]

Probl Endokrinol (Mosk), 2023
Dzeranova LK, Dorovskikh AV, Pigarova EA, Lapshina AM, Vorotnikova SY, Shutova AS, Perepelova MA, Grigoriev AY, Azizyan VN.   +8 more
europepmc   +1 more source

On the methods of multimodal suggestive psychotherapy [PDF]

Розглянуто деякі методологічні аспекти мультимодальної сугестивної психотерапії. Визначено, що мультимодальна сугестивна психотерапія є оригінальною психотерапевтичною системою, із своїм власним теоретичним обгрунтуванням та методологічними принципами ...
Манілов, І.Ф.
core  

Подход к численной оценке адекватности трехмерной клеточно-автоматной модели процесса диффузии вещества

Vestnik KRAUNC: Fiziko-Matematičeskie Nauki
Статья посвящена проблеме применения дискретно-динамического подхода в концепции трехмерных клеточных автоматов для моделирования эволюционного процесса диффузии.
Саруханян, С.К.
doaj   +1 more source

[Familial case of hypogonadotropic hypogonadism as the CHARGE syndrome manifestation]. [PDF]

Probl Endokrinol (Mosk), 2021
Khabibullina DA, Kalinchenko NY, Egorova SV, Vasilyev EV, Petrov VM, Tiulpakov AN.   +5 more
europepmc   +1 more source

Model-based testing of Internet Mail Protocols

Труды Института системного программирования РАН, 2018
The paper discusses model-based testing of the modern Internet e-mail protocols, including the method of protocol modeling by means of formal notations, peculiarities of e-mail protocols in the context of testing.
N. V. Pakulin, A. N. Tugaenko
doaj  

[Diagnostic value of ct in examination of patients with adrenal cancer]. [PDF]

Probl Endokrinol (Mosk), 2022
Rusakov VF, Shcherbakov IE, Chinchuk IK, Savelyeva TV, Rebrova DV, Loginova OI, Pridvizhkina TS, Chernikov RA, Krasnov LM, Fedotov JN, Fedorov EA, Sablin IV, Sleptsov IV, Shihmagomedov SS, Zgoda EA.   +14 more
europepmc   +1 more source

[Ribosomal profiling as a tool for studying translation in plants: main results, problems and future prospects]. [PDF]

Vavilovskii Zhurnal Genet Selektsii, 2021
Afonnikov DA, Sinitsyna OI, Golubeva TS, Shmakov NA, Kochetov AV.   +4 more
europepmc   +1 more source

TLA+ based access control model specification

Труды Института системного программирования РАН, 2018
The article describes TLA+ access control model specification for computer systems, ensuring compliance with the mandatory integrity and confidentiality monitoring requirements with considering memory-based covert channels. The distinctive feature of the
A. V. Kozachok
doaj  

Validation of state machine specifications

Научно-технический вестник информационных технологий, механики и оптики
The paper presents a new view on the quality assurance of state machine programs. Instead of the term “verification of state machine programs”, it is proposed to use the terms “verification of state machine models” and “validation of state machine ...
A. A. Shalyto
doaj   +1 more source

LINGUISTIC AND AXIOLOGIC MODEL OF THE HUMAN: METHODICAL ASPECT

Вестник Мининского университета, 2017
This article is dedicated to the methodological foundations of linguistic and axiologic modeling. In particular, it discusses the problems of subjectivity in research and evaluation in judgements, ideological conditioning of the assessments ...
S. Pavlov
doaj   +2 more sources