Le mémoire de maîtrise intitulé Religion et développement : étude de cas sur le mouvement indien Swadhyay Parivar présente une description approfondie d'un mouvement socio-religieux, dont la vision de développement personnel et communautaire s'enracine dans le patrimoine culturel et spirituel de l'Inde. Il vise à démontrer que le développement endogène, qui tire pleinement partie [i.e. parti] des ressources matérielles et spirituelles locales peut constituer une option très viable en matière de développement. Cette recherche lance un double défi : celui de prendre en compte les multiples avantages du développement conçu par et pour les principaux bénéficiaires, en égard des modèles de développement importés de l'Occident.Le second défi consiste à reconnaître que le développement peut avoir intérêt à intégrer la dimension spirituelle et religieuse de la collectivité visée, moyennant une mise à jour du système religieux traditionnel dont certains éléments peuvent se révéler dysfonctionnels.

Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur. / Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal. / La littérature managériale s'est longuement intéressée aux approches structurelle, politique des organisations, à l'approche des ressources humaines, mais moins à l'approche symbolique et surtout selon une perspective symbolique et non plus fonctionnelle. Cette recherche entend cerner, par la métaphore du théâtre comme outil descriptif, les différentes mises en scène de dirigeants d'établissements scolaires dans leurs pratiques courantes. Partant des postulats que tout est symbolique selon G. MORGAN et que chaque individu érige sa propre mise en scène dans chacun de ses agirs (E. GOFFMAN), la description de ces mises en scène se fait par chacun des éléments structurels qu'inspire la métaphore du théâtre, conduisant ainsi à la modélisation de ce que pourrait être la gestion symbolique comme mode de gestion distinct des modes de gestion rationnelle. Chaque dirigeant est auteur du texte qu'il incarne à des degrés divers sur la scène quotidienne ou sur les scènes aux rituels particuliers. Il joue des scénarios spécifiques, les traduit par des discours imagés, argumentatifs, explicatifs, persuasifs, etc., dans une mise en scène proprement dite, étudiée, orchestrée avec costumes particuliers, décor choisi, déplacements minutieux, gestes appropriés ou une mise en scène sans grand apparat, ni fantaisie particulière, ou une mise en scène qui ne tient pas compte consciemment de l'impact de la symbolique individuelle ou organisationnelle sur la vie des membres de l'organisation. Chacune de ces mises en scène dévoile la plus ou moins grande compétence symbolique du dirigeant a traduire en symboles consciemment choisis ou non sa vision de chef afin de créer certains effets sur la culture organisationnelle. Ainsi, deux sites, deux commissions scolaires avec un certain nombre de ses dirigeants et dirigeantes, ont été l'objet d'observations au cours d'une année scolaire. Les données recueillies de même que les entrevues d'explicitation ont servi à mettre en parallèle les théories organisationnelles vues sous l'angle des éléments scéniques avec les pratiques ou différents modèles de gestion symbolique ou de mises en scène observées sur le terrain. La modélisation des différentes mises en scènes a permis de vérifier un certain nombres d'hypothèses: l'utilisation de signes théâtraux de nature plus connotative que dénotative suscite une plus grande adhésion des spectateurs, c'est-à-dire des membres de l'organisation que celle des signes dénotatifs, ces signes ayant perdu leur valeur symbolique au profit d'une valeur fonctionnelle; les mises en scène orchestrées avec des symboles nouveaux révèlent une grande compétence symbolique de la part du dirigeant, ce qui manifeste son leadership symbolique et ses effets sur la culture; la gestion symbolique est l'exercice de la compétence symbolique et cette gestion s'articule en différents niveaux en passant par le texte et sa vision, l'acteur et ses manifestations, les différentes mises en scène qui varient selon la créativité et l'imaginaire du chef.

Le développement d'un système de reconnaissance de la parole exige la disponibilité d'une grande quantité de ressources à savoir, grands corpus de texte et de parole, un dictionnaire de prononciation. Néanmoins, ces ressources ne sont pas disponibles directement pour des dialectes arabes. De ce fait, le développement d'un SRAP pour les dialectes arabes se heurte à de multiples difficultés à savoir, l’'abence de grandes quantités de ressources et l'absence d’'une orthographe standard vu que ces dialectes sont parlés et non écrit. Dans cette perspective, les travaux de cette thèse s’intègrent dans le cadre du développement d’un SRAP pour le dialecte tunisien. Une première partie des contributions consiste à développer une variante de CODA (Conventional Orthography for Arabic Dialectal) pour le dialecte tunisien. En fait, cette convention est conçue dans le but de fournir une description détaillée des directives appliquées au dialecte tunisien. Compte tenu des lignes directives de CODA, nous avons constitué notre corpus nommé TARIC : Corpus de l’interaction des chemins de fer de l’arabe tunisien dans le domaine de la SNCFT. Outre ces ressources, le dictionnaire de prononciation s’impose d’une manière indispensable pour le développement d’un SRAP. À ce propos, dans la deuxième partie des contributions, nous visons la création d’un système nommé conversion (Graphème-Phonème) G2P qui permet de générer automatiquement ce dictionnaire phonétique. Toutes ces ressources décrites avant sont utilisées pour adapter un SRAP pour le MSA du laboratoire LIUM au dialecte tunisien dans le domaine de la SNCFT. L’évaluation de notre système donné lieu WER de 22,6% sur l’ensemble de test. / The development of a speech recognition system requires the availability of a large amount of resources namely, large corpora of text and speech, a dictionary of pronunciation. Nevertheless, these resources are not available directly for Arabic dialects. As a result, the development of a SRAP for Arabic dialects is fraught with many difficulties, namely the lack of large amounts of resources and the absence of a standard spelling as these dialects are spoken and not written. In this perspective, the work of this thesis is part of the development of a SRAP for the Tunisian dialect. A first part of the contributions consists in developing a variant of CODA (Conventional Orthography for Arabic Dialectal) for the Tunisian dialect. In fact, this convention is designed to provide a detailed description of the guidelines applied to the Tunisian dialect. Given the guidelines of CODA, we have created our corpus TARIC: Corpus of the interaction of the railways of the Tunisian Arab in the field of SNCFT. In addition to these resources, the pronunciation dictionary is indispensable for the development of a peech recognition system. In this regard, in the second part of the contributions, we aim at the creation of a system called conversion(Grapheme-Phonème) G2P which allows to automatically generate this phonetic dictionary. All these resources described before are used to adapt a SRAP for the MSA of the LIUM laboratory to the Tunisian dialect in the field of SNCFT. The evaluation of our system gave rise to WER of 22.6% on the test set.

Les systèmes logiciels sont devenus omniprésents se substituant à l'homme pour des tâches délicates, souvent critiques, mettant en jeu des coûts importants voire des vies humaines. Les conséquences des défaillances imposent la recherche de méthodes rigoureuses pour la validation. L'approche par automates du model-checking est la plus classique des approches de vérification automatique. Elle prend en entrée un modèle du système et une propriété, et permet de savoir si cette dernière est vérifiée. Pour cela un model-checker traduit la négation de la propriété en un automate et vérifie si le produit du système et de cet automate est vide. Hélas, bien qu'automatique, cette approche souffre d'une explosion combinatoire du nombre d'états du produit.Afin de combattre ce problème, en particulier lors de la vérification des propriétés insensibles au bégaiement, nous proposons la première évaluation d'automates testeur (TA) sur des modèles réalistes, une amélioration de l'algorithme de vérification pour ces automates et une méthode permettant de transformer un TA en un automate (STA) permettant une vérification en une seule passe.Nous proposons aussi une nouvelle classe d'automates: les TGTA. Ces automates permettent une vérification en une seule passe sans ajouter d'états artificiels. Cette classe combine les avantages des TA et des TGBA (automates de Büchi). Les TGTA permettent d'améliorer les approches explicite et symbolique de model-checking. Notamment, en combinant les TGTA avec la saturation, les performances de l'approche symbolique sont améliorées d'un ordre de grandeur par rapport aux TGBA. / Software systems have become ubiquitous in our everyday life. They replace humans for critical tasks that involve high costs and even human lives. The serious consequences caused by the failure of such systems make crucial the use of rigorous methods for system validation. One of the widely-used formal verification methods is the automata-theoretic approach to model checking. It takes as input a model of the system and a property, and answers if the model satisfies or not the property. To achieve this goal, it translates the negation of the property in an automaton and checks whether the product of the model and this automaton is empty. Although it is automatic, this approach suffers from the combinatorial explosion of the resulting product. To tackle this problem, especially when checking stutter-invariant LTL properties, we firstly improve the two-pass verification algorithm of Testing automata (TA), then we propose a transformation of TA into a normal form (STA) that only requires a single-pass verification algorithm.
 We also propose a new type of automata: the TGTA. These automata also enable a check in a single-pass and without adding artificial states : it combines the benefits of TA and generalized Büchi automata (TGBA). TGTA improve the explicit and symbolic model checking approaches. In particular, by combining TGTA with the saturation technique, the performances of the symbolic approach has been improved by an order of magnitude compared to TGBA. Used in hybrid approaches TGTA prove complementary to TGBA.
 All the contributions of this work have been implemented in SPOT and LTS-ITS, respectively, an explicit and a symbolic open source model-checking libraries.