All software
A high spatial resolution Extended Spring Indices database over American and European regions
A high spatial resolution Extended Spring Indices database over American and European regions
- Citizen Science
- Climate change
- Cloud computing
- + 4
- Python
- Markdown
- Other
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
CEConv
Code underlying the publication: Color Equivariant Convolutional Networks
- color equivariance
- color robustness
- equivariance
- + 1
- Python
- Markdown
- Other
CHI2025_Plan-then-Execute_LLMAgent
User Interaction Dataset for CHI 2025 paper "Plan-Then-Execute: An Empirical Study of User Trust and Team Performance When Using LLM Agents As A Daily Assistant."
- Daily Assistant
- Human-AI Collaboration
- large language models
- + 2
- JSON
- Other
- Python
- + 7
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 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
Code underlying the publication: "PATE: Proximity-Aware Time series anomaly Evaluation"
Code underlying the publication: "PATE: Proximity-Aware Time series anomaly Evaluation"
- Anomaly detection
- Evaluation Metrics
- Precision
- + 2
- Python
- YAML
- Markdown
- + 1