Repositories list

• NL-FOL-LT

  Public
  Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy

  Jupyter Notebook

  •00 forks•22 stars•00 issues•00 pull requests•Updated Apr 1, 2026Apr 1, 2026

• gineco-db

  Public
  Material accompanying the publication “Unified Peripartum Database with Natural-Language-to-SQL Capabilities at Udine University Hospital: Design and Prototype.…

  00 forks•00 stars•00 issues•00 pull requests•Updated Oct 7, 2025Oct 7, 2025

• Database-biblical-manuscripts

  Public
  Relational biblical manuscripts database project

  PLpgSQL

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 7, 2025Oct 7, 2025

• teaching

  Public
  Curated repository for all the teaching materials (courses, seminars, etc.) provided by the lab and its members.

  labteachingteaching-materials+ 1

  labteachingteaching-materialsseminars

  PLpgSQL

  •1515 forks•88 stars•00 issues•00 pull requests•Updated May 25, 2025May 25, 2025

• ppSTL-IJCAI2024

  Public
  Repository containing Appendix and Code for the paper "Learning what to Monitor: using Machine Learning to Improve Past STL Monitoring" published at IJCAI 2024.

  machine-learningmonitoringstl+ 5

  machine-learningmonitoringstlartificial-intelligenceformal-methodsfailure-detectionruntime-verificationijcai2024

  Python

  •00 forks•22 stars•00 issues•00 pull requests•Updated Aug 3, 2024Aug 3, 2024

• Database-indoor

  Public
  Relational indoor positioning database project

  databaseindoor-positioningindoor-localization

  databaseindoor-positioningindoor-localization

  Jupyter Notebook

  •00 forks•22 stars•00 issues•00 pull requests•Updated Jul 9, 2024Jul 9, 2024

• website_materials

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Jul 26, 2023Jul 26, 2023

• OSAS

  Public
  Source code for the deep learning models employed in OSAS study

  deep-learningstrokeapnea+ 3

  deep-learningstrokeapneasleep-disordersartificial-intelligence-applicationhealtcare

  Jupyter Notebook

  •33 forks•1818 stars•22 issues•00 pull requests•Updated Feb 9, 2023Feb 9, 2023

• genetic-meta-distance-indoor

  Public
  A genetic programming approach to WiFi fingerprint meta-distance learning

  genetic-programmingindoor-positioningdistance-learning

  genetic-programmingindoor-positioningdistance-learning

  Jupyter Notebook

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 25, 2022Sep 25, 2022

• J48SS

  Public
  J48SS decision tree classifier, handling categorical, numerical, time series and sequential data in a seamless way.

  machine-learningtime-seriesdecision-tree+ 1

  machine-learningtime-seriesdecision-treesequential-data

  22 forks•22 stars•00 issues•00 pull requests•Updated Apr 13, 2022Apr 13, 2022

• Virtual-sensing

  Public
  Jupyter Notebook

  •11 fork•00 stars•00 issues•00 pull requests•Updated Mar 23, 2022Mar 23, 2022