Master Degree in Computer Science @ Unipi
Collection of useful repositories divided per exam.
See also oral questions in the Exams repository.
ADVANCED DATABASES
- Notes 2018-19 - lucacorbucci - in italian 🇮🇹
- Formulary - GaspareG - Physical operators cost and result size
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
ADVANCED SOFTWARE ENGINEERING
- Community Notes - feel free to integrate your notes and keep the repo updated
- BeepBeep - yellow-team - Project 2018-19
ALGORITHM DESIGN
- The Power of Two Choices - guanaco96 - Final report 2018-19
- An FPT Algorithm for Approximated Threewidth - laurab1 - Final report 2018-19
ALGORITHM ENGINEERING
- 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
ARTIFICIAL INTELLIGENCE FUNDAMENTALS
- Constraint Satisfaction Problems: _Solver for Kakuro - MarioBonse
- 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
BIOINFORMATICS
- TwoPaCo - GaspareG - Slides of exam seminar (subject: TwoPaCo, an efficient algorithm for compacted de Bruijn graph construction)
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
COMPUTATIONAL MATHEMATICS FOR LEARNING AND DATA ANALYSIS
- Compute efficiently the QR factorization of a matrix
(A|X)given the QR factorization ofA- Lucio Messina and Ivan Carosi - Project 2018-19 (14 NoML) + report with lecturers feedback. - Neural Network's implementation using either the Stochastic Gradient Descent or the Conjugate Gradient Descent as optimization algorithm - germz01 - Project 2018-19
- 2-norm matrix calculus as an uncostrained optimization problem with the "Conjugate Gradient" and "Steppeste Descent Direction" algorithms - MarioBonse - Project 2018-19
- Quadratic Min-Cost Flow - guanaco96 - Project 2018-19: a solver for quadratic separable min-cost flow problem relying on conjugate gradient algorithm
- Constrained & Unconstrained Optimizers with notebooks - Donato Meoli
- Neuradillo2.0 - Gradient Descent, L-BFGS, Bundle Methods -FraCorti and GiovanniSorice- Project 2019-20
COMPUTATIONAL MODELS FOR COMPLEX SYSTEMS
- Be the first to contribute, open a pull request with your material!
COMPUTATIONAL NEUROSCIENCE
- Be the first to contribute, open a pull request with your material!
DATA MINING
- **Notes 2020-2021 - Erica Cau, Federico Mazzoni - in italian
- Notes 2019-20 - lucacorbucci - in italian 🇮🇹
- Customer's analysis - Diletta Goglia, Marco Petix - DM Project 2020-21
- IBM dataset - Erica Cau, Alfonso Ferraro, Simona Mazzarino, Federico Mazzoni - Project for Data Mining I 2020-21
- Online Retail: Customer's analysis - Antonio Strippoli, Valerio Mariani - Project 2020-21
- Online Retail - Donato Meoli, Enrico D'Arco, Luigi Quarantiello - Project 2020-21
- Online Retail - Alex Pasquali, Elia Piccoli, Nicola Gugole - Project 2020-21
- Carvana Car Auctions - andybbruno, LorenzoBellomo, martascalisi - Project 2019-20
- Credit Card Default - GaspareG - Project 2018-19
- Credit Card Default - lucacorbucci, Brotherhood94 - Project 2018-19
FOUNDATION OF COMPUTING
- Decomposition_Structures_for_SCEPs - laurab1 - Seminar for the final exam 2018-19
HUMAN LANGUAGE TECHNOLOGIES
- Gendered Pronoun Resolution Gaspare Ferraro, Simone Spagnoli, Lucio Messina - an ensemble learning system to match pronouns with their references avoiding gender bias (kaggle competition).
ICT INFRASTRUCTURES
- Community Notes - feel free to integrate your notes and keep the repo updated
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
INFORMATION RETRIEVAL
- Notes 2019-20 - rmassidda - in english 🇺🇸
- Notes 2019-20 - lucacorbucci - in italian 🇮🇹
- Exercises - flandolfi - A collection of exercises (with solutions) from past exams
INTELLIGENT SYSTEMS FOR PATTERN RECOGNITION
-
_Notes (2019-2020) - Davide Montagno B. - Not Reviewed.
-
Project (january2021) - Giovanni Sorice - Final coding project n.6 - Compressive Transformer for music generation (Code, report and slides)
-
Midterm1 (march2020) - Davide Montagno B. - Introduction to Convolution Operators and gradient properties
-
Midterm2 (may2020) - Davide Montagno B. - LDA for images
-
Midterm3 (june2020) - Davide Montagno B. - Complete comparison between LSTM and GRU
-
Midterm4 (august2020) - Davide Montagno B. - Introduction to Creative Generative Adversarial Network (Facebook)
-
Midterm1 (march2020) - Diletta Goglia - Midterm 1 (Image processing with SIFT)
-
Midterm2 (may2020) - Diletta Goglia - Midterm 2 (HMMs for timeseries forecasting)
-
Midterm3 (june2020) - Diletta Goglia - Midterm 3 (Gated RNN)
-
Midterm4 (june2020) - Diletta Goglia - Midterm 4 (CNN for video processing: a review)
-
Project (2019) - MarioBonse - Final project, Sketch RNN, variational autoencoder for sketch generation
LABORATORY FOR INNOVATIVE SOFTWARE
- Be the first to contribute, open a pull request with your material!
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
MACHINE LEARNING
- 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).
MOBILE AND CYBER-PHYSICAL SYSTEMS
- 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
PARALLEL AND DISTRIBUTED SYSTEMS: PARADIGMS AND MODELS
- Notes 2019-20 - davidemontagnob - in italian 🇮🇹
- Notes - lucacorbucci, Brothehood94 - in italian 🇮🇹
- Utility: Docker container - Matteo Ronchetti - Docker container with GCC 8.3, GRPPI and rplsh that can be used to compile projects for the course
- Assignments 2020 - MarioBonse
- Assignments - lucacorbucci
- Assignments - Brotherhood94
- Assignments + Autonomic Farm Pattern - giacomodeliberali - Assignments and project 2018-19
- Assignments + BSP - LorenzoBellomo - Assignments and project 2018-19
- Autonomic Farm Pattern - lucacorbucci - Project 2018-19
- Autonomic Farm Pattern - Brotherhood94 - 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 (?)
PEER TO PEER SYSTEMS AND BLOCKCHAINS
- 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 - Brothehood94 - Project 2017-18 (blockchain)
- COBrA - daquinoaldo - Project 2017-18 (blockchain)
- DynamicOverlayGenerator - antonio-sisbarra - Project 2017-18 (graph analysis)
- Chord - Brotherhood94 - MidTerm 2017-18
- ChordDHTSimulator - daquinoaldo - MidTerm 2017-18
- Kademlia DHT simulator - giacomodeliberali
- Smart Auctions: Dutch and Vickery auctions on Ethereum - giacomodeliberali
PRINCIPLES FOR SOFTWARE COMPOSITION
- Be the first to contribute, open a pull request with your material!
ROBOTICS
- Mind map - Diletta Goglia - Map of the whole programme of ROB course, A.Y. 2019/20
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
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
SEMANTIC WEB
- Semantic Web - Diletta Goglia - Final project and Lecture notes
SMART APPLICATIONS
- RoboComment - Project 2019-20 (A)
- ArtGuide - Project 2019-20 (B)
SOCIAL AND ETHICAL ISSUES IN INFORMATION TECHNOLOGY
- S&EI material A.Y. 2019/20 - Diletta Goglia - Notes from lectures, final essay and midterm presentation
SOFTWARE VALIDATION AND VERIFICATION
- Be the first to contribute, open a pull request with your material!