Ctrl K

All software

1Filter
Keywords
494
Program languages
125
Licenses
28
121-132 of 260
Logo for Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"

Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"

Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"

  • Correct-by-construction
  • Interactive Theorem Proving
  • Maximal End Components
  • + 3
  • Other
  • XML
  • JSON
  • + 6
3
0
Logo for Artifact of Knor: reactive synthesis using Oink

Artifact of Knor: reactive synthesis using Oink

Artifact of Knor: reactive synthesis using Oink

  • binary decision diagrams
  • parity games
  • reactive synthesis
  • Other
  • C
  • HTML
  • + 15
1
0
Logo for Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"

Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"

Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"

  • Correct-by-construction
  • Interactive Theorem Proving
  • Markov decision process
  • + 1
  • Other
  • C
  • C++
  • + 4
1
0
Logo for complex_stylized_supply_chain_model_generator

complex_stylized_supply_chain_model_generator

Code: Complex Stylized Supply Chain Model - Automatic Graph Generator

  • graph generator
  • model
  • Simulation
  • + 1
  • Python
  • Other
  • JSON
  • + 1
1
0
Logo for Data and code underlying the paper: "Can we predict the Most Replayed data of video streaming platforms?"

Data and code underlying the paper: "Can we predict the Most Replayed data of video streaming platforms?"

Data and code underlying the paper: "Can we predict the Most Replayed data of video streaming platforms?"

  • computer vision
  • Most Replayed Data
  • Video streaming
  • + 1
  • Python
  • JSON
  • HTML
  • + 4
3
0
Logo for Data underlying the publication/thesis chapter: Learning to Adapt to Position Bias in Vision Transformer Classifiers

Data underlying the publication/thesis chapter: Learning to Adapt to Position Bias in Vision Transformer Classifiers

Data underlying the publication/thesis chapter: Learning to Adapt to Position Bias in Vision Transformer Classifiers

  • computer vision
  • position bias
  • position embeddings
  • + 1
  • Jupyter Notebook
  • Other
  • Python
  • + 5
2
0
Logo for GNSS-Perl-toolbox

GNSS-Perl-toolbox

GNSS-Perl-toolbox for GNSS file management with RINEX editing, filtering, conversion and quality analysis

  • gnss
  • gnss-file-management
  • GPS
  • + 4
  • Perl
  • Markdown
  • Other
  • + 1
1
0
Logo for GSI_ToolBox

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
  • HTML
  • TeX
  • Other
  • + 7
5
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 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
Logo for MLATjs

MLATjs

MLAT application - an application designed to visualize accuracy of MLAT measurments over large areas

  • Aerospace
  • data visualization
  • Localization
  • + 2
  • JavaScript
  • HTML
  • Markdown
  • + 14
2
0
Logo for ML-bias-prediction-MW-Radiances

ML-bias-prediction-MW-Radiances

Code underlying: Bias prediction of microwave radiance observations using machine learning methods

  • Bias correction
  • Data Science
  • HARMONIE-AROME
  • + 3
  • Other
  • Python
  • Shell
  • + 2
4
0