Результати пошуку
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- 004.89
- 1
- 004.421 1
- 004.492 1
- UDC 004.056 1
- UDC 004.415.52 1
- UDC 004.85 1
- UDC 658.26 1
- automated document generation 1
- constraints satisfaction 1
- electricity markets 1
- forecasting 1
- formal verification 1
- information security systems 1
- intelli gent systems 1
- intrusion detection systems 1
- knowledge formalization 1
- large language models 1
- machine learning 1
- network traffic analysis 1
- neural networks 1
- ontological modeling 1
- regression 1
- regulatory framework 1
- satisfiability modulo theories 1
- security profile 1
- semantic analysis 1
- technical information protection 1
- УДК 004.056 1
- УДК 004.415.52 1
-
1
Forecasting electrical energy consumption for 24 hours ahead at country scale
Опубліковано в PROBLEMS IN PROGRAMMING (2024)
Отримати повний текст
Стаття -
2
Formal verification of deep neural networks
Опубліковано в PROBLEMS IN PROGRAMMING (2024)
Отримати повний текст
Стаття -
3
-
4
Technology for optimized transmission of visuals via Internet
Опубліковано в PROBLEMS IN PROGRAMMING (2026)Отримати повний текст
Стаття