All software
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
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
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
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
Axies: Identifying and Evaluating Context Specific Values - code
Axies: Identifying and Evaluating Context Specific Values - code
- Context
- Ethics
- NLP
- + 1
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
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)
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
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
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
Bluesky software: underlying the publication “Improving Algorithm Conflict Resolution Manoeuvres with Reinforcement Learning”
Bluesky software: underlying the publication “Improving Algorithm Conflict Resolution Manoeuvres with Reinforcement Learning”
- Air traffic management (ATM)
- BlueSky
- Conflict detection and resolution
- + 3
Boundary-Layer-Program underlying the master thesis: Simulation of Two-Dimensional Steady State Boundary Layers Applied to Nonideal Gas Flows
Boundary-Layer-Program underlying the master thesis: Simulation of Two-Dimensional Steady State Boundary Layers Applied to Nonideal Gas Flows
- algebraic turbulence model
- boundary layer method
- CS-model
- + 6