denadai2/mitro
Repository for all Mitro client & server code
Discovered public repositories for denadai2 in the GitHub catalog.
Repository for all Mitro client & server code
Public repository.
Small project to remember the check list of steps for neural networks
A Machine Learning library based on Theano
Sources of http://www.marcodena.it, made with pelican
Public repository.
Detecting anomalies with Neural newtorks
A project to find outliers in the gas consumptions
easyAround is a simple Flask web application realized following the commonKADS model.
Formal verification of the protocol OAuth 2.0 (draft 22) using the automatic cryptographic protocol verifier Proverif.
Solution to Spotify Zipf's song puzzle
Public repository.
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