Software | Research Software Directory

shipp

SHIPP - A design optimization software for hybrid power plants

Hybrid power plants
renewable energy
Sizing optimization
+ 5

Jupyter Notebook
Markdown
Other
+ 2

1

0

Simulation code accompanying the publication "Cohesin supercoils DNA during loop extrusion"

Cohesin
DNA loop extrusion
DNA supercoiling
+ 2

1

0

Simulation code for the PhD thesis: Exploiting structure in distributionally robust optimization

ambiguity sets
distributionally robust optimization
optimization
+ 2

1

0

Simulation files and code accompanying the paper "Load-based pressure profile matching for highly deformable fluid film bearings"

compliant hydrostatics
elastohydrostatic lubrication
highly deformable fluid film bearing
+ 2

1

0

Simulation software and dataset: Reaction moments matter when designing lower-extremity robots for tripping recovery

foot placement assistance
Free moments
Gyroscopic actuators
+ 1

5

0

SMZ

Code underlying the publication: VariBASed: Variational Bayes-Adaptive Sequential Monte-Carlo Planning for Deep Reinforcement Learning

Autonomous Path-Planning
Bayesian optimization
deep learning
+ 3

Jupyter Notebook
large-text-file
Markdown
+ 4

6

0

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: Energy Yield and Lifetime Climate Classification via Machine Learning for Optimizing Photovoltaic Module Design and Materials

Climate classification
Hierarchical clustering
Machine learning
+ 2

Matlab
Other

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

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 supporting the master thesis: "ErgoSim: An AI Design Review Tool"

AI-Augmented Design Review
Aircraft Interior Design
Design Workflow
+ 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 for the paper "A heralded entanglement factory for modular qLDPC codes via memory fusion of low-weight primitives"

GHZ states
modular architectures
Multipartite Entanglement
+ 3

3

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

Spatial rendering cost profiling and visualization framework using spherical harmonics cost probes

data visualization
Performance analysis
Performance measurement
+ 4

1

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

styx-uncoordinated-artifact

Code underlying the master thesis: “Uncoordinated Checkpointing in Stateful Transactional Systems: Decoupling Fault Tolerance from Coordination in Styx”

distributed computing
fault tolerance
performance evaluation
+ 4

JSON
Markdown
Other
+ 3

1

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 iFlow3D model | Python code | Software supporting the PhD thesis: Understanding estuarine hydrodynamics and sediment dynamics through physics-based dimension reduction

hydrodynamics
idealised modelling
iFlow3D
+ 1

1

0