All software
Absorption Coefficient Estimator using Domain Adaptation
Code underlying the research project: Extracting absorption coefficients from a room impulse response using a convolutional neural network with domain adaptation
- Absorption Coefficient
- domain adaptation
- Machine learning
- + 3
- Other
- Python
- Markdown
- + 1
A high spatial resolution Extended Spring Indices database over American and European regions
A high spatial resolution Extended Spring Indices database over American and European regions
- Citizen Science
- Climate change
- Cloud computing
- + 4
- Python
- Markdown
- Other
AircraftDuctedFanOptimisation
The Unified Ducted Fan Code and Ducted Fan Optimisation Framework
- Aircraft
- Aircraft performance
- Conceptual aircraft design
- + 7
- Python
- Other
- Markdown
APS
APS: Asses Pedestrian model Speed framework
- Computational Complexity
- Model assessment framework
- Pedestrian models
- + 1
- Python
- Other
- Markdown
- + 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
- Other
- TeX
- Jupyter Notebook
- + 5
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
- Other
- 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
- Other
- XML
- JSON
- + 6
Artifact of Knor: reactive synthesis using Oink
Artifact of Knor: reactive synthesis using Oink
- binary decision diagrams
- parity games
- reactive synthesis
- Other
- C
- HTML
- + 15
auction-tas
Truck Appointment Systems - Auction Based
- Auction
- competition
- Scheduling
- + 2
- Other
- Jupyter Notebook
- Python
- + 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
- Python
- Markdown
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
- Other
- + 2
CEConv
Code underlying the publication: Color Equivariant Convolutional Networks
- color equivariance
- color robustness
- equivariance
- + 1
- Python
- Markdown
- Other