On Standardized Model Integration: Automated Validation in Aircraft System Simulation

Constitutive modelling of an additively manufactured alloy for fatigue lifing in high temperature applications

Optimisation-based scheduling of an avionic system

Timing-Based Localization using Multipath Information

Kähler-Poisson Algebras

Resource Allocation for Max-Min Fairness in Multi-Cell Massive MIMO

Formal Verification of Tree Ensembles in Safety-Critical Applications

Estimation of Nonlinear Greybox Models for Marine Applications

Exploring C2 Capability and Effectiveness in Challenging Situations: Interorganizational Crisis Management, Military Operations and Cyber Defence

Latency-aware Resource Management at the Edge

Towards optimal railway track utilization based on societal benefit

Multifunctional transition metal diboride thin films grown by magnetron sputtering with metal-ion irradiation

Structural and magnetic disorder in crystalline materials: a first principles study

Optimal Braking Patterns and Forces in Autonomous Safety-Critical Maneuvers

Decentralized Estimation Using Conservative Information Extraction

Exploring Process Management as a Means for Greening Road Freight Transport

On Complexity Certification of Active-Set QP Methods with Applications to Linear MPC

Understanding and Supporting Product-Service System Designing: Preliminary Insights and Support for Designing Resource-Efficient and Effective Solutions

Efficiency of heat and work in a regional energy system