Software | Research Software Directory

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

(Markdown)
(Other)
(Python)

1

0

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

Brassicaceae
Hirschfeldia incana
photosynthesis
+ 1

(Other)
(Python)
(R)
+ 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

(Markdown)
(Python)

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 and data underlying the publication "Context-Informed Machine Translation of Manga using Multimodal Large Language Models"

Automatic manga translation
Comics
Graphic novels
+ 4

(JSON)
("Jupyter Notebook")
(Markdown)
+ 3

5

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

(Markdown)
(Other)
(Python)
+ 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

(JSON)
("Jupyter Notebook")
(large-text-file)
+ 4

1

0

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

decentralised learning
graph girth
privacy-preserving summation
+ 2

(Markdown)
(Matlab)
(Other)

3

0

spacevlbi

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

astronomy
Spacecraft Optimisation
Space Mission Design
+ 1

(Markdown)
(Other)
(Python)
+ 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

(JSON)
(Markdown)
(Other)
+ 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

(HTML)
(Julia)
(Markdown)
+ 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

(Automake)
(Other)
(Python)
+ 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

SWMM_GNN_Component_Evaluation_and_Transferability_Analysis

Code for paper "Evaluation of Graph Neural Networks for Urban Drainage Metamodeling: Key Components and Transferability Analysis"

Graph Neural Network
Hyperparameter Tuning
Stormwater management model (SWMM)
+ 3

("Jupyter Notebook")
(Markdown)
(Other)
+ 2

4

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

thesis-code-mia-mkp

Code supporting the BSc thesis: "The Illusion of Ability: The Poisoned Promise of LLM Performance. An Evaluation of the Min-K% Prob membership inference attack."

large language models
Machine learning
membership inference
+ 2

(HTML)
(JSON)
(large-text-file)
+ 4

1

0

topological_SB_matching

Code underlying: Topological Schrödinger Bridge Matching

distribution matching
generative models
graph and simplicial complex
+ 1

("Jupyter Notebook")
(Markdown)
(Other)
+ 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

trtpi

Code underlying the publication: Trust-Region Twisted Policy Improvement

Autonomous Path-Planning
deep learning
Markov decision process
+ 2

("Jupyter Notebook")
(Markdown)
(Other)
+ 3

4

0

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

data visualization
plot-a-thon
Statistics

(JSON)
(large-text-file)
(Markdown)
+ 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

(Markdown)
(Matlab)
(Other)

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

(Fortran)
(Markdown)
(Other)
+ 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

(JSON)
(Markdown)
(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

Video Annotation Software

Artificial intelligence
process modeling study
Process modelling

3

0

VSIDS learning code: "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers"

GCN
Graph Convolutional Networks
lazy clause generation
+ 5

3

0

Wake-informed Lifting Line Theory: Example Code

Blade Loading Distributions
Experimental Measurement Analysis
Lifting Line
+ 3

1

0

xcrisp

Data and code underlying the publication: X-CRISP: Domain-Adaptable and Interpretable CRISPR Repair Outcome Prediction

CRISPR
DNA repair
explainability
+ 3

2

0

Abinit

Abinit is a software package based on density functional theory for calculating the properties of solids.

(C)
(C++)
(CMake)
+ 15

3

0

All software