All software
Air Traffic Control Reinforcement Learning Environment
Air Traffic Control Reinforcement Learning Environment
- Air Traffic Control (ATC)
- Air traffic management (ATM)
- Reinforcement Learning (RL)
A model for modifying the public transport service patterns to account for the imposed COVID-19 capacity
A model for modifying the public transport service patterns to account for the imposed COVID-19 capacity
- capacity
- coronavirus
- COVID-19
- + 7
AmpliDiff
Code underlying the publication: "AmpliDiff: An Optimized Amplicon Sequencing Approach to Estimating Lineage Abundances in Viral Metagenomes"
- Abundance Estimation
- Amplicon Sequencing
- Primer Design
- + 1
- (C)
- (Markdown)
- (Other)
- + 3
ANNESI: An open-source artificial neural network for estuarine salt intrusion
ANNESI: An open-source artificial neural network for estuarine salt intrusion
- estuary
- Neural Network
- salt intrusion
Application of SDDTMPC to control a unicycle
Application of SDDTMPC to control a unicycle
- MPC
- nonlinear control
- robotics
- + 2
- (Markdown)
- (Matlab)
ApPlyWood: a calculation tool supporting the design of plywood-based seismic retrofitting interventions on existing timber floors
ApPlyWood: a calculation tool supporting the design of plywood-based seismic retrofitting interventions on existing timber floors
- Architectural conservation
- Design tools
- Earthquake engineering
- + 4
APS
APS: Asses Pedestrian model Speed framework
- Computational Complexity
- Model assessment framework
- Pedestrian models
- + 1
- (JSON)
- (Markdown)
- (Other)
- + 1
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 paper (Alpinist: an Annotation-Aware GPU Program Optimizer)
Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)
- Annotation-aware
- Deductive verification
- GPU
- + 2
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