Nous présentons une méthode de modélisation de la langue naturelle qui est fortement basée sur les mathématiques. Cette méthode, appelée «sémantique formelle», a été initiée par le linguiste américain Richard M. Montague dans les années 1970. Elle utilise des outils mathématiques tels que les langages et grammaires formels, la logique du 1er ordre, la théorie de types et le λ-calcul. Nous nous ...

Résumé : Cet article présente une méthodologie assistée de conception d'une ontologie à travers trois méthodes, soit une méthode d'élicitation des connaissances d'un domaine résultant en un modèle semi-formel de ces connaissances, une méthode de formalisation conduisant à la production d’une ontologie et une méthode de validation syntaxique et sémantique de l'ontologie. Les processus de formali...

Résumé On examine le phénomène de surconvergence de la suite des polynômes de Taylor associée à une fonction dont les singularités sur le cercle de convergence sont des pôles ou des ramifications. Le lieu de surconvergence associé à une suite extraite donnée cöıncide avec les zéros à l’extérieur du disque d’un polynôme d’interpolation de Lagrange qui se calcule directement à partir de la foncti...

L’actualit e de Marc Guillaumont sur la vitamine K publi ee en 2000 dans ce journal etaitparticuli erement informative, pr ecise et concise (Guillaumont, 2000). A ce jour, elle est toujours d’actualit e, et les donn ees structurelles et m etaboliques de cet article ne seront donc pas reprises dans cette revue dont l’objectif sera de r esumer les nouvelles connaissances dans le domaine depuis ce...

Tous droits réservés. All rights reserved. Reproduction partielle permise avec citation du document source, incluant la notice ©. Short sections may be quoted without explicit permission, if full credit, including © notice, is given to the source. Le CIRANO collabore avec de nombreux centres et chaires de recherche universitaires dont on peut consulter la liste sur son site web. Les cahiers de ...

The Baxter permutations who are alternating and whose inverse is also alternating are shown to be enumerated by the Catalan numbers. A bijection to complete binary trees is also given. R esum e Nous montrons que les permutations de Baxter alternantes dont l'inverse est egalement une permutation de Baxter alternante sont enum er ees par les nombres de Catalan. De plus, nous donnons une bijection...

L’équipe Arts : Pratiques et Poétiques est une équipe autonome qui a vu le jour dans les années 2000. Comptant à ce jour 34 enseignants-chercheurs (dont 9 professeurs), l’équipe est composée de quatre laboratoires relatifs aux arts plastiques, aux études cinématographiques, théâtrales et à la musique. La recherche est développée dans les quatre disciplines respectives, avec une attention partic...

In this paper we propose a simple hybrid cryptosystem whose security is based upon the satisfiability problem well known NP-complete. The execution of this cryptosystem is illustrated at the end of the paper by a detailed example to understand better how it processes. RÉSUMÉ. Dans ce papier nous proposons un cryptosystème hybride simple, dont la sécurité repose sur le problème de satisfiabilité...

Résumé La légionellose est une maladie respiratoire bactérienne due à un germe gram négatif dont la présentation clinique peut être bénigne se limitant à un syndrome grippal ou plus sévère se caractérisant par une pneumonie pouvant se compliquer d’atteinte multisystémique pouvant conduire au décès. Nous rapportons le cas d’un patient de 48 ans ayant présenté une rhabdomyolyse compliquée d’une i...