Results for temporal description logic Showing 1 - 28 results of 28 Laminas_Feed_Writer 2 (https://getlaminas.org) https://harvester.nas.gov.ua/Search/Results?sort=last_indexed+desc&limit=50&lookfor=temporal+description+logic&type=AllFields&lng=en 28 0 50 Кургани біля с. Калинівка (за матеріалами Маріупольської археологічної експедиції) Fri, 07 Aug 2026 01:05:55 +0000 https://harvester.nas.gov.ua/Record/arheologia-com-ua-article-407 https://harvester.nas.gov.ua/Record/arheologia-com-ua-article-407 Zabavin , V. O. Article 2025 Zabavin , V. O. 0 Поховання померлих на нещодавно покинутих територіях поселення — свідчення облоги Ольвії Понтійської Зопіріоном? Fri, 07 Aug 2026 01:05:25 +0000 https://harvester.nas.gov.ua/Record/arheologia-com-ua-article-371 https://harvester.nas.gov.ua/Record/arheologia-com-ua-article-371 Fornasier, Jochen Article 2024 Fornasier, Jochen 0 Закавказзя та неолiт Схiдної Європи Fri, 07 Aug 2026 01:04:32 +0000 https://harvester.nas.gov.ua/Record/arheologia-com-ua-article-302 https://harvester.nas.gov.ua/Record/arheologia-com-ua-article-302 Manko, Valerii Article 2022 Manko, Valerii 0 DIGITAL TWINS IN BUILDING ENERGY MANAGEMENT FOR ELECTRICITY CONSUMPTION FORECASTING AND ENERGY EFFICIENCY IMPROVEMENT Sun, 19 Jul 2026 01:24:21 +0000 https://harvester.nas.gov.ua/Record/systemreorg-article-962 https://harvester.nas.gov.ua/Record/systemreorg-article-962 Shpak, Denys Article 2026 Shpak, Denys 0 METHOD FOR CALCULATING THE DYNAMICS OF CHANGES IN THE AVERAGED TEMPERATURE AND CHARGE CARRIER CONCENTRATION IN ELEMENTS OF ENERGY DEVICES USING ELECTROLYTES Sun, 19 Jul 2026 01:18:55 +0000 https://harvester.nas.gov.ua/Record/veorgua-article-629 https://harvester.nas.gov.ua/Record/veorgua-article-629 Matiakh , S. Article 2026 Matiakh , S. 0 RESEARCH ON THE EFFECTIVENESS OF THE PROPHET NEURAL NETWORK FOR DETERMINING WIND FLOW PARAMETERS Sun, 19 Jul 2026 01:17:59 +0000 https://harvester.nas.gov.ua/Record/veorgua-article-585 https://harvester.nas.gov.ua/Record/veorgua-article-585 Molyboh , О. Article 2025 Molyboh , О. 0 DESIGN OF A MATLAB GUI FOR SHORT-TERM SOLAR FORECASTING BASED ON DEEP LEARNING Sun, 19 Jul 2026 01:11:41 +0000 https://harvester.nas.gov.ua/Record/veorgua-article-408 https://harvester.nas.gov.ua/Record/veorgua-article-408 Matushkin, D. Article 2023 Matushkin, D. 0 Гібридна обчислювальна інтелектуальна система для оцінювання стабільності системи розподілу води та визначення оптимального розташування датчиків тиску Wed, 01 Jul 2026 01:00:18 +0000 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-365260 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-365260 Zaychenko, Yuriy Article 2026 Zaychenko, Yuriy 0 Insertion modeling in distributed system design Tue, 23 Jun 2026 01:00:45 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-1013 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-1013 Letichevsky, A.A. Article 2026 Letichevsky, A.A. 0 Рractical implementation and simulation of adaptive control for super-critical cyber-physical systems Thu, 18 Jun 2026 01:00:29 +0000 https://harvester.nas.gov.ua/Record/drspiprikievua-article-363156 https://harvester.nas.gov.ua/Record/drspiprikievua-article-363156 Гуменний , Д. О. Article 2026 Гуменний , Д. О. 0 Solving contest problems via formal program verification Tue, 02 Jun 2026 01:01:15 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-922 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-922 Shilov, N.V. Article 2026 Shilov, N.V. 0 Table interpretation of the temporal description logic LTLALC Sun, 07 Dec 2025 19:25:05 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-188645 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-188645 Reznichenko, V.A. Article 2022 Reznichenko, V.A. 0 Методологія кількісної прогнозної оцінки ризиків від розвитку екзогенних геологічних процесів: селеві ризики Sun, 07 Dec 2025 19:10:30 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-125768 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-125768 Чепурна, Т.Б. Article 2016 Чепурна, Т.Б. 0 Представлення, аналіз та видобування знань з неструктурованих природномовних текстів Sun, 07 Dec 2025 18:58:53 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-190710 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-190710 Гогерчак, Г.І. Article 2021 Гогерчак, Г.І. 0 Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення Sun, 07 Dec 2025 13:34:00 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-144473 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-144473 Шкільняк, О.С. Article 2017 Шкільняк, О.С. 0 Науковий підхід до формування 3D-Моделі опису інвестиційних проектів Sat, 29 Nov 2025 00:09:48 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-123522 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-123522 Стрєльніков, Р.М. Article 2017 Стрєльніков, Р.М. 0 Когнітивна AI-платформа для автономної навігації розподілених багатоагентних систем Sun, 09 Nov 2025 02:11:02 +0000 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-342981 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-342981 Zgurovsky, Michael Article 2025 Zgurovsky, Michael 0 Від СAD і BIM до цифрових двійників Wed, 17 Sep 2025 09:26:03 +0000 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-335804 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-335804 Petrenko, Anatolii Article 2025 Petrenko, Anatolii 0 Визначення рівня пропаганди в оперних лібрето за допомогою засобів data mining та machine learning Wed, 17 Sep 2025 09:26:03 +0000 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-335973 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-335973 Dats, Iryna Article 2025 Dats, Iryna 0 Elasticsearch for big geotemporal data Wed, 17 Sep 2025 09:20:55 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-764 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-764 Zhyrenkov, O.S. Article 2025 Zhyrenkov, O.S. 0 Гібридна модель штучного інтелекту інтегрована в ГІС для прогнозування аварій на мережах водопостачання Thu, 17 Jul 2025 10:28:11 +0000 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-280665 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-280665 Zaychenko, Yuriy Article 2024 Zaychenko, Yuriy 0 Методологічні аспекти інтелектуалізації систем оперативного керування динамічними об'єктами Thu, 17 Jul 2025 10:28:05 +0000 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-275020 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-275020 Melnykov, Serhii Article 2022 Melnykov, Serhii 0 Системний підхід до планування об’єктів підземного будівництва за методологіями передбачення та когнітивного моделювання Thu, 17 Jul 2025 10:27:50 +0000 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-258994 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-258994 Pankratova, Nataliya Article 2022 Pankratova, Nataliya 0 На шляху до вирішення проблеми "Semantic Web – Data Base" Thu, 17 Jul 2025 10:26:05 +0000 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-175555 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-175555 Kislenko, Y. I. Article 2019 Kislenko, Y. I. 0 Глобальний аналіз сталого розвитку в контексті якості і безпеки життя людей Thu, 17 Jul 2025 10:22:41 +0000 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-108446 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-108446 Zgurovsky, M. Z. Article 2009 Zgurovsky, M. Z. 0 Software engineering ontologies categorization Thu, 17 Jul 2025 10:04:55 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-238 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-238 Sydorov, N.A. Article 2018 Sydorov, N.A. 0 Formal verification of the properties of coreferent resolution model based on decision trees Thu, 17 Jul 2025 09:42:19 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-652 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-652 Pogorilyy, S.D. Article 2024 Pogorilyy, S.D. 0 60 Years of Databases (final part) Thu, 17 Jul 2025 09:41:37 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-560 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-560 Reznichenko, V.A. Article 2023 Reznichenko, V.A. 0