Skip to main content
Ctrl K

All software

705 software items. Page 24 of 59. 12 items per page. 1 filters active.
277-288 of 705

AircraftDuctedFanOptimisation

The Unified Ducted Fan Code and Ducted Fan Optimisation Framework

  • Aircraft
  • Aircraft performance
  • Conceptual aircraft design
  • + 7
  • Markdown
  • Other
  • Python
1
0

AmpliDiff

Code underlying the publication: "AmpliDiff: An Optimized Amplicon Sequencing Approach to Estimating Lineage Abundances in Viral Metagenomes"

  • Abundance Estimation
  • Amplicon Sequencing
  • Primer Design
  • + 1
  • C
  • Markdown
  • Other
  • + 3
3
0

APS

APS: Asses Pedestrian model Speed framework

  • Computational Complexity
  • Model assessment framework
  • Pedestrian models
  • + 1
  • JSON
  • Markdown
  • Other
  • + 1
1
0

Argon Laser-Plasma Thruster - Design and Test of a Laboratory Model - Processing and Analysis Code

Argon Laser-Plasma Thruster - Design and Test of a Laboratory Model - Processing and Analysis Code

  • argon
  • laser
  • laser-sustained plasma
  • + 4
  • JSON
  • Jupyter Notebook
  • Markdown
  • + 5
1
0

Artefact for doctoral thesis "Verifying Optimised Parallel Code"

Artefact for doctoral thesis "Verifying Optimised Parallel Code"

  • Deductive verification
  • formal methods
  • GPU
  • + 2
  • C
  • C++
  • Markdown
  • + 4
1
0

Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"

Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"

  • Correct-by-construction
  • Floating-point
  • IEEE 754
  • + 6
  • C
  • C++
  • JSON
  • + 5
5
0

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

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

Bayesian Ensembles for Exploration in Deep Reinforcement Learning; Code underlying the dissertation "Bayesian Model-Free Deep Reinforcement Learning"

Bayesian Ensembles for Exploration in Deep Reinforcement Learning; Code underlying the dissertation "Bayesian Model-Free Deep Reinforcement Learning"

  • Bayesian modelling
  • Deep Reinforcement Learning (DRL)
  • Ensemble model
  • + 2
  • Markdown
  • Python
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