All software
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
Artefact for doctoral thesis "Verifying Optimised Parallel Code"
Artefact for doctoral thesis "Verifying Optimised Parallel Code"
- Deductive verification
- formal methods
- GPU
- + 2
- C
- C++
- Markdown
- + 4
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
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
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
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
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
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
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
CEConv
Code underlying the publication: Color Equivariant Convolutional Networks
- color equivariance
- color robustness
- equivariance
- + 1
- Markdown
- Other
- Python
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