All software
abstraction-mpc-integration
Code for publication: Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
- Abstraction
- formal methods
- Hybrid Systems
- + 3
- CSS
- HTML
- JavaScript
- + 4
Artifact of Knor: reactive synthesis using Oink
Artifact of Knor: reactive synthesis using Oink
- binary decision diagrams
- parity games
- reactive synthesis
- Automake
- C
- C++
- + 15
Code supporting: MuVieCAST: Multi-View Consistent Artistic Style Transfer
Code supporting: MuVieCAST: Multi-View Consistent Artistic Style Transfer
- 3D reconstruction
- deep learning
- Image processing
- + 1
- CSS
- HTML
- JavaScript
- + 4
djehuty
Source code of the 4TU.ResearchData and Nikhef data repository
- 4TU.ResearchData
- Data repository
- Djehuty
- Automake
- CSS
- HTML
- + 9
FLORIDyn (OFF toolbox) Code and input files underlying the publication: Wind pattern clustering of high frequent field measurements for dynamic wind farm flow control
FLORIDyn (OFF toolbox) Code and input files underlying the publication: Wind pattern clustering of high frequent field measurements for dynamic wind farm flow control
- dynamic wind farm flow control
- Engineering wake model
- FLORIDyn
- + 3
- CSS
- HTML
- JavaScript
- + 7
GSI_ToolBox
GSI ToolBox underlying the publication: A Wave Scattering Approach to Modelling Surface Roughness in Orbital Aerodynamics
- aerodynamic drag
- gas-surface interaction
- scattering dynamics
- + 1
- C
- C++
- CSS
- + 7
JuliaTrustworthyAI/CounterfactualTraining.jl
Software and data underlying the publication: "Counterfactual Training: Teaching Models Plausible and Actionable Explanations"
- Adversarial Machine Learning
- Algorithmic Recourse
- Counterfactual Explanations
- + 3
- CSS
- HTML
- JavaScript
- + 6
Landfill Emission
Python 3 package for landfill emission modelling
- hydrology
- Leachate Production
- Leachate Quality
- + 2
- Automake
- CSS
- HTML
- + 7
minicoder
minicoder: Simple in-browser qualitative data analysis tool for plain-text files
- CAQDAS
- qualitative analysis
- qualitative content analysis
- + 2
- CSS
- HTML
- JavaScript
- + 5
MLATjs
MLAT application - an application designed to visualize accuracy of MLAT measurments over large areas
- Aerospace
- data visualization
- Localization
- + 2
- Automake
- C
- C#
- + 14
Morality is Non-Binary: Building a Pluralist Moral Sentence Embedding Space using Contrastive Learning - code
Morality is Non-Binary: Building a Pluralist Moral Sentence Embedding Space using Contrastive Learning - code
- Contrastive Learning
- Morality
- Natural Language Processing
- + 1
- CSS
- HTML
- JavaScript
- + 6
pydsol-model
pydsol-model: Python Distributed Simulation Object Library with Predefined Model Objects
- Discrete event simulation (DES)
- model objects
- python
- + 1
- CSS
- HTML
- JavaScript
- + 3