Software | Research Software Directory

Soft Gripper AR Framework

Augmented Reality (AR)
Robot Operating System (ROS)
Soft-Robots

2

0

SoftShell Calculator App Version 1

Amsterdam
microdrilling
pile foundations
+ 2

1

0

Software accompanying paper: Refinement of Parallel Algorithms down to LLVM

Concurrent Separation Logic
Isabelle
LLVM
+ 1

1

0

Software and code for the research project: Interdependence and Communication Style in Human-Agent/Robot Teamwork

Explainable AI (XAI)
GitHub page
Human-Robot Teamwork

1

0

Software code in R for a cluster analysis to cluster and characterize autonomous last mile concepts in a standardized and holistic manner

autonomous fulfillment concepts
autonomous last mile concepts
Cluster Analysis

1

0

Software for 3D particle averaging of SMLM data

Localization microscopy
Single Molecule Localization Microscopy
SMLM methods
+ 1

8

0

Software for Detecting Structural Heterogeneity in Single-Molecule Localization Microscopy Data

classification approach
Single Molecule Localization Microscopy
SMLM
+ 1

4

0

Software for Industrial Mobile Manipulation Virtual Micro Challenge 2022

Mobile manipulation
robotics
Robot Operating System (ROS)
+ 1

6

0

Software for self-adaptive and on-the-fly mapping of coastal parameters from video of a wave field

bathymetry
coast
cocos
+ 8

1

0

Software for Simultaneous orientation and 3D localization microscopy with a Vortex point spread function

fixed dipole emission
Fluorescence
single-molecule localization microscopy
+ 3

6

0

Software needed in Data Availability Statement about Resonant waves play an important role in the increasing heat waves in Northern Hemisphere mid-latitudes under global warming

heat extreme, planetary waves

1

0

Software supporting: Analysis of natural variation in photosynthesis in a panel of Brassicaceae species

Brassicaceae
High-throughput phenotyping
Hirschfeldia incana
+ 1

Other
Python
Markdown

1

0

Software supporting: RNA-Seq analysis of Brassicaceae species under different irradiances

Brassicaceae
Hirschfeldia incana
photosynthesis
+ 1

Python
R
Other
+ 1

1

0

Software tool associated to the master thesis: Multi-Objective optimisation in grid-shell design

grasshopper
Grid-Shell Design
multi objective optimization
+ 1

1

0

Software underlying PhD thesis: AI in the Sky - Advancing Wildlife Survey Methods in Africa with Deep Learning and Aerial Imagery.

Artificial intelligence
deep learning
Monitoring
+ 2

Python
Markdown

1

0

Source code and data for the experiments presented in Deep Reinforcement Learning for Active Wake Control

active wake control
deep learning
Reinforcement learning

4

0

Source code for the MSc thesis: Multi-leader Adaptive Cruise Control Systems considering Sensor Measurement Uncertainties based on Deep Reinforcement Learning

Adaptive Cruise Control
Deep Reinforcement Learning
Kalman filter
+ 4

1

0

Source code for the paper "Constructing Phylogenetic Networks via Cherry Picking and Machine Learning"

Cherry Picking
Heuristic
Hybridization
+ 2

Python
Other
Markdown
+ 1

4

0

Source code for the publication: Learning safety in model-based Reinforcement Learning using MPC and Gaussian Processes

Gaussian Processes
Learning-based Model Predictive Control
Safe Reinforcement Learning

1

0

Source code of the jEULYNX prototype framework

DSL
EULYNX
FormaSig
+ 2

1

0

source-code-phd-dissertation

Code repository for Ph.D. dissertation "Safer Causal Inference: Theory & Algorithms for Falsification, Trial Augmentation and Policy Evaluation"

causality
computer science
Machine learning
+ 1

Other
Python
Jupyter Notebook
+ 4

1

0

Source code underlying the publication: Topology-Based Reconstruction Prevention for Decentralised Learning

decentralised learning
graph girth
privacy-preserving summation
+ 2

Matlab
Markdown
Other

3

0

spacevlbi

Python package for simulating and optimising a space-based VLBI mission

astronomy
Spacecraft Optimisation
Space Mission Design
+ 1

Python
Other
Markdown
+ 1

1

0

spacy-extensions

Code for Threat Intelligence Processing - Unleashing the Real Power of Natural Language Processing for Cyber Threat Intelligence

Cyber Threat Intelligence
Natural Language Processing
Security

Python
Other
JSON
+ 1

9

0

Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation"

Annotations
Deductive verification
Specifications
+ 1

3

0

Specification Translator: Tool to Translate Specifications for Deductive Verifiers

Annotations
Deductive verification
Semantics
+ 3

Other

3

0

Speed Robust Scheduling Supplemental Material

Combinatorial optimization
Computer assisted proof
Data Structures
+ 1

6

0

SpinControl.jl, a numerical package written in Julia

Monte-Carlo
Noisy Quantum Simulation
Open System
+ 2

1

0

spurious_sentience

Software and data underlying the publication: "Position: Stop Making Unscientific AGI Performance Claims"

Artificial General Intelligence
Artificial intelligence
interpretability
+ 1

Other
TeX
Julia
+ 2

4

0

Structural dynamics model to find the dynamic behaviour as a response of the wave loading of the Tidal Bridge in Indonesia

Dynamic structure
Hydraulic loading
Morison equation
+ 1

1

0

structure_calibration_sparse_data

Code: Structural Calibration for Supply Chain Simulation Models with Sparse Data

Simulation
sparse data
structure
+ 2

YAML
Python
Other
+ 2

1

0

Stumblemeter: App and MATLAB code

Accelerometer
gyroscope
Machine learning
+ 3

3

0

Supplementary code to the paper: Flexible Enterprise Optimization With Constraint Programming

Constraint programming (Computer science)
deep learning
Enterprise engineering
+ 2

2

0

Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller

Conformance testing
Model-based testing
Programmable logic controllers
+ 7

3

0

TESTER GHG abatement option selection Tool

Concept design
emission abatement technologies
Greenhouse gas (GHG) emmisions
+ 2

1

0

The model and the data part of the master thesis “Integrating Reuse in MaTrace Models: An implementation and evaluation”

Cobalt
Master thesis
Material flow analysis (MFA)
+ 2

1

0

The role of Foreign Exchange Reserve on Foreign Public Debt in Ethiopian Economy: ARDL Model Approach

Ethiopia
foreign debt reserves

4

0

topological_SB_matching

Code underlying: Topological Schrödinger Bridge Matching

distribution matching
generative models
graph and simplicial complex
+ 1

Other
Jupyter Notebook
Python
+ 3

1

0

Trained CNN model to predict performance of an LPM thruster from the 32 x 32 px image of its microchannel cross-section

convolution neural network
Thruster

1

0

TUD R Cafe Plot-a-thon: 4TU.RD stats

data visualization
plot-a-thon
Statistics

Other
JSON
R
+ 2

1

0

TWORIT

TWORIT: Theoretical solver and Waveguide Optimization for Radiating Irregular Tapered-Cones – A tool for calculating the S parameters and Far Fields of a cascaded cylindrical waveguide structure

Conical Horn Antenna
Electromagnetics
Mode Matching
+ 2

Other
Matlab
Markdown

3

0

UMAT_for_Viscoelastictiy

User-Defined Material Subroutine for Viscoelastic Paving Materials including the Aging Effect

Aging effects
Asphalt materials
Carbonyl area index
+ 2

Other
Fortran
Python
+ 1

4

0

UNetGE software and it User Manual

grain extraction
grain size extraction
image analysis
+ 3

4

0

UNITY: VR Package of a plausible future of bicycle assembly scenario in SAMXL

Future of Work
Futures
Future scenario
+ 8

3

0

Urdf-Environments for OpenAI-Gym

OpenAI-Gym
pybullet
Robotics systems
+ 1

1

0

ValueMonitor software

Ethics of technology
Moral values
Topic Modelling
+ 1

2

0

Value Preferences Estimation and Disambiguation in Hybrid Participatory Systems - code

Active Learning
Natural Language Processing
NLP
+ 1

Python
JSON
Other
+ 1

4

0

Vertical Conflict Resolution in Layered Airspace with Reinforcement Learning using the BlueSky Open Air Traffic Simulator

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

1

0

All software