compsci

Documentation, resources, projects and lecture notes on the courses I attended at Università degli Studi di Milano Bicocca for my Bachelor's and Master's degrees in Computer Science.

You're welcome to report errors, improvements or feedbacks as Issues, or directly propose modifications with a Pull Request.

Table of contents

• General resources
• Master's
  • Data Analytics
  • Complex Systems
  • Cloud Computing
  • Design Lab
  • Theory of Computation
  • Concurrent Models
  • Data Technology and Machine Learning
  • Informatics for industrial applications (Digital systems)
  • Probabilistic Models for decision making
  • Methods of Scientific Computing
• Bachelor's
  • Internship/Thesis
  • Operations Research
  • Information Security
  • Databases
  • Bioinformatics
  • Operative Systems
  • Programming Paradigms
  • Embedded Systems
• Building

General resources

More courses notes:

• C. Baldi (Bachelor's)

Some theses I appreciated and used as examples for the graduating students I advised:

• M. Rota - Rilevamento di elementi testuali in immagini digitali - Fully convutional networks. Advisors: R. Schettini, M.Buzzelli.
• L. Soligo - Generazione di reti Bayesiane a partire da ontologie - Advisors: F. Stella, G. Sottocornola.
• R. Pozzi - Aggiornamento e ripristino delle funzionalità in sistemi Linux Embedded - Advisors: L. Mariani, A. Vivace.

Master's

2018-2020

Data Analytics

Course Project

• Amazon Reviews Analytics - Final course project. Data exploration, Analytics, Sentiment Analysis, Topic Analysis (LDA) and a web demo exposing the ML trained models.

Theory

• Notes, definitions and solved questions
• Unbalaced data: Survey of resampling techniques for improving classification performance in unbalanced datasets
• Community Detection approaches: Web Structure Mining: Community Detection and Evaluation
• Spectral Clustering:
  • On Spectral Clustering: ANalysis and an algorithm - Ng, Jordan, WWeiss
  • Spectral clustering - The intuition and math behind how it works!
  • Spectral Clustering: A quick overview
  • (Video) Spectral Clustering
  • (Video) Spectral Clustering Algorithm

Complex Systems

• Physarum - Final course project. Physarum polycephalum slime mould computing simulations

Cloud Computing

• Cloud Computing and Distributed Systems - Afternotes by Antonio E. Cinà from the course at University Ca' Foscari of Venice, master in Computer Science - Data Management and Analytics.

Design Lab

• Smart Home Automation - Final course project. A Rasberry Pi integrated domotic solution with MQTT supporting sensors, actuators and thermostat. Controllable from a fancy VueJS web application, smart speakers or a basic SMS interface. Documentation (Software Requirements Specification, Software Architecture, Testing, Deploy and Implementation) and a software implementation in Connexion (OpenAPI 3) and VueJS.

Theory of Computation

• Notes

Concurrent Models

• Hoare triples / axiomatic semantics solved Exercises
• Paolo Mancarella (Università degli studi di Pisa) - Note di semantica assiomatica
• Luca Aceto - Reactive Systems: Modelling, Specification and Verification
• Linear Temporal Logic examples

Data Technology and Machine Learning

• Basket Shots - Final course project. Predicting Basket Shots outcomes using Suppor Vector Machines (documentation).
• Notes: Introduction to non-centralized DBMSs, Data Quality dimensions.

Informatics for industrial applications (Digital systems)

• VHDLtrafficlights - Final course project. Implement a semaphore with a Xilinx FPGA.

Probabilistic Models for decision making

• kalman2d - Final course project. Interactive 2D simulation of the Kalman Filter (LQE) in use to reduce (statistical) input noise.

Methods of Scientific Computing

Final course projects:

• MSC1-SparseMatrix - Comparing open source and propetary solvers for sparse matrices.
• MSC2-DCT - Comparing naïve and scipy implementations of Discrete Cosine Transform 2 (and its inverse) and exposing the scipy implementation on a web appplication allowing to apply it on user provided images (BMP format).

Bachelor's

2014-2017

Internship/Thesis

• DNA Recombination. Approaching a Computational Biology problem with integer linear programming tools.

Operations Research

• Soluzioni domande esami scritti

Information Security

• Applicazioni
• Crittografia
• Sistemi Operativi
• Reti

Databases

• Relational algebra exercises
• Logic programming
• Relational algebra
• SQL

Bioinformatics

• Theory: Pattern Matching, Suffix Trees and Alignment
• Final project: scripts, final PR. Add a method to compare sequence graphs to the RGFA library (Ruby).

Operative Systems

• Process Synchronization, deadlocks

Programming Paradigms

• Theory: Functional Programming and Lisp
• Final project. Two libraries (Prolog and Common Lisp) to manipulate multivariate polynomials. Available predicates allows parsing, sorting, operations(sum, product), evaluating and printing polynomials.

Embedded Systems

• Theory

• Final Project. Implement in C, on a Silicon Labs C8051F020 board (and an additional board driven via SMBus):

  • continuos detection of the inclination and the temperature,
  • continuos display of the value on the LCD display,
  • LCD controls (turn on, off, backlight intensity) with an hardware button.

  Using interrupts and PWM techniques.

Building

Markdown files are compiled to PDF using pandoc.

pandoc $file_base_name.md -o $file_base_name.pdf template.tex

The LaTeX template used is hosted here.