Изучение алгоритмов поиска инвариантных соотношений в программах с простыми переменными, относящимся к методам анализа потоков данных и верификации. Анализ языка типа равенств для программ над абсолютно свободными алгебрами данных и кольцами полиномов.

Программное средство, реализующее метод Монте Карло и позволяющее выполнять расчеты изотопного состава отработавшего ядерного топлива. Моделирование загрузки реактора с возможностью описания каждого отдельного элемента, канала или ячейки активной зоны.

Применение расчетного комплекса Сократ/В1 для анализа тяжелых аварий с потерей теплоносителя. Матрицы верификации модуля Бонус, Релиз, Профит, Гапрел и Contfp в составе кода Сократ/В3. Осаждение аэрозолей в термоградиентной трубе эксперимента Falcon.

Туберкулез внутренних женских гениталий как одна из форм внелегочного туберкулеза. Недостатки и достоинства использования лучевых методов диагностики РКТ и МРТ для обследования органов малого таза. Особенности их использования для оценки активности ТВЖГ.

Обеспечение правильности требований к функционированию исходной спецификации как одна из важнейших задач, решаемых в процессе проектирования реактивных алгоритмов. Характеристика специфических особенностей осуществления верификации открытых систем.

Оценка дефляционного потенциала ветра относительно почвенной поверхности. Изучение повторяемости ветров различных скоростных градаций и степени их опасности. Разработка мер по повышению устойчивости почв; обработка и внедрение почвозащитных севооборотов.

Распределение реакций респондентов в соответствии с моделью ассоциативного значения В. Пищальниковой. Верификация стереотипного содержания базовой ценности Arbeit, характер организации и временных рамок работы. Сходства фрагментов этнических картин мира.

Совместное решение уравнений общей теории относительности и термодинамики для идеальной жидкости, обладающей топологией полого тела. Пространственные распределения основных термодинамических и гравитермодинамических её параметров и характеристик.

Особенности челночного метода исследования лексического поля. Определение его границ и построение семантической карты. Расчёт параметров модели дистрибутивной семантики. Уменьшение размерности и трансформация вектора. Сопоставление лексем и фреймов.

"Испытание" традиционных гуманистических ценностей, постоянная верификация их актуальности для современного массового сознания. Механизмы верификации ценностей и их возможную трансформацию в условиях пандемии. Роль СМИ в формировании фобий и страхов.

Вивчення особливостей артикуляції студентів-носіїв української мови, які вивчають англійську мову як іноземну, з використанням програми Praat. Розгляд критеріїв, за якими здійснювалося порівняння артикуляції студентів, у яких англійська мова не є рідною.

Верифікація методики кількісного вмісту амлодипіну бесилату в таблетках методом високоефективної рідинної хроматографії. Аналіз модельних розчинів та їх статистична обробка. Характеристики лінійної залежності. Оцінка внутрішньолабораторної прецизійності.

Метою дослідження була оцінка інформативності обстеження жінок пізнього репродуктивного віку щодо гіперпластичних процесів ендометрія за допомогою комплексної ультрасонографії з використанням кольорового доплерівського картування і доплерометрії.

Аналіз принципу верифікації, який виступає критерієм осмислення і аргументом в доказах істинності наукового знання. Відмінність між емпіризмом і метафізикою. Історія формування принципу верифікації, його розробка в якості аргументу перевірки істинності.

Розробка методу зменшення кількості тестових наборів на основі звуження області можливих значень, що дозволяє зменшити загальний термін верифікації. Процеси автоматизованого проектування цифрових пристроїв, поданих мовами опису апаратури високого рівня.

Доведення гарантованості розпізнавання кібератак за допомогою нейронних мереж типу багатошарового персептрону та мережі радіальної базисної функції. Моделювання процесу виявлення кібератаки за допомогою вказаної неперервної багатопараметричної функції.

Можливі моделі психотерапевтичної роботи. Розгляд моделі терапевтичного процесу, як діяльності, що спрямована на верифікацію несвідомої брехні. Характеристика моделі терапевтичних інтервенцій, на основі системних сімейних розстановок Берта Хеллінгера.

Фізико-географічні особливості розташування океанської станції. Порівняльний аналіз якості відтворення просторово-часової структури основних метеорологічних величин в граничному шарі над океаном, розрахованих в числовій моделі та виміряних над океаном.

Питання, що виникають у практичних слідчих підрозділах Національної поліції України під час верифікації неправдивих показань у процесі допиту неповнолітнього підозрюваного в кримінальному провадженні. Проведення слідчої дії за участю неповнолітнього.

Розробка тестів для практичного застосування якості працездатності пропонуємих засобів символьних перетворень для аналітичного розв’язання нелінійних диференціальних рівнянь. Моделювання динамічних процесів об’єктів високошвидкісних транспортних засобів.

Експертна оцінка безпечності меду за показником вмісту залишків антимікробних препаратів, який експортується з України до країн Європи і Америки. Розробка схеми контролю експортних партій меду на вміст залишкових кількостей аміноглікозидних антибіотиків.

Побудова формальних специфікацій за неформальними вимогами генерація набору тестів, синтез архітектурної моделі і перевірка властивостей. Прототипи програм верифікації формальних специфікацій і символьної генерації в системі інсерційного програмування.

Розгляд питання організації позаакадемічних форм занять фізичним вихованням студентів вищих освітніх установ. Визначення шляхом анкетування уподобань студентів щодо занять у вільний від навчання час. Види спорту, яким студенти віддають перевагу.

Біографія та творча діяльність доктора філологічних наук Т. Карабовича. Літературознавче прочитання низки перекладів і літературно-критичних праць польського письменника. Дослідження специфіки некласичного віршування авторської збірки поезій "Лугини".

Новаторство верлібрових структур Е. Андієвської нового тисячоліття, експериментальна природа її вільного вірша в контексті еволюції жанру. Версліброві експерименти М. Семенка. Початки класичного українського верлібру в творчості Т. Шевченка, І. Франка.

Применение вспученного вермикулита. Уменьшение затрат на сохранение тепла в зданиях и сооружениях. Вермикулитовые засыпки в стеновых конструкциях. Проектная мощность и производственная программа завода. Материальный баланс. Дробление и обжиг сырья.

Геологические особенности и сырьевая база Каратас-Алтынтасского месторождения вермикулита. Поровая структура аэрированных бетонов. Гигроскопичность вспученного вермикулита. Составы и свойства аэрированных вермикулитобетонов с добавкой жидкого стекла.

Понятие вермикультивирования как технологического процесса, направленного на выращивание популяции дождевых червей в искусственных условиях. Использование выращенных дождевых червей. Основные способы вермикультивирования. Условия обитания червей.

Вивчення впливу вермілату на перебіг раньового процесу у хворих з гнійними ранами. Аналіз лікування гострих гнійних запальних процесів щелепно-лицевої ділянки внутрішньом’язовим і регіонарним методами введення вермілату та традиційним методом лікування.

Вивчення дії вітчизняного поліпептидного препарату вермілат в комплексному лікуванні хворих на гострі гнійні запальні процеси щелепно-лицевої ділянки при його регіонарному введенні, для підвищення активності фібробластів, нейтрофілів і лімфоцитів.