Pubblicazioni

Durier, A; Hirschkoff, D; Sangiorgi, D, Eager functions as processes, «THEORETICAL COMPUTER SCIENCE», 2022, 913, pp. 8 - 42 [Articolo in rivista] Open Access

Jaber G.; Sangiorgi D., Games, Mobile Processes, and Functions, in: 30th EACSL Annual Conference on Computer Science Logic (CSL 2022), Schloss Dagstuhl, Florin Manea and Alex Simpson, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2022, 216, pp. 1 - 18 (atti di: 30th EACSL Annual Conference on Computer Science Logic (CSL 2022), Gottingen, February 14-19, 2022) [Contributo in Atti di convegno] Open Access

Dardha O.; Giachino E.; Sangiorgi D., Session Types Revisited: A Decade Later, in: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming, New York, Association for Computing Machinery, 2022, pp. 1 - 4 (atti di: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, September 20 - 22, 2022) [Contributo in Atti di convegno] Open Access

Accattoli, B; Dal Lago, U; Vanoni, G, Multi Types and Reasonable Space, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2022, 6, pp. 799 - 825 [Articolo in rivista] Open Access

Molan M.; Borghesi A.; Benini L.; Bartolini A., Semi-supervised anomaly detection on a Tier-0 HPC system, in: CF '22: Proceedings of the 19th ACM International Conference on Computing Frontiers, 2022, pp. 203 - 204 (atti di: CF '22 19th ACM International Conference on Computing Frontiers, Turin, Italy, May 17 - 22, 2022) [Contributo in Atti di convegno]

Pisano G.; Calegari R.; Prakken H.; Sartor G., Arguing about the existence of conflicts, in: Computational Models of Argument, IOS Press, «FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS», 2022, 353, pp. 284 - 295 (atti di: Computational Models of Argument (COMMA), Cardiff, UK, Settembre 2022) [Contributo in Atti di convegno] Open Access

Robaldo L.; Batsakis S.; Calegari R.; Calimeri F.; Fujita M.; Governatori G.; Morelli M.C.; Pisano G.; Satoh K.; Tachmazidis I., Taking stock of available technologies for compliance checking on first-order knowledge, in: CEUR Workshop Proceedings, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2022, 3204, pp. 1 - 16 (atti di: 37th Italian Conference on Computational Logic, CILC 2022, ita, 2022) [Contributo in Atti di convegno]

Ciatto G.; Castiglio M.; Calegari R., Logic Programming library for Machine Learning: API design and prototype, in: CEUR Workshop Proceedings, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2022, 3204, pp. 104 - 118 (atti di: 37th Italian Conference on Computational Logic, CILC 2022, ita, 2022) [Contributo in Atti di convegno]

Franco A.; Magnani A.; Maltoni D.; Maio D.; Odorisio L.; De Maria A., Face Image Quality Assessment in Electronic ID Documents, «IEEE ACCESS», 2022, 10, pp. 77744 - 77758 [Articolo in rivista] Open Access

Silvia Crafa; Cosimo Laneve, Liquidity Analysis in Resource-Aware Programming, in: Silvia Lizeth Tapia Tarifa, Josè Proenca, Formal Aspects of Component Software, FACS 2022, «LECTURE NOTES IN COMPUTER SCIENCE», 2022, 13712, pp. 205 - 221 (atti di: 18th International Conference on Formal Aspects of Component Software, FACS 2022, Oslo (virtuale), 10-11/11/2022) [Contributo in Atti di convegno] Open Access

Graffieti, G; Borghi, G; Maltoni, D, Continual Learning in Real-Life Applications, «IEEE ROBOTICS AND AUTOMATION LETTERS», 2022, 7, pp. 6195 - 6202 [Articolo in rivista]

Loris Nanni; Alessandra Lumini; Andrea Loreggia; Alberto Formaggio; Daniela Cuza, An Empirical Study on Ensemble of Segmentation Approaches, «SIGNALS», 2022, 3, pp. 341 - 358 [Articolo in rivista] Open Access

Nanni L.; Lumini A.; Brahnam S., Neural networks for anatomical therapeutic chemical (ATC) classification, «APPLIED COMPUTING AND INFORMATICS», 2022, preprint, pp. 1 - 12 [Articolo in rivista] Open Access

Nanni L.; Paci M.; Brahnam S.; Lumini A., Feature transforms for image data augmentation, «NEURAL COMPUTING & APPLICATIONS», 2022, 34, pp. 22345 - 22356 [Articolo in rivista] Open Access

Nanni L.; Manfe A.; Maguolo G.; Lumini A.; Brahnam S., High performing ensemble of convolutional neural networks for insect pest image detection, «ECOLOGICAL INFORMATICS», 2022, 67, pp. 1 - 12 [Articolo in rivista] Open Access

Shi S.; Tse R.; Luo W.; D'Addona S.; Pau G., Machine learning-driven credit risk: a systemic review, «NEURAL COMPUTING & APPLICATIONS», 2022, 34, pp. 14327 - 14339 [Articolo in rivista] Open Access

Lin H.; Tse R.; Tang S.-K.; Qiang Z.-P.; Pau G., Few-shot learning approach with multi-scale feature fusion and attention for plant disease recognition, «FRONTIERS IN PLANT SCIENCE», 2022, 13, pp. 1 - 17 [Articolo in rivista] Open Access

Alessandra Lumini; Loris Nanni; Sheryl Brahnam, Pushing the Limits Against the No Free Lunch Theorem: Towards Building General-Purpose (GenP) Classification Systems, in: Advances in Selected Artificial Intelligence Areas: World Outstanding Women in Artificial Intelligence, Berlin, Springer, 2022, pp. 77 - 102 (LEARNING AND ANALYTICS IN INTELLIGENT SYSTEMS) [Capitolo/Saggio in libro]

Nanni, Loris; Lumini, Alessandra; Ghidoni, Stefano; Maguolo, Gianluca, Comparisons among different stochastic selections of activation layers for convolutional neural networks for health care, in: Cognitive and Soft Computing Techniques for the Analysis of Healthcare Data, Amsterdam, Elsevier, 2022, pp. 151 - 164 [Capitolo/Saggio in libro]

Nanni, Loris; Cuza, Daniela; Lumini, Alessandra; Brahnam, Sheryl, Data augmentation for deep ensembles in polyp segmentation, in: Computational Intelligence Based Solutions for Vision Systems, Bristol, IOPScience, 2022, pp. 1 - 22 [Capitolo/Saggio in libro]