Explore GitLab
Discover projects, groups and snippets. Share your projects with others

PTB's UPPAAL code regarding the "broadcast time sync with TESLA" analysis
Updated 
The Isabelle source files for PTB's framework for proofs about security in synchronization as well as the twoway NTS protocol model plus proofs and the oneway TESLAprotected synchronization protocol model plus proofs.
Updated 
The source code of the testbed implementation used in Gregor Hildermeier's work oin TESLAprotected oneway time synchronization
Updated 

Slides from the talk about Data Analysis Using Modern Python
Updated 

For Fourier transforming BW images and working with them
Updated 
Updated

We implemented a Bayesian Uncertainty Quantification for Magnetic Resonance Fingerprinting.
Updated 
Schema files and instance examples for a XML implementation the DSI data model (DSI = the Digital System of Units).
Updated 
Matlab Code for vGRAPPA decomposition after multibanded two voxel acquisition for MRS.
Updated 
Updated


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 filesUpdated 
Dieses Repository enthält die Dateien, welche für ein barrierefreies XWiki Skin benötigt werden. Alle Details finden sich hier im Wiki.
Updated 
Updated

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

Updated

This project contains the implementation and examples of the publication MM/GW, CE, "A rejection Sampler extending GUMS1", Metrologia, 2021 [TODO].
Updated