Дорошенко, А.
    Явище криміналізації правоохоронних органів і спеціальних служб [Текст] / А.Дорошенко // Людина і політика. - 2000. - N6. - С. 11-21
Рубрики: Правоохоронні органи України





    Дорошенко, А. М.
    Конструктивні і функціональні наноматеріали для медицини [Текст] : засідання секції Наук. ради з нових матеріалів при Міжнар. асоціації академій наук / А. М. Дорошенко // Вісник Національної академії наук України. - 2013. - № 8. - С. 83-88 : фот.
Рубрики: Наномедицина--Нанофармакологія--Нанотоксикологія
   Медицина--Нанотехнології

Анотація: 16 травня 2013 р. у Києві на базі Ін-ту електрозварювання ім. Є. О. Патона НАН України відбулося третє щорічне засідання секції "Конструктивні і функціональні наноматеріали для медицини" Наук. ради з нових матералів при Міжнар. асоціації академій наук під головуванням академіка НАН України Б. Є. Патона.





    Прусов, В. А.
    Ефективний обчислювальний метод для мезомасштабного прогнозування погоди [Text] / В. А. Прусов, А. Ю. Дорошенко // Доповіді Національної академії наук України. - 2020. - № 3. - С. 10-18. - текст ст. англ. мов. - Бібліогр. в кінці ст.
Рубрики: Математика--Обчислювальна математика
   Метеорологія

Кл.слова (ненормовані):
Інтерполяція -- Сплайн -- Регіональне вирішення
Анотація: Описано методологію ефективного регіонального вирішення крайових задач з передісторією на основі підходу "однобічної взаємодії".


Дод.точки доступу:
Дорошенко, А. Ю.




    Дорошенко, А. Ю.
    Формальні методи автоматизації проектування паралельних програм [Text] / А. Ю. Дорошенко, О. А. Яценко // Доповіді Національної академії наук України. - 2020. - № 6. - С. 15-20. - текст ст. англ. мов. - Бібліогр. в кінці ст.
Рубрики: Комп'ютерна наука і технологія--Програмне забезпечення--Програмування, комп'ютерні програми--Алгоритми для конструювання програм
Кл.слова (ненормовані):
Алгебра Глушкова -- Специфікація -- Алгоритм -- Природно-лінгвістичне подання
Анотація: Розроблені засоби використовують мову, яка грунтується на системах алгоритмічних алгебр Глушкова і орієнтоване на високорівневе та природно-лінгвістичне подання алгоритмів, а також застосовують техніку переписувальних правил для трансформації програм.


Дод.точки доступу:
Яценко, О. А.