Here i'm going to put some documents. These will be slides,notes and everything else that could be useful to someonelse | ||
Papers (only legal links) | ||
Higher-order characterization of PP | We present an higher order ICC characterization of Probabilistic Polynomial Time. It's done by using a prototipe of functional language. | |
Notes | ||
Sustainability e DP-fairness. | These slides talks about embedded systems. Focusing on two papers, i'll try to explain differences between the definition of Sustenability and DP-fairness. | |
Survey on Content Based image retrieval Slides of the presentation of the survey |
This sourvey taks about content based image retrieval systems. It presents basic ideas and some advanced features. | |
Introduction notes to linear logic Slides of the presentation of notes |
These notes would like to give an introduction to linear logic, by starting from Gentzen's LK system. I will show how is it possible to find the multiplicative and additive connectives just by deleting weakening and contraction rules. | |
A sourvey on Bzip | These notes, written together with Alessandro Adamou, tries to explain how Bzip works. It presents also theoretical results and benchmarks. | |
Introduzione a Python | soluzione | Slide del corso a Biotecnologie AA 2012/2013 | |
Seconda lezione | soluzione | ||
Terza lezione | soluzione |