All software
Workflomics
Web platform for workflow exploration and benchmarking in bioinformatics
- Inter-operability & linked data
- Workflow technologies
- CSS
- HTML
- JavaScript
- + 1
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
Code to test the implementation of linear Bi-level Parent-Child MPC
Code to test the implementation of linear Bi-level Parent-Child MPC
- Hierarchical MPC
- Model predictive control
- Robust optimization
- + 1
- C
- HTML
- Markdown
- + 4
Code to test the implementation of nonlinear Bi-level Parent-Child MPC
Code to test the implementation of nonlinear Bi-level Parent-Child MPC
- Hierarchical MPC
- Model predictive control
- Robust optimization
- + 1
- C
- HTML
- Markdown
- + 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
GEDSys
GEDSys: Software components for the Geographic Event Detection System.
- complex event processing
- datastreams
- geographic event
- + 1
- CSS
- HTML
- Java
- + 6
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
Implementation of approximate SDD-TMPC (state-dependent dynamic tube model predictive control) for a nonlinear problem
Implementation of approximate SDD-TMPC (state-dependent dynamic tube model predictive control) for a nonlinear problem
- Approximate MPC
- Robust optimization
- Spiking neural networks
- C
- HTML
- Jupyter Notebook
- + 7
Implementation Regarding Publication "Fuzzy-Logic-based model predictive control: A paradigm integrating optimal and common-sense decision making"
Implementation Regarding Publication "Fuzzy-Logic-based model predictive control: A paradigm integrating optimal and common-sense decision making"
- fuzzy logic
- Model predictive control
- multi robot system
- C
- HTML
- Markdown
- + 4