All software
supersonic-effects
A Python package to model ozone column changes and radiative effects in response to various aircraft emissions at different altitudes over specific regions. The model combines empirical emission sensitivities to estimate effects of supersonic transport on ozone and radiation.
- aircraft
- Earth & Environment
- Earth System Modelling
- + 4
- Jupyter Notebook
- Python
Tamarin Prover
The Tamarin Prover is a state-of-the-art tool for the analysis of security protocols, which underpin the security of modern distributed computing.
- Cryptographic Protocols
- Formal Verification
- Information
- Haskell
- Python
- JavaScript
- + 11
TBT-Segmentation
Our tool uses Temporal Behavior Trees (TBT), a novel formalism for monitoring specifications, to segment traces provided as CSVs. Developers input a trace, and the tool analyzes it using a TBT to identify which parts of the software worked and which didn’t, aiding in system analysis and debugging.
- CPS
- Formal Specification
- monitoring
- + 2
- Rust
- Python
- Shell
- + 2
ULTImodel
A universal transport distribution model written in Python.
- Transport Distribution
- transport modelling
- Python
SyGMa
SyGMa provides fast and lightweight predictions of human metabolites to support discovery scientists design better and safer drugs
- Workflow technologies
- Python
Catalyst
Morph: Code Supporting the Publication: Dynamic Topology Optimization for Non-IID Data in Decentralized Learning
- asynchronous
- Byzantine Robustness
- Client Heterogeneity
- + 1
- Jupyter Notebook
- Markdown
- Other
- + 2
Code underlying the publication: Exploiting Learned Symmetries in Group Equivariant Convolutions
Code underlying the publication: Exploiting Learned Symmetries in Group Equivariant Convolutions
- equivariance
- equivariant convolutions
- separable convolutions
- Markdown
- Other
- Python
Dataset-NonDimensionalisationQMOM
Data to reproduce the paper: "Non-dimensionalization of quadrature method of moments for wet granulation"
- 10th granulation conference Sheffield
- Buckingham Theorem
- non-dimensionalization
- + 3
- Markdown
- Matlab
- Other
- + 1
det2d-read
Python package to read 2D human poses from json files
- 2D pose detection
- Data loading
- Multiprocessing
- + 1
- JSON
- Markdown
- Other
- + 2
hybrid-vehicle-platoon
Software for publication: A comparison benchmark for distributed hybrid MPC control methods: Distributed vehicle platooning
- autonomous vehicles
- distributed model predictive control
- Hybrid Systems
- + 2
- Markdown
- Other
- Python
MC_RB_EM_1D
Data and scripts underlying the publication: Estimation of electrical conductivity models using multi-coil rigid-boom electromagnetic induction measurements
- electromagnetic induction
- frequency domain electromagnetics
- inversion
- Jupyter Notebook
- Markdown
- Other
- + 1
OFF framework, code underlying the publication A dynamic open-source model to investigate wake dynamics in response to wind farm flow control strategies
OFF framework, code underlying the publication A dynamic open-source model to investigate wake dynamics in response to wind farm flow control strategies
- dynamic parametric wake model
- surrogate wake model
- wind farm flow control
- + 1
- CSS
- HTML
- JavaScript
- + 7