Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml
and set future: false
.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2
publications
Fitting’s Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation
Published in 31st International Symposium on Temporal Representation and Reasoning (TIME 2024), Montpellier, France, 28-30 October 2024, 2024
Theory and implementation of a Fitting’s style tableau system for Many-Valued Interval Temporal Logic.
Recommended citation: Badia, Guillermo, Noguera, Carles, Paparella, Alberto, Sciavicco, Guido, and Stan, Eduard I. (2024). "Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation." 31st International Symposium on Temporal Representation and Reasoning (TIME 2024), Montpellier, France, 28-30 October 2024. 1(1).
Download Paper | Download Slides
Many-Expert Decision Trees
Published in 6th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2024), Bolzano, Italy, 28-29 November 2024, 2024
Taking inspiration from the literature fuzzy decision trees, and leveraging many-valued logics, we propose a novel, and more general variety of decision trees.
Recommended citation: Badia, Guillermo, Noguera, Carles, Paparella, Alberto, and Sciavicco, Guido. (2024). "Many-Expert Decision Trees." 6th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2024), Bolzano, Italy, 28-39 November 2024. 1(1).
Download Paper | Download Slides
Precipitation nowcasting with generative diffusion models
Published in Applied Intelligence, 2024
In our study, we focus on a specific subset of the ERA-5 dataset, which includes hourly data pertaining to Central Europe from the years 2016 to 2021. Within this context, we examine the efficacy of diffusion models in handling the task of precipitation nowcasting, with a lead time of 1 to 3 hours.
Recommended citation: Asperti, Andrea, Merizzi, Fabio, Paparella, Alberto, Pedrazzi, Giorgio, Angelinelli, Matteo, and Colamonaco, Stefano. (2024). "Precipitation nowcasting with generative diffusion models." Applied Intelligence. 55(1).
Download Paper
talks
Many-Expert Decision Trees
Published:
Taking inspiration from the literature fuzzy decision trees, and leveraging many-valued logics, we propose a novel, and more general variety of decision trees.
Download Download Slides
</p>Reasoning with many-valued interval temporal logic
Published:
More information here Check it on youtube
Download Download Slides
</p>teaching
Tutor Numerical Analysis and Laboratory
Tutor, University of Ferrara, Department of Mathematics and Computer Science, 2020
Introduction to the MATLAB programming language and support for the course exercises.
Tutor Computer Architecture and Laboratory
Tutor, University of Ferrara, Department of Mathematics and Computer Science, 2021
Introduction to the Assembly programming language for the MIPS architecture through the MARS simulator and support for the course excercises.
Tutor Computer Architecture and Laboratory
Tutor, University of Ferrara, Department of Mathematics and Computer Science, 2024
Introduction to the Assembly programming language for the MIPS architecture through the MARS simulator and support for the course excercises.
Tutor Computer Architecture and Laboratory
Tutor, University of Ferrara, Department of Mathematics and Computer Science, 2025
Introduction to the Assembly programming language for the MIPS architecture through the MARS simulator and support for the course excercises.
Tutor Discrete Mathematics
Tutor, University of Ferrara, Department of Mathematics and Computer Science, 2025
Support for the course excercises.