Explore projects
-
Landing Page for ICER 2022.
Updated -
-
Some notes from the journey of understanding the Atiyah–Singer Theorem.
Updated -
Sccuot is a command-line tool to retrieve usage and resource information of an ownCloud 10 instance. It can be used to gather various statistics, like the quota used per user, and to create snapshots of these statistics.
Updated -
The repository contains sketch maps collected over the years in various experiments carried out at the Spatial Intelligence Lab at the Institute for Geoinformatics, University of Münster, Germany. For a detailed description and links to more sketch maps collected in our lab, head to https://osf.io/u4kv2/
Updated -
Updated
-
Submodule that gets processed by dunecontrol's vcsetup
Updated -
Code used in the evaluation section of "A Framework for Streaming Volumetric Image Test Data Generation for Out-of-Core Methods".
Updated -
This project contains the execution scripts to the QEST special issue "State-space construction of Hybrid Petri nets with multiple stochastic firings" (to be) published in September 2020.
Updated -
Updated
-
In this repository, you can find our instrument for assessing self-efficacy in an introductory programming course.
Updated -
Code for behavioural analysis Nature communications Lamaze et al (NCOMMS-20-09283C)
Updated -
Boilerplate projects for the visualization course WS21/22
Updated