Improving IoT security with explainable AI: quantitative evaluation of explainability for IoT botnet detection
Semi-substructural logics à la Lambek with symmetry
Comparison of one- two- and three-dimensional CNN models for drawing-test-based diagnostics of the Parkinson’s disease
Machine learning-based analysis of human motions for Parkinson’s disease diagnostics
Semi-substructural logics à la Lambek
Zero-knowledge in Easycrypt
Preliminary results in using attention for increasing attack identification efficiency
Application of the LSTM models for Baltic Sea wave spectra estimation
A light-weight CNN model for efficient Parkinson’s disease diagnostics
Canonical gradings of monads
Bidirectional data-flow analyses compared to relational through Galois connections
Duality of lattices associated to left and right quotients
Completeness for categories of generalized automata
Specification and verification of a linear-time logic for graph transformation