An attractive feature of discontinuous Galerkin (DG) spatial discretization is the possibility of using locally refined space grids to handle geometrical details. However, locally refined meshes lead to severe stability constraints on explicit integration methods to numerically solve a time-dependent partial differential equation. If the ratio of fine to coarse elements is small, the time step ...

Several useful identities involving the fixed point or itération opération are conséquences ofjust the Conway theory axioms. In this paper we give several characterizations of thefree Conway théories including a concrete description based on "aperiodîc" homomorphisms of flowehart schemes. It follows from this concrete description that the équations that hold in Conway théories are exactly the v...

We propose new implicit schemes to solve the homogeneous and isotropic Fokker-Planck-Landau equation. These schemes have conservation and entropy properties. Moreover, they allow for large time steps (of the order of the physical relaxation time), contrary to usual explicit schemes. We use in particular fast linear Krylov solvers like the GMRES method. These schemes allow an important gain in t...

Résumé: Douglas Walton a eu raison d’attirer notre attention sur les aspects pragmatiques des arguments. Toutefois, il a insisté qu’on devrait interpréter et évaluer des arguments en prenant compte de leurs fonctions. Je suis en désaccord avec ceci: on ne peut pas déterminer les fonctions des arguments dans le sens dont Walton a besoin, et même si on le pouvait, on ne pourrait pas fonder les no...

CIRANO Le CIRANO est un organisme sans but lucratif constitué 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 la Recherche, de la Science et de la Technologie, de même que des subventions et mandats obtenus par ses équipes de...

L’Inférence Grammaticale est un domaine de recherche né au début des années 70. Si l’objectif initial était de développer des algorithmes d’apprentissage de la langue naturelle en IA, il existe aujourd’hui de nombreuses interactions avec d’autres domaines de recherche, en particulier la reconnaissance des formes, la linguistique computationelle, la biologie computationnelle, la théorie des lang...

Remerciements Je tenais tout d'abord à remercier Dr Rodolphe Weber pour m'avoir permise d'effectuer ce travail sous sa direction, pour ses conseils, pour sa patience et pour son temps, et Dr Albert Enfin, je remercie ma famille qui a cru en moi, et qui m'a apporté toute l'aide dont j'avais besoin pour en arriver là, je ne serai jamais arrivée à ce diplôme sans vos encouragement, votre confiance...

This paper deals with various problems in lattice theory related to the notion of parity. Résumé. Sur les classes de parité. Nous considérons dans cet article divers problèmes de la théorie des réseaux liés à des questions de parité.

We formally prove the C program that implements a simple numerical scheme for the resolution of the one-dimensional acoustic wave equation. Such an implementation introduces errors at several levels: the numerical scheme introduces method errors, and the floating-point computation leads to round-off errors. We formally specify in Coq the numerical scheme, prove both the method error and the rou...

Ce travail considère, décrit et discute l’implémentation de l’AHP-Tutor, un Système Tutoriel Intelligent (STI) enseignant divers concepts et méthodes de dérivation des priorités d’une matrice des comparaisons de l’AHP. Le but de notre système est de proposer des exercices. La théorie correspondante doit être acquise de façon traditionnelle en classe, par des livres ou par un enseignement assist...