Ctrl K

All software

1Filter
Keywords
208
Program languages
28
Licenses
8
13-24 of 42
Logo for Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints

Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints

Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints

  • Dependent Types
  • elaboration
  • elaborators
  • + 3
  • TeX
  • Haskell
  • Other
  • + 4
2
0
Logo for Code underlying the publication: "PATE: Proximity-Aware Time series anomaly Evaluation"

Code underlying the publication: "PATE: Proximity-Aware Time series anomaly Evaluation"

Code underlying the publication: "PATE: Proximity-Aware Time series anomaly Evaluation"

  • Anomaly Detection
  • Evaluation Metrics
  • Precision
  • + 2
  • Python
  • YAML
  • Markdown
  • + 1
3
0
Logo for Data and code underlying the publication: Stratifying Oncogene-addicted Cohorts by Drug Response

Data and code underlying the publication: Stratifying Oncogene-addicted Cohorts by Drug Response

Data and code underlying the publication: Stratifying Oncogene-addicted Cohorts by Drug Response

  • cancer
  • drug response
  • oncogene
  • + 2
  • Python
  • Other
  • Markdown
  • + 1
4
0
Logo for djehuty

djehuty

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

  • 4TU.ResearchData
  • Data repository
  • Djehuty
  • Python
  • JavaScript
  • HTML
  • + 9
10
0
Logo for EMMA

EMMA

EMMA: Ecotope-Map Maker based on Abiotics

  • Building with Nature
  • Ecotope mapping
  • Estuarine ecosystems
  • + 1
  • Other
  • Python
  • Markdown
  • + 2
2
0
Logo for ETSI-QKD014-client

ETSI-QKD014-client

ETSI GS QKD 014 client command-line program and library for Rust and C

  • ETSI GS QKD 014
  • QKD
  • Quantum Key Distribution
  • Other
  • Rust
  • C
  • + 2
1
0
Logo for 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

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
  • Other
  • HTML
  • Python
  • + 7
2
0
Logo for GEDSys

GEDSys

GEDSys: Software components for the Geographic Event Detection System.

  • complex event processing
  • datastreams
  • geographic event
  • + 1
  • JSON
  • Other
  • Java
  • + 6
1
0
Logo for global-optimization

global-optimization

Source code for the publication: Nonmyopic Global Optimisation via Approximate Dynamic Programming

  • dynamic programming
  • Global Optimisation
  • Multi-step Scenario-based Optimisation
  • + 2
  • Other
  • Python
  • Markdown
  • + 2
1
0
Logo for 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

Implementation of approximate SDD-TMPC (state-dependent dynamic tube model predictive control) for a nonlinear problem

  • Approximate MPC
  • Robust optimization
  • Spiking neural networks
  • Matlab
  • HTML
  • Other
  • + 7
1
0
Logo for 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"

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
  • Matlab
  • HTML
  • Other
  • + 4
1
0
Logo for IntervalMDPAbstractions.jl_ReproducibilityPackage

IntervalMDPAbstractions.jl_ReproducibilityPackage

Data and code underlying the publication: Scalable control synthesis for stochastic systems via structural IMDP abstractions

  • embedded systems
  • Markov processes
  • Stochastic control and optimization
  • JSON
  • C++
  • HTML
  • + 10
3
0