Explore projects

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

The ProVerif code for PTB's (early) NTS analysis

Slides from the talk about Data Analysis Using Modern Python

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.

The source code of the testbed implementation used in Gregor Hildermeier's work oin TESLA-protected one-way time synchronization

Reads CleverLab dcc, generates VacLab json.

For Fourier transforming BW images and working with them

Dieses Repository enthält die Dateien, welche für ein barrierefreies XWiki Skin benötigt werden. Alle Details finden sich hier im Wiki.

We implemented a Bayesian Uncertainty Quantification for Magnetic Resonance Fingerprinting.

Description and examples of ontologies

Information and support files for dealing with proprietary binary files:

examples of how to communicate with vendors to convince them to open the data files help for reverse engineering of your own proprietary binary files

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

additional code for the publication

R code and xls files to generate the results for the restricted maximum likelihood (REML) analyis python code and npy files to generate Bland-Altman plots of the spectral shape spectral data of each volunteer, session and pulse sequence variant

Logos for PyThia Uncertainty Quantification Toolbox