Pinned Repositories
Beppolt.github.io
Implementation of UniRoom, a web application/Telegram bot which provides information about UniTN schedules and free rooms.
Computer-Graphics-Assignment4
Fourth assignment of Master Course "Computer Graphics" at Aalto University. Implementation of physical forces and physical properties into a system (such as springs, cloths, wind etc.)
Computer-Graphics-Assignment5
Fifth assignment of Master Course "Computer Graphics" at Aalto University. Implementation of Ray Tracing and anti-aliasing algorithms.
FormalMethods-2021
FormalMethods-2022
Obsolete
FormalMethods2023
GitHub repository for lab lectures of the Formal Methods course (University of Trento)
FormalMethods2024
GitHub repository for lab lectures of the Formal Methods course (University of Trento)
MultiMethod-Tampering-Localization
Implementation of a Matlab Algorithm to detect tampered area in images using various approaches.
tabularAllSAT
trentoWeb2017-Ecommerce
Implementation of Web programming project, consisting in creating a simple e-commerce website with geolocalization, reviews and feedback system.
giuspek's Repositories
giuspek/FormalMethods-2022
Obsolete
giuspek/tabularAllSAT
giuspek/FormalMethods-2021
giuspek/FormalMethods2023
GitHub repository for lab lectures of the Formal Methods course (University of Trento)
giuspek/tabularAllSMT
Disjoint SMT enumeration without introducing blocking clauses
giuspek/trentoWeb2017-Ecommerce
Implementation of Web programming project, consisting in creating a simple e-commerce website with geolocalization, reviews and feedback system.
giuspek/Beppolt.github.io
Implementation of UniRoom, a web application/Telegram bot which provides information about UniTN schedules and free rooms.
giuspek/FormalMethods2024
GitHub repository for lab lectures of the Formal Methods course (University of Trento)
giuspek/MultiMethod-Tampering-Localization
Implementation of a Matlab Algorithm to detect tampered area in images using various approaches.
giuspek/Computer-Graphics-Assignment4
Fourth assignment of Master Course "Computer Graphics" at Aalto University. Implementation of physical forces and physical properties into a system (such as springs, cloths, wind etc.)
giuspek/Computer-Graphics-Assignment5
Fifth assignment of Master Course "Computer Graphics" at Aalto University. Implementation of Ray Tracing and anti-aliasing algorithms.
giuspek/ComputerGraphics-Assignment2
giuspek/ComputerGraphics-Assignment3
giuspek/ComputerGraphicsAssignment1
First Assignment of Master course "Computer Graphic" at Aalto University. Parsing of graphics file and implementation of transformations as matrices.
giuspek/DataMining2018-Allergies
Repository containing all the codes, data and results of our project of the Master course of Biological Data Mining
giuspek/formula2SMTLIB
Python tool to convert a string containing a formula into an SMT-LIB file.
giuspek/giuspek.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
giuspek/incal
Learn SMT(LRA) constraints from data
giuspek/MasterThesis
giuspek/SVD-DWT-Watermark-Embedding
Implementation of Matlab algorithm to cleverly embed a watermark using Single Value Decomposition and Discret Wavelet Transform.
giuspek/trentose2jan12-spaceStation
Implementation of exam exercise of Software Engineering 2 about Javascript, Git, API construction and URL management.