Skip to main content
Ctrl K

All software

366 software items. Page 13 of 31. 12 items per page. 1 filters active.
145-156 of 366

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
  • C
  • C++
  • JSON
  • + 6
3
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

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
  • C
  • C++
  • JSON
  • + 4
1
0

ATHENS

ATHENS: Aerodynamic Tracer for High-altitude Environment Numerical Simulations

  • Direct Simulation Monte Carlo (DSMC)
  • free molecular flow
  • gas-surface interaction
  • + 2
  • C
  • C++
  • Markdown
  • + 3
1
0

BEWARE

BEWARE Artifact: Code and Datasets for "Robust and Automated Reconfiguration of Byzantine Wide-Area Replication"

  • BFT-SMaRt
  • Byzantine fault tolerance
  • consensus latency
  • + 7
  • Java
  • JSON
  • Markdown
  • + 5
4
0

bluesky_gym_population_density_extension

Data supporting the Master's thesis "Balancing Noise and Fuel: Spatially Aware Reinforcement Learning for Air Traffic Control"

  • air traffic control
  • Convolutional Neural Network
  • noise abatement
  • + 2
  • JSON
  • large-text-file
  • Markdown
  • + 4
1
0

complex_stylized_supply_chain_model_generator

Code: Complex Stylized Supply Chain Model - Automatic Graph Generator

  • graph generator
  • model
  • Simulation
  • + 1
  • JSON
  • Other
  • Python
  • + 1
1
0

cryoswath-paper-workflow

Workflow for the reproduction of the article "CryoSwath: a CryoSat-2 swath processor and monthly surface elevation dataset for Arctic mountain glaciers"

  • Altimetry
  • Arctic
  • Climate change
  • + 4
  • Jupyter Notebook
  • Markdown
  • Other
  • + 3
2
0

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
  • HTML
  • JSON
  • Jupyter Notebook
  • + 4
3
0

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
  • C++
  • Jupyter Notebook
  • large-text-file
  • + 5
2
0

emctx

EMCTX: Code underlying the publication: Epistemic Monte Carlo Tree Search

  • Epistemic Uncertainty
  • Exploration
  • Policy Improvement
  • + 2
  • Automake
  • JSON
  • large-text-file
  • + 5
1
0

GNSS-Perl-toolbox

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

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