We give some equivalence estimates on the solution of a singular perturbation problem that represents, among other models, the Koiter and Naghdi shell models. Two of the estimates apply to intermediate shell problems and the third is for membrane/shear dominated shells. From these equivalences, many known and some new sharp estimates on the solutions of the singular perturbation problems easily...

In this work three branches of Immersed Boundary Methods (IBM) are described and validated for incompressible aerodynamics and fluid-structure interactions. These three approaches are: Cut Cell method, Vortex-Penalization method and Forcing method. Two first techniques are validated for external bluff-body flows and the last one is used for fluid-structure interactions. The paper confirms the a...

This article presents a novel approach to empirical comparison between parsers for different grammar formalisms such as LTAG and HPSG. The key idea of our approach is to use strongly equivalent grammars obtained by grammar conversion, which generate equivalent parse results for the same input. We validate our approach by giving a formal proof of strong equivalence for an existing grammar conver...

Ivermectin is a worldwide-used antiparasitic drug largely administered to cattle as a topical formulation (pour-on). The actual plasma and faecal disposition of pour-on ivermectin in cattle was documented using an original pharmacokinetic model, and taking into account the oral ingestion of the topical drug following physiological licking as a secondary route of exposure. Six pairs of monozygot...

Many physical problems involve spatial and temporal inhomogeneities that require a very fine discretization in order to be accurately simulated. Using an adaptive mesh, a high level of resolution is used in the appropriate areas while keeping a coarse mesh elsewhere. This idea allows to save time and computations, but represents a challenge for distributed-memory environments. The MARS project ...

Oyez, oyez, chevaliers d'hier et d'aujourd'hui, grands et petits, apprentis ou aguerris, hardis et pleins de vie! Le moment est venu de rallier votre confrérie et de partager votre folie… euh, votre génie… et vos livres chéris… enfin vos aventures, quoi, avec nos jeunes lecteurs qui vous envient et qui, parfois, rêvent qu'ils vous copient! Les bibliothécaires de l'Espace Jeunes, chevaliers émér...

This paper describes a high level C++ library for message passing applications. Our interface is build on top of PVM and MPI. The goal of this interface is to allow a quicker design of parallel applications without any important drop of performances. We introduce two levels of tasks and use C++ streams for communications. We also present a performance study over both PVM and MPI to show the ove...

We focus on the emptiness problem for alternating parity tree automata. The usual technique to tackle this problem first removes alternation, going to non-determinism, and then checks emptiness by reduction to a two-player perfect-information parity game. In this note, we give an alternative roadmap to this problem by providing a direct reduction to the emptiness problem to solving an imperfect...

Résumé: Pour des domaines étoilés on donne des nouvelles bornes sur les constants dans les inégalités de Jackson pour les espaces de Sobolev. Pour des domaines convexes, les bornes ne dépendent pas de l’excentricité. Pour des domaines non-convexes ayant un point rentrant, les bornes sont uniformes par rapport à l’angle extérieur. L’outil central est un nouvel opérateur de projection sur l’espac...