publication venue for
- Random Forest and K-Means Clustering Algorithms to Classify of 18F-Florbetapir Brain PET 2024
- Non-Binary Approaches for Classification of Amyloid Brain PET 2019
- Algebras and Algorithms 2015
- CTL model-checking over logics with non-classical negations 2003
- Structures with many-valued information and their relational proof theory 2000
- Finite algebraic models for residuated logic 1995