The Active XML project: an overview

This paper provides an overview of the Active XML project developed at INRIA over the past five years. Active XML (AXML, for short), is a declarative framework that harnesses Web services for distributed data management, and is put to work in a peer-to-peer architecture. The model is based on AXML documents, which are XML documents that may contain embedded calls to Web services, and on AXML services, which are Web services capable of exchanging AXML documents. An AXML peer is a repository of AXML documents that acts both as a client by invoking the embedded service calls, and as a server by providing AXML services, which are generally defined as queries or updates over the persistent AXML documents. The approach gracefully combines stored information with data defined in an intensional manner as well as dynamic information. This simple, rather classical idea leads to a number of technically challenging problems, both theoretical and practical. In this paper, we describe and motivate the AXML model and language, overview the research results obtained in the course of the project, and show how all the pieces come together in our implementation. The first and third authors were partially funded by the European Project Edos. Work done when the second and third authors were at INRIA. Work done when the second and third authors were at INRIA.     

A transformation-based approach to context-aware modelling

Context-aware computing is a paradigm for governing the numerous mobile devices surrounding us. In this computing paradigm, software applications continuously and dynamically adapt to different “contexts” implying different software configurations of such devices. Unfortunately, modelling a context-aware application (CAA) for all possible contexts is only feasible in the simplest of cases. Hence, tool support verifying certain properties is required. In this article, we introduce the CAA model, in which context adaptations are specified explicitly as model transformations. By mapping this model to graphs and graph transformations, we can exploit graph transformation techniques such as critical pair analysis to find contexts for which the resulting application model is ambiguous. We validate our approach by means of an example of a mobile city guide, demonstrating that we can identify subtle context interactions that might go unnoticed otherwise.     

Effective discrepancy and numerical experiments

Many problems require the computation of a high dimensional integral, typically with a few tens of input factors, with a low number of integrand evaluations. To avoid the curse of dimensionality, we reduce the dimension before applying the Quasi-Monte Carlo method. We will show how to reduce the dimension by computing approximate Sobol indices of the variables with a two-levels fractional factorial design. Then, we will use the Sobol indices to define the effective discrepancy, which turns out to be correlated with the QMC error and thus enables one to choose a good sequence for the integral estimation.     

An experimental evaluation of cross-layer routing in a wireless mesh backbone

Over the latest few years, cross-layer design in wireless networks has drawn great attention from the research community. One of the main arguments in favor of such techniques is that the hop-count metric alone is not enough to capture the specificities of wireless links (e.g., interferences, collisions, fading). In this paper, we address a simple yet fundamental question: What are the real improvements that cross-layering can bring to routing performance when compared to the simple hop-count metric? In our experiments, we consider the backbone of a real wireless mesh network composed of 12 routers deployed in an office building. We focus on the stability of routes and their persistence. In spite of the nature of cross-layer metrics that take into account information from different layers, lets them be very reactive to changes, we observe that using these metrics, pairs of nodes tend to mainly use the same set of two or three routes between them.     

An Auto-Adaptive Multidomain Spectral Technique for Linear Stability Analysis: Application to Viscous Compressible Flows

An auto-adaptive multidomain pseudo-spectral technique is considered in order to solve the linear stability problem of viscous compressible flows. Both the locations of the interfaces and the parameters of the mappings in each subdomain are adapted by minimizing the H ² -norm of the calculated solution. Such method provides automatically—this is the key point—the best polynomial interpolation of the basic state the stability of which is studied. It turns out that the whole procedure is needed to obtain reliable results. The method is first validated against results available in the literature (both viscous incompressible and inviscid compressible Rayleigh–Taylor configurations). The efficiency of the numerical method is illustrated with results on the linear stability of the compressible viscous diffusive Rayleigh–Taylor flow where no analytical or numerical results are available. New results showing the influence of stratification, viscosity, diffusity between species and thermal diffusivity are presented.     

Principles of adjustable autonomy: a framework for resilient human–machine cooperation

Unmanned ground vehicles tend to be more and more autonomous, but both complete teleoperation and full autonomy are not efficient enough to deal with all possible situations. To be efficient, the human–robot system must be able to anticipate, react and recover from errors of different kinds, i.e., to be resilient. From this observation, this paper proposes a survey on the resilience of a human–machine system and the means to control the resilience. The resilience of a system can be defined as the ability to maintain or recover a stable state when subject to disturbance. Adjustable autonomy and human–machine cooperation are considered as means of resilience for the system. This paper then proposes three indicators to assess different meanings of resilience of the system: foresight and avoidance of events, reaction to events and recovery from occurrence of events. The third of these metrics takes into consideration the concept of affordances that allows a common representation for the opportunities of action between the automated system and its environment.     

A posteriori error estimation for acoustic wave propagation problems

Summary The main purpose of this paper is to review a posteriori error estimators for the simulation of acoustic wave propagation problems by computational methods. Residual-type (explicit and implicit) and recovery-type estimators are presented in detail in the case of the Helmholtz problem. Recent work on goal-oriented error estimation techniques with respect to so-called quantities of interest or output functionals are also accounted for. Fundamental results from a priori error estimation are presented and issues dealing with pollution error at large wave numbers are extensively discussed.     

Scheduling links for heavy traffic on interfering routes in wireless mesh networks

We consider wireless mesh networks and the problem of scheduling the links of a given set of routes under the assumption of a heavy-traffic pattern. We assume some TDMA protocol provides a background of synchronized time slots and seek to schedule the routes’ links to maximize the number of packets that get delivered to their destinations per time slot. Our approach is to construct an undirected graph G and to heuristically obtain node multicolorings for G that can be turned into efficient link schedules. In G each node represents a link to be scheduled and the edges are set up to represent every possible interference for any given set of interference assumptions. We present two multicoloring-based heuristics and study their performance through extensive simulations. One of the two heuristics is based on relaxing the notion of a node multicoloring by dynamically exploiting the availability of communication opportunities that would otherwise be wasted. We have found that, as a consequence, its performance is significantly superior to the other’s.     

Cancer stem cell sorting from colorectal cancer cell lines by sedimentation field flow fractionation

Recently, cancer stem cells (CSCs) have been identified in many types of cancers, such as colorectal cancer (CRC). CSCs seem to be involved in initiation, growth, and tumor metastasis, as well as in radio- and chemotherapy failures. CSCs appears as new biological targets for cancer therapy, requiring the development of noninvasive cell sorting methods. In this study, we used sedimentation field flow fractionation (SdFFF) to prepare enriched populations of CSCs from eight cell lines corresponding to different CRC grades. On the basis of phenotypic and functional characterizations, "hyperlayer" elution resulted in a fraction overexpressing CSC markers (CD44, CD166, EpCAM) for all cell lines. CSCs were eluted in the last fraction for seven out of eight cell lines, but in the first for HCT116. These results suggest, according to the literature, that two different pools of CSCs exist, quiescent and activated, which can both be sorted by SdFFF. Moreover, according to CSC properties, enriched fractions are able to form colonies.