Iterative optimization of hyperparameter-based metamorphic transformations
Metamorphic testing for verification and fault localization in industrial control systems
EARLY – a tool for real-time security attack detection
Systematic literature review of threat modeling and risk assessment in ship cybersecurity
Semi-substructural logics with additives
A unifying categorical view on nondeterministic iteration and tests
Concurrent monads for shared state
Enhancing IoT Botnet attack detection in SOCs with an explainable active learning framework
Adaptation of transformer model for numeric case
Explainable transformer-based intrusion detection in Internet of Medical Things (IoMT) networks
Comparing quotient- and symmetric containers
LSTM-CNN: An efficient diagnostic network for Parkinson’s disease utilizing dynamic handwriting analysis
Wave density spectra estimation with LSTM from Sentinel-1 SAR in the Baltic Sea
Enhancing cerebral palsy gait analysis with 3D computer vision: a dual-camera approach