Software | Research Software Directory

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

sse-akf-directional-waves-pem

Code underlying the publication: Unidirectional and multi-directional wave estimation from ship motions using an Adaptive Kalman Filter with the inclusion of varying forward speed

Adaptive Kalman filter
Sea state estimation
Ship motion responses
+ 1

Python
Markdown
Other

1

0

StretchSim

Source code underlying the dissertation chapter: Optimal Graph Stretching for Distributed Averaging

Consensus protocols
Convergence time
Cycle elimination
+ 13

Matlab
Markdown
Other

3

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

Summation of currents electromagnetic solver

Coil
FEM
Inductive
+ 6

3

0

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

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

2

0

Supplementary data for the paper 'From A to B with Ease: User-Centric Interfaces for Shuttle Buses'

Micro-mobility
Shuttle bus
User Interface
+ 1

5

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

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

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.

Fortran
Python
M4
+ 15

3

0

admtools

Estimate age-depth models in geology and use them to transform various types of data (fossil ages, phylogenetic trees, trait evolution of lineages) between the time domain and the stratigraphic domain.

Age-depth modeling
Geochronology
Sedimentology
+ 1

R

1

0

Aiida-CHAMP

The aiida-champ plugin to handle the CHAMP workflow using AiiDA.

python
workflow

Python
Shell

1

0

aiproteomics

Generate and compare deep learning models for generating synthetic mass spectral libraries

Machine learning
mass spectrometry
phosphoproteomics
+ 1

Jupyter Notebook
Python
Shell

1

0

Allelic Variation Explorer

If you are studying how single nucleotide polymorphisms are clustered in genomic samples, then the Allelic Variation Explorer can help you visualize them.

Visualization

Python
Dockerfile
AngelScript

2

0

ANNUBeS

ANNUBeS is a deep learning framework meant to generate synthetic data and train on them neural networks aimed at developing and evaluating animals' training protocols in neuroscience.

neural networks
Neuroscience

Python

2

0

ArcticConnect

ArcticConnect is a network-enabled platform for realizing geospatial referencing of information about the arctic system derived from research, education, and private sector activities in the arctic and subarctic.

Arctic
Polar

HTML

1

0

Arctic Web Map

Arctic Web Map (AWM) is an Arctic-specific web mapping tool allowing researchers to customize map projections for scientifically accurate visualization and analysis, a function that is critical for arctic research but missing in existing web mapping platforms.

data collection
python
wildlife

Python
JavaScript
CSS
+ 1

2

0

ARISE biocloud

The Biocloud is the underlying digital back-end infrastructure of the ARISE program.

1

0

Arpra

Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.

Affine Arithmetic
Arbitrary Precision
Interval Arithmetic
+ 2

C
Makefile
M4

1

0

asreview-simulation

Command line interface to simulate an ASReview analysis using a variety of prior sampling strategies, classifiers, feature extractors, queriers, balancers, and stopping rules, all of which can be configured to run with custom parameterizations.

AI
ASReview
Automated Systematic Review
+ 4

Python

2

0

asrlitcompare

A tool written in rmarkdown for assessing the level of agreement between two raters following screening in ASReview. Users only need the two .csv files downloaded from ASReview, and the tool will automatically compile a summary report as an HTML file, viewable in your web browser.

ASReview
inter-rater reliability
literature screening
+ 1

HTML
C++
JavaScript
+ 14

2

0

AstroImages.jl

Visualization of astronomical images in Julia

astronomy
Astrophysics
Julia Package
+ 1

Julia

2

0

All software