All software
SDA Thermo-Elastic Python Scripts, underlying the master thesis: Thermo-Elastic Analysis of a Spiral Dish Antenna Reflector In Space.
SDA Thermo-Elastic Python Scripts, underlying the master thesis: Thermo-Elastic Analysis of a Spiral Dish Antenna Reflector In Space.
- ABAQUS
- ABAQUS python scripting
- ESATAN
- + 5
Service Life Model Timber Piles v1.0
Service Life Model Timber Piles v1.0
- decay
- residual load bearing capacity
- Service life model
- + 1
Set-up files for the determination of homogenised elastic properties of bi-axial NCFs using periodic homogenisation of an RVE
Set-up files for the determination of homogenised elastic properties of bi-axial NCFs using periodic homogenisation of an RVE
- finite element method
- NCF
- Non-crimp fabric (NCF)
- + 4
shipp
SHIPP - A design optimization software for hybrid power plants
- Hybrid power plants
- renewable energy
- Sizing optimization
- + 5
- ("Jupyter Notebook")
- (Markdown)
- (Other)
- + 2
Simulation code accompanying the publication "Cohesin supercoils DNA during loop extrusion"
Simulation code accompanying the publication "Cohesin supercoils DNA during loop extrusion"
- Cohesin
- DNA loop extrusion
- DNA supercoiling
- + 2
Simulation code for the PhD thesis: Exploiting structure in distributionally robust optimization
Simulation code for the PhD thesis: Exploiting structure in distributionally robust optimization
- ambiguity sets
- distributionally robust optimization
- optimization
- + 2
Simulation software and dataset: Reaction moments matter when designing lower-extremity robots for tripping recovery
Simulation software and dataset: Reaction moments matter when designing lower-extremity robots for tripping recovery
- foot placement assistance
- Free moments
- Gyroscopic actuators
- + 1
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
Soft Gripper AR Framework
Soft Gripper AR Framework
- Augmented Reality (AR)
- Robot Operating System (ROS)
- Soft-Robots
SoftShell Calculator App Version 1
SoftShell Calculator App Version 1
- Amsterdam
- microdrilling
- pile foundations
- + 2
Software accompanying paper: Refinement of Parallel Algorithms down to LLVM
Software accompanying paper: Refinement of Parallel Algorithms down to LLVM
- Concurrent Separation Logic
- Isabelle
- LLVM
- + 1
Software and code for the research project: Interdependence and Communication Style in Human-Agent/Robot Teamwork
Software and code for the research project: Interdependence and Communication Style in Human-Agent/Robot Teamwork
- Explainable AI (XAI)
- GitHub page
- Human-Robot Teamwork
Software code in R for a cluster analysis to cluster and characterize autonomous last mile concepts in a standardized and holistic manner
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
Software: Energy Yield and Lifetime Climate Classification via Machine Learning for Optimizing Photovoltaic Module Design and Materials
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)
Software for 3D particle averaging of SMLM data
Software for 3D particle averaging of SMLM data
- Localization microscopy
- Single Molecule Localization Microscopy
- SMLM methods
- + 1
Software for Detecting Structural Heterogeneity in Single-Molecule Localization Microscopy Data
Software for Detecting Structural Heterogeneity in Single-Molecule Localization Microscopy Data
- classification approach
- Single Molecule Localization Microscopy
- SMLM
- + 1
Software for Industrial Mobile Manipulation Virtual Micro Challenge 2022
Software for Industrial Mobile Manipulation Virtual Micro Challenge 2022
- Mobile manipulation
- robotics
- Robot Operating System (ROS)
- + 1
Software for self-adaptive and on-the-fly mapping of coastal parameters from video of a wave field
Software for self-adaptive and on-the-fly mapping of coastal parameters from video of a wave field
- bathymetry
- coast
- cocos
- + 8
Software for Simultaneous orientation and 3D localization microscopy with a Vortex point spread function
Software for Simultaneous orientation and 3D localization microscopy with a Vortex point spread function
- fixed dipole emission
- Fluorescence
- single-molecule localization microscopy
- + 3
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
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
Software supporting: Analysis of natural variation in photosynthesis in a panel of Brassicaceae species
Software supporting: Analysis of natural variation in photosynthesis in a panel of Brassicaceae species
- Brassicaceae
- High-throughput phenotyping
- Hirschfeldia incana
- + 1
- (Markdown)
- (Other)
- (Python)
Software supporting: RNA-Seq analysis of Brassicaceae species under different irradiances
Software supporting: RNA-Seq analysis of Brassicaceae species under different irradiances
- Brassicaceae
- Hirschfeldia incana
- photosynthesis
- + 1
- (Other)
- (Python)
- (R)
- + 1
Software tool associated to the master thesis: Multi-Objective optimisation in grid-shell design
Software tool associated to the master thesis: Multi-Objective optimisation in grid-shell design
- grasshopper
- Grid-Shell Design
- multi objective optimization
- + 1
Software underlying PhD thesis: AI in the Sky - Advancing Wildlife Survey Methods in Africa with Deep Learning and Aerial Imagery.
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)
Source code and data for the experiments presented in Deep Reinforcement Learning for Active Wake Control
Source code and data for the experiments presented in Deep Reinforcement Learning for Active Wake Control
- active wake control
- deep learning
- Reinforcement learning
Source code and data underlying the publication "Context-Informed Machine Translation of Manga using Multimodal Large Language Models"
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
Source code for the MSc thesis: Multi-leader Adaptive Cruise Control Systems considering Sensor Measurement Uncertainties based on Deep Reinforcement Learning
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
Source code for the paper "Constructing Phylogenetic Networks via Cherry Picking and Machine Learning"
Source code for the paper "Constructing Phylogenetic Networks via Cherry Picking and Machine Learning"
- Cherry Picking
- Heuristic
- Hybridization
- + 2
- (Markdown)
- (Other)
- (Python)
- + 1
Source code for the publication: Learning safety in model-based Reinforcement Learning using MPC and Gaussian Processes
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
Source code of the jEULYNX prototype framework
Source code of the jEULYNX prototype framework
- DSL
- EULYNX
- FormaSig
- + 2
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
Source code underlying the publication: Topology-Based Reconstruction Prevention for Decentralised Learning
Source code underlying the publication: Topology-Based Reconstruction Prevention for Decentralised Learning
- decentralised learning
- graph girth
- privacy-preserving summation
- + 2
- (Markdown)
- (Matlab)
- (Other)
spacevlbi
Python package for simulating and optimising a space-based VLBI mission
- astronomy
- Spacecraft Optimisation
- Space Mission Design
- + 1
- (Markdown)
- (Other)
- (Python)
- + 1
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
Spatial rendering cost profiling and visualization framework using spherical harmonics cost probes
Spatial rendering cost profiling and visualization framework using spherical harmonics cost probes
- data visualization
- Performance analysis
- Performance measurement
- + 4
Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation"
Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation"
- Annotations
- Deductive verification
- Specifications
- + 1
Specification Translator: Tool to Translate Specifications for Deductive Verifiers
Specification Translator: Tool to Translate Specifications for Deductive Verifiers
- Annotations
- Deductive verification
- Semantics
- + 3
- (Other)
Speed Robust Scheduling Supplemental Material
Speed Robust Scheduling Supplemental Material
- Combinatorial optimization
- Computer assisted proof
- Data Structures
- + 1
SpinControl.jl, a numerical package written in Julia
SpinControl.jl, a numerical package written in Julia
- Monte-Carlo
- Noisy Quantum Simulation
- Open System
- + 2
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
Structural dynamics model to find the dynamic behaviour as a response of the wave loading of the Tidal Bridge in Indonesia
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
structure_calibration_sparse_data
Code: Structural Calibration for Supply Chain Simulation Models with Sparse Data
- Simulation
- sparse data
- structure
- + 2
- (Automake)
- (Other)
- (Python)
- + 2
Stumblemeter: App and MATLAB code
Stumblemeter: App and MATLAB code
- Accelerometer
- gyroscope
- Machine learning
- + 3
Supplementary code to the paper: Flexible Enterprise Optimization With Constraint Programming
Supplementary code to the paper: Flexible Enterprise Optimization With Constraint Programming
- Constraint programming (Computer science)
- deep learning
- Enterprise engineering
- + 2
Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller
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
TESTER GHG abatement option selection Tool
TESTER GHG abatement option selection Tool
- Concept design
- emission abatement technologies
- Greenhouse gas (GHG) emmisions
- + 2
The iFlow3D model | Python code | Software supporting the PhD thesis: Understanding estuarine hydrodynamics and sediment dynamics through physics-based dimension reduction
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
The model and the data part of the master thesis “Integrating Reuse in MaTrace Models: An implementation and evaluation”
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