Skip to main content
Ctrl K

All software

1405 software items. Page 46 of 118. 12 items per page.
541-552 of 1405

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 supplement the tool-paper: Spectral - Translating Specifications for Deductive Verification into LLVM-IR

Artifact to supplement the tool-paper: Spectral - Translating Specifications for Deductive Verification into LLVM-IR

  • Deductive verification
  • LLVM
  • LLVM-IR
  • + 4
2
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

Assets for JOAN: a framework for human-automated vehicle interaction experiments in a virtual reality driving simulator

Assets for JOAN: a framework for human-automated vehicle interaction experiments in a virtual reality driving simulator

  • Carla simulator
  • Driving simulation
  • JOAN simulator
  • + 1
5
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

Attitudes Toward a Virtual Smoking Cessation Coach: Analysis Code

Attitudes Toward a Virtual Smoking Cessation Coach: Analysis Code

  • Acceptance
  • Behavior change support systems
  • Chatbot
  • + 7
6
0

Axies: Identifying and Evaluating Context Specific Values - code

Axies: Identifying and Evaluating Context Specific Values - code

  • Context
  • Ethics
  • NLP
  • + 1
4
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

Bioinformatics analysis workflow for viral metagenomic datasets across natural and engineered water systems

Bioinformatics analysis workflow for viral metagenomic datasets across natural and engineered water systems

  • bioinformatics
  • Environmental virology
  • Riverbank filtration
  • + 5
2
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