Synthesis and Verification of Neural Control Barrier Functions for Safe Reinforcement Learning with Guarantees

The impact of expressing emotion within explainable AI in human-agent teamwork

Potential Impacts of Transit-Shared Bike Integration on Equity in Job Accessibility: A Case Study in the Amsterdam Transport Region

Towards Robust Object Detection in Unseen Catheterization Laboratories

Microphysical Retrievals in Mixed-Phase Clouds with low LWP using Cloud Radar

Develop and evaluate a web-based design guide for improving the digital patient experience

Novel dopant-free carrier selective contacts for c-Si solar cell

The basic reproductive number (R0) of SIS epidemics on networks

Assessing the impact of ERS technologies on stakeholders from a system perspective

ADS-B Based Trajectory Prediction for Aerial Vehicles

Designing a bone fracture apparatus for surgical training applied on human cadaver

Interpretable Parametric Modelling of the Heart based on ECG Signals

Mindful Matching: Enhancing Wellbeing through Positive AI on Dating Platforms

Warpage analysis on power module ceramic substrates

A 10-bit Digital to Time Converter with a Phase Noise Filter

Linear Clustering Process on Networks

Negator-based Switch Capacitor Buck-boost DC-DC Converter

A preliminary study towards mm-wave wireless network topology optimization using ray tracing: Master thesis report

Parking Space Allocation Strategy Optimization during Planned Special Events

Music·Wave: Companion Product for Orthopedic Surgery Patients with AI -Generated Music