denadai2

bayesian-crime-multiple-cities

energyUva

Detecting anomalies with Neural newtorks

formalVerificationOAuthProverif

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

google_street_view_deep_neural

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

jacobs_urban_planning

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

living-the-pandemic

precise-mapping-human-settlements

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

real-estate-neighborhood-prediction

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

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

wavenet-Pytorch

denadai2/EvolutionaryComputing

denadai2/Place-Pulse

Place Pulse code repository