All software
Landscape and Land Cover Generation
This algorithm generates landscapes and landcovers in contiguous zones. Users can define different landscape types, landcovers and rules for settlement placement in the setup procedure. It is designed to allow flexible configuration of environmental and social parameters.
SyGMa
SyGMa provides fast and lightweight predictions of human metabolites to support discovery scientists design better and safer drugs
- Workflow technologies
- (Python)
agda-core
Code underlying the publication: Building a Correct-By-Construction Type Checker for a Dependently Typed Core Language
- core language
- Dependent Types
- type-checking
- + 2
- (Haskell)
- (Markdown)
- (Other)
- + 1
Code supporting the paper: High-speed predictions of post-burn contraction using a neural network trained on 2D-finite element simulations
Code supporting the paper: High-speed predictions of post-burn contraction using a neural network trained on 2D-finite element simulations
- Feedforward neural network
- Machine learning
- Monte Carlo simulations
- + 2
Code to produce the results of the publication: “Reducing the Soleus Stretch Reflex with Conditioning: Exploring Game- and Impedance-based Biofeedback”
Code to produce the results of the publication: “Reducing the Soleus Stretch Reflex with Conditioning: Exploring Game- and Impedance-based Biofeedback”
- Electromyography (EMG)
- Gamification
- operant conditioning
- + 2
Code underlying the publication: Exploiting Learned Symmetries in Group Equivariant Convolutions
Code underlying the publication: Exploiting Learned Symmetries in Group Equivariant Convolutions
- equivariance
- equivariant convolutions
- separable convolutions
- (Markdown)
- (Other)
- (Python)
Code underlying the publication: "Humans disagree with the IoU for measuring object detector localization error."
Code underlying the publication: "Humans disagree with the IoU for measuring object detector localization error."
- Human preference
- Intersection over Union (IoU)
- Object detection
- ("Jupyter Notebook")
- (Markdown)
- (Other)
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
Dynamic-Graph-Decomposition
Code underlying the publication: Tensor Graph Decomposition for Temporal Networks
- decomposition
- dynamic graphs
- graph signal processing
- + 1
- (Matlab)
- (Other)
mo-tas
Truck Appointment Systems - Multi-Objective model
- Collaboration
- Multi-Agent Systems
- prioritized planning
- + 2
- (Markdown)
- (Python)
OFF framework, code underlying the publication A dynamic open-source model to investigate wake dynamics in response to wind farm flow control strategies
OFF framework, code underlying the publication A dynamic open-source model to investigate wake dynamics in response to wind farm flow control strategies
- dynamic parametric wake model
- surrogate wake model
- wind farm flow control
- + 1
- (CSS)
- (HTML)
- (JavaScript)
- + 7
oraqle
Oraqle: A Depth-Aware Secure Computation Compiler
- arithmetization
- compiler
- cryptography
- + 1
- (C++)
- ("Jupyter Notebook")
- (Markdown)
- + 4