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