Explore projects

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

Slides from the talk about Data Analysis Using Modern Python
Updated 
The source code of the testbed implementation used in Gregor Hildermeier's work oin TESLAprotected oneway time synchronization
Updated 
Schema files and instance examples for a XML implementation the DSI data model (DSI = the Digital System of Units).
Updated 

Ingredients for conversion of a DCC xml structure to a printable pdf file
Updated 
A set of functions to help with various kinds of datawork with sinesignals
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 
HTTPServer written in Python for validation of xml (e.g. DCC xml) against a XML Schema.
Updated 
particle flow simulation in explosion protection.
Start with the user guide located in 'documentation/userGuide/pafiX_userGuide.pdf'.
Updated 
Updated

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

For Fourier transforming BW images and working with them
Updated 
Updated

We implemented a Bayesian Uncertainty Quantification for Magnetic Resonance Fingerprinting.
Updated 
Updated

Matlab Code for vGRAPPA decomposition after multibanded two voxel acquisition for MRS.
Updated