All software
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
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)
stable-dmpc-pwa
Software underlying publication: Distributed model predictive control for piecewise affine systems based on switching ADMM
- Alternating direction method of multipliers (ADMM)
- distributed model predictive control (MPC)
- networked systems
- + 1
- (Markdown)
- (Matlab)
- (Other)
- + 1
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
atoMEC
atoMEC is a python-based average-atom code for simulations of high energy density phenomena such as in warm dense matter. It is designed as an open-source and modular python package.
- Matter
- Python
- Shell