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] Deductive Verification of Parameterized Embedded Systems modeled in SystemC
[Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC
- Deductive verification
- embedded systems
- parameterized systems
- + 2
Code and data belonging to the publication "Data-Driven LIDAR Feedforward Predictive Wind Turbine Control"
Code and data belonging to the publication "Data-Driven LIDAR Feedforward Predictive Wind Turbine Control"
- Data-driven control
- Feedforward Control
- Predictive Control
- + 2
- (Markdown)
- (Matlab)
- (Other)
Code complementing the paper "Feasibility Analysis of a Self-Reinforcing Electroadhesive Rotational Clutch"
Code complementing the paper "Feasibility Analysis of a Self-Reinforcing Electroadhesive Rotational Clutch"
- Clutch
- Electroadhesion
- self-reinforcement
- + 2
Data/software underlying the publication: Robust quantum-network memory based on spin qubits in isotopically engineered diamond
Data/software underlying the publication: Robust quantum-network memory based on spin qubits in isotopically engineered diamond
- distributed quantum computation
- entanglement distillation
Data underlying the publication: Fabrication and Characterization of Pneumatic Unit Cell Actuators
Data underlying the publication: Fabrication and Characterization of Pneumatic Unit Cell Actuators
- characterization
- fabrication
- haptic display
- + 4
- (Markdown)
dmpcrl-concept
Software for publication: Multi-agent reinforcement learning via distributed MPC as a function approximator
- ADMM
- alternating direction method of multipliers
- distributed model predictive control
- + 2
- (Markdown)
- (Other)
- (Python)
group-trip-planning
Code underlying the publication: When in Doubt! Understanding the Role of Task Characteristics on Peer Decision-Making with AI Assistance
- Empirical Studies
- Group Decision-Making
- Human-AI Decision-Making
- + 5
- (CSS)
- (HTML)
- (JavaScript)
- + 4
Learning_on_SCs
Code underlying: Hodge-Aware Convolutional Learning on Simplicial Complexes
- Hodge theorem
- neural networks
- simplicial complexes
- (Markdown)
- (Other)
- (Python)
- + 1
MATLAB script and COMSOL models of the article "An efficient multiscale method for subwavelength transient analysis of acoustic metamaterials"
MATLAB script and COMSOL models of the article "An efficient multiscale method for subwavelength transient analysis of acoustic metamaterials"
- Equivalent fluid model
- Homogenisation
- Locally resonant acoustic metamaterials
- + 1
- (Markdown)
- (Matlab)
- (Other)
MATLAB scripts created during the work on "Design of experiments: a statistical tool for PIV uncertainty quantification"
MATLAB scripts created during the work on "Design of experiments: a statistical tool for PIV uncertainty quantification"
- Design of Experiement (DOE)
- Particle Image Velocimetry
- systematic uncertainty
- + 1
np_heating
Code for the modeling of heating around plasmonic core–shell nanoparticles
- Heat transfer
- Photothermal effect
- Plasmonic nanoparticles
- + 1
- (Markdown)
- (Other)
- (Python)
Script for: AID-PRIGSHARE: Automation of Indicator Development for Green Space Health Research in QGIS
Script for: AID-PRIGSHARE: Automation of Indicator Development for Green Space Health Research in QGIS
- buffer
- gis
- greenness
- + 2
- (Markdown)
- (Other)
- (Python)