User: Guest  Login
Sort by:
and:
next

Plecher, David Alexander
Impacts of Serious Games for Cultural Heritage
2021
Dissertation
167 p.
Mündler, Niels
A Verified Imperative Implementation of B-Trees
Bachelorarbeit
2021
Griebel, Simon
Verification of the Decrease-Key Operation in Fibonacci Heaps in Imperative HOL
Masterarbeit
2020
Bernhard Pöttinger
Verification of the Flow Framework from “Local Reasoning for Global Graph Properties”
Masterarbeit
2020
Fischer, Felix
Metrics for Job Similarity Based on Hardware Performance Data
Bachelorarbeit
2020
Issar Arab
Variational Inference to Learn Representations for Protein Evolutionary Information
Masterarbeit
2020
Salma Farag
Passive WiFi-based Indoor Localization With Semantic Correction
Masterarbeit
2019
Vanecek, Stepan
Design, Implementation and Test of Efficient GPU to GPU Communication Methods
Masterarbeit
2020
Martin Knudsen
Neural Networks on Continuous-Variable Quantum Computers
Masterarbeit
2020
Leo Hanisch
Detecting Vague Requirements with Machine Learning
Masterarbeit
2020
Sort by:
and:
next