This repository belongs to my PhD thesis.