Skip to main content
Ctrl K

All software

274 software items. Page 11 of 23. 12 items per page. 1 filters active.
121-132 of 274

Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"

Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"

  • Correct-by-construction
  • Interactive Theorem Proving
  • Maximal End Components
  • + 3
  • C
  • C++
  • JSON
  • + 6
3
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

Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"

Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"

  • Correct-by-construction
  • Interactive Theorem Proving
  • Markov decision process
  • + 1
  • C
  • C++
  • JSON
  • + 4
1
0

ATHENS

ATHENS: Aerodynamic Tracer for High-altitude Environment Numerical Simulations

  • Direct Simulation Monte Carlo (DSMC)
  • free molecular flow
  • gas-surface interaction
  • + 2
  • C
  • C++
  • Markdown
  • + 3
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

Bayesian Ensembles for Exploration in Deep Reinforcement Learning; Code underlying the dissertation "Bayesian Model-Free Deep Reinforcement Learning"

Bayesian Ensembles for Exploration in Deep Reinforcement Learning; Code underlying the dissertation "Bayesian Model-Free Deep Reinforcement Learning"

  • Bayesian modelling
  • Deep Reinforcement Learning (DRL)
  • Ensemble model
  • + 2
  • Markdown
  • Python
1
0

BEWARE

BEWARE Artifact: Code and Datasets for "Robust and Automated Reconfiguration of Byzantine Wide-Area Replication"

  • BFT-SMaRt
  • Byzantine fault tolerance
  • consensus latency
  • + 7
  • Java
  • JSON
  • Markdown
  • + 5
4
0

bluesky_gym_population_density_extension

Data supporting the Master's thesis "Balancing Noise and Fuel: Spatially Aware Reinforcement Learning for Air Traffic Control"

  • air traffic control
  • Convolutional Neural Network
  • noise abatement
  • + 2
  • JSON
  • large-text-file
  • Markdown
  • + 4
1
0

bounded-private-cycle-detection

Source code underlying the publication: Privacy-Preserving Peer-to-Peer Cycle Detection

  • cycle detection
  • multi-party computation
  • privacy-preserving
  • + 1
  • C
  • C++
  • Markdown
  • + 2
2
0

CEConv

Code underlying the publication: Color Equivariant Convolutional Networks

  • color equivariance
  • color robustness
  • equivariance
  • + 1
  • Markdown
  • Other
  • Python
5
0

CLEAR-IT

CLEAR-IT, a framework for Contrastive Learning to Capture the Immune Composition of Tumor Microenvironments (software, GitHub mirror)

  • cell phenotyping
  • Contrastive Learning
  • deep learning
  • + 6
  • Jupyter Notebook
  • Markdown
  • Other
  • + 2
2
0

clinical feasibility

Code underlying the publication: Assessing Clinical Feasibility of Evolutionary Therapy in metastatic NSCLC

  • adaptive therapy
  • cancer modeling
  • evolutionary cancer therapy
  • + 4
  • large-text-file
  • Markdown
  • Other
  • + 1
8
0