Repositories list

• Database-biblical-manuscripts

  Public
  Relational biblical manuscripts database project

  PLpgSQL

  •0•0•0•0•Updated Dec 19, 2024Dec 19, 2024

• teaching

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

  labteachingteaching-materials+ 1seminars

  PLpgSQL

  •15•8•0•0•Updated Oct 16, 2024Oct 16, 2024

• 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+ 5artificial-intelligenceformal-methodsfailure-detectionruntime-verificationijcai2024

  Python

  •0•2•0•0•Updated Aug 3, 2024Aug 3, 2024

• Database-indoor

  Public
  Relational indoor positioning database project

  indoor-positioningindoor-localizationdatabase

  Jupyter Notebook

  •0•2•0•0•Updated Jul 9, 2024Jul 9, 2024

• website_materials

  Public
  0•0•0•0•Updated Jul 26, 2023Jul 26, 2023

• OSAS

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

  strokeapneasleep-disorders+ 3artificial-intelligence-applicationhealtcaredeep-learning

  Jupyter Notebook

  •3•16•1•0•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

  Jupyter Notebook

  •0•0•0•0•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-seriessequential-data+ 1decision-tree

  1•1•0•0•Updated Apr 13, 2022Apr 13, 2022

• Virtual-sensing

  Public
  Jupyter Notebook

  •1•0•0•0•Updated Mar 23, 2022Mar 23, 2022