Ontology merging using the weak unification of concepts
An efficient neural network for the diagnosis of Parkinson’s disease using dynamic handwriting analysis
Term search in Rust
Securing verified IO programs against unverified code in F*
Hybrid cybersecurity research and education environment for maritime sector
Yet another canonical nondeterministic automaton
Explainable federated learning for botnet detection in IoT networks
Semi-substructural logics à la Lambek
Cyclic duality for slice and orbit 2-categories
Improving IoT security with explainable AI: quantitative evaluation of explainability for IoT botnet detection
Zero-knowledge in Easycrypt
Comparison of one- two- and three-dimensional CNN models for drawing-test-based diagnostics of the Parkinson’s disease
Application of the LSTM models for Baltic Sea wave spectra estimation
Preliminary results in using attention for increasing attack identification efficiency