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
BrazilClim: script to gauge-calibrate the surfaces
BrazilClim: script to gauge-calibrate the surfaces
- Bioclimatic variables
- Brazil
- land surface temperatures
- + 4
Code for the publication: Parametric excitation and friction modulation for a forced 2-dof system
Code for the publication: Parametric excitation and friction modulation for a forced 2-dof system
- effective friction
- Friction-induced oscillations
- Negative damping
- + 2
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: "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
- (JSON)
- (Markdown)
- (Other)
- + 1
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
learningcurvefitting
Code supporting the publication: Learning Learning Curves
- expected error
- extrapolation
- Interpolation
- + 2
- (Markdown)
- (Other)
- (Python)
mo-tas
Truck Appointment Systems - Multi-Objective model
- Collaboration
- Multi-Agent Systems
- prioritized planning
- + 2
- (Markdown)
- (Python)
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
- (Markdown)
- (Other)
- (Python)