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