Beyene, Tewodros Awgichew
Temporal Program Verification and Synthesis as Horn Constraints Solving
2015
Dissertation
141 p.

Spieckermann, Sigurd
Multi-Task and Transfer Learning with Recurrent Neural Networks
2015
Dissertation
129 p.