Filetype
Shift-map image processing is a new framework based on energy minimization over a large space of labels. The optimization utilizes $\alpha$-expansion moves and iterative refinement over a Gaussian pyramid. In this paper we extend the range of applications to image registration. To do this, new data and smoothness terms have to be constructed. We note a great improvement when we measure pixel simi
Self-adaptation is a first class concern for cloud applications, which should be able to withstand diverse runtime changes. Variations are simultaneously happening both at the cloud infrastructure level - for example hardware failures - and at the user workload level - flash crowds. However, robustly withstanding extreme variability, requires costly hardware over-provisioning. In this paper, we i
An approach to constrained resource allocation for real time software components executing on nondeterministic hardware is considered. A model for resource consumption based on execution rate is investigated together with an event-based measurement and parameter estimation scheme. Finally, an algorithm for real time constrained optimization of resources is presented together with results from a ca
Whatever their size and the ecosystem they live in, all organisms may disperse at some stage of their life cycle. Dispersal dynamics are to a varying extent dependent on organismal size, life history, ecological niche, survival capacities and phylogeny. Moves towards a synthesis in dispersal ecology have focused primarily on vertebrates and higher plants, yet recent studies suggest that the disper
Feedback control has been applied to computing systems, usually taking a designed system and closing a loop to adjust some of its parameters. However, the design of computing systems components as controllers have shown advantages with respect to state-of-the-art techniques, especially in the scheduling domain, where uniprocessor schedulers have been designed as discrete-time control structures. H
This note proposes a unified approach to analyse linear time-invariant consensus problems via the use of integral quadratic constraints (IQCs) without recourse to loop transformations, which may cloud the inherent structural properties of the multi-agent networked systems. The main technical hindrance to using IQCs lies in the presence of the marginally stable integral action in consensus setups.
We study the notion of structured realizability for linear systems dened over graphs. A stabilizable and detectable realization is structured if the state-space matrices inherit the sparsity pattern of the adjacency matrix of the associated graph. In this paper, we demonstrate that not every structured transfer matrix has a structured realization and we reveal the practical meaning of this fact. W
A feedback-based scheme for cooperative content distribu- tion for mobile systems aimed at reducing energy and li- censed spectrum usage is presented. The paper is motivated by the problems in implementing peer-to-peer based content distribution in mobile networks due to the risks of unfair en- ergy expenditure. A technique for incentivizing cooperation and for enforcing agreements between peers i
Dynamical flow networks with heterogeneous routing are analyzed in terms of stability and resilience to perturbations. Particles flow through the network and, at each junction, decide which downstream link to take on the basis of the local state of the network. Differently from single-commodity scenarios, particles belong to different classes, or commodities, with different origins and destination
With larger penetrations of wind power, the uncertainty increases in power systems operations. The wind power forecast errors must be accounted for by adapting existing operating tools or designing new ones. A switch from the deterministic framework used today to a probabilistic one has been advocated. This two-part paper presents a framework for risk-based operations of power systems. This framew
This paper introduces a novel approach to building virtual laboratories of embedded control systems using TrueTime and Easy Java Simulations. TrueTime is a freeware MATLAB/Simulink based tool commonly used to simulate embedded control systems. Easy Java Simulations is a popular authoring tool that facilitates the creation of pedagogical simulations. According to the proposed approach, authors use
Abstract in UndeterminedStrong resilience properties of dynamical networks are analyzed for distributed routing policies. The latter are characterized by the property that the way the outflow at a non-destination node gets split among its outgoing links is allowed to depend only on local information about the current particle densities on the outgoing links. The strong resilience of the network is
Designing decorrelated MIMO antennas in small mobile terminals at frequencies below 1 GHz is challenging since more than one antenna tend to excite the single resonant mode available to a typical chassis structure. This challenge increases even further when multiple frequency bands are required from each antenna. Recently, a design framework to obtain efficient and decorrelated MIMO antennas based
