All software
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
auction-tas
Truck Appointment Systems - Auction Based
- Auction
- competition
- Scheduling
- + 2
- Other
- Jupyter Notebook
- Python
- + 2
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
- Python
- Markdown
bounded-private-cycle-detection
Source code underlying the publication: Privacy-Preserving Peer-to-Peer Cycle Detection
- cycle detection
- multi-party computation
- privacy-preserving
- + 1
- C++
- C
- Other
- + 2
CEConv
Code underlying the publication: Color Equivariant Convolutional Networks
- color equivariance
- color robustness
- equivariance
- + 1
- Python
- Markdown
- Other
Cluster Analysis of Temporal Patterns of Travel Production
The codes associated with the publication: A Cluster Analysis of Temporal Patterns of Travel Production in the Netherlands: Dominant within-day and day-to-day patterns and their association with Urbanization Levels
- demand pattern
- land-use feature
- temporal pattern
- + 2
- Jupyter Notebook
- Python
- Markdown
- + 1
Codebase Underlying the BSc Thesis: Type-Checking Modules and Imports using Scope Graphs
Codebase Underlying the BSc Thesis: Type-Checking Modules and Imports using Scope Graphs
- glob imports
- haskell
- lm
- + 5
- Other
- Haskell
- Python
- + 1
Code for project: Approximate Edge AI Components for energy-aware adaptive framework
Code for project: Approximate Edge AI Components for energy-aware adaptive framework
- approximation
- edge devices
- Energy-aware computing
- + 2
- Python
- Markdown
- YAML
- + 1
Code for publication: A general partitioning strategy for non-centralized control
Code for publication: A general partitioning strategy for non-centralized control
- Complex Large-Scale Systems
- Hybrid Systems
- Non-Centralized Control
- + 2
- Other
- Python
- Markdown