Explore projects

https://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=21S&lvnr_id_in=703602

https://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=19S&lvnr_id_in=703602

https://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=19S&lvnr_id_in=703602

A tool performing AC-completion for left-linear TRSs written in Haskell.

Code to projects in the course of Advanced Machine Learning A1: Ridge Regression and Model Selection A2: Convolutional Neural Network A3: Reinforcement Learning (Mountain car)