Durant ces dernières années, Il est de plus en plus compliqué d'écrire du code qui utilise une architecture au mieux de ses capacités. Certaines opérations clefs ont soit un accélérateur dédié, ou admettent une implémentation finement optimisée qui délivre les meilleurs performances. Ainsi, il est intéressant d'identifier ces opérations pendant la compilation d'un programme, et de faire appel à une implémentation optimisée.Nous nous intéressons dans cette thèse au problème de détection de ces opérations. Nous proposons un procédé qui détecte des sous-calculs correspondant à des opérations d'algèbre linéaire à l'intérieur de programmes polyédriques. L'idée principale de ce procédé est de découper le programme en sous-calculs isolés, et essayer de reconnaître chaque sous-calculs comme une combinaison d'opérateurs d'algèbre linéaire.Le découpage du calcul est effectué en utilisant une transformation de programme appelée tuilage monoparamétrique. Cette transformation partitionne le calcul en tuiles dont la forme est un agrandissement paramétrique d'une tuile de taille constante. Nous montrons que le programme tuilé reste polyédrique tout en permettant une paramétrisation limitée des tailles de tuile. Les travaux précédents sur le tuilage nous forçaient à choisir l'une de ces deux propriétés.Ensuite, afin d'identifier les opérateurs, nous introduisons un algorithme de reconnaissance de template, qui est une extension d'un algorithme d'équivalence de programme. Nous proposons plusieurs extensions afin de tenir compte des propriétés sémantiques communément rencontrées en algèbre linéaire.Enfin, nous combinons les deux contributions précédentes en un procédé qui détecte les sous-calculs correspondant à des opérateurs d'algèbre linéaire. Une de ses composantes est une librairie de template, inspirée de la spécification BLAS. Nous démontrons l'efficacité de notre procédé sur plusieurs applications. / Writing a code which uses an architecture at its full capability has become an increasingly difficult problem over the last years. For some key operations, a dedicated accelerator or a finely tuned implementation exists and delivers the best performance. Thus, when compiling a code, identifying these operations and issuing calls to their high-performance implementation is attractive. In this dissertation, we focus on the problem of detection of these operations. We propose a framework which detects linear algebra subcomputations within a polyhedral program. The main idea of this framework is to partition the computation in order to isolate different subcomputations in a regular manner, then we consider each portion of the computation and try to recognize it as a combination of linear algebra operations.We perform the partitioning of the computation by using a program transformation called monoparametric tiling. This transformation partitions the computation into blocks, whose shape is some homothetic scaling of a fixed-size partitioning. We show that the tiled program remains polyhedral while allowing a limited amount of parametrization: a single size parameter. This is an improvement compared to the previous work on tiling, that forced us to choose between these two properties.Then, in order to recognize computations, we introduce a template recognition algorithm. This template recognition algorithm is built on a state-of-the-art program equivalence algorithm. We also propose several extensions in order to manage some semantic properties.Finally, we combine these two previous contributions into a framework which detects linear algebra subcomputations. A part of this framework is a library of template, based on the BLAS specification. We demonstrate our framework on several applications.

Le thème général de cette thèse est l’identité linguistique: la relation qui fait que différents éléments linguistiques comptent comme "un même élément" ou comme “identiques” même s'ils sont hétérogènes d'un point de vue interne ou présentent des propriétés de surface différentes. Je traite de six questions sur ce thème.Le chapitre 1 concerne les segments phonétiques. La phonétique traditionnelle modélise la parole continue comme une concaténation de segments discrets de durées temporelles non spécifiées. Cependant, au cours des dernières années, les idéalisations segmentales de la parole ont été remises en question par des approches éliminativistes à l’égard des segments phonétiques. Le chapitre tente de justifier la phonétique segmentale face aux arguments éliminativistes.Le chapitre 2 concerne les objets phonologiques. Les énoncés phonologiques quantifient sur les phonèmes, qui sont des entités controversées. Aucune ontologie standard n'accepte de les faire figurer parmi l’“ameublement du monde”. Par conséquent, se pose la question suivante: comment les énoncés de règles phonologiques parviennent-ils à recevoir les valeurs de vérité attendues ? Le chapitre propose d'aborder la question en appliquant le non-factualisme de Stephen Yablo aux objets phonologiques.Le chapitre 3 traite du problème type-token. Il existe plusieurs théories concurrentes de la relation spécifique désignée par le prédicat “est un token de”, tel qu’on l'emploie dans le domaine linguistique. La théorie dominante est que les tokens instancient les types, mais cette thèse fait face à plusieurs difficultés conceptuelles. S'appuyant sur des travaux antérieurs de Zoltan Szabó, le chapitre propose une nouvelle approche du problème type-token, basée sur l'idée que les sons et les inscriptions du langage représentent des formes phonologiques et orthographiques.Le chapitre 4 traite du comptage de mots. Selon certains, l'identité des mot-types dépend de leur similarité en matière d'attributs structurel-fonctionnels. Selon d'autres, l'identité des mot-types dépend de leur lignée historique-causale. Les deux cadres donnent lieu à des manière différentes de compter les mots. Lequel d'entre eux est métaphysiquement adéquat ? Le chapitre propose une théorie quiétiste du comptage de mots, en soutenant qu'il n'y a pas de réponse factuelle et non-théorique à la question de “combien de mot-types existent” dans un monde ou scénario linguistique.Le chapitre 5 porte sur un problème dans la théorie de l'anaphore. On pense habituellement que l'anaphore implique la coréférence. Ce principe général, cependant, semble être contredit par des phrases où un pronom non lié hors-citation dépend d'un antécédent dans une citation. Le chapitre soutient que les phrases présentant les caractéristiques décrites ci-dessus n'invalident pas le principe général, et articule une analyse des cas problématiques axée sur la notion de "saillance".Le chapitre 6 porte sur la coréférence de jure. La coréférence de jure est un type particulier de relation de coréférence qui a attiré beaucoup d'attention dans la littérature récente. Cependant, son autonomie par rapport à d'autres variétés de coréférence (notamment la coréférence accidentelle) et ses propriétés distinctives font l'objet de controverses. Le chapitre fournit une présentation systématique des motivations sous-jacentes à l'introduction de la notion de coréférence de jure et défend une approche conservatrice de sa relation avec la grammaire de la phrase: la distinction entre coréférence accidentelle et coréférence de jure est réelle mais invisible du point de vue de la structure linguistique. / The overarching theme of this dissertation is linguistic sameness: the feature by which different bits of language are able to count “as a unit” or as “the same” even if they are internally heterogeneous or exhibit different surface properties. I pursue six issues within this theme.Chapter 1 is about phonetic segments. Mainstream phonetics models continuous speech as a concatenation of discrete, letter-sized segments of unspecified temporal duration. In recent years, however, segment-based idealizations of speech have been called into question by eliminativist approaches to phonetic segments. The chapter attempts to vindicate segmental phonetics in face of the eliminativist arguments.Chapter 2 is about phonological objects. Phonological statements quantify over phonemes, which are controversial particulars. No standard ontology accepts them as part of the furniture of the world. Hence, the question arises of how phonological statements manage to exhibit their perceived distribution of truth values. The chapter proposes to address the issue by applying Stephen Yablo’s non-factualism to phonological objects.Chapter 3 is about the type-token problem. There are competing accounts of what specific relation is designated by the predicate “is a token of” as applied to the linguistic domain. The mainstream view is that tokens instantiate types, but this thesis presents several conceptual difficulties. Building on previous work by Zoltan Szabó, the chapter proposes a novel approach to the type-token problem, one based on the notion that speech sounds and inscriptions represent phonological and orthographic forms.Chapter 4 is about word counting. According to some, word type identity is established by similarity in structural-functional attributes. According to others, word type identity is established by sameness of causal-historical lineage. The two frameworks yield competing word counting policies. Which of them is metaphysically adequate? The chapter articulates a quietist take on word counting, one arguing that there is no non-theoretical fact of the matter about “how many word types exist” in any given language-infused world or scenario.Chapter 5 is about a puzzle in the theory of anaphora. Anaphoric dependency is commonly thought to entail coreference. This mainstream principle, however, appears to be violated by sentences where an off-quote unbound pronoun depends on an antecedent within closed quotation marks. The chapter argues that sentences exhibiting the described pattern do not invalidate the mainstream principle, and articulates a salience-based analysis of the problematic cases.Chapter 6 is about de jure coreference. De jure coreference is a peculiar kind of coreference relation that has attracted much attention in recent research. However, its autonomy from other varieties of coreference (most notably, accidental coreference) and its signature properties are the subject of controversy. The chapter provides a systematic presentation of the motivations underlying the introduction of de jure coreference, and defends a conservative account of its relationship to sentence grammar: the de jure vs. accidental divide is real but invisible from the standpoint of linguistic structure.

Malgré la diversité des territoires qui constituent la région caribéenne, sur le plan linguistique, ils ont en commun une même culture, celle de la créolité. Dans cette perspective, cette étude se propose d’étudier la synergie linguistique qui ressortirait d’une comparaison des proverbes créoles de la Caraïbe francophone et anglophone. Outre la question, parfois controversée, de l’origine des proverbes, l’objectif principal sera de trouver les convergences et les superpositions, tous les rapprochements entre les proverbes, le rôle joué par la littérature dans leur conservation et leur transmission intra et inter-linguistique et d’observer les modifications qu’ils ont pu subir. L’étude de l’impact de la mondialisation sur la traduction des textes de la Caraïbe, qui appartiennent à une tradition d’oralité, permettra de comprendre les phénomènes de transmission. Loin de se situer en opposition à la théorie Bermanienne sur la destruction des réseaux vernaculaires, ce travail visera à démontrer que la traduction des proverbes créoles dans le cadre même de la créolité offre justement la solution la plus en adéquation dans sa dimension culturelle, celle qui permet de les maintenir dans leur territorialité. / Despite the diversity of the Caribbean territories, they all share the same culture: Creoleness. In light of this, the present research proposes to study the linguistic synergy that is evident in a comparative study of Creole proverbs from the francophone and Anglophone Caribbean. Apart from the controversial issue of the origin of these proverbs, the main aim is to find the convergent points as well as any relationships between the proverbs, the role that literature plays in their preservation and their intra- and inter-linguistic transmission. A study of the impact of globalization on the translation of Caribbean texts, which are a part of oral tradition, will help to understand the phenomena underlining their transmission. Not aiming to contradict Berman’s theory on the destruction of vernacular links, this work will try to show that translating Creole proverbs in the context of Creoleness offers the best possible solution in light of cultural and regional factors.

Après avoir rappelé la définition et quelques propriétés des pseudogroupes de Lie, on définit les structures infinitésimales régulières. On peut toujours associer des connexions affines à de telles structures ; courbure et torsion de ces connexions. Équivalence locale de deux structures infinitésimales. Application à l'étude des structures presque complexes, presque paracomplexes, presque symplectiques, presque hermitiennes, presque parahermitiennes, presque quaternioniennes, presque quaternioniennes de deuxième espèce.

<p>Les modèles de systèmes de contrôle en dimension finie et en temps continu sont les équations différentielles ordinaires sous-déterminées, c'est-à-dire prescrivant l'évolution d'une partie des variables alors que d'autres, les contrôles, sont libres. Cette sous-détermination fait que la classe de transformations possibles est très variée et que le problème est par exemple très différent de celui des systèmes dynamiques classiques (sans contrôle, ou équations différentielles ordinaires déterminées). On a fait, dans le chapitre 1 (le seul original) un effort de clarification des différents types de transformations (statiques, dynamiques, fonctionnelles..) en les énonçant en terme de correspondances entre <u>solutions</u>; on présente ensuite des contributions des dernières années, concernant des conditions géométriques d'équivalence ou de linéarisation, et des problèmes encore ouverts; les détails sont contenus dans huit articles publiés reproduits dans le mémoire aux chapitres suivants (en anglais) avec seulement quelques modifications de référencement. </p><p> Étudier la structure des transformations sur les modèles, leur équivalence, leur classification a deux motivations distinctes: <br>- pour concevoir un contrôleur à partir d'un modèle donné du système, on a souvent intérêt à analyser, comprendre, simplifier ce modèle, <br>- le choix d'un modèle demande une compréhension de la structure de la classe des modèles non-linéaires (par exemple: quand deux modèles traduisent-ils la même réalité?). La modélisation ou l'identification non-linéaires sont encore des champs en friche qui manquent de fondements conceptuels.</p>

L'objet de cette thèse est l'étude de la géométrie locale et globale des systèmes de contrôle non linéaires sur des variétés lisses de dimension deux. Nous nous intéressons particulièrement aux invariants par feedback de tels sytèmes.<br /><br /> Dans une première partie nous utiliserons la méthode du repère mobile de Cartan afin de déterminer ces invariants et nous verrons que l'un des plus importants invariants par feedback est l'analogue de contrôle de la courbure gaussienne d'une surface. Comme nous l'expliquerons, la courbure de contrôle révèle de très précieuses informations sur la synthèse optimale des problèmes de temps minimal.<br /><br /> Dans une seconde partie nous construirons des formes normales microlocales pour les problèmes de temps minimal et nous caractériserons de manière intrinsèque les systèmes plats. Enfin, nous traiterons de propriétés globales ; nous verrons en particulier comment généraliser le théoréme de Gauss-Bonnet aux systémes de contrôle sur des surfaces compactes sans bord.

L'analyse d'une chaîne de production manufacturière complète, composée de plusieurs systèmes bouclés temporisés, en utilisant des modèles détaillés est presque impossible à cause des problèmes liés aux tailles des modèles. Une solution pour contourner ces difficultés consiste à utiliser des techniques d'analyse multi-échelles utilisant à la fois des modèles détaillés des système bouclés, lorsque nécessaire, mais aussi des modèles abstraits de certains systèmes bouclés dès que possible. Afin de garantir les résultats lors d'analyses multi-échelles, il convient de garantir que les modèles détaillés des systèmes bouclés ne permettent pas d'évolutions indésirables ne représentant pas un comportement réaliste des système bouclés, et que les modèles abstraits des système bouclés utilisés pendant l'analyse ont un comportement identique aux modèles détaillés de ces mêmes systèmes bouclés. La première contribution de ces travaux est une méthodologie de conception de modèles détaillés, utilisant des automates temporisés, de systèmes bouclés temporisés permettant de supprimer les évolutions irréalistes. Les solutions proposées pour y parvenir se basent sur une conception modulaire, des mécanismes d'urgence et des variables partagées. La seconde contribution de ces travaux est axée sur la vérification de l'équivalence entre les modèles détaillé et abstrait d'un même système bouclé. Pour ce faire, une équivalence conforme aux exigences d'une analyse multi-échelles est retenue, puis une méthode basée sur un automate observateur-séquenceur couplé à un model-checker est décrite. Enfin, la prise en compte d'une équivalence avec tolérances (en valeur et/ou temporelle) est détaillée.

Notre thèse vise à étudier les conceptions théoriques de deux traductologues anglophones [littéraliste chez Peter Newmark et sociolinguistique chez Eugene Nida], à la lumière de la théorie interprétative de la traduction élaborée par deux traductologues françaises, Danica Seleskovitch et Marianne Lederer. Nous nous sommes proposé de voir comment trois théories, de deux univers linguistiques différents se sont développées dans la deuxième moitié du 20e siècle, et s'il y a des rapprochements à faire.

Soit (X, μ) un espace de probabilité standard et Γ un groupe dénombrable agissant sur X de manière à préserver la mesure de probabilité (p.m.p.). La partition de l'espace X en orbites induite par l'action de Γ est entièrement encodée par le groupe plein de l'action, constitué de l'ensemble des bijections boréliennes de l'espace qui agissent par permutation sur chaque orbite. Plus précisément, le théorème de reconstruction de H. Dye stipule que deux actions p.m.p. sont orbitalement équivalentes (i.e. induisent la même partition à une bijection p.m.p. près) si et seulement si leurs groupes pleins sont isomorphes.Le sujet de cette thèse est grandement motivé par ce théorème de reconstruction, puisqu'il s'agit de voir comment des invariants d'équivalence orbitale, qui portent donc sur la partition de l'espace en orbites, se traduisent en des propriétés algébriques ou topologiques du groupe plein associé.Le résultat majeur porte sur le rang topologique des groupes pleins, c'est-à-dire le nombre minimum d'éléments nécessaires pour engendrer un sous-groupe dense. Il se trouve être fortement relié a un invariant fondamental d'équivalence orbitale : le coût. Plus précisément, nous avons montré que le rang topologique était, dans le cas ergodique, égal à la partie entière du coût de l'action plus un. Le cas non ergodique a également été étudié, et on a obtenu des résultats complémentaires sur la généricité de l'ensemble des générateurs topologiques.Enfin, on a caractérisé les actions dont toutes les orbites sont infinies : ce sont exac- tement celles dont le groupe plein n'admet aucun morphisme non trivial à valeurs dans Z/2Z.

Durant ces dernières décennies, la traductologie a connu un essor remarquable. En côtoyant des disciplines voisines, elle a élargi ses champs d’investigation. Ainsi le champ conceptuel de la traduction s’étend-il désormais à divers domaines bien au-delà du transfert interlinguistique. Or, dans ce champ d’étude complexe où se croisent de multiples approches, il n’existe guère de consensus au sein de la traductologie et l’expansion de la notion de traduction risque de provoquer la dilution de son objet d’étude.Face à cette situation, la nécessité de mener des réflexions épistémologiques se manifeste au sein de la discipline. Dans cette mouvance, ce travail se propose d’étudier sur un terrain commun différentes positions théoriques sur l’activité de la traduction en revisitant les lieux de convergence entre métaphore et traduction, qui nouent un lien étroit sur le plan historique et conceptuel dans l’espace culturel de l’Occident. Pour cette analyse critique et métathéorique, les métaphores deviennent tantôt un instrument cognitif permettant de comprendre l’acte de traduire, tantôt un procédé argumentatif visant à imposer de nouveaux modèles théoriques, tantôt l’objet de la traduction, tantôt le miroir des théories de la traduction. / Over the last few decades, remarkable headway has been made in Translation Studies. Interaction withother neighboring disciplines has made Translation Studies expand its field of investigation. In particular,the conceptual field of translation reached an extensive area well beyond the interlingual transfer. Yet, acomplex picture of discipline that consists of multiple approaches reveals that there is little consensusamong scholars in the field of Translation Studies. Moreover, the expansion of the notion of translationmay seem obscure the main subject of study. Given this situation, there is a greater need to undertake theepistemological reflections within the discipline.In line with this, this thesis proposes to investigate on a common ground between various theoreticalpositions on the translation activity by revisiting the points of convergence between metaphor andtranslation that are closely linked, both historically and conceptually in the domain of Western culture.For this critical and meta-theoretical analysis, the metaphor take many different forms including cognitivetool to provide the understanding of the act of translation, argumentative method to impose newtheoretical models, the object of translation, and the mirror of translation theories.