STEPS - an approach for human mobility modeling

In this paper we introduce Spatio-TEmporal Parametric Stepping (STEPS) - a simple parametric mobility model which can cover a large spectrum of human mobility patterns. STEPS makes abstraction of spatio-temporal preferences in human mobility by using a power law to rule the nodes movement. Nodes in STEPS have preferential attachment to favorite locations where they spend most of their time. Via simulations, we show that STEPS is able, not only to express the peer to peer properties such as inter-ontact/contact time and to reflect accurately realistic routing performance, but also to express the structural properties of the underlying interaction graph such as small-world phenomenon. Moreover, STEPS is easy to implement, exible to configure and also theoretically tractable

The age of information in gossip networks

We introduce models of gossip based communication networks in which each node is simultaneously a sensor, a relay and a user of information. We model the status of ages of information between nodes as a discrete time Markov chain. In this setting a gossip transmission policy is a decision made at each node regarding what type of information to relay at any given time (if any). When transmission policies are based on random decisions, we are able to analyze the age of information in certain illustrative structured examples either by means of an explicit analysis, an algorithm or asymptotic approximations. Our key contribution is presenting this class of models.Comment: 15 pages, 8 figure

Networks and the epidemiology of infectious disease

The science of networks has revolutionised research into the dynamics of interacting elements. It could be argued that epidemiology in particular has embraced the potential of network theory more than any other discipline. Here we review the growing body of research concerning the spread of infectious diseases on networks, focusing on the interplay between network theory and epidemiology. The review is split into four main sections, which examine: the types of network relevant to epidemiology; the multitude of ways these networks can be characterised; the statistical methods that can be applied to infer the epidemiological parameters on a realised network; and finally simulation and analytical methods to determine epidemic dynamics on a given network. Given the breadth of areas covered and the ever-expanding number of publications, a comprehensive review of all work is impossible. Instead, we provide a personalised overview into the areas of network epidemiology that have seen the greatest progress in recent years or have the greatest potential to provide novel insights. As such, considerable importance is placed on analytical approaches and statistical methods which are both rapidly expanding fields. Throughout this review we restrict our attention to epidemiological issues

Formal analysis techniques for gossiping protocols

We give a survey of formal verification techniques that can be used to corroborate existing experimental results for gossiping protocols in a rigorous manner. We present properties of interest for gossiping protocols and discuss how various formal evaluation techniques can be employed to predict them

General highlight detection in sport videos

Attention is a psychological measurement of human reflection against stimulus. We propose a general framework of highlight detection by comparing attention intensity during the watching of sports videos. Three steps are involved: adaptive selection on salient features, unified attention estimation and highlight identification. Adaptive selection computes feature correlation to decide an optimal set of salient features. Unified estimation combines these features by the technique of multi-resolution autoregressive (MAR) and thus creates a temporal curve of attention intensity. We rank the intensity of attention to discriminate boundaries of highlights. Such a framework alleviates semantic uncertainty around sport highlights and leads to an efficient and effective highlight detection. The advantages are as follows: (1) the capability of using data at coarse temporal resolutions; (2) the robustness against noise caused by modality asynchronism, perception uncertainty and feature mismatch; (3) the employment of Markovian constrains on content presentation, and (4) multi-resolution estimation on attention intensity, which enables the precise allocation of event boundaries

Modelling mobile opportunistic networks - from mobility to structural and behavioral analysis

In this work, we propose a modeling framework which captures the most fundamental behavioral and structural properties of mobile opportunistic networks from mobility to structural level. First, we introduce STEPS -- a simple parametric mobility model which can cover a large spectrum of human mobility patterns. STEPS abstracts the fundamental spatio-temporal behaviors of human mobility, i.e., preferential attachment and attractors, by using a power law to drive nodes' movement. We show that the model makes it possible to express key peer-to-peer properties of opportunistic networks such as inter-contact/contact time distributions. Leveraging on the expressive and modeling power of STEPS, we analyze how fundamental structural properties can emerge from the combination of elementary node's mobility behavior. Specifically, we bring out one sufficient condition of the emergence of the famous small-world structure in opportunistic networks. We also show that this special dynamic network structure improves significantly the communication capacity of opportunistic networks

Epidemics on plants: Modeling long-range dispersal on spatially embedded networks

Here we develop an epidemic model that accounts for long-range dispersal of pathogens between plants. This model generalizes the classical compartmental models–Susceptible-Infected-Susceptible (SIS) and Susceptible-Infected-Recovered (SIR)–to take into account those factors that are key to understand epidemics in real plant populations. These ingredients are the spatial characteristics of the plots and fields in which plants are embedded and the effect of long-range dispersal of pathogens. The spatial characteristics are included through the use of random rectangular graphs which allow to consider the effects of the elongation of plots and fields, while the long-range dispersal is implemented by considering transformations, such as the Mellin and Laplace transforms, of a generalization of the adjacency matrix of the geometric graph. Our results point out that long-range dispersal favors the propagation of pathogens while the elongation of plant plots increases the epidemic threshold and decreases dramatically the number of affected plants. Interestingly, our model is able of reproducing the existence of patchy regions of infected plants and the absence of a clear propagation front centered in the initial infected plants, as it is observed in real plant epidemics

Markov Decision Processes with Applications in Wireless Sensor Networks: A Survey

Wireless sensor networks (WSNs) consist of autonomous and resource-limited devices. The devices cooperate to monitor one or more physical phenomena within an area of interest. WSNs operate as stochastic systems because of randomness in the monitored environments. For long service time and low maintenance cost, WSNs require adaptive and robust methods to address data exchange, topology formulation, resource and power optimization, sensing coverage and object detection, and security challenges. In these problems, sensor nodes are to make optimized decisions from a set of accessible strategies to achieve design goals. This survey reviews numerous applications of the Markov decision process (MDP) framework, a powerful decision-making tool to develop adaptive algorithms and protocols for WSNs. Furthermore, various solution methods are discussed and compared to serve as a guide for using MDPs in WSNs