Table interpretation of the temporal description logic LTLALC von Reznichenko, V.A., Chystiakova, I.S.

Volltext

60 Years of Databases (final part) von Reznichenko, V.A.

Volltext

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

Volltext

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

Volltext

Insertion modeling in distributed system design von Letichevsky, A.A., Kapitonova, J.V., Kotlyarov, V.P., Letichevsky Jr., A.A., Nikitchenko, N.S., Volkov, V.A., Weigert, T.

Volltext

Software engineering ontologies categorization von Sydorov, N.A., Sydorova, N.N., Mendzebrovsky, I.B.

Volltext

DIGITAL TWINS IN BUILDING ENERGY MANAGEMENT FOR ELECTRICITY CONSUMPTION FORECASTING AND ENERGY EFFICIENCY IMPROVEMENT von Shpak, Denys

Volltext

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

Volltext

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

Volltext

Від СAD і BIM до цифрових двійників von Petrenko, Anatolii

Volltext

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

Volltext

Elasticsearch for big geotemporal data von Zhyrenkov, O.S., Doroshenko, A.Yu.

Volltext

Solving contest problems via formal program verification von Shilov, N.V., Shilova, S.O.

Volltext

Formal verification of the properties of coreferent resolution model based on decision trees von Pogorilyy, S.D., Slynko, M. S., Biletskyi, P.V.

Volltext

METHOD FOR CALCULATING THE DYNAMICS OF CHANGES IN THE AVERAGED TEMPERATURE AND CHARGE CARRIER CONCENTRATION IN ELEMENTS OF ENERGY DEVICES USING ELECTROLYTES von Matiakh , S., Surzhyk , T., Tereshenko , A., Sheiko, I.

Volltext

Рractical implementation and simulation of adaptive control for super-critical cyber-physical systems von Гуменний , Д. О.

Volltext

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

Volltext

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

Volltext

DESIGN OF A MATLAB GUI FOR SHORT-TERM SOLAR FORECASTING BASED ON DEEP LEARNING von Matushkin, D., Bosak, A.

Volltext

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

Volltext