All software
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
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
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
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
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
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
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
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
complex_stylized_supply_chain_model_generator
Code: Complex Stylized Supply Chain Model - Automatic Graph Generator
- graph generator
- model
- Simulation
- + 1
- JSON
- Other
- Python
- + 1
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
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
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