Software | Research Software Directory

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

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 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

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

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

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 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 "Contextual Similarity Distillation: Ensemble Uncertainties with a Single Model"

data augmentation
deep ensembles
Machine learning
+ 2

4

0

Code accompanying the paper "Contextual Similarity Distillation: Ensemble Uncertainties with a Single Model" - VizDoom

data augmentation
deep ensembles
Machine learning
+ 2

4

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 "Universal Value-Function Uncertainties"

deep ensembles
deep learning
Exploration
+ 4

7

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

Code and dataset supporting the publication "STARVESPAM: Mitigating Spam with Local Reputation in Permissionless Blockchains"

Blockchain
Decentralized reputation
Peer-to-Peer
+ 2

(large-text-file)
(Markdown)
(Other)
+ 2

4

0

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

glob imports
haskell
lm
+ 5

(Haskell)
(Other)
(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

(large-text-file)
(Markdown)
(Matlab)
+ 1

1

0

Code for Chapter 4 of dissertation: Vibration-induced friction force modulation

dynamic friction models
effective friction
transverse stiffness

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: Ion Sensing based on Frequency-Dependent Physico-Chemical Processes at Electrode/Electrolyte Interfaces

Electrochemical Impedance Spectroscopy (EIS)
Electrode/Electrolyte Interfaces
Ion-specific Fingerprint
+ 3

8

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

(Markdown)
(Other)
(Python)
+ 1

1

0

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

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

(Markdown)
(Other)
(Python)

3

0

Code for publication: Vibration-induced friction modulation for an oscillator moving on an elastic rod

Critical velocity
effective friction
Flexible rod
+ 3

1

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

(Markdown)
(Matlab)

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

(Markdown)
(Matlab)
(Other)

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

(Markdown)
(Matlab)
(Other)

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

(C)
(HTML)
(Markdown)
+ 4

1

0

All software