Dans ma thèse, je développe une analyse uniforme des insultes et des termes épais en termes de présuppositions. Je soutiens que les insultes et les termes épais - même si ils ont été étudiés par différentes disciplines - appartiennent à la même classe de «evaluatives hybrides». Mon travail vise à combler le fossé entre la recherche sur les termes d'épaisseur d'une part et la recherche sur les insultes de l'autre, en montrant que le mécanisme sous-jacents les insultes et les termes d'épaisseur est le même et que les différences phénoménales que on peut observer dépendent des particularités de leur contenu descriptif. / In this thesis I develop a uniform account of slurs and thick terms in terms of presuppositions. I argue that slurs and thick terms – even though they were studied by different disciplines – belong to the same class of ‘hybrid evaluatives’. My work aims to fill the gap between the research on thick terms on the one hand and the research on slurs on the other, by showing that the mechanisms underlying slurs and thick terms is one and the same and that the phenomenal differences that one can observe depend on the peculiarities of their descriptive content.

Diss. : Kunstwissenschaft : Wien : 1980. - Bibliogr. p. 177-200. Index.

Cette thèse est consacrée à l’étude d’équation aux dérivée partielles dy type Hamilton- Jacobi ∂tu - Δu + |∇u|q = 0, in Ω × (0,T), (1) où Ω est un ouvert borné regulier dans ℝN contenant le point 0, ou Ω = ℝN; et q > 0. De plus, nous considérons l’équation parabolique avec un terme singulier {ut - Δu + χ{u>0}u-β = 0; in Ω × (0,T), u = 0, on ∂Ω × (0,T), u(0) = u0, (2) où Ω est un ouvert borné regulier dans ℝN, β ∈ (0,1), χw(x) = { 1, if x ∈ w, 0, if x ∉ w. , et u0 ∈ L1(Ω). Pour l’équation (1), nous étudions les solutions nonnégative avec une donnée initiale mesure de Radon bornée dans Ω, ou mesure de Borel dans Ω. En particulier, nous considérons l’existence de solution très singulière en (x,t) = (0,0) (voir [33]). Nous montrons qu’il existe une solution très singulière unique quand 1 < q < N+2/N+1. Par contre, on prouve la nonexistence d’une solution très singulière dans le cas q ≥ N+2/N+1. Ceci mène à un résultat de singularité éliminable pour solutions singulières qui satisfont la condition en bas u(x,0) = 0, in Ω\{0}, Les résultats ci-dessus nous permettent d’aller plus loin pour étudier le problème de trace initiale (voir chapitre 3). Nous montrons que chaque solution nonnégative faible admet une trace initiale u(0) = (S,µ) comme q > 1, où S est un compact dans Ω, et µ est une mesure nonnegative de Radon dans R = Ω\S. De plus, la condition initiale est compris ensuite lim t→0 ∫R u(x,t)v(x)dx = ∫R v(x)dµ(x), v ∈ Cc(R). lim t→0 ∫w u(x,t)dx = ∞, pour chaque x0 ∈ S, et pour chaque w une voisinage de x0 dans Ω. Par contre, chaque solution nonnegative faible reçoit une initial trace v ∈ M+(Ω) comme q ∈ (0,1]. Par ailleurs, on s’intéresse aussi la regularité de solution faible. On va démontrer que chaque solution faible est une solution classique comme q ≤ 2. De plus, on est consacré à étudier L∞-estimates pour solution faible. Ce résultat joue un role important de montrer la regularité et aussi prouver l’unicité de solution faible (chapitre 4). Enfin, nous considéron l’existence de solution nonnegative d’équation (2). On va démontrer qu’il existe une solution maximal d’équation (2) telle que cela disparaît après un certain temps T* qui dépend seulement de N et ||u0||L1(Ω). / This thesis is devote to study the viscous Hamilton-Jacobi equation ∂tu - Δu + |∇u|q = 0, in Ω × (0,T), (3) where Ω ⊂ ℝN is a bounded smooth domain containing 0 ∈ ℝN, or Ω = ℝN; and q > 0. Moreover, we also consider the singular problem {ut - Δu + χ{u>0}u-β = 0; in Ω × (0,T), u = 0, on ∂Ω × (0,T), u(0) = u0, (4) where Ω is a bounded domain in ℝN, β ∈ (0,1), χw(x) = { 1, if x ∈ w, 0, if x ∉ w. , and u0 ∈ L1(Ω). Concerning equation (3), we study nonnegative solutions with a given initial data which is the nonnegative Radon measure on Ω, even the regular Borel measure on Ω. Particularly, we study the existence of very singular solution at (x,t) = (0,0) (see in [33]). We prove that there exists a unique very singular solution when q ∈ (1, N+2/N+1). While q ≥ N+2/N+1 we show the nonexistence of very singular solution. This leads to a result of removable singularity for singular solutions which satisfy u(x,0) = 0, in Ω\{0}, Besides, we also consider the existence of initial trace of equation (3) (see chapter 3). We demonstrate that any nonnegative solution u admits an initial trace which is presented by a couple (S,µ) as q > 1; where S is a compact in Ω, and µ is a nonnegative Radon measure on R, the complement of S in Ω. Moreover, the initial condition u(0) is described in the following sense lim t→0 ∫R u(x,t)v(x)dx = ∫R v(x)dµ(x), v ∈ Cc(R). lim t→0 ∫w u(x,t)dx = ∞, for any x0 ∈ S, and for any w neighborhood of x0 in Ω. While q ∈ (0,1], we show that any nonnegative solution of equation (3) receives an initial trace which is the nonnegative Radon measure on Ω. In this case, we observe that the set of singular points S = Ø, and the set of regular points R = Ω.

Les schématisations de termes permettent de représenter des ensembles infinis de termes ayant une structure similaire de manière finie et compacte. Dans ce travail, nous étudions certains aspects liés à l'utilisation des schématisations de termes en déduction automatique, plus particulièrement dans les méthodes de démonstration de théorèmes du premier ordre par saturation. Après une brève étude comparée des formalismes de schématisation existants, nous nous concentrons plus particulièrement sur les termes avec exposants entiers (ou I-termes). Dans un premier temps, nous proposons une nouvelle approche permettant de détecter automatiquement des régularités dans les espaces de recherche. Cette détection des régularités peut avoir plusieurs applications, notamment la découverte de lemmes nécessaires à la terminaison dans certaines preuves inductives. Nous présentons DS3, un outil qui implémente ces idées. Nous comparons notre approche avec d'autres techniques de généralisation de termes. Notre approche diffère complètement des techniques existantes car d'une part, elle est complètement indépendante de la procédure de preuve utilisée et d'autre part, elle utilise des techniques de généralisation inductive et non déductives. Nous discutons également les avantages et les inconvénients liés à l'utilisation de notre méthode et donnons des éléments informels de comparaison avec les approches existantes. Nous nous intéressons ensuite aux aspects théoriques de l'utilisation des I-termes en démonstration automatique. Nous démontrons que l'extension aux I-termes du calcul de résolution ordonnée est réfutationnellement complète, que l'extension du calcul de superposition n'est pas réfutationnellement complète et nous proposons une nouvelle règle d'inférence pour restaurer la complétude réfutationnelle. Nous proposons ensuite un algorithme d'indexation (pour une sous-classe) des I-termes, utile pour le traitement des règles de simplification et d'élimination de la redondance. Finalement nous présentons DEI, un démonstrateur automatique de théorèmes capable de gérer directement des formules contenant des I-termes. Nous évaluons les performances de ce logiciel sur un ensemble de benchmarks.

Développer des analyseurs statiques nécessite une manipulation intensive de structures d'arbres et de graphes représentant le programme. La finalité de cette thèse est de proposer des constructions de langage dédiées au prototypage d'outils d'analyse et de transformation de programmes et inspirées de la réécriture de termes et de termes-graphes. L'originalité de notre approche est d'embarquer ces nouvelles constructions dans les langages généralistes sous la forme d'un langage dédié embarqué. Les travaux de cette thèse se fondent sur le langage Tom qui propose d'embarquer des constructions de réécriture dans des langages généralistes comme Java. La première contribution de cette thèse a été de formaliser les langages embarqués sous le concept de langage îlot. Ce formalisme a ainsi permis de certifier la compilation du langage Tom. Nos travaux sur l'analyse de Bytecode nous ont ensuite conduit à réfléchir à la représentation et la manipulation de graphes de flot de programmes et nous avons alors proposé des constructions de langage inspirées de la réécriture de termes-graphes. Une autre contribution de cette thèse est la conception d'un langage de stratégies adapté à l'expression de propriétés sur un programme. Associé au filtrage, ce langage permet d'exprimer de manière déclarative des analyses et des transformations sur des arbres ou des graphes. Enfin, l'ensemble des propositions de cette thèse a été intégré au langage Tom sous la forme de nouvelles constructions syntaxiques ou d'améliorations de constructions existantes et a ainsi pu être appliqué à l'analyse du langage Java. / Developing static analyzers requires an intensive handling of tree and graph structures representing the program. Even if generalist languages such as Java or C++ have libraries dedicated to the manipulation of such structures, the absence of specialized statements makes the code complex and difficult to maintain. The purpose of this thesis is to provide dedicated language constructs to prototype tools for analysis and program transformation inspired by the term and term-graph rewriting. The originality of our approach is to embed these new statements in generalist languages. This is motivated by the development of the Tom language that offers rewriting constructs for generalist languages like Java. The first contribution of this thesis is to formalize embedded languages in the concept of island languages. This formalism enables the certification of the Tom compiler. Our work on Bytecode analysis leads us to propose a dedicated language for the representation and manipulation of program flow graphs. Thus we propose language constructs based on the term-graph rewriting. A further contribution of this thesis is to design a strategy language adapted to the expression of properties on a program. Associated with matching capabilities, this language allows to express in a declarative way analysis and transformations on trees or graphs. Finally, all the proposals of this thesis have been integrated into the Tom language in the form of new statements or improvements of existing ones. This language proposal has been applied to the analysis of Java programs.

Ce document décrit mon travail de recherche et programmation en informatique effectué entre 1990 et 2005.<br />Tout ce travail s'inscrit dans le cadre des systèmes de réécriture de termes et des stratégies "appel-par-valeur". Il est à la fois théorique et pratique; la plupart des notions et algorithmes étudiés ont été implémenté dans le logiciel Autowrite.<br /><br />Ce document est une opportunité de présenter tous nos travaux dans ce domaine (publiés ou non) dans un cadre uniforme.<br />Du fait de la non limitation du nombre de pages, cette présentation contient plus de détails et d'exemples qu'on ne peut généralement en donner dans une publication classique.

La construction d'ontologies est un processus fastidieux qui nécessite un travail manuel conséquent. Les textes, en tant que sources de connaissances, peuvent optimiser les recours aux experts du domaine. Le passage des textes à l'ontologie requiert un double changement de perspective. Tout d'abord du niveau du discours vers le niveau linguistique (terminologie, hyperonymie, synonymie, etc.), à l'aide d'outils de traitement automatique des langues. La conceptualisation, manuelle, permet ensuite d'entrer dans le monde des modèles. Nous étudions dans cette thèse comment une méthode de regroupement automatique, l'analyse de concepts formels (ACF), peut se combiner aux éléments du niveau linguistique afin de faciliter la tâche de conceptualisation. Nous avons mené des expérimentations sur trois domaines différents, représentés par des corpus de taille comparable. Nous montrons que, dans l'état actuel des connaissances, la construction d'ontologies à partir de textes ne peut s'effectuer de manière totalement automatique. Nous proposons plusieurs paramétrages pour s'affranchir des problèmes inhérents à l'utilisation de l'ACF sur les données textuelles, dans l'optique de fournir à l'utilisateur à la fois des regroupements pertinents et une vue fidèle sur le matériau textuel.

Les schématisations de termes permettent de représenter des ensembles infinis de termes ayant une structure similaire de manière finie et compacte. Dans ce travail, nous étudions certains aspects liés à l'utilisation des schématisations de termes en déduction automatique, plus particulièrement dans les méthodes de démonstration de théorèmes du premier ordre par saturation. Après une brève étude comparée des formalismes de schématisation existants, nous nous concentrons plus particulièrement sur les termes avec exposants entiers (ou I-termes). Dans un premier temps, nous proposons une nouvelle approche permettant de détecter automatiquement des régularités dans les espaces de recherche. Cette détection des régularités peut avoir plusieurs applications, notamment la découverte de lemmes nécessaires à la terminaison dans certaines preuves inductives. Nous présentons DS3, un outil qui implémente ces idées. Nous comparons notre approche avec d'autres techniques de généralisation de termes. Notre approche diffère complètement des techniques existantes car d'une part, elle est complètement indépendante de la procédure de preuve utilisée et d'autre part, elle utilise des techniques de généralisation inductive et non déductives. Nous discutons également les avantages et les inconvénients liés à l'utilisation de notre méthode et donnons des éléments informels de comparaison avec les approches existantes. Nous nous intéressons ensuite aux aspects théoriques de l'utilisation des I-termes en démonstration automatique. Nous démontrons que l'extension aux I-termes du calcul de résolution ordonnée est réfutationnellement complète, que l'extension du calcul de superposition n'est pas réfutationnellement complète et nous proposons une nouvelle règle d'inférence pour restaurer la complétude réfutationnelle. Nous proposons ensuite un algorithme d'indexation (pour une sous-classe) des I-termes, utile pour le traitement des règles de simplification et d'élimination de la redondance. Finalement nous présentons DEI, un démonstrateur automatique de théorèmes capable de gérer directement des formules contenant des I-termes. Nous évaluons les performances de ce logiciel sur un ensemble de benchmarks. / Term schematisations allow one to represent infinite sets of terms having a similar structure by a finite and compact form. In this work we study some issues related to the use of term schematisation in automated deduction, in particular in saturation-based first-order theorem proving. After a brief comparative study of existing schematisation formalisms, we focus on terms with integer exponents (or I-terms). We first propose a new approach allowing to automatically detect regularities (obviously not always) on search spaces. This is motivated by our aim at extending current theorem provers with qualitative improvements. For instance, detecting regularities permits to discover lemmata which is mandatory for terminating in some kinds of inductive proofs. We present DS3, a tool which implements these ideas. Our approach departs from existing techniques since on one hand it is completely independent of the proof procedure used and on the other hand it uses inductive generalization techniques instead of deductive ones. We discuss advantages and disadvantages of our method and we give some informal elements of comparison with similar approaches. Next we tackle some theoretical aspects of the use of I-terms in automated deduction. We prove that the direct extension of the ordered resolution calculus is refutationally complete. We provide an example showing that a direct extension of the superposition calculus is not refutationally complete and we propose a new inference rule to restore refutational completeness. We then propose an indexing algorithm for (a subclass of) I-terms. This algorithm is an extension of the perfect discrimination trees that are are employed by many efficient theorem provers to implement redundancy elimination rules. Finally we present DEI, a theorem prover with built-in capabilities to handle formulae containing I-terms. This theorem-prover is an extension of the E-prover developed by S. Schulz. We evaluate the performances of this software on a set of benchmarks.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Breast cancer is a disease that affects many women in the world. That’s why many European states and even other nations in the rest of the world are spending a lot of money on early detection of disease, treatment, research and even the follow-up of patients after recovery. Today, with the development of science and globalization, the European states share the results of their research to permit to all women in Europe and in the world to benefit from this progress. But for these sharing of experiences to be possible, different documents in relation to the disease and its treatment must be translated from one language to another. In this study, we have translated a Swedish health website (Vårdguiden 2016) into French, specifically its pages devoted to breast cancer, and written by Anna Dahllöv. The aim of this work is to analyze the translation of specialized words from Swedish into French and to see what translation strategies are used for this type of text. Also, taking into account the specificity of medicine, this translation work requires a  knowledge in this area not only in the source language, but also in the target language. During this study, several specialized words that are almost identical in both languages ​​(Swedish and French) were discovered. These words have been borrowed from Greek or Latin and are now to be found in several Western languages. That is why we used the theories of Jean-Paul Vinay and Jean Darbelnet who, in their book Stylistique comparée du français et de l’anglais (1958) to explain the strategies of adaptation, explanation, borrowing, additions and deletions or suppressions. These different theories helped us to bring the message of the source text into the target text, and to keep the same technical and straightforward style used by the source text of Anna Dahllöv.