Software | Research Software Directory

WRF-runner

Simple shell script to run a complete WPS/WRF experiment in one go

climate
Forecasting
workflow
+ 1

Shell

2

1

Angle-and-step random walk

An Python implementation of random walk in 2D space based on agent angle orientation and step distance. It defines an agent class `Walker` capable of random walk movement based on random angle and movement step distance in a continuous 2D space.

1

0

Random walk in data frames

Collection of methods for producing random walks in two-dimensional space outputting position coordinates in data frames, including alternatives for grid and non-grid space. In R, it uses tidyverse "tibble" to construct the data frames that store trajectories.

2

0

Resource exploitation procedure

This module takes an agent and lets it decide which resources to target and exploit. The agent moves to the patch to be harvested, takes the resources and returns home

1

0

Absorption Coefficient Estimator using Domain Adaptation

Code underlying the research project: Extracting absorption coefficients from a room impulse response using a convolutional neural network with domain adaptation

Absorption Coefficient
domain adaptation
Machine learning
+ 3

Markdown
Matlab
Other
+ 1

1

0

abstraction-mpc-integration

Code for publication: Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization

Abstraction
formal methods
Hybrid Systems
+ 3

CSS
HTML
JavaScript
+ 4

5

0

ACDC-OpFlow

ACDC-OpFlow, Unified, Cross-Language Framework for AC/DC Optimal Power Flow Solutions

AC/DC power systems
Optimal Power Flow
power electronic converters

4

0

ACPV-Net

Source code for “ACPV-Net: All-Class Polygonal Vectorization for Seamless Vector Map Generation from Aerial Imagery”

ACPV-Net
aerial imagery
all-class polygonal vectorization
+ 4

C
C++
Markdown
+ 3

4

0

A demand management and frequency settings model for complying to the COVID-19 capacity limits in public transport operations

COVID-19
demand management
frequency settings
+ 3

1

0

AeoLiS v2.1.0

advection
aeolian sediment transport
coastal dunes
+ 5

9

0

Agent-based model software written for the master thesis Scaling Up, Staying Secure

Agent based modelling and simulation (ABMS)
CYBER SECURITY
Distributed energy resources (DER)
+ 2

1

0

A high spatial resolution Extended Spring Indices database over American and European regions

Citizen Science
Climate change
Cloud computing
+ 4

Markdown
Other
Python

2

0

Air Traffic Control Reinforcement Learning Environment

Air Traffic Control (ATC)
Air traffic management (ATM)
Reinforcement Learning (RL)

4

0

A model for modifying the public transport service patterns to account for the imposed COVID-19 capacity

capacity
coronavirus
COVID-19
+ 7

1

0

AmpliDiff

Code underlying the publication: "AmpliDiff: An Optimized Amplicon Sequencing Approach to Estimating Lineage Abundances in Viral Metagenomes"

Abundance Estimation
Amplicon Sequencing
Primer Design
+ 1

C
Markdown
Other
+ 3

3

0

ANNESI: An open-source artificial neural network for estuarine salt intrusion

estuary
Neural Network
salt intrusion

1

0

Application of SDDTMPC to control a unicycle

MPC
nonlinear control
robotics
+ 2

Markdown
Matlab

1

0

ApPlyWood: a calculation tool supporting the design of plywood-based seismic retrofitting interventions on existing timber floors

Architectural conservation
Design tools
Earthquake engineering
+ 4

1

0

APS

APS: Asses Pedestrian model Speed framework

Computational Complexity
Model assessment framework
Pedestrian models
+ 1

JSON
Markdown
Other
+ 1

1

0

Argon Laser-Plasma Thruster - Design and Test of a Laboratory Model - Processing and Analysis Code

argon
laser
laser-sustained plasma
+ 4

JSON
Jupyter Notebook
Markdown
+ 5

1

0

Artefact for doctoral thesis "Verifying Optimised Parallel Code"

Deductive verification
formal methods
GPU
+ 2

C
C++
Markdown
+ 4

1

0

Artifact for Article: Extending Deductive Verification of SYCL in VerCors with Sub-groups

Deductive verification
heterogeneous computing
SYCL
+ 1

4

0

Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)

Annotation-aware
Deductive verification
GPU
+ 2

4

0

Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"

Correct-by-construction
Floating-point
IEEE 754
+ 6

C
C++
JSON
+ 5

5

0

Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"

Correct-by-construction
Interactive Theorem Proving
Maximal End Components
+ 3

C
C++
JSON
+ 6

3

0

Artifact of Knor: reactive synthesis using Oink

binary decision diagrams
parity games
reactive synthesis

Automake
C
C++
+ 15

1

0

Artifact to supplement the tool-paper: Spectral - Translating Specifications for Deductive Verification into LLVM-IR

Deductive verification
LLVM
LLVM-IR
+ 4

2

0

Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"

Correct-by-construction
Interactive Theorem Proving
Markov decision process
+ 1

C
C++
JSON
+ 4

1

0

Assets for JOAN: a framework for human-automated vehicle interaction experiments in a virtual reality driving simulator

Carla simulator
Driving simulation
JOAN simulator
+ 1

5

0

ATHENS

ATHENS: Aerodynamic Tracer for High-altitude Environment Numerical Simulations

Direct Simulation Monte Carlo (DSMC)
free molecular flow
gas-surface interaction
+ 2

C
C++
Markdown
+ 3

1

0

Attitudes Toward a Virtual Smoking Cessation Coach: Analysis Code

Acceptance
Behavior change support systems
Chatbot
+ 7

6

0

Axies: Identifying and Evaluating Context Specific Values - code

Context
Ethics
NLP
+ 1

4

0

bachelor-thesis

Code underlying the BSc thesis: Creating Robust Train Unit Shunting Plans using Probabilistic Programming

inference
Probabilistic modelling
railroad
+ 12

JSON
Julia
Markdown
+ 2

1

0

Bayesian Ensembles for Exploration in Deep Reinforcement Learning; Code underlying the dissertation "Bayesian Model-Free Deep Reinforcement Learning"

Bayesian modelling
Deep Reinforcement Learning (DRL)
Ensemble model
+ 2

Markdown
Python

1

0

BEWARE

BEWARE Artifact: Code and Datasets for "Robust and Automated Reconfiguration of Byzantine Wide-Area Replication"

BFT-SMaRt
Byzantine fault tolerance
consensus latency
+ 7

Java
JSON
Markdown
+ 5

4

0

Bioinformatics analysis workflow for viral metagenomic datasets across natural and engineered water systems

bioinformatics
Environmental virology
Riverbank filtration
+ 5

2

0

bluesky_gym_population_density_extension

Data supporting the Master's thesis "Balancing Noise and Fuel: Spatially Aware Reinforcement Learning for Air Traffic Control"

air traffic control
Convolutional Neural Network
noise abatement
+ 2

JSON
large-text-file
Markdown
+ 4

1

0

Bluesky software: underlying the publication “Improving Algorithm Conflict Resolution Manoeuvres with Reinforcement Learning”

Air traffic management (ATM)
BlueSky
Conflict detection and resolution
+ 3

1

0

Boundary-Layer-Program underlying the master thesis: Simulation of Two-Dimensional Steady State Boundary Layers Applied to Nonideal Gas Flows

algebraic turbulence model
boundary layer method
CS-model
+ 6

1

0

bounded-private-cycle-detection

Source code underlying the publication: Privacy-Preserving Peer-to-Peer Cycle Detection

cycle detection
multi-party computation
privacy-preserving
+ 1

C
C++
Markdown
+ 2

2

0

CEConv

Code underlying the publication: Color Equivariant Convolutional Networks

color equivariance
color robustness
equivariance
+ 1

Markdown
Other
Python

5

0

ChildsPlayAccessibility (Github) code repository: spatial analysis underlying the conference paper "Easy as child’s play? Co-designing a network-based metric for children’s access to play space"

Accessibility
Children
Co-design
+ 2

2

0

Cities for Citizens: Identification of Public Value Conflicts in Urban Spaces - Accompanying Code

Natural Language Processing
spatial analysis
Structural Topic Modelling
+ 1

1

0

CLEAR-IT

CLEAR-IT, a framework for Contrastive Learning to Capture the Immune Composition of Tumor Microenvironments (software, GitHub mirror)

cell phenotyping
Contrastive Learning
deep learning
+ 6

Jupyter Notebook
Markdown
Other
+ 2

2

0

clinical feasibility

Code underlying the publication: Assessing Clinical Feasibility of Evolutionary Therapy in metastatic NSCLC

adaptive therapy
cancer modeling
evolutionary cancer therapy
+ 4

large-text-file
Markdown
Other
+ 1

8

0

Cluster Analysis of Temporal Patterns of Travel Production

The codes associated with the publication: A Cluster Analysis of Temporal Patterns of Travel Production in the Netherlands: Dominant within-day and day-to-day patterns and their association with Urbanization Levels

demand pattern
land-use feature
temporal pattern
+ 2

Jupyter Notebook
Markdown
Other
+ 1

3

0

Code accompanying "Observing formation and early evolution of contrails formed by IAGOS aircraft using high-resolution LEO satellite imagery"

CoCiP
Contrails
IAGOS
+ 4

JSON
Jupyter Notebook
large-text-file
+ 3

4

0

Code accompanying: "On the limitations of inverse force estimation with strain-based sensing and reduced modal models in hydroelastic systems"

hydroelasticity
identifiability
inverse load estimation
+ 4

3

0