Результати пошуку :: Harvester open publications of NAS Ukraine

Рекомендовані теми у межах Вашого пошуку. Рекомендовані теми у межах Вашого пошуку.

Статті 5,511
Проблемы материальной культуры – ЭКОНОМИЧЕСКИЕ НАУКИ 2,767
Научно-технический раздел 2,155
Краткие сообщения 1,849
Оригинальные статьи 1,305
Рецензії 1,292
Вітаємо 1,078
Хроніка 922
Вопросы духовной культуры – ФИЛОЛОГИЧЕСКИЕ НАУКИ 807
Короткі повідомлення 775
Неорганическая и физическая химия 774
Производственный раздел 701
Научные статьи 700
Наукові статті 643
Вопросы духовной культуры – ИСТОРИЧЕСКИЕ НАУКИ 642
Хроника 639
626
Розвідки 595
Фауна и систематика 593
Критика та бібліографія 590
Повідомлення 575
Математика 568
Информация 560
Хроніка та інформація 560
Електричні машини та апарати 548
Characterization and properties 511
Історія 507
Економіка 500
Хімія 492
Точка зрения 489

Внешние множественные операции табличной алгебры бесконечных таблиц за авторством Глушко, И.М.

Метод извлечения логики поведения из промышленного программного кода на языке Кобол за авторством Губа, А.А., Колчин, А.В., Потиенко, С.В.

Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python за авторством Новокшонов, А.К.

Синтез многоуровневых структур со многими выходами за авторством Опанасенко, В.Н., Крывый, С.Л.

Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных за авторством Резниченко, В.А., Чистякова, И.С.

Розвиток вітчизняного паровозобудування та роль у ньому С.П. Сиром’ятникова за авторством Бережняк, Г.П.

Композиційно-номінативні логіки безкванторних рівнів за авторством Шкільняк, С.С., Волковицький, Д.Б.

Конструктивно-продукционная модель графового представления текста за авторством Шинкаренко, В.И., Куропятник, Е.С.

О выделении макроопераций из вычислительных процессов сортировки массивов данных за авторством Паулин, О.Н., Комлевая, Н.О., Марулин, С.Ю.

Автоматизована розробка паралельної розподіленої системи обробки потокових даних за авторством Тітов, Д.С., Дорошенко, А.Ю., Яценко, О.А.

Створення і дослідження паралельних схем алгоритму Джонсона в технології GPGPU за авторством Погорілий, С.Д., Слинько, М.С.

Peterson’s Algorithm total correctness proof in IPCL за авторством Zhygallo, A.A.

Доведення властивості коректної роботи банківської системи виплати грошових переказів за авторством Остаповська, Ю.А., Панченко, Т.В., Поліщук, Н.В., Картавов, М.О.

Перетворення успадкованого коду на Fortran до масштабованого паралелізму і хмарних обчислень за авторством Дорошенко, А.Ю., Хаврюченко, В.Д., Туліка, Є.M., Жереб, К.А.

Методи організації паралельних обчислень для багаторівневих нечітких систем Такагі – Сугено за авторством Єршов, С.В., Пономаренко, Р.М.

З історії дослідження забудови Києва кінця ХІХ – початку ХХ ст. за авторством Сердюк, О.М.

Машинно-навчальні методи розпізнавання іменованих сутностей тексту за авторством Марченко, О.О.

Метод формирования многоуровневых последовательных паттернов за авторством Молдавская, А.В.

Application of deep learning and computer vision frameworks for solving video context prediction problem за авторством Voloshyn, D.

Технологія моделювання на основі нечітких об’єктно-орієнтованих байєсівських мереж довіри за авторством Єршов, С.В., Костукевич, Ф.В.

Результати пошуку

Внешние множественные операции табличной алгебры бесконечных таблиц за авторством Глушко, И.М.

Метод извлечения логики поведения из промышленного программного кода на языке Кобол за авторством Губа, А.А., Колчин, А.В., Потиенко, С.В.

Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python за авторством Новокшонов, А.К.

Синтез многоуровневых структур со многими выходами за авторством Опанасенко, В.Н., Крывый, С.Л.

Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных за авторством Резниченко, В.А., Чистякова, И.С.

Розвиток вітчизняного паровозобудування та роль у ньому С.П. Сиром’ятникова за авторством Бережняк, Г.П.

Композиційно-номінативні логіки безкванторних рівнів за авторством Шкільняк, С.С., Волковицький, Д.Б.

Конструктивно-продукционная модель графового представления текста за авторством Шинкаренко, В.И., Куропятник, Е.С.

О выделении макроопераций из вычислительных процессов сортировки массивов данных за авторством Паулин, О.Н., Комлевая, Н.О., Марулин, С.Ю.

Автоматизована розробка паралельної розподіленої системи обробки потокових даних за авторством Тітов, Д.С., Дорошенко, А.Ю., Яценко, О.А.

Створення і дослідження паралельних схем алгоритму Джонсона в технології GPGPU за авторством Погорілий, С.Д., Слинько, М.С.

Peterson’s Algorithm total correctness proof in IPCL за авторством Zhygallo, A.A.

Доведення властивості коректної роботи банківської системи виплати грошових переказів за авторством Остаповська, Ю.А., Панченко, Т.В., Поліщук, Н.В., Картавов, М.О.

Перетворення успадкованого коду на Fortran до масштабованого паралелізму і хмарних обчислень за авторством Дорошенко, А.Ю., Хаврюченко, В.Д., Туліка, Є.M., Жереб, К.А.

Методи організації паралельних обчислень для багаторівневих нечітких систем Такагі – Сугено за авторством Єршов, С.В., Пономаренко, Р.М.

З історії дослідження забудови Києва кінця ХІХ – початку ХХ ст. за авторством Сердюк, О.М.

Машинно-навчальні методи розпізнавання іменованих сутностей тексту за авторством Марченко, О.О.

Метод формирования многоуровневых последовательных паттернов за авторством Молдавская, А.В.

Application of deep learning and computer vision frameworks for solving video context prediction problem за авторством Voloshyn, D.

Технологія моделювання на основі нечітких об’єктно-орієнтованих байєсівських мереж довіри за авторством Єршов, С.В., Костукевич, Ф.В.

Інструменти для пошуку:

Уточнити результати

Репозитарії

Формат

Автор

Мова

Рік публікації