Airborne Wind Energy (AWE) Flight data analysis Kite power renewable energy Tether model

core language Dependent Types type-checking typechecking Type Theory

argon laser laser-sustained plasma laser-thermal propulsion ltp Plasma python

binary decision diagrams parity games reactive synthesis

inference Probabilistic modelling railroad railway robust robust algorithm robust train unit shunting rolling stock scheduling problem shunting train unit shunting train unit shunting problem transport Transportation tusp

glob imports haskell lm relative imports scope graphs stratified type-checking type-checking unordered imports

approximation edge devices Energy-aware computing perception transformers

Hierarchical MPC Model predictive control Robust optimization Tube MPC

Dependent Types elaboration elaborators extensible datatype open datatype type-checking

Anomaly detection Evaluation Metrics Precision Recall Time Series

cancer drug response oncogene oncology patient stratification

All software

swinging-kite

agda-core

Argon Laser-Plasma Thruster - Design and Test of a Laboratory Model - Processing and Analysis Code

Artifact of Knor: reactive synthesis using Oink

bachelor-thesis

Codebase Underlying the BSc Thesis: Type-Checking Modules and Imports using Scope Graphs

Code for project: Approximate Edge AI Components for energy-aware adaptive framework

Code to test the implementation of linear Bi-level Parent-Child MPC

Code to test the implementation of nonlinear Bi-level Parent-Child MPC

Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints

Code underlying the publication: "PATE: Proximity-Aware Time series anomaly Evaluation"

Data and code underlying the publication: Stratifying Oncogene-addicted Cohorts by Drug Response