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

less than 1 minute read

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

less than 1 minute read

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

less than 1 minute read

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

less than 1 minute read

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

less than 1 minute read

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

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>

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.