Explore projects

A tool performing AC-completion for left-linear TRSs written in Haskell.

This is the online supplement of the paper "An ECG simulator with a novel ECG profile for physiological signals" which should be published in the journal of medical engineering & technology. It contains a novel ECG simulator.

Program for the optimization of static potentials for the generation of largely delocalized and non-Gaussian quantum states of levitated nanoparticles.

C Recap including Software Development Principles and more

Ringlabor Master Mechatronik Sommersemester 2020

https://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=19S&lvnr_id_in=703602

Scripts to automatically process GNSS data from http://data.permasense.ch using RTKLIB: An Open Source Program Package for GNSS Positioning.

Just another repository

Alpha Avoidance

A system to allow users to easily maintain, distribute, and switch between different HOME environments.

sampling-based algorithm using using state space decomposition

Current topics WS2021 group project Backend can be found here: https://git.uibk.ac.at/csaz8448/kg-shapes