Search Results - temporal description logic

Suggested Topics within your search.
Refine Results
  1. 1
    Cover Image

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

    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Cover Image

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

    Published in PROBLEMS IN PROGRAMMING (2023)

    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    Cover Image

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

    Get full text
    Article

    Save to List
    Saved in:
  4. 4
    Cover Image

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

    Get full text
    Article

    Save to List
    Saved in:
  5. 5
    Cover Image

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

    Published in PROBLEMS IN PROGRAMMING (2026)
    Get full text
    Article

    Save to List
    Saved in:
  6. 6
    Cover Image

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

    Published in PROBLEMS IN PROGRAMMING (2018)

    Get full text
    Article

    Save to List
    Saved in:
  7. 7
    Cover Image

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

    Published 2026

    Get full text
    Article

    Save to List
    Saved in:
  8. 8
    Cover Image

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

    Published 2024

    Get full text
    Article

    Save to List
    Saved in:
  9. 9
    Cover Image

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

    Published 2022

    Get full text
    Article

    Save to List
    Saved in:
  10. 10
    Cover Image

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

    Published 2025

    Get full text
    Article

    Save to List
    Saved in:
  11. 11
    Cover Image

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

    Published 2026

    Get full text
    Article

    Save to List
    Saved in:
  12. 12
    Cover Image

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

    Published in PROBLEMS IN PROGRAMMING (2025)

    Get full text
    Article

    Save to List
    Saved in:
  13. 13
    Cover Image

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

    Published in PROBLEMS IN PROGRAMMING (2026)
    Get full text
    Article

    Save to List
    Saved in:
  14. 14
    Cover Image

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

    Published in PROBLEMS IN PROGRAMMING (2024)

    Get full text
    Article

    Save to List
    Saved in:
  15. 15
    Cover Image

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

    Published 2026

    Get full text
    Article

    Save to List
    Saved in:
  16. 16
    Cover Image

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

    Published 2026

    Get full text
    Article

    Save to List
    Saved in:
  17. 17
    Cover Image

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

    Published in Геоінформатика (2016)
    Get full text
    Article

    Save to List
    Saved in:
  18. 18
    Cover Image

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

    Published 2025

    Get full text
    Article

    Save to List
    Saved in:
  19. 19
    Cover Image

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

    Published 2023

    Get full text
    Article

    Save to List
    Saved in:
  20. 20
    Cover Image

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

    Published 2022

    Get full text
    Article

    Save to List
    Saved in:

Search Tools: