Dans l'échange verbal entre plusieurs personnes, des termes en particulier sont souvent employés pour s'adresser à autrui : il s'agit des termes d'adresse. Ces termes peuvent être considérés comme créateurs de liens entre le langage et la société par le fait qu'ils fournissent des informations non sans intérêt sur la relation unissant les interlocuteurs. Il existe divers moyens de communiquer et de traduire une certaine forme de politesse, de familiarité, de distance, d'affection, de haine, etc., dont ces termes font partie. En plus de leur valeur sémantique, ils possèdent une valeur sociale et culturelle non négligeable.Les huit romans retenus dans cette étude, écrits par quatre grands écrivains de l'époque victorienne (Charlotte Brontë, Charles Dickens, George Eliot et Anthony Trollope), offrent au lecteur curieux un aperçu privilégié de la deuxième moitié du XIXème siècle. Outre l'aspect littéraire, les thèmes abordés en relation avec les événements de l'époque intéresseront le lecteur historien et le mode de vie et les mœurs décrits fourniront de précieux détails au lecteur sociologue, tous ces aspects étant également facilement accessibles au lecteur ordinaire. Cet examen synchronique des termes d'adresse permet, non seulement de montrer la pluralité des termes pouvant être utilisés en adresse directe, mais aussi de souligner l'importance des facteurs linguistiques, paralinguistiques et extra-linguistiques dans toute étude de cette nature. / In verbal exchange between several speakers, a particular category of linguistic sign is frequently used when naming the participants: these are known as terms of address. Insofar as they provide information about the nature of the relation that unite the members of the group, these terms can be regarded as a means of creating links between language and society. They are also among the main contributors to the various systems implemented in the expression and communication of courtesy, familiarity, distance, affection, loathing, etc. Apart from their semantic value, they are of an indubitable socio-cultural interest.The eight novels, written by four major Victorian authors (Charlotte Brontë, Charles Dickens, George Eliot and Anthony Trollope) that have been chosen for this study, provide, for the curious reader, a precious insight into the second half of the nineteenth century. Of great appeal to the lay reader, the themes developed in their historical context – apart from the purely literary aspect – cannot fail to interest the social historian and the customs and conventions described contain precious data for the sociologist. This synchronic study of terms of address, not only reveals the plurality of the terms that are available in verbal exchange, but also underlines the importance of the linguistic, paralinguistic and extra-linguistic factors that should be taken into account in any study of this nature.

Le processus de développement logiciel est composé d'un grand nombre d'étapes qui intègrent de plus en plus d'outils. Les chaînes de développement de systèmes critiques (aéronautique, domaine médical) font appel à des outils de génération de code basés sur des modèles. Cette complexification a des conséquences sur la vérification des logiciels critiques. Les contraintes légales imposant qu'ils soient certifiés, la qualification des outils utilisés lors de leur développement est nécessaire. Dans cette thèse, nous nous proposons d'aider le processus de qualification en élaborant des méthodes et outils pour le développement fiable. Pour ce faire, nous présentons une méthode hybride de transformation de modèles par réécriture. Nous nous appuyons sur le langage Tom qui fournit de nouvelles fonctionnalités aux langages généralistes par l'ajout de constructions dédiées. Nous proposons aussi une traçabilité de ces transformations afin de répondre aux exigences de la qualification. La trace générée peut être utilisée a posteriori à des fins de vérification. / Software development process is composed of steps which integrate an increasing number of tools. Development chains for critical systems (avionics, health field) have gradually adopted model-based code generation tools. This increase of complexity has consequences on critical software verification. As legal constraints require to certify them, tools used during the development have to be qualified. In this thesis, we propose to help the qualification process by providing methods and tools for liable development. To do so, we present an hybrid models transformation method based on rewriting. We rely upon Tom language which provides new features to general purposes languages by adding dedicated constructs. We also propose a traceability in order to respect qualification requirements. The generated trace can then be used for verification purpose

Nous introduisons la stratégie de réécriture de termes k-bornée (bo(k), pour k entier) pour les systèmes linéaires. Cette stratégie est associée à une classe de systèmes dits k-bornés LBO(k). Nous démontrons que les systèmes de la classe LBO (union des LBO(k) pour tous les k), inversent-préservent la reconnaissabilité. Nous montrons que les différents problèmes de terminaison et d'inverse-terminaison pour la stratégie bo(k) sont décidables et utilisons ce résultat pour démontrer la décidabilité de ces problèmes pour des sous-classes de LBO: les classes de systèmes linéaires fortement k-bornés: LFBO(k). La classe LFBO (union des LFBO(k)) inclut strictement de nombreuses classes de systèmes connues: les systèmes inverses basiques à gauche, linéaires growing, et linéaires inverses Finite-Path-Overlapping. Le problème de l'appartenance à LFBO(k) est décidable alors qu'il ne l'est pas pour LBO(0). Pour les mots, nous prouvons que la stratégie bo(k) préserve l'algébricité. Nous étendons la notion de réécriture k-bornée aux systèmes de réécriture de termes linéaires à gauche. Comme dans le cas linéaire, nous associons à cette stratégie la classe des systèmes linéaires à gauche k-bornés BO(k) qui étend la classe LBO(k). Nous démontrons que les systèmes de cette classe inverse-préservent la reconnaissabilité.Comme dans le cas linéaire, nous définissons ensuite la classe des systèmes fortement kbornés FBO(k), qui étend la classe LFBO(k). Nous montrons que le problème de l'appartenance à FBO(k) est décidable. La classe FBO contient strictement la classe des systèmes growing linéaires à gauche. / We introduce k-bounded term rewriting for linear systems (bo(k), for k integer). This strategy is associated with the class of k-bounded systems LBO(k). We show that the systems in the class LBO (union of the LBO(k) for all k), inverse-preserve recognizability. We show that the problems of termination and inverse-termination for the bo(k) strategy are decidable and use this result to show the decidability of these two problems for subclasses of LBO: the classes of linear systems strongly k-bounded: LFBO(k). The class LFBO (union of the LFBO(k)) includes strictly many known classes: the inverse left-basic systems, the linear growing systems, the linear inverse Finite-Path-Overlapping systems. Membership to LFBO(k) is decidable but this is not hte case for LBO(0). For words, we show that the bo(k) strategy preserves algebricity. We extend k-bounded rewriting to left-linear systems. As in the linear case, we associate a class of systems to the strategy: the class of left-linear kbounded systems BO(k) which extends LBO(k). We show that the systems in BO(k) inversepreserve recognizability. As in the linear case, we define the class of strongly k-bounded systems FBO(k), which extends LFBO(k). Membership to FBO(k) is proved decidable. The FBO class contains stricly the class of left-linear growing systems.

Cette étude met en évidence l'utilité des modes directionnels pour l'optimisation de la résolution dans le langage Prolog. Ils se caractérisent essentiellement par le fait qu'ils permettent de distinguer les différentes utilisations possibles d'un même prédicat. Un algorithme de production automatique de ces modes est décrit. L'étude est concrétisée par la réalisation du compilateur Starlog, fonctionnant sur un cas particulier de modes directionnels

La découverte de nouvelles physiques, grâce à la détection de nouvelles particules au LHC, pourra être effectuée si le bruit de fond est bien connu. La plupart du temps il est constitué d'un grand nombre de processus multi-particules, et pour avoir une prédiction fiable, il faut le calculer à l'ordre au delà des logarithmes dominants, qui nécessite le calcul de diagrammes à une boucle. Par des méthodes classiques de réduction, il devient difficile de calculer ces diagrammes avec plus de cinq pattes externes. Néanmoins, de nouvelles techniques de calcul de boucles ont été développées. Elles sont basées sur deux principes fondamentaux de la physique: l'unitarité et la causalité.<br />Cette thèse consiste à combiner la méthode des amplitudes d'hélicités et les méthodes d'unitarité pour créer une procédure systématique de calcul d'amplitude d'un diagramme à une boucle. Cette procédure a été appliquée à l'amplitude à six photons avec une boucle de fermions non massifs puis généralisée, dans certains cas, avec une boucle massive. Les résultats très compacts obtenus sont la preuve de la puissance de cette méthode.<br />D'autres part ces résultats compacts ont permis l'étude des singularités de Landau particulières aux processus à six pattes externes sans masse: le "double parton scattering". Elles correspondent à une configuration cinématique particulière dans laquelle la boucle virtuelle tend vers deux sous processus physiques d'annihilations. Dans le cas du processus à six photons, ce type de singularités n'engendre pas de divergences.<br />La section efficace du processus à six photons dans des cas réels a été calculée numériquement.

The foundation of term rewriting is equational logic but for the sake of efficiency, the equations are oriented and become the rules of a term rewriting system. Term rewriting form a model of computation on algebraic data structures (terms). Term rewriting systems play an important role in various domains of computer science such as automated theorem proving, functional programming, code generation, problem formalization (security of cryptographic protocols). Rewriting starts with a ground term, and consists of repeatedly replacing a redex (an instance of a left-hand side) by its contractum (the corresponding right-handside after applying the substitution). Rewriting may eventually yield a term in normal form which is a term containing no redex. Natural questions in term rewriting are: * is the system terminating" (i.e. there are no infinite rewrite sequences)? * "is the system confluent" (if a term rewrites independently to two terms t1 and t2 , there exists a term s such that both t1 and t2 rewrite to s)? We are interested in systems which can be used as programs so we want to allow non-terminating computations. Confluence implies unicity of normal forms but does not imply termination. Confluent systems form a good framework for deterministic programming. They have the power of Turing machines. However confluence is not a decidable property for term rewriting systems. Orthogonal systems (i.e. linear and non-overlapping left-hand sides) which are always confluent form the framework of all this work, although some results may apply to the more general class of left-linear systems (linear left-hand sides). The first point we want to address is "how to compute the normal form?" and not end up in an infinite computation when the normal form exists. The second is "how to do that efficiently?". The following theorem of Huet and Levy [HL91] forms the basis of all result on optimal normalizing rewrite strategies for orthogonal term rewrite systems: "Every reducible term contains a needed redex, i.e., a redex which is contracted in every rewrite sequence to normal form, and repeated contraction of needed redexes results in a normal form, if the term under consideration has a normal form". Unfortunately, needed redexes are not computable in general. Hence, in order to obtain a computable optimal rewrite strategy, we are left to find (1) decidable approximations of neededness and (2) decidable properties of rewrite systems which ensure that every reducible term has a needed redex identi-fied by (1). Starting with the seminal work of Huet and Levy [HL91] on strong sequentiality, these issues have been extensively investigated in the literature [Com00, Jac96b, JS95, KM91, NST95, Oya93, Toy92]. In all these works Huet and Levy's notions of index, omega-reduction, and sequentiality figure prominently. We present here our contributions to this domain.

La croissance des données numériques accentue le verrou scientifique de la RI consistant à trouver un compromis entre exhaustivité et précision des résultats. Le modèle proposé, la proximité floue (PF), allie expressivité des requêtes booléennes et utilisation de la proximité, et vise une approche à haute précision. Chaque mot-clé possède une zone d'influence utile à l'évaluation des requêtes. Les opérations floues associées aux opérateurs booléens classiques permettent de propager la proximité jusqu'à la racine. La PF a été largement validée sur les collections de test classiques et pour les éditions 2005 et 2006 des campagnes d'évaluations internationales de RI (Trec, Clef et Inex 2006). Les résultats sur des requêtes construites automatiquement sont équivalents à ceux des méthodes de référence Okapi/Lucy, vectoriel/MG. Par contre, avec l'utilisation de requêtes manuelles adaptées à la PF, les résultats sont très largement supérieurs aux modèles classiques.

Ricardo est célébré pour ses théories- sa théorie de croissance qui nous enseigne le concept de la trappe à stagnation industrielle et sa théorie de l'avantage comparatif selon laquelle les différences de technologie déterminent la direction de l'échange international. Quel rôle les théories ricardiennes ont a-t-elles consacré à l'investissement direct étranger (IDE) demeure une question peu explorée. Il s'avère ainsi approprié d'étudier les implications de l'IDE et du transfert technologique vis-à-vis de ces théories. Cette thèse met l'accent sur les approches ricardiennes de croissance et de commerce international pour traiter l'IDE, le transfert technologique et le commerce international, construit et développe de nouvelles approches théoriques et prédictions ricardiennes. Des analyses économétriques sont ensuite effectuées pour tester ces prédictions.Cette thèse se compose de quatre chapitres. Deux parties qui contiennent chacune deux chapitres sont présentées. La première partie propose une revisitation et une reformulation des approches macroéconomiques de l'IDE suivant une approche ricardienne. La deuxième partie traite les relations entre l'IDE, le transfert technologique, la sophistication des exportations et les termes de l'échange des pays en développement et fournit des analyses empiriques à l'appui pour tester les prédictions ricardiennes.Le premier chapitre réexamine et généralise l'approche de l'IDE par la théorie ricardienne de croissance. Ce chapitre prolonge l'analyse d'Ozawa, met l'accent sur " les goulots d'étranglement ricardiens " et le risque de trappe à stagnation industrielle à la Ricardo-Hicks et examine les facteurs " push " expliquant l'investissement direct sortant. Les prédictions de cette approche sont ensuite testées sur un panel de pays émergents et en transition. Les résultats économétriques portant sur un panel de pays émergents et en transition confirment les prédictions théoriques de l'approche macroéconomique d'Ozawa en matière d'IDE sortant.Le second chapitre développe un modèle ricardien classique en introduisant l'IDE Nord Sud. Nous reformulons " le principe de correspondance " développé par Kojima. Nous montrons que la correspondance entre les taux de profits absolus et les avantages comparatifs explique l'émergence de l'IDE originaire des secteurs comparativement désavantagés dans les pays développés et destinés aux secteurs comparativement avantagés dans les pays en développement.Le troisième chapitre, dans sa première section, développe un modèle ricardien Nord-Sud avec transfert de technologie. Notre contribution consiste à examiner le rôle de l'élasticité de substitution entre les biens dans les conséquences du transfert technologique sur les termes de l'échange et le bien-être des pays. Les conditions d'une baisse des termes de l'échange pour le pays en développement sont explicitées, et finalement sont précisées les conditions dans lesquelles le bien être du pays en développement peut baisser à la suite de ce transfert de technologie. La seconde section prolonge l'analyse aux cas du transfert technologique via l'IDE et les licenses. Les tests empiriques montrent que les IDE entrants et le versement de royalties s'accompagnent d'une baisse des termes de l'échange pour les pays en développement.Le quatrième chapitre associe le modèle ricardien avec un continuum de biens aux travaux empiriques de Hausmann, Hwang et Rodrick (2007) et de Rodrik (2006) sur la sophistication des exportations. Un modèle empirique est développé afin d'établir les liens qui existent entre la présence des firmes étrangères et la sophistication des exportations des pays en développement. Ensuite, la question des termes de l'échange des pays en développement est mise en évidence. Les tests empiriques sur un panel de pays en développement montrent que l'augmentation de la sophistication des exportations des pays en développement s'accompagne d'une baisse de leurs termes de l'échange.

Dans les domaines de spécialité, les applications telles que la recherche d’information ou la traduction automatique, s’appuient sur des ressources terminologiques pour prendre en compte les termes, les relations sémantiques ou les regroupements de termes. Pour faire face au coût de la constitution de ces ressources, des méthodes automatiques ont été proposées. Parmi celles-ci, l’analyse distributionnelle s’appuie sur la redondance d’informations se trouvant dans le contexte des termes pour établir une relation. Alors que cette hypothèse est habituellement mise en oeuvre grâce à des modèles vectoriels, ceux-ci souffrent du nombre de dimensions considérable et de la dispersion des données dans la matrice des vecteurs de contexte. En corpus de spécialité, ces informations contextuelles redondantes sont d’autant plus dispersées et plus rares que les corpus ont des tailles beaucoup plus petites. De même, les termes complexes sont généralement ignorés étant donné leur faible nombre d’occurrence. Dans cette thèse, nous nous intéressons au problème de la limitation de la dispersion des données sur des corpus de spécialité et nous proposons une méthode permettant de densifier la matrice des contextes en réalisant une abstraction des contextes distributionnels. Des relations sémantiques acquises en corpus sont utilisées pour généraliser et normaliser ces contextes. Nous avons évalué la robustesse de notre méthode sur quatre corpus de tailles, de langues et de domaines différents. L’analyse des résultats montre que, tout en permettant de prendre en compte les termes complexes dans l’analyse distributionnelle, l’abstraction des contextes distributionnels permet d’obtenir des groupements sémantiques de meilleure qualité mais aussi plus cohérents et homogènes. / In specialised domains, the applications such as information retrieval for machine translation rely on terminological resources for taking into account terms or semantic relations between terms or groupings of terms. In order to face up to the cost of building these resources, automatic methods have been proposed. Among those methods, the distributional analysis uses the repeated information in the contexts of the terms to detect a relation between these terms. While this hypothesis is usually implemented with vector space models, those models suffer from a high number of dimensions and data sparsity in the matrix of contexts. In specialised corpora, this contextual information is even sparser and less frequent because of the smaller size of the corpora. Likewise, complex terms are usually ignored because of their very low number of occurrences. In this thesis, we tackle the problem of data sparsity on specialised texts. We propose a method that allows making the context matrix denser, by performing an abstraction of distributional contexts. Semantic relations acquired from corpora are used to generalise and normalise those contexts. We evaluated the method robustness on four corpora of different sizes, different languages and different domains. The analysis of the results shows that, while taking into account complex terms in distributional analysis, the abstraction of distributional contexts leads to defining semantic clusters of better quality, that are also more consistent and more homogeneous.

<p>En écrivant La Trilogie de Barrytown l’auteur, Roddy Doyle, a choisi d’utiliser le parler des gens de Dublin, en Irlande. Par conséquent les histoires sont pleines de caractéristiques du vernaculaire comme, par exemple, des expressions familières, de l’argot et des termes culturels. Nous faisons un examen du langage de Doyle et les défis spécifiques qu’il pose pour les traducteurs afin d’analyser leurs méthodes. Nous faisons appel à la capacité du traducteur à interpréter le sens de l’original et à sa créativité pour le rendre dans la langue cible. Nous étudions l’aspect lanagier et l’aspect culturel des traductions. Une interview avec l’un des traducteurs, Bernard Cohen, nous donne plus d’information sur le processus de traduction et le rôle que les traducteurs jouent dans le monde de la traductologie (l’étude de la traduction) aujourd’hui.</p> / Master of Arts (MA)