Marco De Nadai

real-estate-neighborhood-prediction. Code to repeat the experiments of "The economic value of neighborhoods: Predicting real estate prices from the urban environment"

google_street_view_deep_neural. Deep Neural Network model to predict security perception from Google Street View images. Model based on AlexNet CNNs

precise-mapping-human-settlements. Repository for the paper "Precise mapping, density and spatial structure of all human settlements on Earth"

jacobs_urban_planning. Code to repeat some experiments of the paper "The Death and Life of Great Italian Cities: A Mobile Phone Data Perspective"

energyUva. Detecting anomalies with Neural newtorks

bayesian-crime-multiple-cities. Jupyter Notebook

formalVerificationOAuthProverif. Formal verification of the protocol OAuth 2.0 (draft 22) using the automatic cryptographic protocol verifier Proverif.

living-the-pandemic. Jupyter Notebook

wavenet-Pytorch. Python

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

test-the-theory-lesson. Sources for the "Testing the theory" lesson @ unitn

apps-mobility-capacity-strategy. Jupyter Notebook

A-Tale-of-Cities---code. Python

EvolutionaryComputing. Java

PerceptualSimilarity. LPIPS metric. pip install lpips

streetview. Python module for retrieving current and historical photos from Google Street View

scikit-mobility. scikit-mobility: mobility analysis in Python

stargan. StarGAN - Official PyTorch Implementation