Результати пошуку - Letychevskyi, O.O.
- Показ 1 - 8 результатів із 8
-
1
Neuro-symbolic approach for the biological systems and processes research за авторством Letychevskyi, O.O., Tarasich, Yu.H.
Опубліковано 2024Отримати повний текст
Стаття -
2
Digital twins in intrusion detection systems based on deep learning за авторством Letychevskyi, O.O., Yevdokymov, S.O.
Опубліковано 2025Отримати повний текст
Стаття -
3
Algebraic approach to the analysis of legal documents за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu.
Опубліковано в: Проблеми програмування (2022)Отримати повний текст
Стаття -
4
Algebraic approach to the analysis of legal documents за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M. Yu.
Опубліковано 2023Отримати повний текст
Стаття -
5
Algebraic modeling in international and local service logistical systems за авторством Letychevskyi, O.O., Gorbatuk, S.O., Gorbatuk, V.A.
Опубліковано 2021Отримати повний текст
Стаття -
6
Formal semantics and analysis of tokenomics properties за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.
Опубліковано в: Проблеми програмування (2022)Отримати повний текст
Стаття -
7
Formal semantics and analysis of tokenomics properties за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.
Опубліковано 2023Отримати повний текст
Стаття -
8
Constraint programming in insertion modeling system за авторством Letichevsky, O.A., Letychevskyi, O.O., Peschanenko, V.S., Blynov, I.O., Klionov, D.M.
Опубліковано 2025Отримати повний текст
Стаття
Інструменти для пошуку:
Пов'язані теми
UDC 519.85
behavior algebra
УДК 519.85
insertion modeling
Формальні методи програмування
алгебра поведінки
алгебраїчне моделювання
нейро-символьний підхід
інсерційне моделювання
UDC 004.05
UDC 004.056
UDC 004.41,004.51
algebraic matching
algebraic modeling
algebraic modelling
decentralization
deep learning
digital twins
formal methods
formal verification
formalization
incompleteness
legal text mining
modeldriven development
molecular modelling
neural network
neural networks
neuro-symbolic approach
neurosymbolic approach