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

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

Статті 6,831
Проблемы материальной культуры – ЭКОНОМИЧЕСКИЕ НАУКИ 3,451
Научно-технический раздел 2,648
Краткие сообщения 2,299
Оригинальные статьи 1,621
Рецензії 1,596
Вітаємо 1,321
- 1,277
Хроніка 1,110
Вопросы духовной культуры – ФИЛОЛОГИЧЕСКИЕ НАУКИ 997
Короткі повідомлення 966
Неорганическая и физическая химия 960
Научные статьи 875
Производственный раздел 858
Наукові статті 827
Вопросы духовной культуры – ИСТОРИЧЕСКИЕ НАУКИ 798
Хроника 791
Фауна и систематика 752
Розвідки 750
Математика 728
Информация 689
Електричні машини та апарати 675
Characterization and properties 657
Критика та бібліографія 646
Повідомлення 632
631
Історія 629
Економіка 623
Точка зрения 616
Хімія 613

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

Автоматизоване проектування програм для розв’язання задачі метеорологічного прогнозування за авторством Дорошенко, А.Ю., Іваненко, П.А., Овдій, О.М., Яценко, О.А.

Game theoretic modeling of AIMD network equilibrium за авторством Ignatenkо, O.P.

Мультиагентне моделювання послідовних багатоелементних японських аукціонів за авторством Яловець, А.Л.

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

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

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

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

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

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

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

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

Чисті першопорядкові логіки квазіарних предикатів за авторством Нікітченко, М.С., Шкільняк, О.С., Шкільняк, С.С.

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

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

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

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

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

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

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

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

Автоматизоване проектування програм для розв’язання задачі метеорологічного прогнозування за авторством Дорошенко, А.Ю., Іваненко, П.А., Овдій, О.М., Яценко, О.А.

Game theoretic modeling of AIMD network equilibrium за авторством Ignatenkо, O.P.

Мультиагентне моделювання послідовних багатоелементних японських аукціонів за авторством Яловець, А.Л.

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

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

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

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

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

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

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

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

Чисті першопорядкові логіки квазіарних предикатів за авторством Нікітченко, М.С., Шкільняк, О.С., Шкільняк, С.С.

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

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

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

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

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

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

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

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

Репозитарії

Формат

Автор

Мова

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