Marco De Nadai's repositories
google_street_view_deep_neural
Deep Neural Network model to predict security perception from Google Street View images. Model based on AlexNet CNNs
formalVerificationOAuthProverif
Formal verification of the protocol OAuth 2.0 (draft 22) using the automatic cryptographic protocol verifier Proverif.
soccerbigdata_DEBS_analysis
This work wants to create a small framework of tools which permits the coaches to base their new strategies not only on their intuitions and judgments but also on comprensive (and maybe not human-eyevisible) statistics
streetview
Python module for retrieving current and historical photos from Google Street View
test-the-theory-lesson
Sources for the "Testing the theory" lesson @ unitn
urban-environments
Code for constructing the urban environments dataset and for land use classification via convolutional neural networks
EasyAround
easyAround is a simple Flask web application realized following the commonKADS model.
Gas-consumption-outliers
A project to find outliers in the gas consumptions
mitro
Repository for all Mitro client & server code
Neural-networks-checklist
Small project to remember the check list of steps for neural networks
pysal
PySAL is an open source cross-platform library of spatial analysis functions written in Python. It is intended to support the development of high level applications for spatial analysis.
Spotify_ZipfsSong_Puzzle
Solution to Spotify Zipf's song puzzle
statsmodels
Statsmodels: statistical modeling and econometrics in Python