giuspek's repositories
FormalMethods-2022
Obsolete
FormalMethods2023
GitHub repository for lab lectures of the Formal Methods course (University of Trento)
trentoWeb2017-Ecommerce
Implementation of Web programming project, consisting in creating a simple e-commerce website with geolocalization, reviews and feedback system.
Beppolt.github.io
Implementation of UniRoom, a web application/Telegram bot which provides information about UniTN schedules and free rooms.
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.
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.
ComputerGraphicsAssignment1
First Assignment of Master course "Computer Graphic" at Aalto University. Parsing of graphics file and implementation of transformations as matrices.
DataMining2018-Allergies
Repository containing all the codes, data and results of our project of the Master course of Biological Data Mining
formula2SMTLIB
Python tool to convert a string containing a formula into an SMT-LIB file.
giuspek.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
incal
Learn SMT(LRA) constraints from data
SVD-DWT-Watermark-Embedding
Implementation of Matlab algorithm to cleverly embed a watermark using Single Value Decomposition and Discret Wavelet Transform.
trentose2jan12-spaceStation
Implementation of exam exercise of Software Engineering 2 about Javascript, Git, API construction and URL management.