drw0if / Materials

🎓Collection of useful repositories

Master Degree in Computer Science @ Unipi

Collection of useful repositories divided per exam.

See also oral questions in the Exams repository.

Template Thesis Cover - AlessandroBerti

[ADB] ADVANCED DATABASES

• Notes 2018-19 - lucacorbucci - in italian 🇮🇹
• Formulary - GaspareG - Physical operators cost and result size

[AP] ADVANCED PROGRAMMING

• Community Notes - feel free to integrate your notes and keep the repo updated
• Exercises 2018-19 - giacomodeliberali - Lab and assignments
• Exercises 2018-19 - LorenzoBellomo - Exercises and assignments
• Exercises 2018-19 - andybbruno - Exercises and assignments: Java, Haskell and Python code
• Exercises 2018-19 - lapotolo - Exercises and assigments
• Exercises 2019-20 - GaspareG - Assigments
• Excercises 2020-21 - piazzesiNiccolo - Excercises and assignments
• Excercises 2020-21 - vincenzopalazzo - Assigments and Haskell Excercises

[ASE] ADVANCED SOFTWARE ENGINEERING

• Community Notes - feel free to integrate your notes and keep the repo updated
• BeepBeep - yellow-team - Project 2018-19
• GoOutSafe - Squad002 - Project 2020-21
• GoOutSafe - grey-team - Project 2020-21
• Notes and answers - notes that i took during the course + answers to the questions given to continous learners
• MMIAB-PRIMER - A.Y 2021/22 first team assignment
• mmiab-main - A.Y 2021/22 second team assignment

[AD] ALGORITHM DESIGN

• The Power of Two Choices - guanaco96 - Final report 2018-19
• An FPT Algorithm for Approximated Threewidth - laurab1 - Final report 2018-19

[AE] ALGORITHM ENGINEERING

• Notes 2022-23 - drw0if - Notes in English
• Notes 2021-22 - fexed - Notes in English
• Notes 2018-19 - lucacorbucci - in italian 🇮🇹
• Exercises - flandolfi - A collection of exercises (with solutions) from past exams from 2010 to 2018
• Algorithm implementation - GaspareG - Implementation in C++ of some the algorithms seen in the course

ALGORITHMIC GAME THEORY

• Be the first to contribute, open a pull request with your material!

[AIF] ARTIFICIAL INTELLIGENCE FUNDAMENTALS

Notes:

• AIMA notebooks - All the algorithms from the AIMA book
• Notes 2021-22 - fexed - Notes in English
• Constraint Satisfaction Problems: Heuristics for Arc-Consistency Algorithms - Donato Meoli
• Propositional Logic: Improving Boolean Satisfiability Algorithms - Donato Meoli
• Planning: Classical Planning Approaches - Donato Meoli
• Probabilistic Reasoning over Time: Viterbi Algorithm - Donato Meoli

Projects:

• PokeBot, a Pokémon battle bot - Niko Dalla Noce, Giuseppe Lombardi, Alessandro Ristori - Project 2022-23
• Constraint Satisfaction Problems: _Solver for Kakuro - MarioBonse

[BIO] BIOINFORMATICS

• TwoPaCo - GaspareG - Slides of exam seminar (subject: TwoPaCo, an efficient algorithm for compacted de Bruijn graph construction)

[BPM] BUSINESS PROCESS MODELING

• Be the first to contribute, open a pull request with your material!

[CPC] COMPETITIVE PROGRAMMING AND CONTESTS

• Exercises 2018-19 - GaspareG - Solutions of all the homeworks and some exams

• Exercises 2018-19 - lorenzo2beretta - Homeworks solutions

• Exercises 2017-18 - lapotolo - Homeworks solutions

• Exercises 2020-21 - vincenzopalazzo - Homeworks solutions

• Report 2020-21 - vincenzopalazzo - Report on Segment Tree

• Excercises 2020-21 - piazzesiNiccolo - Homework solutions

• Report on Union Find- piazzesiNiccolo - my report on Union-Find data structures

[CHL] COMPUTATIONAL HEALTH LABORATORY

• Pathway analysis and merging - Niko Dalla Noce, Alessandro Ristori, Andrea Zuppolini - Project 2021-22

[CM] COMPUTATIONAL MATHEMATICS FOR LEARNING AND DATA ANALYSIS

Notes:

• Notes 2021-22 - fexed - Notes in English
• Appunti ottimizzazione - Federica Di Pasquale

Projects:

• Project 2021-22 - Niko Dalla Noce, Alessandro Ristori and Simone Rizzo:
  • Solving linear least squares with L-BFGS, thin QR, conjugate gradient and standard momentum descent
• Project 2021-22 - matteodefra:
  • Solution of quadratic optimization problem using dual and subgradient methods
• Project 2020-21 (n° 3 ML) - Alex Pasquali and Davide Montagno B.:
  • Implementation of SGD, a standard momentum approach (Heavy Ball) and an accelerated gradient method (Nesterov Momentum) on a NN with L1 regularization. Implementation of a direct linear least squares solver (SVD decomposition)
• Project 2019-20 - FraCorti and GiovanniSorice:
  • Neuradillo2.0 - Gradient Descent, L-BFGS, Bundle Methods
• Project 2018-19 (n°14 No-ML) (with report and lecturers' feedback) - Lucio Messina and Ivan Carosi:
  • Compute efficiently the QR factorization of a matrix (A|X) given the QR factorization of A
• Project 2018-19 - germz01:
  • Neural Network's implementation using either the Stochastic Gradient Descent or the Conjugate Gradient Descent as optimization algorithm
• Project 2018-19 - MarioBonse:
  • 2-norm matrix calculus as an uncostrained optimization problem with the "Conjugate Gradient" and "Steppeste Descent Direction" algorithms
• Project 2018-19 - guanaco96:
  • Quadratic Min-Cost Flow: a solver for quadratic separable min-cost flow problem relying on conjugate gradient algorithm
• Constrained & Unconstrained Optimizers with notebooks - Donato Meoli

[CMCS] COMPUTATIONAL MODELS FOR COMPLEX SYSTEMS

• Cellular automata for highway traffic control - Niko Dalla Noce, Alessandro Ristori - Project 2021-22
• SIRVSD model with different age groups and heterogeneous contacts - Paolo Murgia - Project 2020-21

[CNS] COMPUTATIONAL NEUROSCIENCE

• Assignments Lab 2022 - Alex Pasquali
• Assignments Lab 2022 - Giuseppe Lombardi
• Human activity recognition by ESN - Giuseppe Lombardi

[DM] DATA MINING

Notes:

• Notes 2020-2021 - Erica Cau, Federico Mazzoni - in Italian
• Notes 2019-20 - lucacorbucci

Projects for the course of Data Mining in the MSc of Computer Science

• Project 2021-22 (Tennis matches) - Niko Dalla Noce, Giuseppe Lombardi, Alessandro Ristori
• Project 2021-22 (Tennis matches) - Alex Colucci, Domenico Romano, Jacopo Bandoni
• Project 2020-21 (Customers analysis) - Diletta Goglia, Marco Petix
• Project 2020-21 (Customers analysis) - Antonio Strippoli, Valerio Mariani
• Project 2020-21 (Customers analysis) - Donato Meoli, Enrico D'Arco, Luigi Quarantiello
• Project 2020-21 (Customers analysis) - Alex Pasquali, Elia Piccoli, Nicola Gugole
• Project 2019-20 (Carvana Car Auctions) - andybbruno, LorenzoBellomo, martascalisi
• Project 2018-19 (Credit Card Default) - GaspareG
• Project 2018-19 (Credit Card Default) - lucacorbucci, AlessandroBerti

Projects for the course of Data Mining I in the MSc of Data Science & Business Informatics

• Project 2020-21 (IBM dataset) - Gaetano Antonicchio
• Project 2020-21 (IBM dataset) - Erica Cau, Alfonso Ferraro, Simona Mazzarino, Federico Mazzoni

Projects for the course of Data Mining II in the MSc of Data Science & Business Informatics

• Project 2021-22 (Audio signals processing) - Gaetano Antonicchio

[FOC] FOUNDATION OF COMPUTING

• Decomposition_Structures_for_SCEPs - laurab1 - Seminar for the final exam 2018-19
• Rewriting Logic - piazzesiNiccolo - 2021/22 seminar on rewriting logic.

[HLT] HUMAN LANGUAGE TECHNOLOGIES

Notes:

• Notes 2021-22 - fexed - Notes in English

Projects:

• Named entity recognition for medical records - Jacons - Project 2022-23
• Target-aspect-sentiment joint detection - Giuseppe Lombardi, Simone Rizzo - Project 2021-22
• Document classification - Elia Piccoli, Alex Pasquali, Nicola Gugole - Automatic document classification tool for the Italian Public Administration - Project 2020-21
• Implementing NMT Models - Niko Dalla Noce, Alessandro Ristori - Comparison beetween different NMT models - Project 2020-21
• Gendered Pronoun Resolution Gaspare Ferraro, Simone Spagnoli, Lucio Messina - an ensemble learning system to match pronouns with their references avoiding gender bias (kaggle competition).
• Hate Speech Detection - Giovanni Sorice, Francesco Corti - Evalita-2020 challenge, build an Hate Speech Detector that given a tweet is able to recognize, if it contains hateful content or not - Project 2019-20

[ICT-INFR] ICT INFRASTRUCTURES

• Community Notes - feel free to integrate your notes and keep the repo updated

[ICT-RA] ICT RISK ASSESSMENT

• LightNeuron beamer - hybrs - Seminar for the final exam 2018-19: Beamer presentation on TURLA LIGHTNEURON
• OpenSSH-Backdoors - GaspareG - Seminar for the final exam 2018-19: A landscape of OpenSSH backdoors
• GreyBox Fuzzing - LorenzoBellomo - Seminar 2018-19
• IMD Security - Paoletti Riccardo - 2021

[IR] INFORMATION RETRIEVAL

• Notes 2021-22 - robbespo00 - English
• Notes 2019-20 - rmassidda - in english 🇺🇸
• Notes 2019-20 - lucacorbucci - in italian 🇮🇹
• Exercises - flandolfi - A collection of exercises (with solutions) from past exams
• Notes 2020/2021 - vincenzopalazzo - A detailed summary of all the IR program.
• Graph DB Presentation - vincenzopalazzo - A presentation about Graph Databases.

[ISPR] INTELLIGENT SYSTEMS FOR PATTERN RECOGNITION

Notes and materials:

• Notes 2021-22 - G.D.Acciaro - Notes in English

• Notes 2021-22 - fexed - Notes in English

• Notes (2019-2020) - Davide Montagno B. - Not Reviewed.

• Tutorial / Demo - Alex Pasquali - Simple signal and image processing tutorial with Matlab

Projects:

• Project (january2021) - Giovanni Sorice - Final coding project n.6 - Compressive Transformer for music generation (Code, report and slides)
• Project (2019) - MarioBonse - Final project, Sketch RNN, variational autoencoder for sketch generation

Midterms:

Midterm 1:

• Midterm1 (March 2022) - Jacons - Edge-Detector
• Midterm1 (March 2022) - fexed - Image Segmentation
• Midterm1 (March 2021) - Alex Pasquali - Autoregressive models
• Midterm1 (March 2020) - Davide Montagno B. - Introduction to Convolution Operators and gradient properties
• Midterm1 (March 2020) - Diletta Goglia - Image processing with SIFT

Midterm 2:

• Midterm2 (April 2022) - Jacons - Restricted Boltzmann Machine in Py and C++(RBM)
• Midterm2 (April 2022) - fexed - Implementation of a Restricted Boltzmann Machine (RBM)
• Midterm2 (April 2021) - Alex Pasquali - Restricted Boltzmann Machine (RBM)
• Midterm2 (May 2020) - Davide Montagno B. - LDA for images
• Midterm2 (May 2020) - Diletta Goglia - HMMs for timeseries forecasting

Midterm 3:

• Midterm3 (May 2022) - fexed - Experiments with CharRNNs
• Midterm3 (May 2021) - Alex Pasquali - Autoencoders
• Midterm3 (June 2020) - Davide Montagno B. - Complete comparison between LSTM and GRU
• Midterm3 (June 2020) - Diletta Goglia - Gated RNN

Midterm 4:

• Midterm4 (May 2022) - Jacons - Automatic-Goal-Generation-for-RL
• Midterm4 (May 2022) - fexed - Paper Review: Multi-Modal Imitation Learning from Unstructured Demonstrations usign GANs (both submitted slides and a notebook with some notes not included in the presentation)
• Midterm4 (July 2021) - Alex Pasquali - Paper review: Continual Learning with Deep Generative Replay
• Midterm4 (August 2020) - Davide Montagno B. - Introduction to Creative Generative Adversarial Network (Facebook)
• Midterm4 (June 2020) - Diletta Goglia - CNN for video processing: a review

[IQC] INTRODUCTION TO QUANTUM COMPUTING

• Notes 2021-22 - fexed - Notes in English

[LIS] LABORATORY FOR INNOVATIVE SOFTWARE

• Be the first to contribute, open a pull request with your material!

LABORATORY ON ICT STARTUP BUILDING

• Be the first to contribute, open a pull request with your material!

[LCI] LANGUAGES, COMPILERS AND INTERPRETERS

• LCI18 - lapotolo - Project 2018-19: A little compiler for a little language
• Seminar 2020-21 - vincenzopalazzo - Seminar on Procedure Abstraction from an OOP point of view
• Parsing Expression Grammars - piazzesiNiccolo - My seminar for the final exam
• MicroC compiler - piazzesiNiccolo - Final project for the 2020/21 A.Y.

[LBT] LANGUAGE-BASED TECHNOLOGY FOR SECURITY

• LBT 21-22 - piazzesiNiccolo - Homeworks and excercise done for the 2021-22 LBT course

[ML] MACHINE LEARNING

• Notes 2021-22 - fexed - Notes in English
• Project 2020-21 - Alex Pasquali and Gaetano Antonicchio (project type A + report)
• Project 2019-20 Paolo Labruna and Lucio Messina (standard project, type A + report with lecturer feedback).
• Notes 2019-20 - davidemontagnob - in english :en:
• Notes 2019-20 - wikilele - Summary done while preparing for the exam
• Project 2018-19 - MarioBonse
• Project 2018-19 - guanaco96
• Neural Networks & Support Vector Machines with notebooks - dmeoli
• Project 2019-20 - Neuradillo -GiovanniSorice and FraCorti - (standard project, type A + report).
• Project 2021-22 - jacons Neural Network from scratch

[MCPS] MOBILE AND CYBER-PHYSICAL SYSTEMS

• S.E.B. Smart Environment Bot - Niko Dalla Noce, Alessandro Ristori - Project 2020-21
• Smart Street Lights IoT - Alex Colucci, Domenico Romano - Project 2020-21
• eWee: user wellness and energy efficience - daquinoaldo, samuelesabella, dtortorella - Project 2018-19 (home automation)
• SmartCoffee: IoT + AI to remove queues - Andrea Bruno, Ruggiero Santo - Project 2018-19

[PDS/SPM] PARALLEL AND DISTRIBUTED SYSTEMS: PARADIGMS AND MODELS

• Utility: Docker container - Matteo Ronchetti - Docker container with GCC 8.3, GRPPI and rplsh that can be used to compile projects for the course

Notes:

• Notes 2019-20 - davidemontagnob - in italian 🇮🇹
• Notes - lucacorbucci, AlessandroBerti - in italian 🇮🇹

Assignments:

• Assignments 2020 - MarioBonse
• Assignments - lucacorbucci
• Assignments - AlessandroBerti
• Assignments + Autonomic Farm Pattern - giacomodeliberali - Assignments and project 2018-19
• Assignments + BSP - LorenzoBellomo - Assignments and project 2018-19
• Assignments 2022 - Giuseppe Lombardi

Projects:

• Video motion detect - Alex Pasquali - Project 2021-22
• TSP with Genetic Algorithms - FraCorti - Project 2020-21
• PRUDEnce - karjudev - Project 2020-21 - Free choice
• Parallel Boruvka - matteodefra - Parallel implementation of the Boruvka (or Sollin's) algorithm to find the minimum spanning tree of an undirected graph
• Autonomic Farm Pattern - lucacorbucci - Project 2018-19
• Autonomic Farm Pattern - AlessandroBerti - Project 2018-19
• ParallelPrefix - GaspareG - Project 2017-18
• aco tsp - Lucio Messina - Project 2017-18
• ImageWatermarking - magemma - Project 2017-18
• ImgWatermark - antonio-sisbarra - Project 2017-18
• MapReduce - galatea058 - Project 2017-18 (?)
• cpp-bps project - vincenzopalazzo - Project 2020/2021 related to frameworks developments with a curated C++ and cmake file.
• Video Motion Detect - jacons - Project 2021-22
• Video Motion Detect - Giuseppe Lombardi - Project 2021-22

[P2P] PEER TO PEER SYSTEMS AND BLOCKCHAINS

• Voting DApp - Alex Colucci - FinalTerm 2021-21
• SmartAuctions - lucacorbucci - Project 2018-19 (blockchain)
• Analysing Kademlia DHT - bongi23 - MidTerm 2018-19
• Kademlia DHT Simulator - MidTerm 2018-19
• Analysing the Kademlia DHT - lucacorbucci - MidTerm 2018-19
• All projects - LorenzoBellomo - MidTerm, FinalTerm and DAPP 2018-2019
• COBrA_Dapps - AlessandroBerti - Project 2017-18 (blockchain)
• COBrA - daquinoaldo - Project 2017-18 (blockchain)
• DynamicOverlayGenerator - antonio-sisbarra - Project 2017-18 (graph analysis)
• Chord - AlessandroBerti - MidTerm 2017-18
• ChordDHTSimulator - daquinoaldo - MidTerm 2017-18
• Kademlia DHT simulator - giacomodeliberali
• Smart Auctions: Dutch and Vickery auctions on Ethereum - giacomodeliberali
• SpyGoIpfs - vincenzopalazzo - First MidTerm 2020/2021
• Votes Platform - vincenzopalazzo - Final MidTerm 2020/2021

[PSC] PRINCIPLES FOR SOFTWARE COMPOSITION

• derivationtree project - vincenzopalazzo IMP derivation tree project.
• Q&A for Oral Exam - gabryon99 Cheat-sheet containing answers for the oral exam questions.

ROBOTICS

• Mind map - Diletta Goglia - Map of the whole programme of ROB course, A.Y. 2019/20

[SLV] SCIENTIFIC AND LARGE DATA VISUALIZATION

• dblp.info: a data visualization website about dblp data - GaspareG - Project 2017-18
• d3 edge crossing minimization: draw graphs minimising the number of edge crossings - Lucio Messina - Project 2017-18

[SMV] SECURITY METHODS AND VERIFICATION

• A Process Algebra for Quantum Processes - laurab1 - Seminar 2018-19
• Checking Security of Java Bytecode by Abstract Interpretation - LorenzoBellomo - Seminar 2018-19

[SW] SEMANTIC WEB

• Semantic Web - Diletta Goglia - Final project and Lecture notes
• Semantic Web - Federico Mazzoni - Final project (ontology and answers)

[SA] SMART APPLICATIONS

• RoboComment - Project 2019-20 (A)
• ArtGuide - Project 2019-20 (B)

[S&EI] SOCIAL AND ETHICAL ISSUES IN INFORMATION TECHNOLOGY

• S&EI material A.Y. 2019/20 - Diletta Goglia - Notes from lectures, final essay and midterm presentation

[SVV] SOFTWARE VALIDATION AND VERIFICATION

• SPIN by Examples - vincenzopalazzo - Seminar 2021/2022 about SPIN.
• Separation Logic - piazzesiNiccolo - 2021/22 seminar on separation logic.

WIRELESS NETWORKS OF EMBEDDED SYSTEMS

• Be the first to contribute, open a pull request with your material!

3D GEOMETRIC MODELING & PROCESSING

• Be the first to contribute, open a pull request with your material!