All software
Network structures
A draft model with some useful code for creating different network structures using the Netlogo NW extension: small-world, preferential attachment, circular, star, wheel, lattice, random, nearest neighbours.
Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"
Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"
- Correct-by-construction
- Gabow
- IRF
- + 13
AutoEncodersDLSCA
Code underlying the publication: Autoencoder-enabled model portability for reducing hyperparameter tuning efforts in side-channel analysis
- Autoencoders
- Hyperparameter Tuning
- Portability
- + 3
- Python
- Other
- Markdown
BrazilClim: script to gauge-calibrate the surfaces
BrazilClim: script to gauge-calibrate the surfaces
- Bioclimatic variables
- Brazil
- land surface temperatures
- + 4
Code supporting the paper: Stability of a two-dimensional biomorphoelastic model for post-burn contraction
Code supporting the paper: Stability of a two-dimensional biomorphoelastic model for post-burn contraction
- Burns
- MATLAB
- Morphoelasticity
- + 3
Code to produce the results of the publication: “Examining the Role of Intrinsic and Reflexive Contributions to Ankle Joint Hyper-Resistance Treated with Botulinum Toxin-A”
Code to produce the results of the publication: “Examining the Role of Intrinsic and Reflexive Contributions to Ankle Joint Hyper-Resistance Treated with Botulinum Toxin-A”
- BoNT-A injections
- Instrumented SPAT
- Joint resistance
- + 2
Code underlying the publication: Maintenance Optimization for Multi-Component Systems with a Single Sensor
Code underlying the publication: Maintenance Optimization for Multi-Component Systems with a Single Sensor
- Condition-based maintenance
- Inspection planning
- Maintenance
- + 2
- Python
- Other
Code underlying the publication: "Self-Supervised PPG Representation Learning Shows High Inter-Subject Variability"
Code underlying the publication: "Self-Supervised PPG Representation Learning Shows High Inter-Subject Variability"
- Autoencoder
- Human Activity Recognition
- Inter-Subject Variability
- + 3
- Python
- Other
- Markdown
- + 1
CoralModel: A Python-based model that resembles the biophysical interactions on a coral reef
CoralModel: A Python-based model that resembles the biophysical interactions on a coral reef
- biophysics
- Coral Reef Ecology
- hydrodynamics
Data and code underlying Chapter 4 of the PhD thesis "Advanced Magnetocaloric Regenerators for Heat Pump Applications"
Data and code underlying Chapter 4 of the PhD thesis "Advanced Magnetocaloric Regenerators for Heat Pump Applications"
- active magnetocaloric regenerator
- layered AMR
- magnetocaloric heat pump
- + 5
- Other
- Python
Fast Rotor Loss Calculations in Fractional-Slot Permanent Magnet Machines
Fast Rotor Loss Calculations in Fractional-Slot Permanent Magnet Machines
- COMSOL multiphysics software
- Eddy current losses
- Permanent magnet machine
Generics library for datatype-generic programming in Agda
Generics library for datatype-generic programming in Agda
- Agda
- Dependent Types
- Generic Programming
- + 2