All software
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
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
- Other
- C
- C++
- + 4
Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints
Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints
- Dependent Types
- elaboration
- elaborators
- + 3
- TeX
- Haskell
- Other
- + 4
djehuty
Source code of the 4TU.ResearchData and Nikhef data repository
- 4TU.ResearchData
- Data repository
- Djehuty
- Python
- JavaScript
- HTML
- + 9
GSI_ToolBox
GSI ToolBox underlying the publication: A Wave Scattering Approach to Modelling Surface Roughness in Orbital Aerodynamics
- aerodynamic drag
- gas-surface interaction
- scattering dynamics
- + 1
- HTML
- TeX
- Other
- + 7
NCS_SedimentAnalysis
Code and data underlying the publication: "Subsurface Sediment Properties and Potential Impacts of Marine Sand Extraction on Sand Wave Occurrence on the Netherlands Continental Shelf"
- Median grain size
- Mud content
- Netherlands Continental Shelft
- + 1
- Matlab
- TeX
- Other
- + 1
Research compendium for FAIR Sharing is Caring poster
Research compendium for FAIR Sharing is Caring poster
- Data Sharing
- FAIR data
- open science
- + 1
- Other
- HTML
- CSS
- + 4
spurious_sentience
Software and data underlying the publication: "Position: Stop Making Unscientific AGI Performance Claims"
- Artificial General Intelligence
- Artificial intelligence
- interpretability
- + 1
- Other
- TeX
- Julia
- + 2
asrlitcompare
A tool written in rmarkdown for assessing the level of agreement between two raters following screening in ASReview. Users only need the two .csv files downloaded from ASReview, and the tool will automatically compile a summary report as an HTML file, viewable in your web browser.
- ASReview
- inter-rater reliability
- literature screening
- + 1
- HTML
- C++
- JavaScript
- + 14
BridgeDbR
R package for the BridgeDb Java library making identifier mapping functionality available in the R environment.
- persistent identifiers
- Statistics
- R
- TeX
- HTML