The goal of this overview paper is to serve as a reference for researchers that are interested in the realistic modeling of wireless channels for the purpose of analysis and optimization of networked robotic systems. By utilizing the knowledge available in the wireless communication literature, we first summarize a probabilistic framework for the characterization of the underlying multiscale dy...

This paper proposes an unconstrained optimization approach to the design and upgrade of sensor networks. The proposition is motivated by the fact that current methods require threshold values for different instrumentation network attributes, which are in turn very difficult to determine. In fact, these attributes are, after all, related to the process economics and therefore should not be arbit...

Decentralizing optimization problems across a network can reduce the time required to achieve a solution. We consider a wide-area surveillance sensor network observing an environment by varying the state of each sensor so as to assign it to one or more moving objects. The aim is to maximize an arbitrary utility function related to object tracking or object identification, using graph marginaliz...

Interpretation Mehdi Bouaziz , Francesco Logozzo , Manuel Fähndrich 2 1 École Normale Supérieure, Paris 2 Microsoft Research, Redmond, WA (USA) Abstract. We present a new static analysis to infer necessary field conWe present a new static analysis to infer necessary field conditions for object-oriented programs. A necessary field condition is a property that should hold on the fields of a given...

In an ideal world, all railway tracks would be available to trains at all times. In reality, track sections need to be closed every now and again for track maintenance and upgrades in order to ensure a satisfactory level of safety and comfort. In this paper, we present a MIP model that optimizes a production plan with regard to both trains and preventive maintenance. The planned maintenance act...

Increased market competition means that quality, cost and delivery time are crucial elements of modern production techniques. Taguchi’s robust design is the most powerful method available for reducing product cost, improving quality, and simultaneously reducing development time. Robust design aims to reduce the impact of noise on the product or process quality and leads to greater customer sati...

This paper presents three simple techniques for improving network service using relatively unknown features of many existing networks. The resulting system provides greater reliability, enhanced security, and ease of management. First, it addresses the application of IP anycast to provide reliable recursive DNS service. Next, it explains the use of unicast reverse path forwarding and its useful...

We present a new release of PRISM-games, a tool for verification and strategy synthesis for stochastic games. PRISM-games 2.0 significantly extends its functionality by supporting, for the first time: (i) long-run average (mean-payoff) and ratio reward objectives, e.g., to express energy consumption per time unit; (ii) strategy synthesis and Pareto set computation for multi-objective properties...

RASP is a recent extension of Answer Set Programming that permits declarative specification and reasoning on consumption and production of resources. In this paper, we extend the concept of strong equivalence (which, as widely recognized, provides an important conceptual and practical tool for program simplification, transformation and optimization) from ASP to RASP programs and discuss its use...

In this paper we explore the usefulness of prosodic features for syllable classification. In order to do this, we represent the syllable as a static analysis unit such that its acoustic-temporal dynamics could be merged into a set of features that the SVM classifier will consider as a whole. In the first part of our experiment we used MFCC as features for classification, obtaining a maximum acc...