Migration-aware Network Services with Edge Computing

The development of Multi-access edge computing (MEC) has resulted from the requirement for supporting next generation mobile services, which need high capacity, high reliability and low latency. The key issue in such MEC architectures is to decide which edge nodes will be employed for serving the needs of the different end users. Here, we...

Payoff distribution in robust coalitional games on time-varying networks

In this article, we consider a sequence of transferable utility coalitional games, where the actual coalitional values are unknown but vary within known bounds. As a solution to the resulting family of games, we formalize the notion of 'robust core.' Our main contribution is to design two distributed algorithms, namely 1) distributed payoff...

Excitation allocation for generic identifiability of linear dynamic networks with fixed modules

Identifiability of linear dynamic networks requires the presence of a sufficient number of external excitation signals. The problem of allocating a minimal number of external signals for guaranteeing generic network identifiability in the full measurement case has been recently addressed in the literature. Here we will extend that work by...

Genesis and nature of the Delft CREM model

Purpose: Since corporate real estate management (CREM) emerged in the 1990s, it has been modelled in many ways. The Delft model views the corporate real estate management function as a coordinator of four distinct accommodation perspectives. Although the model has been used in education and practice for years, there is no consensus on its...

Iron: Managing obligations in higher-order concurrent separation logic

Precise management of resources and the obligations they impose, such as the need to dispose of memory, close locks, and release file handles, is hardÐespecially in the presence of concurrency, when some resources are shared, and different threads operate on them concurrently. We present Iron, a novel higher-order concurrent<br/>separation logic...

Facilitating circular economy in urban planning

A shift towards a more Circular Economy is crucial to achieve a more sustainable and inclusive built environment that meets future demands. Circular Economy is a promising concept for industry and society. If implemented well, Circular Economy can deliver environmental benefits and economic advantages for which innovation is essential. To...

Tyrex: Size-Based Resource Allocation in MapReduce Frameworks

Many large-scale data analytics infrastructures are employed for a wide variety of jobs, ranging from short interactive queries to large data analysis jobs that may take hours or even days to complete. As a consequence, data-processing frameworks like MapReduce may have workloads consisting of jobs with heavy-tailed processing requirements. With...

Real-time resource model updating for improved coal quality control using online data

In recent years a real-time resource model updating concept has proven to increase the material quality control and process efficiency in geostatistics. The real-time resource model updating concept integrates online-sensor data, measured fromthe production line, into the resourcemodel. This integration quickly improves the accuracy of the...

Auctions for Congestion Management in Distribution Grids

Large controllable loads, such as electric vehicles, are increasingly penetrating electricity distribution feeders. To avoid local congestion, their consumption behaviour must be steered, for which a real-time price propagated down from the transmission system does not suffice, as it does not reflect local grid conditions. To efficiently steer...