Train scheduling is a critical activity in rail traffic management, both off-line (timetabling) and on-line (dispatching). Time-Indexed formulations for scheduling problems are stronger than other classical formulations, like Big-M. Unfortunately, their size grows usually very large with the size...
01a Articolo in rivista
-
-
Fog Computing is a widely adopted paradigm that allows distributing the computation in a geographic area. This makes it possible to implement time-critical applications and opens the study to a series of solutions that permit smartly organizing the traffic among a set of fog nodes, which constitute...
-
Shapley values from cooperative game theory are adapted for explaining machine learning predictions. For large feature sets used in machine learning, Shapley values are approximated. We present a protocol for two techniques for explaining support vector machine predictions with exact Shapley value...
-
The gas turbine is considered to be a very complex piece of machinery because of both its static structure and the dynamic behavior that results from the occurrence of vibration phenomena. It is required to adopt monitoring and diagnostic procedures for the identification and localization of...
-
In this paper, we use two Fractional-Order Chaotic Systems (FOCS)-one for the sender and one for the receiver-to determine the optimal synchronisation for a secure communication technique. With the help of the Step-By-Step Sliding-Mode Observer (SBS-SMO), this synchronisation is accomplished. An...
-
Visual neural decoding, namely the ability to interpret external visual stimuli from patterns of brain activity, is a challenging task in neuroscience research. Recent studies have focused on characterizing patterns of activity across multiple neurons that can be described in terms of population-...
-
Goal Recognition is the task of discerning the intended goal that an agent aims to achieve, given a set of goal hypotheses, a domain model, and a sequence of observations (i.e., a sample of the plan executed in the environment). Existing approaches assume that goal hypotheses comprise a single...
-
Controlled query evaluation (CQE) is an approach for confidentiality-preserving query answering where a function called censor alters query answers so that users can never infer data that are protected by a policy given in terms of logic formulae. In this paper, we review some foundational results...
-
Inland areas are suffering from depopulation and a lack of services, with many citizens deciding to move to the city. Smart cities require a decentralised and collective energy model in the form of renewable energy communities (RECs). This work aims to propose an economic analysis of residential...
-
The ecological transition in the transport sector is a major challenge to tackle environmental pollution, and European legislation will mandate zero-emission new cars from 2035. To reduce the impact of petrol and diesel vehicles, much emphasis is being placed on the potential use of synthetic fuels...