Cardiff Metropolitan University, with a background in mathematical computer science, and in particular expertise in game semantics for programming languages and on developing new frameworks to model programming paradigms.She is interested in creating mathematical tools for modelling computing concepts, but also in applying them to real-world problems.
The concept of using multicriteria analysis and mathematical programming for the systematic and structural assessment and support of decisions and actions of bodies and stakeholders at various leve...
This paper presents an inventive software process of finding the most optimised solution to the operational shipping crew assignment and scheduling problem. The contribution of this paper is two-fo...
Climate change has led countries to alter their energy policies, pave way for greener environment, and enhance their performance regarding their energy sustainability. Energy sustainability is one ...
We develop a decision support system (DSS) for the computationally complex problem of long-term personnel planning in call centres which employs a novel approach to analyse the consequences of deci...
The new initiatives of air traffic management (ATM) imposed by EUROCONTROL and EU Commission aim to eliminate the drawbacks of the current ATM system in Europe. Triggered by the imperative need for increasing the air sectors' capacity to face the future increase in the flight demand, innovative methodologies are developed aligned with the modernisation of ATM procedures. This study proposes a two-level hierarchical framework based on mixed integer nonlinear programming (MINLP) in the context of free flight. The first level aims to minimise the costs derived from ground - holding and cancellation policies, and from fuel consumption due to airborne delays and speed deviations. The second level focuses on minimising the costs derived from the fuel consumption for travelling in specified direction, speed and flight levels. The framework generates the optimal 4D trajectories of each airplane for a given time frame. It is designed as a two-level hierarchical architecture model to decrease the computing demands of NP hard formulations of current ATM mathematical models.
