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

[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!

drw0if / materials Goto Github PK

materials's Introduction

Master Degree in Computer Science @ Unipi

[ADB] ADVANCED DATABASES

[AP] ADVANCED PROGRAMMING

[ASE] ADVANCED SOFTWARE ENGINEERING

[AD] ALGORITHM DESIGN

[AE] ALGORITHM ENGINEERING

ALGORITHMIC GAME THEORY

[AIF] ARTIFICIAL INTELLIGENCE FUNDAMENTALS

[BIO] BIOINFORMATICS

[BPM] BUSINESS PROCESS MODELING

[CPC] COMPETITIVE PROGRAMMING AND CONTESTS

[CHL] COMPUTATIONAL HEALTH LABORATORY

[CM] COMPUTATIONAL MATHEMATICS FOR LEARNING AND DATA ANALYSIS

[CMCS] COMPUTATIONAL MODELS FOR COMPLEX SYSTEMS

[CNS] COMPUTATIONAL NEUROSCIENCE

[DM] DATA MINING

[FOC] FOUNDATION OF COMPUTING

[HLT] HUMAN LANGUAGE TECHNOLOGIES

[ICT-INFR] ICT INFRASTRUCTURES

[ICT-RA] ICT RISK ASSESSMENT

[IR] INFORMATION RETRIEVAL

[ISPR] INTELLIGENT SYSTEMS FOR PATTERN RECOGNITION

[IQC] INTRODUCTION TO QUANTUM COMPUTING

[LIS] LABORATORY FOR INNOVATIVE SOFTWARE

LABORATORY ON ICT STARTUP BUILDING

[LCI] LANGUAGES, COMPILERS AND INTERPRETERS

[LBT] LANGUAGE-BASED TECHNOLOGY FOR SECURITY

[ML] MACHINE LEARNING

[MCPS] MOBILE AND CYBER-PHYSICAL SYSTEMS

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

[P2P] PEER TO PEER SYSTEMS AND BLOCKCHAINS

[PSC] PRINCIPLES FOR SOFTWARE COMPOSITION

ROBOTICS

[SLV] SCIENTIFIC AND LARGE DATA VISUALIZATION

[SMV] SECURITY METHODS AND VERIFICATION

[SW] SEMANTIC WEB

[SA] SMART APPLICATIONS

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

[SVV] SOFTWARE VALIDATION AND VERIFICATION

WIRELESS NETWORKS OF EMBEDDED SYSTEMS

3D GEOMETRIC MODELING & PROCESSING

Recommend Projects

Recommend Topics

Recommend Org