Don’t bind yourself to do notation!: Using Agda to Prove Correctness of Refactorings on Monads

An Embodied Cognition Approach To Collaborative Engineering Design Activities

Collaborative Learning in Engineering Design Education: A Systematic Literature Review

Predicting the optimal CFL number for pseudo time-stepping: with machine learning in the COMSOL CFD module

Enhancing textile reuse in the Netherlands: An agent-based modelling study towards reuse rebound effects and value changes in the textile industry

Student perceptions on a collaborative engineering design course

Numerical investigation of atomisation using a hybrid Eulerian-Lagrangian solver

Editors' Choice - Dealloying-Driven Cerium Precipitation on Intermetallic Particles in Aerospace Aluminium Alloys

Nanoscopic and in-situ cross-sectional observations of Li-based conversion coating formation using liquid-phase TEM

Laterally-resolved formation mechanism of a lithium-based conversion layer at the matrix and intermetallic particles in aerospace aluminium alloys

Challenges to electrochemical evaluation of nanometric sandwiched thin specimens using liquid cells designed for application in liquid-phase TEM corrosion studies

Wall heat loads in a cryogenic rocket thrust chamber during thermoacoustic instabilities

Multi-case Evaluation of Empirical Methods for Satellite-Derived Bathymetry

Design of a 1-N monopropellant thruster for testing of new hydrogen peroxide decomposition technologies

Accessing lithium−oxygen battery discharge products in their native environments via transmission electron microscopy grid electrode

Cross-sectional characterization of the conversion layer formed on AA2024-T3 by a lithium-leaching coating

Application of in-situ liquid cell transmission electron microscopy in corrosion studies: a critical review of challenges and achievements

In-situ nanoscopic observations of dealloying-driven local corrosion from surface initiation to in-depth propagation

Dealloying-driven local corrosion by intermetallic constituent particles and dispersoids in aerospace aluminium alloys

The effect of mono- versus multi-segment musculoskeletal models of the foot on simulated triceps surae lengths in pathological and healthy gait