Software | Research Software Directory

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

Artefact for doctoral thesis "Verifying Optimised Parallel Code"

Deductive verification
formal methods
GPU
+ 2

C
C++
Markdown
+ 4

1

0

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

5

0

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

binary decision diagrams
parity games
reactive synthesis

Automake
C
C++
+ 15

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

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