Blockchain verification and validation: Techniques, challenges, and research directions

A Non-parametric Bayesian Network for multivariate probabilistic modelling of Weigh-in-Motion System Data

Berth planning and real-time disruption recovery: a simulation study for a tidal port

On the mechanisms for aerobic granulation - model based evaluation

Prediction-Based Reachability Analysis for Collision Risk Assessment on Highways

Speeding up Deep Reinforcement Learning through Influence-Augmented Local Simulators

Simulating the radiation loss of superconducting submillimeter wave filters and transmission lines using Sonnet em

Experimental Design for Measuring Operational Performance of Truck Parking Terminal Using Simulation Technique

Position-based dynamics simulator of vessel deformations for path planning in robotic endovascular catheterization

Automated Lane Keep Assist System: A study on the formation and evolution of the mental model of the user of ALKS

Online Black-box Shape Optimization for a Seamless Active Morphing Wing

Choosing a sustainable, economical energy supply system, considering all operational variables of an autonomous submarine dredger: A study as part of the development of the ALERD, which will serve as sustainable coastal maintenance in the service of The Netherlands

Modeling the effect of dissolved gas on the bubble layer along a vertical gasevolving electrode

Online lock scheduling and disruption management

Quantifying transmission risks of SARS-CoV-2 in pedestrian interactions at large events

Evaluation of an Ammonia Fueled Combine-cycle Gas Turbine Power System on Maritime Usage

Railway - Spare Inventory & Maintenance Scheduling model development

Validating a LiFi communication system: an OMNEST emulation approach

Accessible Data Mining for Agent-Based Simulation Models

Simulating Human Routines: Integrating Social Practice Theory in Agent-Based Models