This study is concerned with the solution of the time domain Maxwell’s equations in a dispersive propagation media by a Discontinuous Galerkin Time Domain (DGTD) method. The Debye model is used to describe the dispersive behaviour of the media. The resulting system of equations is solved using a centered flux discontinuous Galerkin formulation for the discretization in space and a second order ...

In this work, we present a HLLC scheme modification for application to nonhomogeneous shallow-water equations with pollutant transport. This new version is related to the definition of a consistent approximation of the intermediate wave speed. Numerical results are presented to illustrate the importance of such approximation to get appropriate pollutant concentration profiles. Une vitesse inter...

On explicite l’approche de Cohn (1955) de la théorie de Markoff. On montre en particulier comment l’arbre complet des solutions de l’équation diophantienne associée apparaît comme quotient du groupe GL(2,Z) des matrices 2× 2 à coefficients entiers et de déterminant ±1 par un sous-groupe diédral D6 à 12 éléments. Différents développements intermédiaires sont faits autour du groupe Aut(F2) des au...

The last few years have witnessed important new developments in the theory and practice of pattern classification. We intend to survey some of the main new ideas that have lead to these important recent developments. Résumé. Durant ces dernières années, la théorie et la pratique de la reconnaissance des formes ont été marquées par des développements originaux. Ce survol présente certaines des p...

Cet article presente des implantations optimisées de filtres prototypes de bancs de filtres modulés à reconstruction parfaite, à retard quelconque. Les implantations proposées sont basées sur des "schémas de liftage". Ici, l’approximation des coefficients "de liftage" est faite de manière à ce que le filtrage n’emploie que peu d’operations de décalage et addition. Comme le "schéma de liftage" e...

CIRANO Le CIRANO est une corporation privée à but non lucratif constituée en vertu de la Loi des compagnies du Québec. Le financement de son infrastructure et de ses activités de recherche provient des cotisations de ses organisations-membres, d=une subvention d=infrastructure du ministère de l=Industrie, du Commerce, de la Science et de la Technologie, de même que des subventions et mandats ob...

Résumé. L’émergence de nombreuses sources d’Open Data poussent plusieurs communautés de recherche ainsi que des entreprises à développer des outils permettant leur exploitation. En particulier, les données statistiques présentes dans les Open Data peuvent constituer des informations utiles aux analyses décisionnelles. Toutefois les Open Data très hétérogènes et disséminés en plusieurs morceaux ...

This report presents a formalisation of Sylow’s theorems done in Coq. The formalisation has been done in a couple of weeks on top of Georges Gonthier’s ssreflect [2]. There were two ideas behind formalising Sylow’s theorems. The first one was to get familiar with Georges way of doing proofs. The second one was to contribute to the collective effort to formalise a large subset of group theory in...

Résumé. Nous considérons l’équation de Kuramoto–Sivashinskymunie de conditions aux limites périodiques et d’une donnée initiale. Nous l’approchons en utilisant une méthode d’éléments finis de type Galerkin pour la discrétisation en espace, et un schéma de Runge–Kutta implicite pour la discrétisation en temps. Nous obtenons des estimations d’erreur optimales et discutons de la linéarisation de c...

We derive a nonlinear stabilized Galerkin approximation of the Laplace operator for which we prove a discrete maximum principle on arbitrary meshes and for arbitrary space dimension without resorting to the well-known acute condition or generalizations thereof. We also prove the existence of a discrete solution and discuss the extension of the scheme to convection-diffusion-reaction equations. ...