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 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
Data underlying the publication/thesis chapter: Scale Learning in Scale-Equivariant Convolutional Networks
Data underlying the publication/thesis chapter: Scale Learning in Scale-Equivariant Convolutional Networks
- computer vision
- Convolutional neural network (CNN)
- equivariance
- + 3
- (JSON)
- ("Jupyter Notebook")
- (Markdown)
- + 5
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
mo-tas
Truck Appointment Systems - Multi-Objective model
- Collaboration
- Multi-Agent Systems
- prioritized planning
- + 2
- (Markdown)
- (Python)
Supplementary data for the paper 'From A to B with Ease: User-Centric Interfaces for Shuttle Buses'
Supplementary data for the paper 'From A to B with Ease: User-Centric Interfaces for Shuttle Buses'
- Micro-mobility
- Shuttle bus
- User Interface
- + 1
Supplementary materials for the paper: On Senders’s Models of Visual Sampling Behavior
Supplementary materials for the paper: On Senders’s Models of Visual Sampling Behavior
- bandwidth
- Computer simulation
- replication
- + 2