Software | Research Software Directory

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

Other
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

Other
XML
JSON
+ 6

3

0

Artifact of Knor: reactive synthesis using Oink

binary decision diagrams
parity games
reactive synthesis

Other
C
HTML
+ 15

1

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

Other
C
C++
+ 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

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
Other
Julia
+ 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

Python
Markdown

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
Other
+ 2

2

0

CEConv

Code underlying the publication: Color Equivariant Convolutional Networks

color equivariance
color robustness
equivariance
+ 1

Python
Markdown
Other

5

0

CHI2025_Plan-then-Execute_LLMAgent

User Interaction Dataset for CHI 2025 paper "Plan-Then-Execute: An Empirical Study of User Trust and Team Performance When Using LLM Agents As A Daily Assistant."

Daily Assistant
Human-AI Collaboration
large language models
+ 2

JSON
Other
Python
+ 7

3

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

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
Python
Markdown
+ 1

3

0

Code Accompanying the Doctoral Dissertation: Theory of Chirality Induced Spin Selectivity in Two Terminal Transport

Magneto-transport
Onsager reciprocity, Büttiker reciprocity, Voltage probes, Coulomb interactions, Mean-field theory, (non-)collinear Hubbard one approximation, Vibrational modes, Spin-orbit coupling, Stray fields, Chirality Induced Spin Selectivity

1

0

Code accompanying the paper on aircraft path planning in continuous environments with deep reinforcement learning

BlueSky
Deep Reinforcement Learning
Path Planning
+ 1

1

0

Code accompanying the paper "Validating human driver models for interaction-aware automated vehicle controllers: A human approach”

automated driving
driver model validation
interaction-aware controllers
+ 1

3

0

Code and data accompanying the paper entitled "Seismic fault slip behaviour predicted from internal microphysical processes"

Earthquake simulation
high velocity friction
microphysical model
+ 1

1

0

Codebase Underlying the BSc Thesis: Type-Checking Modules and Imports using Scope Graphs

glob imports
haskell
lm
+ 5

Other
Haskell
Python
+ 1

3

0

Code belonging to the publication: Closed-loop model-predictive wind farm flow control under time-varying inflow using FLORIDyn

dynamic engineering wake model
FLORIDyn
MATLAB
+ 5

Other
Matlab
Markdown
+ 1

1

0

Code for evaluating albedo change and radiative forcing from roof PV integration in Delft

albedo simulation
large-scale simulation
radiative forcing
+ 1

1

0

Code for paper Diameter Dependence of Transport through Nuclear Pore Complex Mimics Studied Using Optical Nanopores

coarse grained MD
Coarse Grained Molecular Simulation Models
FDTD modeling
+ 12

3

0

Code for project: Approximate Edge AI Components for energy-aware adaptive framework

approximation
edge devices
Energy-aware computing
+ 2

Python
Markdown
YAML
+ 1

1

0

Code for publication: A general partitioning strategy for non-centralized control

Complex Large-Scale Systems
Hybrid Systems
Non-Centralized Control
+ 2

Other
Python
Markdown

3

0

Code for the custom search engine used for the Master Thesis on the Impact of Biased Search Results on User Engagement in Web Search

code
search engines

1

0

Code for the Implementation of State-Dependent dynamic tube model predictive control

Fuzzy model
Model predictive control
Robust optimization

Matlab
Markdown

1

0

Code for the master thesis "Exploring the Effect of Automation Failure on the Human's Trustworthiness in Human-Agent Teamwork"

automation failure
game
human-automation teamwork
+ 2

1

0

Code for the paper "Characterizing residential segregation in cities using intensity, separation, and scale indicators"

Software

1

0

Code from Paper Palladium Zero-Mode Waveguides for Optical Single Molecule Detection with Nanopores

biophysics
DNA
Fluorescence
+ 7

1

0

Code on Sliding Mode Observer Based Detection of MITM Attacks In CVPs

Attack Detection
collaborative vehicle platoon
Cooperative Adaptive Cruise Control (CACC)
+ 3

1

0

Code on Topology Switching Control Of CVP Under MITM Attack

collaborative vehicle platoon
control theory
Cooperative Adaptive Cruise Control (CACC)
+ 8

1

0

Code related to "Loudspeaker Beamforming to Enhance Speech Recognition Performance of Voice Driven Applications"

Auditory Masking
Beamforming
Speech Recognition
+ 1

Matlab
Other
Markdown

1

0

Code Repository of "Advancing Data Quality Assurance with Machine Learning: A Case Study on Wind Vane Stalling Detection"

Atmospheric Boundary Layer
Cabauw Experimental Site for Atmospheric Research
Data Quality
+ 1

3

0

Code to analyse winch sizing for ground-generator airborne wind energy systems

airborne wind energy
AWE
control
+ 1

Matlab
Other
Markdown

1

0

Code to generate transit times as input for the Material Accessibility Analysis

Accessibility
Amsterdam
urban commons

1

0

Code to test the implementation of linear Bi-level Parent-Child MPC

Hierarchical MPC
Model predictive control
Robust optimization
+ 1

Matlab
HTML
Other
+ 4

1

0

Code to test the implementation of nonlinear Bi-level Parent-Child MPC

Hierarchical MPC
Model predictive control
Robust optimization
+ 1

Matlab
HTML
Other
+ 4

1

0

Code underlying Fluid-structure interaction model to predict bending vibrations of flood gates

Bending vibrations
Discharge sluice
Flood gates
+ 4

1

0

Code underlying the BSc thesis: Efficient Auditory Coding for Bat Vocalizations

auditory coding
auditory processing
bat vocalizations
+ 4

1

0

Code underlying the publication: A Benchmark for the Application of Distributed Control Techniques to the Electricity Network of the European Economic Area

distributed model predictive control
Electricity Market
European Power Grid
+ 2

Other
Matlab
Markdown

3

0

Code underlying the publication: A Generalized Partitioning Strategy for Distributed Control

alternating direction method of multipliers
distributed model predictive control
multiagent systems
+ 1

Other
Matlab

3

0

Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints

Dependent Types
elaboration
elaborators
+ 3

TeX
Haskell
Other
+ 4

2

0

Code underlying the publication: Multibody dynamic modelling and simulation of flexible instruments used in brachytherapy

Cervical cancer brachytherapy
Flexible instrument
Multibody dynamics
+ 1

9

0

Code underlying the publication: "PATE: Proximity-Aware Time series anomaly Evaluation"

Anomaly detection
Evaluation Metrics
Precision
+ 2

Python
YAML
Markdown
+ 1

3

0

Code underlying the publication: Simulating event based pesticide transport with runoff and erosion, OpenLISEM-pesticide v.1

environmental fate
erosion
modelling
+ 3

Other
R
Markdown
+ 1

4

0

All software