All software
DeepCASE
Code for DeepCASE: Semi-Supervised Contextual Analysis of Security Events
- Event Analysis
- Security
- JSON
- Python
- Other
- + 2
Code supporting the publication: Gromit: Benchmarking the performance and scalability of blockchain systems
Code supporting the publication: Gromit: Benchmarking the performance and scalability of blockchain systems
- Benchmarking
- Blockchain
- Performance
- + 1
- Other
- Python
- JSON
- + 3
trip-planning
Code underlying the publication: Dealing with Uncertainty: Understanding the Impact of Prognostic Versus Diagnostic Tasks on Trust and Reliance in Human-AI Decision Making
- Diagnostic
- Empirical Studies
- Human-AI Decision-Making
- + 6
- Other
- JSON
- Python
- + 3
A Public Ground-Truth Dataset for Handwritten Circuit Diagram Images
A Public Ground-Truth Dataset for Handwritten Circuit Diagram Images
- CGHD
- Circuit Diagram
- CircuitGraph
- + 4
- XML
- JSON
- Python
- + 2
Code underlying the publication: "Self-Supervised PPG Representation Learning Shows High Inter-Subject Variability"
Code underlying the publication: "Self-Supervised PPG Representation Learning Shows High Inter-Subject Variability"
- Autoencoder
- Human Activity Recognition
- Inter-Subject Variability
- + 3
- Python
- Other
- Markdown
- + 1
det2d-read
Python package to read 2D human poses from json files
- 2D pose detection
- Data loading
- Multiprocessing
- + 1
- Python
- Markdown
- Other
- + 2
Hodge-Edge-GP
Code underlying: Hodge-Compositional Edge Gaussian Processes
- edge space
- forex
- Gaussian process
- + 2
- Jupyter Notebook
- Python
- Other
- + 3
APS
APS: Asses Pedestrian model Speed framework
- Computational Complexity
- Model assessment framework
- Pedestrian models
- + 1
- Python
- Other
- Markdown
- + 1
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
- Other
- TeX
- Jupyter Notebook
- + 5
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
- Other
- 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
- Other
- XML
- JSON
- + 6
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