Est-ce qu’on parle correct ou correctement ? Est-ce qu’on court vitement ou vite ? Et comment, en anglais, est-ce qu’on choisit de marcher quick ou quickly, ou de répondre rightly ou right ? Ce mémoire analyse la variation entre -ly et -ø dans l’usage courant des adverbes en anglais (telle que rightly/right) et la variation entre -ment et -ø dans l’usage courant des adverbes en français (telle que correctement/correct) en examinant des données orales relevées dans des conversations personnelles et des émissions de télévision non scriptées, et des données écrites compilées à partir de commentaires d’appréciation dans des forums Internet et aussi à partir de textes gouvernementaux dans les deux langues. Cet ensemble de corpus comprend plus de 2 489 000 mots, sans compter les extraits de conversations personnelles, les émissions de télévision, et des centaines de recherches avancées à partir de l'outil de recherche Google. Nous analysons trois variables sociolinguistiques dont le sexe, l’âge et le degré de formalité. Nous examinons également les aspects sémantiques de cette alternance à partir des champs sémantiques des résultats percevables (les mouvements, les positions dans l’espace, les sons, les odeurs) et des résultats ou des processus plus abstraits (ce qui concerne la vie intellectuelle, morale ou affective), entre autres. Nous avons trouvé que bien que l’adverbe sans suffixe qualifie un résultat perceptible dans certains cas, il y a beaucoup d’exemples où les deux formes – avec et sans suffixe – apparaissent dans les mêmes champs sémantiques. Nos résultats tendent à montrer que l’adverbe sans suffixe, qui encode une signification concrète et objective depuis au moins 650 ans en anglais (Tagliamonte et Ito 2002), est utilisé plutôt dans le registre informel, à l’oral, chez les jeunes, et quand le locuteur souhaite paraître « cool », « sympa » ou « amusant ». Nous espérons finalement évaluer les implications de nos résultats en ce qui concerne l’état actuel du français et de l’anglais (bien que nos résultats puissent indiquer un changement en cours), et dans les domaines de la didactique des langues, de la grammaire, de la lexicographie, de la communication, de la publicité ou de la traduction. / Do we walk quick or quickly? Do we answer rightly or right? And how, in French, do we choose to speak correct or correctement, or to run vitement or vite? This French-language-composed Master’s thesis analyzes the variation between -ly and -ø in the current usage of English adverbs (such as rightly/right) and the variation between -ment and -ø in the current usage of French adverbs (such as correctement/correct) by examining spoken data from personal conversations and reality TV shows, and written data from informal Internet forum discussion threads and from formally written government texts (also found on the Internet), in both languages. The present study (translated title: "Change and Divergence from Standard Language Use: The Case of Suffix Omission in French and English Adverbs") examines corpora composed of more than 2,489,000 words, in addition to personal conversations, TV shows, and hundreds of advanced searches through the Google search engine. Our study focuses on three sociolinguistic variables: age, sex and formality. We also examine semantic aspects of this alternation such as its relation to the semantic fields of perceivable results (movements, spatial positions, sounds, odors) and abstract results or processes (concerning the intellectual, moral or affective realms), among others. We have found that while the adverb without suffix often does relate to perceivable results, there are many examples when both forms – with and without suffix – appear in the same semantic fields. Our results tend to show that the adverb without suffix, which encodes concrete, objective meaning and dates back 650 years or more in English (Tagliamonte and Ito 2002), is more often used in the informal register, in spoken language, among the youth, and when the speaker wishes to appear "cool, " "supportive" or "fun." Finally, we hope to evaluate the implications of our results concerning the current state of the French and English languages (although our results may indicate a change in progress), and in the fields of language teaching, grammar, lexicography, communication, advertising and/or translation.

Ce travail étudie les déviations de sommes ergodiques pour des systèmes dynamiques substitutifs avec une matrice qui admet des valeurs propres de module supérieur à 1. Précisément, nous nous concentrons sur les substitutions telle que ces valeurs propres ne sont pas conjuguées. Dans un premier temps, on défini les lettres a-minimales et dominantes d'un mot pour étudier sa ligne brisée associé. On défini la ligne brisée normalisée et sa fonction limite. Pour l'étude des sommes ergodiques, on défini le sous-automate des lettres minimales. On donne des conditions sur une substitution de sorte qu'il y ait un nombre infini des sommes ergodiques égales à zéro pour un point x 2 X. Enfin, en utilisant un boucle dans une classe de Rauzy, on prouve l'existence d'un nombre infini d'échanges d'intervalles auto-similaires, dont la matrice de Rauzy a deux valeurs propres non conjuguées de module supérieur à 1. Et tout échange d'intervalles affine semi-conjugué à cet échange d'intervalles est aussi conjugué. / This thesis focuses on the deviation of ergodic sums for a substitution dynamical systems with a matrix that admits eigenvalues of modulus larger than 1. Specifically, we concentrate on substitutions with non-conjugated eigenvalues. At first, we define the a-minimals letters and the dominant letters of a word to study its broken associated line. We define the normalize broken line and its limit function. For the study of ergodic sums, we define the sub-automaton of minimum letters. We give conditions on a substitution so that there is infinitely many zero sums ergodic for a point x 2 X. Finally, using a loop in a class of Rauzy, we prove the existence of infinitely many interval exchange transformation self-similar, whose Rauzy matrix has two non-conjugated eigenvalues larger than 1 and every affine interval exchange transformation that is semi-conjugated, is also conjugated.

Cette thèse étudie la découverte de services (composants logiciels, exécutables, librairies scientifiques) sur des plates-formes distribuées à grande échelle. Les approches traditionnelles, proposées pour des environnements stables et relativement petits, s'appuient sur des techniques centralisées impropres au passage à l'échelle dans des environnements géographiquement distribués et instables. Notre contribution s'articule autour de trois axes. 1) Nous proposons une nouvelle approche appelée DLPT (Distributed Lexicographic Placement Table), qui s'inspire des systèmes pair-à-pair et s'appuie sur un réseau de recouvrement structuré en arbre de préfixes. Cette structure permet des recherches multi-attributs sur des plages de valeurs. 2) Nous étudions la distribution des noeuds de l'arbre sur les processeurs de la plate-forme sous-jacente, distribuée, dynamique et hétérogène. Nous proposons et adaptons des heuristiques de répartition de la charge pour ce type d'architectures. 3) Notre plate-forme cible, par nature instable, nécessite des mécanismes robustes pour la tolérance aux pannes. La réplication traditionnellement utilisée s'y avère coûteuse et incapable de gérer des fautes transitoires. Nous proposons des techniques de tolérance aux pannes best-effort fondées sur la théorie de l'auto-stabilisation pour la construction d'arbres de préfixes dans des environnements pair-à-pair. Nous présentons deux approches. La première, écrite dans un modèle théorique à gros grain, permet de maintenir des arbres de préfixes instantanément stabilisants, c'est-à-dire reconstruits en un temps optimal après un nombre arbitraire de fautes. La deuxième, écrite dans le modèle à passage de messages, permet l'implantation d'une telle architecture dans des réseaux très dynamiques. Enfin, nous présentons un prototype logiciel mettant en oeuvre cette architecture et présentons ses premières expérimentations sur la plate-forme Grid'5000.

« Maîtrise en linguistique - avec mémoire de l'Université Laval offert en extension à l'Université du Québec à Chicoutimi » / Dans le contexte scolaire ivoirien, la maitrise du français, tant à l'oral qu'à l'écrit, constitue un élément clé dans l'apprentissage de la quasi-totalité des disciplines enseignées. La réussite scolaire d'un élève en Côte d'Ivoire en dépend. Pour presque la totalité des enfants scolarisés, le français n'est pas une langue maternelle. Alors, son apprentissage est parfois laborieux. Il arrive que l'on constate des anomalies dans les productions discursives des apprenants. Deux d'entre elles ont retenu notre attention. Il s'agit de phénomènes qu'on assimilerait à un genre de confusion, qui ont lieu à l'écrit, entre les finales de mots en -eux et -eur. Par exemple, les élèves orthographient footballeu pour footballeur ou, à l'inverse, nerveur pour nerveu. Expliquer ces phénomènes est l'objectif que nous nous fixons pour ce projet de recherche. / In the Ivorian school context, fluency in French, both oral and written, is considered as an essential element in the learning of almost all the disciplines that are taught. The academic success of a student in Ivory Coast relies on it. For almost all children in school, French is not a mother tongue. So, its learning may be revealed as laborious. Sometimes, anomalies are observed in the discursive productions of the learners. Two of them caught our attention. This is a phenomenon that one would assimilate to a confusion, which takes place in writing, between the finals of -eux and -eur. For example, students spell « footballeu » for « footballeur » or, inversely, « nerveur » for « nerveu ». Explaining this phenomenon is our objective for this research project.

Cette thèse constitue une étude sémantique du préfixe verbal s- des verbes russes issus d'emprunts. Elle applique une approche théorique dérivée principalement de la Linguistique Cognitive Slave [LCS]. Quatre problèmes de recherche ont été identifiés : (i) la combinaison du préfixe s- avec les verbes russes issus d'emprunts ; (ii) la question de la préfixation vide ; (iii) la productivité du préfixe s- des verbes russes issus d'emprunts par rapport à la productivité concurrentielle du préfixe russe po- ; et (iv) l'hypothèse de Pallomorphe s-l-nu-. La méthodologie mise en place est à la fois qualitative et quantitative. La méthode qualitative concerne les recherches en bibliothèque et les recherches en ligne de sources d'expressions russe, française, allemande et anglaise, de même que des enquêtes effectuées par l'entremise d'un questionnaire et de fréquentes consultations de linguistes d'origine russe. La méthode quantitative comporte une recherche sur Google afin de déterminer le nombre de résultats obtenus à partir d'un choix de 82 verbes issus d'emprunts contenant le préfixe s-. Le nombre de résultats ainsi obtenus donne une indication de la fréquence relative avec laquelle ces verbes apparaissent dans la base de données Google en langue russe. Les résultats ont été classés sur une échelle de Likert, allant d'une fréquence « extrêmement faible » à une fréquence « extrêmement élevée ». Des 82 verbes issus d'emprunts contenant le préfixe s- utilisés pour cette recherche, 28 se sont avérés d'un usage « extrêmement élevé » ou « élevé ». Notre analyse ultérieure de ces 28 verbes a révélé que le préfixe s- pouvait avoir l'un des trois sens suivants : spatial, temporel ou amalgame. De ces 28 verbes, 15 ont un sens spatial dominant, 9 ont un sens temporel dominant et 4 sont dans la catégorie dite « amalgame ». En bref, leur sens spatial prédomine. Enfin, les quatre problèmes de recherche identifiés au début de notre étude ont été systématiquement abordés.

La théorie des jeux a développé, à ses débuts, une vocation pour les sciences sociales et économiques, avec des applications disparates, comme par exemple le traitement de données médicales. Elle apparaît aujourd'hui comme un paradigme de concepts et de techniques très général, dont le potentiel reste encore à exploiter en informatique. Dans cette thèse nous étudions une branche particulière, la théorie des jeux combinatoires (à deux joueurs), pour en tirer bénéfice dans le domaine, très actif, des sémantiques formelles des langages de programmation. D'un jeu, nous pouvons séparer l'aspect syntaxique, inhérent aux dénouements possibles des matchs, de l'aspect sémantique, inhérent aux prévisions sur le gagnant et la quantification de son gain (en termes d'un enjeu quelconque, tel que l'argent ou le préstige). Pour modeliser la notion de gain, la structure d'évaluation choisie ne doit pas forcément être celle des booléens (gagné ou perdu), ou celle des entiers naturels ou relatifs. Il suffit qu'elle vérifie des propriétés, assez faibles, garantissant l'existence d'une sémantique même lorsque le jeu donne lieu à des matchs infinis, comme dans le cas du jeu de la bisimulation entre processus concurrents, et du jeu de la programmation logique. Dans ce travail, nous étudions la caractérisation sémantique d'un langage logique (avec ou sans contrainte) en termes de jeu à deux joueurs. Au-delà du modèle intuitif des jeux, dont la valeur pédagogique mériterait d'être approfondie, une telle interprétation permet de réutiliser un des algorithmes les plus utilisés dans la théorie des jeux combinatoire, Alpha-Bêta, comme moteur de résolution pour les langages logiques. Les résultats récents et spectaculaires obtenus par les programmes d'échecs (souvenons-nous de la défaite du champion du monde Kasparov contre le programme Deep Blue d'IBM) témoignent d'une forme d'intelligence artificielle développée dans ces programmes qui peut être transposée et exploitée dans la résolution des langages logiques. La résolution d'interrogations existentielles conjonctives dans une théorie de clauses de Horn du premier ordre est en particulier concernée. En effet, la capacité d'Alpha-Bêta à simplifier le calcul ou, en d'autres termes, sa capacité à éliminer les coups inintéressants, n'est pas intimement liée à un type de jeu ou à un type de gain particuliers, mais demande juste des propriétés algébriques qui sont satisfaites dans le jeu de la programmation logique. La correction d'Alpha-Bêta est prouvée de façon formelle pour un éventail de structures très large. Les valeurs calculées pourront être aussi bien des entiers naturels, comme dans le cas du jeu d'échecs, que des substitutions ou des contraintes, comme dans le cas des langages logiques.