— We show how the ideas of Leray (sheaf theory), Grothendieck (derived categories) and Sato (microlocal analysis) lead to the microlocal theory of sheaves which allows one to reduce many problems of linear partial differential equations to problems of microlocal geometry. Moreover, sheaves on Grothendieck topologies are a natural tool to treat growth conditions which appear in Analysis. Résumé ...

We study the implicit time discretization of piano strings governing equations within the Timoshenko prestressed beam model. Such model features two different waves, namely the flexural and shear waves, that propagate with very different velocities. We present a novel implicit time discretization that reduces the numerical dispersion while allowing the use of a large time step in the numerical ...

Résumé. Une conception de capteurs optimisée et une stratégie de placement de capteurs seront extrêmement bénéfiques à la fois pour assurer la sécurité et la réduction des coûts structurels des systèmes. L'objectif de ce travail est d'établir un schéma d'instrumentation d'une installation permettant de détecter et de localiser les défaillances de composants définis dans un cahier des charges de...

Résumé. Nous proposons dans cet article une stratégie de réécriture de requêtes sur des données multimédias décrites moyennant le standard MPEG-7. Ce standard se base sur XML schéma qui permet de décrire la structure des données. Cependant, aucune sémantique n’est assignée à cette structure. Nous proposons d’étendre ce standard d’une ontologie permettant d’exprimer les connaissances du domaine....

We embed the framework of infinite two-player turn-based games played on graphs with safety objectives in an epistemic temporal logic. This embedding is made possible thanks to two intermediate embeddings: the first is from infinite games with safety objectives to supervisory control theory and the second is from supervisory control theory to epistemic temporal logic. Thereby, we are able to de...

Résumé P. Waterman -— Nouvelle approche du prolétariat africain : perspectives, problèmes, dangers. Examen critique des points de vue de Meillassoux et Bagayogo, Sandbrook, Peil, Bromley et Gerry sur la formation des classes sociales et la conscience du prolétariat africain, en particulier de la théorie de 1' « aristocratie ouvrière » comme distincte de, et en conflit avec, les prétendus Lumpen...

In this paper, a class of cell centered finite volume schemes, on gênerai unstructured meshes, for a linear convection-diffusion problem, is studied. The convection and the diffusion are respectively approximated by means of an upwind scheme and the so called diamond cell method [4]. Our main resuit is an error estimât e of order h, assuming only the W (for p > 2) regularity of the continuous s...

— Complexity of a monadic recursion scheme is defined through numerical characteristics of trees representing its computations. A class of such complexity characteristics of trees essentially unlike the computation time: so called mimeoinvariant complexity measures, is introduced which induce several dense hiérarchies of complexity classes of monadic recursion schemes of unbounded complexity an...

We introduce continuous tools to study the low Mach number behavior of the Godunov scheme applied to the linear wave equation with porosity on cartesian meshes. More precisely, we extend the Hodge decomposition to a weighted L space in the continuous case and we study the properties of the modified equation associated to this Godunov scheme. This allows to partly explain the inaccuracy of the G...

cet article a pour but de mettre l’accent sur l’importance de la traduction adaptatrice conçue comme le canevas de l’activité socioculturelle de muhammad-ali djamalzadeh. le café de surate de bernardin de saint-pierre est repris dans la guerre de soixante-douze pays où djamalzadeh aborde le thème de la divinité conforme à la curiosité des interlocuteurs du récit. ainsi la clarification et l'all...