4TU
4TU.ResearchData is an international data repository for science, engineering and design. We offer research dataset curation, sharing, long-term access and preservation services to anyone, anywhere. You can find our archive at https://data.4tu.nl/
A model for modifying the public transport service patterns to account for the imposed COVID-19 capacity
A model for modifying the public transport service patterns to account for the imposed COVID-19 capacity
- capacity
- coronavirus
- COVID-19
- + 7
AnisoVision
Data accompanying the publication: Characterization of the 3D-optical properties of van der Waals materials with deep learning based coherent Fourier scatterometry
- anisotropic thin films
- coherent Fourier scatterometry
- deep learning metrology
- + 2
- ("Jupyter Notebook")
- (Markdown)
- (Other)
ANNESI: An open-source artificial neural network for estuarine salt intrusion
ANNESI: An open-source artificial neural network for estuarine salt intrusion
- estuary
- Neural Network
- salt intrusion
Application of SDDTMPC to control a unicycle
Application of SDDTMPC to control a unicycle
- MPC
- nonlinear control
- robotics
- + 2
- (Markdown)
- (Matlab)
ApPlyWood: a calculation tool supporting the design of plywood-based seismic retrofitting interventions on existing timber floors
ApPlyWood: a calculation tool supporting the design of plywood-based seismic retrofitting interventions on existing timber floors
- Architectural conservation
- Design tools
- Earthquake engineering
- + 4
APS
APS: Asses Pedestrian model Speed framework
- Computational Complexity
- Model assessment framework
- Pedestrian models
- + 1
- (JSON)
- (Markdown)
- (Other)
- + 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
- (JSON)
- ("Jupyter Notebook")
- (Markdown)
- + 5
Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)
Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)
- Annotation-aware
- Deductive verification
- GPU
- + 2
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