Software | Research Software Directory

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

3

1

Data underlying the publication/thesis chapter: FlexConv: Continuous Kernel Convolutions with Differentiable Kernel Sizes

computer vision
Convolutional Neural Network
kernel size
+ 2

Python
Jupyter Notebook
Markdown
+ 2

6

1

det2d-read

Python package to read 2D human poses from json files

2D pose detection
Data loading
Multiprocessing
+ 1

Python
Markdown
Other
+ 2

1

Hodge-Edge-GP

Code underlying: Hodge-Compositional Edge Gaussian Processes

edge space
forex
Gaussian process
+ 2

Jupyter Notebook
Python
Other
+ 3

1

PETsChallenge

Code underlying: Privacy-Preserving Membership Queries for Federated Anomaly Detection

Anomaly detection
cryptography
elliptic curves
+ 4

Rust
Markdown
Python
+ 4

8

1

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

1

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

1

0

Artifact of Knor: reactive synthesis using Oink

binary decision diagrams
parity games
reactive synthesis

Other
C
HTML
+ 15

1

0

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

1

0

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

glob imports
haskell
lm
+ 5

Other
Haskell
Python
+ 1

3

0

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

approximation
edge devices
Energy-aware computing
+ 2

Python
Markdown
YAML
+ 1

1

0

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

Hierarchical MPC
Model predictive control
Robust optimization
+ 1

Matlab
HTML
Other
+ 4

1

0

All software