Real-time Probabilistic Passenger Arrival Forecasting

Through several contractions, stiff competition, and increasing passenger expectations, airports must evolve continually. One of the main avenues for this has been improving the efficiency of the security check- points, which are airports’ primary bottlenecks. Operational optimisation methods, such as resource and task scheduling are relatively...

Development Of An Energy-Efficient Gaming Platform To Evaluate Novel User Interaction

In the modern age, the proliferation of electronic devices and their subsequent waste presents an increasing environmental challenge. With the continuing growth of technology and the urgency of sustainability becoming ever more important, there is an ever-increasing need to reimagine how we power and utilize our devices. This has been...

Rapture: An Efficient Cloud Gaming Platform Built on Containerization

Cloud gaming is a new paradigm that allows users to play games in the cloud and stream them to a thin client. While there is little research about cloud gaming, containerization technologies such as Docker could provide a virtualization alternative to Virtual Machines, as these suffer from overhead and GPU pass-through constraints. With Rapture,...

Simulating an Scheduling Airport Security Checkpoints: Q-Learning-Based Allocation of Operators to Security Teams at an Airport Security Checkpoint

In this paper, we propose and analyze a q-learning-based approach for allocation of operators to security teams in order to improve operational efficiency of an airport security checkpoint. The research is composed of two parts. First, we develop an agent-based model capable of simulating an airport security checkpoint. Second, we introduce...

An improved Tabu Search for optimising the configuration of an agent-based simulation model of a novel security checkpoint

The major international airport, Amsterdam Airport Schiphol, is redesigning its security checkpoints for 2024, for which a novel type of security checkpoint configuration is considered. In this redesign, one seeks to find the optimal checkpoint configuration; however, this remains non-trivial. The checkpoint configuration problem requires a...

Benchmarking Checkpoint-based Fault Tolerance Algorithms in Stateful Stream Processing

Major advances in the fault tolerance of distributed stream processing systems provided the systems with the capacity to produce strictly consistent results under failures. Consistent fault tolerance has been one of the catalysts fueling the maturity of streaming systems and boosting their widespread adoption not only for analytics use cases,...

The application of differentiable programming frameworks to computational fluid dynamics

In recent years many automatic differentiable programming frameworks have been developed in which numerical programs can be differentiated through automatic differentiation (AD). Examples of these frameworks are Theano, TensorFlow and Pytorch. These frameworks are widely used in Machine Learning. AD also finds applications in the field of...

Calibration and validation of an agent-based airport security checkpoint model with heterogeneous agents

Using a data-driven approach, a heterogeneous populated agent-based model of an airport security checkpoint is calibrated and validated. It is found that average performance using the model can be replicated to a sufficient degree. The heterogenous population could become useful when different passenger fractions - with different performance per...

Dependable Dynamic Checkpoints for Batteryless Devices

Tiny batteryless sensing systems that do not have a constant supply of power have become an increasingly appealing way to gather data, in hard to reach places, at low cost. These systems suffer from frequent and unpredictable power loss. Preserving information through power failures is an ancillary challenge. Unfortunately, state-of-the-art...

Modelling security checkpoint performance and staff deployment - Using discrete event simulation to perform a conceptual case study on performance and efficiency of personnel security checkpoints at Amsterdam Airport Schiphol

Amsterdam Airport Schiphol knows security checkpoints for passengers but also for personnel, cargo and vehicles entering the Security Restricted Area - Critical Part. By using a discrete event simulation model, the performance of non-passenger security checkpoints is assessed together with options for improvement of the performance and...

Checkpoint of the Future: A UML-based Framework for Design and Analysis

This paper contributes to the design of the background check and ID verification process of the Checkpoint of the Future. Criminal actions and terrorist attacks have led to increased security measures that have put strain on both airport resources and the processing rate of passengers in security lanes. The ‘Checkpoint of the Future’ has to...