All software
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
- Other
- Python
- Markdown
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
- Python
- R
- Other
- + 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
- Python
- Markdown
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 for: Assessing the Validity of a Calcifying Oral Biofilm Model as a Suitable Proxy for Dental Calculus
Source code for: Assessing the Validity of a Calcifying Oral Biofilm Model as a Suitable Proxy for Dental Calculus
- dental calculus
- Fourier-transform infrared spectroscopy (FTIR)
- metagenomics
- + 2
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
- Python
- Other
- Markdown
- + 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 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
- Matlab
- Markdown
- Other
spacevlbi
Python package for simulating and optimising a space-based VLBI mission
- astronomy
- Spacecraft Optimisation
- Space Mission Design
- + 1
- Python
- Other
- Markdown
- + 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
- Python
- Other
- JSON
- + 1
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
- Other
- TeX
- Julia
- + 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
- YAML
- Python
- Other
- + 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
Supplementary data for the paper 'From A to B with Ease: User-Centric Interfaces for Shuttle Buses'
Supplementary data for the paper 'From A to B with Ease: User-Centric Interfaces for Shuttle Buses'
- Micro-mobility
- Shuttle bus
- User Interface
- + 1
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 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
The role of Foreign Exchange Reserve on Foreign Public Debt in Ethiopian Economy: ARDL Model Approach
The role of Foreign Exchange Reserve on Foreign Public Debt in Ethiopian Economy: ARDL Model Approach
- Ethiopia
- foreign debt reserves
topological_SB_matching
Code underlying: Topological Schrödinger Bridge Matching
- distribution matching
- generative models
- graph and simplicial complex
- + 1
- Other
- Jupyter Notebook
- Python
- + 3
Trained CNN model to predict performance of an LPM thruster from the 32 x 32 px image of its microchannel cross-section
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
TUD R Cafe Plot-a-thon: 4TU.RD stats
TUD R Cafe Plot-a-thon: 4TU.RD stats
- data visualization
- plot-a-thon
- Statistics
- Other
- JSON
- R
- + 2
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
UNetGE software and it User Manual
UNetGE software and it User Manual
- grain extraction
- grain size extraction
- image analysis
- + 3
UNITY: VR Package of a plausible future of bicycle assembly scenario in SAMXL
UNITY: VR Package of a plausible future of bicycle assembly scenario in SAMXL
- Future of Work
- Futures
- Future scenario
- + 8
Urdf-Environments for OpenAI-Gym
Urdf-Environments for OpenAI-Gym
- OpenAI-Gym
- pybullet
- Robotics systems
- + 1
ValueMonitor software
ValueMonitor software
- Ethics of technology
- Moral values
- Topic Modelling
- + 1
Value Preferences Estimation and Disambiguation in Hybrid Participatory Systems - code
Value Preferences Estimation and Disambiguation in Hybrid Participatory Systems - code
- Active Learning
- Natural Language Processing
- NLP
- + 1
- Python
- JSON
- Other
- + 1
Vertical Conflict Resolution in Layered Airspace with Reinforcement Learning using the BlueSky Open Air Traffic Simulator
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
Video Annotation Software
Video Annotation Software
- Artificial intelligence
- process modeling study
- Process modelling
VSIDS learning code: "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers"
VSIDS learning code: "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers"
- GCN
- Graph Convolutional Networks
- lazy clause generation
- + 5
Wake-informed Lifting Line Theory: Example Code
Wake-informed Lifting Line Theory: Example Code
- Blade Loading Distributions
- Experimental Measurement Analysis
- Lifting Line
- + 3
xcrisp
Data and code underlying the publication: X-CRISP: Domain-Adaptable and Interpretable CRISPR Repair Outcome Prediction
- CRISPR
- DNA repair
- explainability
- + 3
Abinit
Abinit is a software package based on density functional theory for calculating the properties of solids.
- Fortran
- Python
- M4
- + 15
addFeatures
addFeatures adds spot images to a SCiLS Lab dataset from a list of defined mass spectral features.
- Image processing
- mass spectrometry
- R
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
Aiida-CHAMP
The aiida-champ plugin to handle the CHAMP workflow using AiiDA.
- python
- workflow
- Python
- Shell
aiproteomics
Generate and compare deep learning models for generating synthetic mass spectral libraries
- Machine learning
- mass spectrometry
- phosphoproteomics
- + 1
- Jupyter Notebook
- Python
- Shell
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
MPI-AMRVAC
MPI-AMRVAC is a parallel adaptive mesh refinement framework aimed at solving (primarily hyperbolic) partial differential equations by a number of different numerical schemes. The emphasis is on (near) conservation laws and on shock-dominated problems in particular.
- Fortran
- Python
- Shell
- + 2