Explore projects

This code base is intended to serve as a starting point for interested researchers or practitioners to extend or apply the uncertainty propagation portion of the author's Master's thesis " GUM-compliant neural-network robustness verification".

Yet Another Measurement Program

_a, _b, _c-branch setup of se3

Bestimmung des Blendenverhältnisses an CE3-Daten und Skripte

PTB's UPPAAL code regarding the "broadcast time sync with TESLA" analysis

reminder, systemctrl, timer, planning

A device hub written in clojure.

NSS library for the DataPolis Network

A simple extension to deep ensembles for an improved uncertainty quantification

Logos für den Fachbereich 7.5

JSON-SCHEMA-Definitionen zu Kalibrierdokumenten

administration interface of the node like user, accessrights, keys, ....

Access Rights Manager service

Analysis of temperature sensor calibrations

Backend service