Skip to main content
Ctrl K

All software

90 software items. Page 3 of 8. 12 items per page. 1 filters active.
25-36 of 90

Hodge-Edge-GP

Code underlying: Hodge-Compositional Edge Gaussian Processes

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

oraqle

Oraqle: A Depth-Aware Secure Computation Compiler

  • arithmetization
  • compiler
  • cryptography
  • + 1
  • C++
  • Jupyter Notebook
  • Markdown
  • + 4
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

mpcrl-cbf

Source code for the publication: Probabilistically safe and efficient model-based Reinforcement Learning

  • Control Barrier Function
  • Model predictive control
  • Reinforcement learning
  • + 1
  • Markdown
  • Matlab
  • Other
  • + 2
1
1

topological_SB_matching

Code underlying: Topological Schrödinger Bridge Matching

  • distribution matching
  • generative models
  • graph and simplicial complex
  • + 1
  • Jupyter Notebook
  • Markdown
  • Other
  • + 3
1
1

ACPV-Net

Source code for “ACPV-Net: All-Class Polygonal Vectorization for Seamless Vector Map Generation from Aerial Imagery”

  • ACPV-Net
  • aerial imagery
  • all-class polygonal vectorization
  • + 4
  • C
  • C++
  • Markdown
  • + 3
4
0

AmpliDiff

Code underlying the publication: "AmpliDiff: An Optimized Amplicon Sequencing Approach to Estimating Lineage Abundances in Viral Metagenomes"

  • Abundance Estimation
  • Amplicon Sequencing
  • Primer Design
  • + 1
  • C
  • Markdown
  • Other
  • + 3
3
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 of Knor: reactive synthesis using Oink

Artifact of Knor: reactive synthesis using Oink

  • binary decision diagrams
  • parity games
  • reactive synthesis
  • Automake
  • C
  • C++
  • + 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
  • Julia
  • Markdown
  • + 2
1
0