All software
OFF framework, code underlying the publication A dynamic open-source model to investigate wake dynamics in response to wind farm flow control strategies
OFF framework, code underlying the publication A dynamic open-source model to investigate wake dynamics in response to wind farm flow control strategies
- dynamic parametric wake model
- surrogate wake model
- wind farm flow control
- + 1
- Other
- YAML
- HTML
- + 7
oraqle
Oraqle: A Depth-Aware Secure Computation Compiler
- arithmetization
- compiler
- cryptography
- + 1
- Python
- Other
- Markdown
- + 4
PETsChallenge
Code underlying: Privacy-Preserving Membership Queries for Federated Anomaly Detection
- Anomaly detection
- cryptography
- elliptic curves
- + 4
- Rust
- Markdown
- Python
- + 4
CounterfactualExplanations.jl
Software and data underlying the publication: Explaining Black-Box Models through Counterfactuals
- Algorithmic Recourse
- Counterfactual Explanations
- explainable artificial intelligence
- + 1
- Other
- Julia
- TeX
- + 7
det2d-read
Python package to read 2D human poses from json files
- 2D pose detection
- Data loading
- Multiprocessing
- + 1
- Python
- Markdown
- Other
- + 2
Hodge-Edge-GP
Code underlying: Hodge-Compositional Edge Gaussian Processes
- edge space
- forex
- Gaussian process
- + 2
- Jupyter Notebook
- Python
- Other
- + 3
swinging-kite
Swinging Motion of a Kite with Suspended Control Unit Flying Turning Manoeuvres (Code)
- Airborne Wind Energy (AWE)
- Flight data analysis
- Kite power
- + 2
- Python
- Other
- YAML
- + 1
Argon Laser-Plasma Thruster - Design and Test of a Laboratory Model - Processing and Analysis Code
Argon Laser-Plasma Thruster - Design and Test of a Laboratory Model - Processing and Analysis Code
- argon
- laser
- laser-sustained plasma
- + 4
- Other
- TeX
- Jupyter Notebook
- + 5
Artifact of Knor: reactive synthesis using Oink
Artifact of Knor: reactive synthesis using Oink
- binary decision diagrams
- parity games
- reactive synthesis
- Other
- C
- HTML
- + 15
bachelor-thesis
Code underlying the BSc thesis: Creating Robust Train Unit Shunting Plans using Probabilistic Programming
- inference
- Probabilistic modelling
- railroad
- + 12
- JSON
- Other
- Julia
- + 2
Codebase Underlying the BSc Thesis: Type-Checking Modules and Imports using Scope Graphs
Codebase Underlying the BSc Thesis: Type-Checking Modules and Imports using Scope Graphs
- glob imports
- haskell
- lm
- + 5
- Other
- Haskell
- Python
- + 1
Code for project: Approximate Edge AI Components for energy-aware adaptive framework
Code for project: Approximate Edge AI Components for energy-aware adaptive framework
- approximation
- edge devices
- Energy-aware computing
- + 2
- Python
- Markdown
- YAML
- + 1