All software
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
- Jupyter Notebook
- JSON
- XML
- + 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
- 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-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
- Other
- Python
- Jupyter Notebook
- + 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
- 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