Skip to main content
Ctrl K

All software

220 software items. Page 9 of 19. 12 items per page. 1 filters active.
97-108 of 220

Workflomics

Web platform for workflow exploration and benchmarking in bioinformatics

  • Inter-operability & linked data
  • Workflow technologies
  • CSS
  • HTML
  • JavaScript
  • + 1
7
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
5
0

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
1
0

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
3
0

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
1
0

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
1
0

djehuty

Source code of the 4TU.ResearchData and Nikhef data repository

  • 4TU.ResearchData
  • Data repository
  • Djehuty
  • Automake
  • CSS
  • HTML
  • + 9
12
0

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
2
0

GEDSys

GEDSys: Software components for the Geographic Event Detection System.

  • complex event processing
  • datastreams
  • geographic event
  • + 1
  • CSS
  • HTML
  • Java
  • + 6
1
0

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
5
0

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
1
0

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
1
0