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
Additive cellular automata graded-monadically
Deep learning based segmentation of Luria’s alternating series test to support diagnostics of Parkinson’s disease
Improving transparency and explainability of deep learning based IoT botnet detection using explainable artificial intelligence (XAI)
Bicategories of automata, automata in bicategories
Constructive final semantics of finite bags
Consequences of the modal unification of the functional calling paradigms
Transforming fatigue assessment: Smartphone-based system with digitized motor skill tests
SSProve: a foundational framework for modular cryptographic proofs in Coq