User: Guest  Login
Sort by:
and:
next

Faust, Daniel
Examination of Interference between Hypersen HPS-3D160 LiDAR and Intel RealSense D435 Stereo Depth Camera in the RACOON-Laboratory
Semesterarbeit
2020
Mündler, Niels
A Verified Imperative Implementation of B-Trees
Bachelorarbeit
2021
Cadavid Isaza, Andrea
Modeling the Colombian electricity sector using urbs
Masterarbeit
2020
Dybus, Marten
Methode zur Analyse der Dringlichkeit von Modernisierungen in der Intralogistik
Bachelorarbeit
2021
Griebel, Simon
Verification of the Decrease-Key Operation in Fibonacci Heaps in Imperative HOL
Masterarbeit
2020
Fent, Felix
Machine Learning-Based Radar Point Cloud Segmentation
Masterarbeit
2020
Pölzleitner, Daniel
Experimentelle Untersuchung von Halbleiter-Dehnungsmessstreifen für den Einsatz in Kraftsensoren eines humanoiden Roboters
Bachelorarbeit
2020
Inola Kopic
Untersuchung zur Infiltration von granularen Medien unter Weltraumbedingungen
Masterarbeit
2020
Bernhard Pöttinger
Verification of the Flow Framework from “Local Reasoning for Global Graph Properties”
Masterarbeit
2020
Johannes Rainer
Experimentelle Untersuchung und Modellierung des Sensorverhaltens einer taktilen Fußsohle für humanoide Roboter
Bachelorarbeit
2020
Sort by:
and:
next