Le mantra de la compassion fascine depuis très longtemps de nombreux chercheurs de tous bords et de différentes époques. Ces derniers semblent cependant s’être toujours plus intéressés à sa signification plutôt qu’à sa fonction, son usage ou son utilité. Ce mémoire, qui se base sur l’expérience d’un travail de terrain ethnologique au sein d’un centre bouddhiste affilié à l’école guélougkpa, vise autant à se rapprocher de l’authenticité de sa signification que d’un usage de la formule pouvant être utile afin de protéger l’esprit. L’une des traductions du mot mantra est « protection de l’esprit ». Nous nous intéresserons particulièrement à notre objet sous le prisme de sa performance. La question du sens de la formule sera progressivement déplacée d’une dimension statique et sémantique à une autre plus dynamique et métapragmatique. Nous profiterons notamment des outils fournis par l’ethnomusicologie afin d’observer la part prise au sein de cette protection par les composantes musicales de la récitation. Ce travail sera aussi l’occasion de rassembler différentes théories et plusieurs concepts occidentaux au sein d’un même cadre théorique. La cadre de la sémiologie de la musique proposé par Molino et Nattiez, constituera une fondation étique solide à laquelle nous tenterons d’intégrer et d’articuler deux autres pensées majeures : la pensée austinienne de la « performativité » et la conception bachelardienne des images. Une fois nos outils d’observation affinés, nous regarderons mieux comment doit être comprise la « compassion » au sein de l’épistémè bouddhiste tibétaine, comment celle-ci est évoquée au sein de notre terrain de recherche et le lien tout à fait particulier qu’elle entretient avec le mantra qui porte son nom. La performance du mantra sera considérée comme étant, et au moins partiellement, une manifestation sonore de cette compassion. / The mantra of compassion has long fascinated many scholars from all walks of life and from different eras. However, they seem to have always been more interested in its meaning than in its function, use or utility. This M.A. thesis, which is based on the experience of ethnological fieldwork in a Buddhist center affiliated with the gelugkpa school, aims to get closer to both the authenticity of its meaning and to a use of the formula that may be helpful in protecting the mind. One of the translations of the word mantra is "protection of the mind". We will be particularly interested in our object under the prism of its performance. The question of the meaning of the formula will then be progressively moved from a static and semantic dimension to a more dynamic and metapragmatic one. We will use the tools provided by ethnomusicology, to observe the part taken by the musical components of the recitation in this protection. This work will also be an opportunity to bring together different theories and several Western concepts within the same theoretical framework. The framework of the semiology of music proposed by Molino and Nattiez, will constitute a solid etic foundation to which we will try to integrate and articulate two other major thoughts: the austinian thought of the "performativity" and the bachelardian conception of images. Once we have refined our tools of observation, we will look more closely at how "compassion" is to be understood within the Tibetan Buddhist episteme, how it is evoked within our research field and the very particular link it has with the mantra that bears its name. The performance of the mantra will be considered as being, at least partially, a sound manifestation of this compassion.

Cette thèse s'intéresse à la modélisation de la syntaxe et de l'interface syntaxe-sémantique de la phrase, et explore la possibilité de contrôler au niveau des structures de dérivation la surgénération que produit le traitement des dépendances à distance par des types d'ordre supérieur. À cet effet, nous étudions la possibilité d'étendre le système de typage des Grammaires Catégorielles Abstraites avec les constructions de la somme disjointe, du produit cartésien et du produit dépendant, permettant d'étiqueter les catégories syntaxiques par des structures de traits. Nous prouvons dans un premier temps que le calcul résultant de cette extension bénéficie des propriétés de confluence et de normalisation, permettant d'identifier les termes beta-équivalents dans le formalisme grammatical. Nous réduisons de plus le même problème pour la beta-eta-équivalence à un ensemble d'hypothèse de départ. Dans un second temps, nous montrons comment cette introduction de structures de traits peut être appliquée au contrôle des dépendances à distances, à travers les exemples des contraintes de cas, des îlots d'extraction pour les mouvements explicites et implicites, et des extractions interrogatives multiples, et nous discutons de la pertinence de placer ces contrôles sur les structures de dérivation.

L’Inde est confrontée à la problématique des avortements sexo-sélectifs, où il est observé depuis déjà plusieurs décennies un déséquilibre entre le nombre de filles et de garçons âgé(e)s entre 0 à 6 ans. Et ce, malgré l’adoption en 1994 du Pre-Conception and Pre-Natal Diagnostic Techniques (Prohibition of Sex Selection) Act qui régule les techniques médicales de détermination et de sélection du sexe afin d’éradiquer la pratique du foeticide féminin. Nous observons par conséquent un problème social d’application des lois. Cette recherche s’intéresse à l’effectivité du droit, qui repose dans la comparaison du sens et de l’utilité assignés à une norme par l’Etat, et la réception sociale qui en découle sur le plan instrumental et symbolique. Il s’agit alors d’explorer ici à la fois les effets visés par le droit, et leur réception au sein de la sphère sociétale. Cette étude analyse de ce fait les usages étatiques du droit qui tentent d’influencer l’univers symbolique des représentations collectives et les objectifs juridiques concrets mis en place pour conformer le comportement des sujets vis-à-vis de la sélection sexuelle prénatale. Une observation documentaire et des entrevues semi-dirigées font état de la réception sociale de ce discours officiel contre la pratique du foeticide féminin. Par cette lecture, nous comprenons que le droit étatique entre en conflit avec un système de représentations sociales qui inculque une préférence pour le fils pour des raisons économiques, sociales et culturelles. / For many decades now, India has been facing the issue of sex-selective abortion in which there has been a noticeable imbalance between the number of boys and girls aged 0 to 6 years old. And this, in spite of the 1994 Pre-Conception and Pre-Natal Diagnostic Techniques (Prohibition of Sex Selection) Act which regulates sex selection and determination technologies so as to eradicate female foeticide. We can thus note that there is a social problem of putting laws into effect. This research focuses on legal efficiency by outlining the meaning and utility assigned to State norms as well as their social reception on an instrumental and symbolic level. The aim is thus to explore the effects intended by the implementation of such laws and their reception by society. This study analyses the strategic legal appeal of the State in order to influence collective representations and to comply individual’s behaviour regarding sex selective abortions. Literature review and semi-structured interviews demonstrate the social reception of this official discours against female foeticide. We conclude that State law enters in direct confrontation with a social representation system that induces a preference for sons for economic, social and cultural reasons.

Au Canada et au Québec, au cours des années 2000, la migration des travailleurs qualifiés originaires d’Amérique du Sud a connu une croissance très rapide. Pourtant, ce flux migratoire et sa composante féminine ne semblent pas avoir fait l’objet d’une lecture sociologique. Ce travail vise à combler quelques lacunes dans ce domaine des connaissances, en examinant le processus d’intégration économique d’immigrantes d’origine sud-américaine arrivées durant cette décennie. L’étude comprend l’analyse de 16 cas de femmes originaires de divers pays d’Amérique du Sud qui ont un diplôme universitaire ou l’équivalent, qui avaient déjà une expérience de travail dans leur pays d’origine et qui possèdent une bonne maîtrise de la langue française. Les questions qui guident cette recherche dépassent l’aspect statistique ou sociodémographique d’un groupe non étudié dans le contexte canadien. Le but principal de ce mémoire consiste à examiner l’importance d’une variété de ressources culturelles et symboliques qui sont déployées tout au long du processus d’intégration socioéconomique par des immigrantes sud-américaines de la catégorie des « travailleurs qualifiés » dans le contexte montréalais. Dans ce but, l’étude analyse comment les ressources acquises dans la société d’origine ont des impacts sur le parcours professionnel de ces femmes, en leur permettant de définir des stratégies d’intégration sur le marché du travail dans la société réceptrice. L’analyse se déploie à partir de la problématisation des facteurs construits socioculturellement comme catégories de structuration et de hiérarchisation qui, selon le contexte, définissent la position sociale et qui, à travers l’expérience, expliquent la position situationnelle des immigrantes sud-américaines. L’accès, l’utilisation et la mobilisation des ressources pour définir des stratégies d’intégration socioprofessionnelle sont analysés à partir de quatre axes : l’expérience, la dimension intersubjective, le contexte institutionnel et organisationnel, et finalement, la dimension représentationnelle. / During the beginning of the 21st century the migration of skilled workers from South America to Canada and Quebec has grown very fast. However, this migration and its female component do not appear to have been the subject of a sociological reading. This work aims to fill some gaps in this subject by examining the process of economic integration of South American female immigrants who have arrived in Canada in this last decade. The study includes the analysis of 16 cases of women from various South American countries, specifically women who have a university degree or equivalent, who have working experience in their country of origin and who have a good knowledge of French. The questions guiding this research go beyond the statistical or socio-demographics analysis of a group not studied before in the Canadian context. The central aim of this work is to examine the importance of a range of cultural and symbolic resources that are deployed in the process of the socio-economic integration of South American female immigrants in Montreal who arrived into the category of "skilled workers.” With this aim, the study analyzes how the cultural and symbolic resources acquired in the society of origin can affect the success of these women by allowing them to define strategies of labour market integration in the receiving society. In considering the original and host societies as the social referents, this study offers an understanding of the importance of both the context and the personal experience that will impact directly on the career paths of female skilled immigrants in the post-migratory context. The analysis extends from the study of factors constructed as socio-cultural and hierarchical categories which, depending on the context, defines the social position and through experience, defines the situational position of immigrants. The access, use and mobilization of resources to develop strategies of socio-professional integration are analyzed from four axes : the experiential, the inter-subjective, the organizational and the representational dimensions.

L'analyse bioinformatique des données de transcriptomique a pour but d'identifier les gènes qui présentent des variations d'expression entre différentes situations, par exemple entre des échantillons de tissu sain et de tissu malade et de caractériser ces gènes à partir de leurs annotations fonctionnelles. Dans ce travail de thèse, je propose quatre contributions pour la prise en compte des connaissances du domaine dans ces méthodes. Tout d'abord je définis une nouvelle mesure de similarité sémantique et fonctionnelle (IntelliGO) entre les gènes, qui exploite au mieux les annotations fonctionnelles issues de l'ontologie GO ('Gene Ontology'). Je montre ensuite, grâce à une méthodologie d'évaluation rigoureuse, que la mesure IntelliGO est performante pour la classification fonctionnelle des gènes. En troisième contribution je propose une approche différentielle avec affectation floue pour la construction de profils d'expression différentielle (PED). Je définis alors un algorithme d'analyse de recouvrement entre classes fonctionnelles et ensemble des références, ici les PEDs, pour mettre en évidence des gènes ayant à la fois les mêmes variations d'expression et des annotations fonctionnelles similaires. Cette méthode est appliquée à des données expérimentales produites à partir d'échantillons de tissus sains, de tumeur colo-rectale et de lignée cellulaire cancéreuse. Finalement, la mesure de similarité IntelliGO est généralisée à d'autres vocabulaires structurés en graphe acyclique dirigé et enraciné (rDAG) comme l'est l'ontologie GO, avec un exemple d'application concernant la réduction sémantique d'attributs avant la fouille. / Bioinformatic analyses of transcriptomic data aims to identify genes with variations in their expression level in different tissue samples, for example tissues from healthy versus seek patients, and to characterize these genes on the basis of their functional annotation. In this thesis, I present four contributions for taking into account domain knowledge in these methods. Firstly, I define a new semantic and functional similarity measure which optimally exploits functional annotations from Gene Ontology (GO). Then, I show, thanks to a rigorous evaluation method, that this measure is efficient for the functional classification of genes. In the third contribution, I propose a differential approach with fuzzy assignment for building differential expression profiles (DEPs). I define an algorithm for analyzing overlaps between functional clusters and reference sets such as DEPs here, in order to point out genes that have both similar functional annotation and similar variations in expression. This method is applied to experimental data produced from samples of healthy tissue, colorectal tumor and cancerous cultured cell line. Finally the similarity measure IntelliGO is generalized to another structured vocabulary organized as GO as a rooted directed acyclic graph, with an application concerning the semantic reduction of attributes before mining.

Nous étendons les méthodes de décomposition de mélange de densités de probabilité au cas des données "fonctions de répartition", permettant ainsi de classifier ces fonctions et de modéliser une loi pour ces données fonctionnelles particulières. Cette loi est donnée par la notion de "fonctions de distribution de distributions" (FDD), basée sur la définition d'une fonction de répartition pour des variables aléatoires à valeurs dans un espace probabiliste. Les extensions sont effectuées en associant les FDD aux fonctions "copules" par le théorème de Sklar. Les copules "couplent" les fonctions de répartition à n dimensions (jointes) et à 1-dimension (marginales) d'un n-uplet de variables aléatoires. Nous regardons principalement une classe de copules paramétriques, les copules Archimédiennes, et proposons trois nouvelles méthodes d'estimation des paramètres dans le cas de copules multivariées : par coefficients de corrélation de Kendall, de Spearman, et par maximisation de la vraisemblance. L'association des FDD et des copules caractérise l'évolution des données fonctionnelles (i.e. la forme de ces fonctions) entre différents points à l'intérieur des classes pour chaque variable, et donne une mesure de dépendance entre les variables utilisées. Les méthodes sont tout d'abord développées pour une variable, puis divers généralisations sont proposées pour n dimensions. Certains points théoriques sont ensuite discutés, tels que la convergence de l'algorithme et le fait que la méthode par copules est une généralisation du cas classique. Une application de la méthode "approche classification" par copules est réalisée sur des données climatiques de l'atmosphère terrestre. Le but est la classification de "profils" atmosphériques et l'estimation de la loi sous-jacente des données. Les résultats sont comparés avec ceux de méthodes "classiques", prouvant ainsi les performances nettement supérieures de la méthode par décomposition de mélange de copules (DMC) et l'intérêt de l'utilisation des données probabilistes.

Cette thèse traite de la vérification des protocoles cryptographiques. Son sujet est la modélisation symbolique de protocoles avec pour objectif la preuve de propriétés de sécurité. La thèse comprend deux parties: La première partie définit quatre modèles symboliques différant par les moyens syntaxiques que les concepteur peuvent utiliser pour représenter les primitives cryptographiques. On a observé que les vérificateurs utilisent des astuces de codage dans des modèles peu riches pour représenter les primitives manquantes. Nous montrons que ces codages sont corrects dans le sens où un protocole qui satisfait une propriété dans un modèle peu expressif la satisfait aussi dans un modèle plus riche. Nous terminons cette partie par la description d'un module que nous avons implémenté pour la plate-forme de vérification AVISPA. Ce module est basé sur des résultats permettant le transfert des propriétés d'un protocole, prouvées dans un modèle symbolique, vers un modèle calculatoire. Dans la deuxième partie de cette thèse, nous développons un modèle symbolique pour représenter des protocoles récursifs. Ces protocoles sont difficiles à analyser et peu de résultats de décidabilité existent. Nous montrons que notre modèle symbolique permet de retrouver une attaque connue contre une propriété d'un protocole de commerce électronique. Nous proposons ensuite une modification de ce protocole et montrons que le protocole modifié satisfait cette propriété.

Les travaux que nous présentons pour l'obtention du doctorat de didactique des mathématiques portent sur deux domaines d'inégale importance: les Expressions Symboliques de l'Algèbre élémentaire ("ESA") d'une part et les situations de Discussions Autour de Problèmes ("DAP") de l'autre. Le corps principal de la thèse expose "les principales caractéristiques de modèles structuraux, didactiquement plausibles des systèmes d'ESA". Ces travaux constituent essentiellement ce que nous appelons une recherche "prodidactique". Il ne s'agit pas d'une étude de didactique de l'algèbre au sens strict, qui serait plus ou moins directement applicable à ce qui se passe dans les classes, mais plutôt d'une recherche fondamentale sur la structure des expressions symboliques qu'emploient élèves et professeurs en algèbre élémentaire (ESA), destinée à servir d'outil aux études didactiques ultérieures. Cette étude est structurée en trois grandes parties. La première (chapitres I à III) expose le problème, le délimite et le resitue par rapport aux travaux existants. La seconde partie (chap. IV à VIII) présente nos propositions, à savoir une grammaire du système des ESA. La troisième et dernière partie (chap. IX à XIII) est la plus proche de la didactique, en ce qu'elle s'appuie sur des résultats d'enquêtes auprès d'élèves pour aborder le domaine de la signification des ESA. En annexe figurent deux articles: * "Recherche d'une démarche d'enseignement en mathématiques avec des adultes", réalisé en collaboration avec Y. Paquelier et paru en 1987 dans la revue Education Permanente, * "Quelques développements récents des recherches sur la Discussion Autour de Problèmes", réalisé en collaboration avec Y. Paquelier, H. Lymberopoulos et H. Nikolakarou et paru en 1988 dans les actes de la douzième conférence annuelle du Groupe International "Psychology of Mathematics Education" â Veszprém (Hongrie). Ces articles présentent une recherche d'ordre didactique (et non "pro "didactique). qui se situe dans un domaine tout â [ait différent, celui de la construction sociale des connaissances en mathématiques, dans le cadre de la classe. Cette recherche a été menée en collaboration avec Y. Paquelier. H. Lymberopoulos et H. Nikolakarou.

Au Canada et au Québec, au cours des années 2000, la migration des travailleurs qualifiés originaires d’Amérique du Sud a connu une croissance très rapide. Pourtant, ce flux migratoire et sa composante féminine ne semblent pas avoir fait l’objet d’une lecture sociologique. Ce travail vise à combler quelques lacunes dans ce domaine des connaissances, en examinant le processus d’intégration économique d’immigrantes d’origine sud-américaine arrivées durant cette décennie. L’étude comprend l’analyse de 16 cas de femmes originaires de divers pays d’Amérique du Sud qui ont un diplôme universitaire ou l’équivalent, qui avaient déjà une expérience de travail dans leur pays d’origine et qui possèdent une bonne maîtrise de la langue française. Les questions qui guident cette recherche dépassent l’aspect statistique ou sociodémographique d’un groupe non étudié dans le contexte canadien. Le but principal de ce mémoire consiste à examiner l’importance d’une variété de ressources culturelles et symboliques qui sont déployées tout au long du processus d’intégration socioéconomique par des immigrantes sud-américaines de la catégorie des « travailleurs qualifiés » dans le contexte montréalais. Dans ce but, l’étude analyse comment les ressources acquises dans la société d’origine ont des impacts sur le parcours professionnel de ces femmes, en leur permettant de définir des stratégies d’intégration sur le marché du travail dans la société réceptrice. L’analyse se déploie à partir de la problématisation des facteurs construits socioculturellement comme catégories de structuration et de hiérarchisation qui, selon le contexte, définissent la position sociale et qui, à travers l’expérience, expliquent la position situationnelle des immigrantes sud-américaines. L’accès, l’utilisation et la mobilisation des ressources pour définir des stratégies d’intégration socioprofessionnelle sont analysés à partir de quatre axes : l’expérience, la dimension intersubjective, le contexte institutionnel et organisationnel, et finalement, la dimension représentationnelle. / During the beginning of the 21st century the migration of skilled workers from South America to Canada and Quebec has grown very fast. However, this migration and its female component do not appear to have been the subject of a sociological reading. This work aims to fill some gaps in this subject by examining the process of economic integration of South American female immigrants who have arrived in Canada in this last decade. The study includes the analysis of 16 cases of women from various South American countries, specifically women who have a university degree or equivalent, who have working experience in their country of origin and who have a good knowledge of French. The questions guiding this research go beyond the statistical or socio-demographics analysis of a group not studied before in the Canadian context. The central aim of this work is to examine the importance of a range of cultural and symbolic resources that are deployed in the process of the socio-economic integration of South American female immigrants in Montreal who arrived into the category of "skilled workers.” With this aim, the study analyzes how the cultural and symbolic resources acquired in the society of origin can affect the success of these women by allowing them to define strategies of labour market integration in the receiving society. In considering the original and host societies as the social referents, this study offers an understanding of the importance of both the context and the personal experience that will impact directly on the career paths of female skilled immigrants in the post-migratory context. The analysis extends from the study of factors constructed as socio-cultural and hierarchical categories which, depending on the context, defines the social position and through experience, defines the situational position of immigrants. The access, use and mobilization of resources to develop strategies of socio-professional integration are analyzed from four axes : the experiential, the inter-subjective, the organizational and the representational dimensions.

No description available.