Popular repositories Loading

1. My_Formal_Verification_of_V2X_Protocol My_Formal_Verification_of_V2X_Protocol Public

   This work delves into the privacy of vehicles and their drivers. Starting from a formal model of a proposed scheme aimed at safeguarding privacy in V2X communication, it has been extended and subje…

   1

2. Tracking_football_players Tracking_football_players Public

   Forked from abdullahtarek/football_analysis

   This repository contains a comprehensive computer vision/machine learning football project that uses YOLO for object detection, Kmeans for pixel segmentation, optical flow for motion tracking, and …

   Jupyter Notebook 1

3. Rust-materials Rust-materials Public

   Rust projects about "System and device programming"

   Makefile

4. Project-for-multi-user-booking-platform Project-for-multi-user-booking-platform Public

   Project realized for the Web Application Course. The topic is make a multi-user booking platform managing the free and available sits for each flight.

   JavaScript

5. Big_Data Big_Data Public

   Labs of "Big Data: architectures and data analytics" course using MapReduce and Spark

   Java

6. EXT-TAURUM-P2T-Sviluppo-di-un-architettura-CAN-sicura-in-ambiente-OSEK-automotive EXT-TAURUM-P2T-Sviluppo-di-un-architettura-CAN-sicura-in-ambiente-OSEK-automotive Public

   Three-year Bachelor's Degree Internship in Computer Engineering at DAUIN (Dipartimento di Automatica e Informatica) Politecnico di Torino

   C