All software
P1-data-combination-code
Code to paper "Changing Sea Level, Changing Shorelines: Integration of Remote Sensing Observations at the Terschelling Barrier Island"
- coastline
- Remote sensing
- sea level
- + 1
- Jupyter Notebook
- Other
- Markdown
- + 1
PETsChallenge
Code underlying: Privacy-Preserving Membership Queries for Federated Anomaly Detection
- Anomaly detection
- cryptography
- elliptic curves
- + 4
- Rust
- Markdown
- Python
- + 4
sse-akf-directional-waves-pem
Code underlying the publication: Unidirectional and multi-directional wave estimation from ship motions using an Adaptive Kalman Filter with the inclusion of varying forward speed
- Adaptive Kalman filter
- Sea state estimation
- Ship motion responses
- + 1
- Python
- Markdown
- Other
swinging-kite
Swinging Motion of a Kite with Suspended Control Unit Flying Turning Manoeuvres (Code)
- Airborne Wind Energy (AWE)
- Flight data analysis
- Kite power
- + 2
- Python
- Other
- YAML
- + 1
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
Application of SDDTMPC to control a unicycle
Application of SDDTMPC to control a unicycle
- MPC
- nonlinear control
- robotics
- + 2
- Matlab
- 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