All software
Xenon gRPC server
Run applications remotely via a gRPC interface.
- High performance computing
- Java
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 supporting the publication: Towards Backdoor Stealthiness in Model Parameter Space.
Code supporting the publication: Towards Backdoor Stealthiness in Model Parameter Space.
- backdoor attack
- computer vision
- Convolutional neural networks
- + 4
- Markdown
- Other
- Python
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
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
LDPoly
Source code for "LDPoly: Latent diffusion for polygonal road outline extraction in large-scale topographic mapping"
- aerial imagery
- latent diffusion
- polygonal road outline extraction
- + 4
- Markdown
- Python
- YAML
mml_nbh_class_paper
Code underlying the paper "The Spatio-Temporal Evolution of Social Inequalities in Cities: A Multidimensional, Multiscalar and Longitudinal Approach for Neighbourhood Classification"
- Cluster Analysis
- code
- geodemographics
- + 6
- Markdown
- Other
- R