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.     

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.     

The level set method for the two-sided max-plus eigenproblem

We consider the max-plus analogue of the eigenproblem for matrix pencils, A???x?=?λ???B???x. We show that the spectrum of (A,B) (i.e., the set of possible values of λ), which is a finite union of intervals, can be computed in pseudo-polynomial number of operations, by a (pseudo-polynomial) number of calls to an oracle that computes the value of a mean payoff game. The proof relies on the introduction of a spectral function, which we interpret in terms of the least Chebyshev distance between A???x and λ???B???x. The spectrum is obtained as the zero level set of this function.     

Occluded Video Instance Segmentation: A Benchmark

International Journal of Computer Vision - Can our video understanding systems perceive objects when a heavy occlusion exists in a scene? To answer this question, we collect a large-scale dataset...     

About the gauge conditions arising in Finite Element magnetostatic problems

In this paper, we deal with some magnetostatic models considered in vector potential formulations and solved by a Finite Element solver. In order to ensure the uniqueness of the solution, a gauge condition has to be imposed, and several possibilities occur. Moreover, the source term has to be correctly defined to ensure a physically admissible solution. We show the equivalence between some of these choices for several kinds of boundary conditions. Moreover, we highlight their characteristic behaviors on some numerical benchmarks to illustrate our theoretical results.     

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 Pragmatic Approach to Reuse in Tactical Theorem Proving

In interactive theorem proving, tactics and tacticals have been introduced to automate proof search. In this scenario, user interaction traditionally is restricted to the mode in which the user decides which tactic to apply on the top-level, without being able to interact with the tactic once it has begun running.We propose a technique to allow the implementation of derivational analogy in tactical theorem proving. Instead of replaying tactics including backtracked dead ends our framework makes choice points in tactics explicit and thus avoids dead ends when reusing tactics. Additionally users can override choices a tactic has made or add additional steps to a derivation without terminating the tactic. The technique depends on an efficient replay of tactic executions without repeating search that the original computation may have involved.     

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.