Table interpretation of the temporal description logic LTLALC за авторством Reznichenko, V.A., Chystiakova, I.S.

Отримати повний текст

60 Years of Databases (final part) за авторством Reznichenko, V.A.

Отримати повний текст

Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення за авторством Шкільняк, О.С., Касьянюк, В.С., Малютенко, Л.М.

Отримати повний текст

Науковий підхід до формування 3D-Моделі опису інвестиційних проектів за авторством Стрєльніков, Р.М.

Отримати повний текст

Insertion modeling in distributed system design за авторством Letichevsky, A.A., Kapitonova, J.V., Kotlyarov, V.P., Letichevsky Jr., A.A., Nikitchenko, N.S., Volkov, V.A., Weigert, T.

Отримати повний текст

Software engineering ontologies categorization за авторством Sydorov, N.A., Sydorova, N.N., Mendzebrovsky, I.B.

Отримати повний текст

DIGITAL TWINS IN BUILDING ENERGY MANAGEMENT FOR ELECTRICITY CONSUMPTION FORECASTING AND ENERGY EFFICIENCY IMPROVEMENT за авторством Shpak, Denys

Отримати повний текст

Гібридна модель штучного інтелекту інтегрована в ГІС для прогнозування аварій на мережах водопостачання... за авторством Zaychenko, Yuriy, Starovoit, Tetiana

Отримати повний текст

Методологічні аспекти інтелектуалізації систем оперативного керування динамічними об'єктами за авторством Melnykov, Serhii, Malezhik, Petro, Gasanov, Aydin, Bidyuk, Petro

Отримати повний текст

Від СAD і BIM до цифрових двійників за авторством Petrenko, Anatolii

Отримати повний текст

Гібридна обчислювальна інтелектуальна система для оцінювання стабільності системи розподілу води та визначення оптимального розташування датчиків тиску... за авторством Zaychenko, Yuriy, Starovoit, Tetiana

Отримати повний текст

Elasticsearch for big geotemporal data за авторством Zhyrenkov, O.S., Doroshenko, A.Yu.

Отримати повний текст

Solving contest problems via formal program verification за авторством Shilov, N.V., Shilova, S.O.

Отримати повний текст

Formal verification of the properties of coreferent resolution model based on decision trees за авторством Pogorilyy, S.D., Slynko, M. S., Biletskyi, P.V.

Отримати повний текст

METHOD FOR CALCULATING THE DYNAMICS OF CHANGES IN THE AVERAGED TEMPERATURE AND CHARGE CARRIER CONCENTRATION IN ELEMENTS OF ENERGY DEVICES USING ELECTROLYTES за авторством Matiakh , S., Surzhyk , T., Tereshenko , A., Sheiko, I.

Отримати повний текст

Рractical implementation and simulation of adaptive control for super-critical cyber-physical systems за авторством Гуменний , Д. О.

Отримати повний текст

Методологія кількісної прогнозної оцінки ризиків від розвитку екзогенних геологічних процесів: селеві ризики... за авторством Чепурна, Т.Б., Касіянчук, Д.В., Кузьменко, Е.Д., Чепурний, І.В.

Отримати повний текст

Визначення рівня пропаганди в оперних лібрето за допомогою засобів data mining та machine learning за авторством Dats, Iryna, Gavrilenko, Olena, Feshchenko, Kyrylo

Отримати повний текст

DESIGN OF A MATLAB GUI FOR SHORT-TERM SOLAR FORECASTING BASED ON DEEP LEARNING за авторством Matushkin, D., Bosak, A.

Отримати повний текст

Системний підхід до планування об’єктів підземного будівництва за методологіями передбачення та когнітивного моделювання... за авторством Pankratova, Nataliya, Pankratov, Vladimir

Отримати повний текст