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/
Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"
Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"
- Correct-by-construction
- Gabow
- IRF
- + 13
BrazilClim: script to gauge-calibrate the surfaces
BrazilClim: script to gauge-calibrate the surfaces
- Bioclimatic variables
- Brazil
- land surface temperatures
- + 4
Code supporting the paper: Stability of a two-dimensional biomorphoelastic model for post-burn contraction
Code supporting the paper: Stability of a two-dimensional biomorphoelastic model for post-burn contraction
- Burns
- MATLAB
- Morphoelasticity
- + 3
Code to produce the results of the publication: “Examining the Role of Intrinsic and Reflexive Contributions to Ankle Joint Hyper-Resistance Treated with Botulinum Toxin-A”
Code to produce the results of the publication: “Examining the Role of Intrinsic and Reflexive Contributions to Ankle Joint Hyper-Resistance Treated with Botulinum Toxin-A”
- BoNT-A injections
- Instrumented SPAT
- Joint resistance
- + 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
- (JSON)
- (Markdown)
- (Other)
- + 1
Fast Rotor Loss Calculations in Fractional-Slot Permanent Magnet Machines
Fast Rotor Loss Calculations in Fractional-Slot Permanent Magnet Machines
- COMSOL multiphysics software
- Eddy current losses
- Permanent magnet machine
Generics library for datatype-generic programming in Agda
Generics library for datatype-generic programming in Agda
- Agda
- Dependent Types
- Generic Programming
- + 2
sse-akf-directional-waves-pem
Code underlying the publication: Unidirectional and multi-directional wave estimation from ship motions using an Adaptive Kalman Filter with the inclusion of varying forward speed
- Adaptive Kalman filter
- Sea state estimation
- Ship motion responses
- + 1
- (Markdown)
- (Other)
- (Python)
Supplementary data for the paper 'From A to B with Ease: User-Centric Interfaces for Shuttle Buses'
Supplementary data for the paper 'From A to B with Ease: User-Centric Interfaces for Shuttle Buses'
- Micro-mobility
- Shuttle bus
- User Interface
- + 1
Supplementary materials for the paper: On Senders’s Models of Visual Sampling Behavior
Supplementary materials for the paper: On Senders’s Models of Visual Sampling Behavior
- bandwidth
- Computer simulation
- replication
- + 2
agda-core
Code underlying the publication: Building a Correct-By-Construction Type Checker for a Dependently Typed Core Language
- core language
- Dependent Types
- type-checking
- + 2
- (Haskell)
- (Markdown)
- (Other)
- + 1
Code for the publication: Parametric excitation and friction modulation for a forced 2-dof system
Code for the publication: Parametric excitation and friction modulation for a forced 2-dof system
- effective friction
- Friction-induced oscillations
- Negative damping
- + 2