Explore projects

Some ui-tools written in Rust MC-Key-Generator Blockchain-Viewer AdminUI

DCC generation for the vacuum laboratory

Creating DataPolis compatible certs (and keys) from CLI

Yet Another Measurement Program

QSE-FM3-13-1

In this repository, a Deep-learning model is given, which was trained to extract the vertical position of the gas-liquid-interface over time (liquid level time series) from video recordings of horizontal gas-liquid pipe flow experiments.

data on pilot comparison with NMIJ

Vorlage für interne Kalibrierung, Temp TL2

Berechnung der Unsicherheit von SE2

Spektren und Auswerteskripte s. ../mediawiki/index.php/Schwingungsisolierung_der_SE1_VPs

The Isabelle source files for PTB's framework for proofs about security in synchronization as well as the two-way NTS protocol model plus proofs and the one-way TESLA-protected synchronization protocol model plus proofs.

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".

This toolbox provides a drop-in replacement for the visadev() and visadevlist() function from the Mathworks Instrument Control Toolbox using a .NET VISA library provided by NI-VISA.

Matlab Code for vGRAPPA decomposition after multi-banded two voxel acquisition for MRS.

NSS library for the DataPolis Network

Repository to track everything related to my PhD thesis.