Skip to main content
Ctrl K

All software

64 software items. Page 2 of 6. 12 items per page. 1 filters active.
13-24 of 64

endogenous-macrodynamics-in-algorithmic-recourse

Software and data underlying the publication: Endogenous Macrodynamics in Algorithmic Recourse

  • Algorithmic Recourse
  • Counterfactual Explanations
  • Dynamic Systems
  • + 1
  • CSS
  • HTML
  • JavaScript
  • + 8
3
5

Data underlying the publication/thesis chapter: Scale Learning in Scale-Equivariant Convolutional Networks

Data underlying the publication/thesis chapter: Scale Learning in Scale-Equivariant Convolutional Networks

  • computer vision
  • Convolutional neural network (CNN)
  • equivariance
  • + 3
  • JSON
  • Jupyter Notebook
  • Markdown
  • + 5
6
3

det2d-read

Python package to read 2D human poses from json files

  • 2D pose detection
  • Data loading
  • Multiprocessing
  • + 1
  • JSON
  • Markdown
  • Other
  • + 2
1
2

Hodge-Edge-GP

Code underlying: Hodge-Compositional Edge Gaussian Processes

  • edge space
  • forex
  • Gaussian process
  • + 2
  • JSON
  • Jupyter Notebook
  • Markdown
  • + 3
1
2

CounterfactualExplanations.jl

Software and data underlying the publication: Explaining Black-Box Models through Counterfactuals

  • Algorithmic Recourse
  • Counterfactual Explanations
  • explainable artificial intelligence
  • + 1
  • CSS
  • JavaScript
  • JSON
  • + 7
3
1

ghc

GHC with stream fusion, used as benchmark in the publication: Higher Order Patterns for Rewrite Rules

  • compiler
  • fusion
  • higher order matching
  • + 2
  • Automake
  • C
  • C++
  • + 16
1
1

IntervalMDPAbstractions.jl_ReproducibilityPackage

Data and code underlying the publication: Scalable control synthesis for stochastic systems via structural IMDP abstractions

  • embedded systems
  • Markov processes
  • Stochastic control and optimization
  • C
  • C++
  • HTML
  • + 10
3
1

mean-field-quantum-networks

Code underlying the publication: Service-the-Longest-Queue Among d Choices Policy for Quantum Entanglement Switching

  • entanglement generation switch
  • load-balancing.
  • mean-field analysis
  • + 1
  • JSON
  • Julia
  • Markdown
  • + 2
1
1

patient-interaction-detection

Python code to detect interaction of medical personnel with the operating table from surveillance videos

  • 2D human poses
  • Action recognition
  • Operating table interaction
  • + 3
  • JSON
  • large-text-file
  • Markdown
  • + 2
1
1

APS

APS: Asses Pedestrian model Speed framework

  • Computational Complexity
  • Model assessment framework
  • Pedestrian models
  • + 1
  • JSON
  • Markdown
  • Other
  • + 1
1
0

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
  • JSON
  • Jupyter Notebook
  • Markdown
  • + 5
1
0

Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"

Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"

  • Correct-by-construction
  • Floating-point
  • IEEE 754
  • + 6
  • C
  • C++
  • JSON
  • + 5
5
0