This thesis is devoted to a problem in the representation theory of the symmetric group over C (the field of the complex numbers). Let d be a positive integer, and let S_d denote the symmetric group on d letters. Given a partition k of d, the Specht module V_k is a finite dimensional vector space over C which admits a natural basis indexed by all standard tableaux of shape k with entries in {1, 2, ..., d}. It affords an irreducible representation of the symmetric group S_d, and conversely every irreducible representation of S_d is isomorphic to V_k for some partition k. Given two Specht modules V_k, V_t their tensor product representation is in general reducible, and hence it splits into a direct sum of irreducibles. This raises the problem of describing the S_d equivariant projection morphisms (alternately called S_d-homomorphisms) in terms of the standard tableaux basis. In this work we give explicit formulae describing this morphism in the following cases: k=(d-1, 1), (d-2, 1,1), (2, 1,... ,1). Finally, we present a conjecture formula for the q-morphism in the case k=(d-r, 1, ..., 1).

This thesis is devoted to a problem in the representation theory of the symmetric group over C (the field of the complex numbers). Let d be a positive integer, and let S_d denote the symmetric group on d letters. Given a partition k of d, the Specht module V_k is a finite dimensional vector space over C which admits a natural basis indexed by all standard tableaux of shape k with entries in {1, 2, ..., d}. It affords an irreducible representation of the symmetric group S_d, and conversely every irreducible representation of S_d is isomorphic to V_k for some partition k. Given two Specht modules V_k, V_t their tensor product representation is in general reducible, and hence it splits into a direct sum of irreducibles. This raises the problem of describing the S_d equivariant projection morphisms (alternately called S_d-homomorphisms) in terms of the standard tableaux basis. In this work we give explicit formulae describing this morphism in the following cases: k=(d-1, 1), (d-2, 1,1), (2, 1,... ,1). Finally, we present a conjecture formula for the q-morphism in the case k=(d-r, 1, ..., 1).

Our thesis investigates a mechanism for representing schema mapping by tabular forms and checking utility of the new representation. Schema mapping is a high-level specification that describes the relationship between two database schemas. Schema mappings constitute essential building blocks of data integration, data exchange and peer-to-peer data sharing systems. Global-and-local-as-view (GLAV) is one of the approaches for specifying the schema mappings. Tableaux are used for expressing queries and functional dependencies on a single database in a tabular form. In our thesis, we first introduce a tabular representation of GLAV mappings. We find that this tabular representation helps to solve many mapping-related algorithmic and semantic problems. For example, a well-known problem is to find the minimal instance of the target schema for a given instance of the source schema and a set of mappings between the source and the target schema. Second, we show that our proposed tabular mapping can be used as an operator on an instance of the source schema to produce an instance of the target schema which is `minimal' and `most general' in nature. There exists a tableaux-based mechanism for finding equivalence of two queries. Third, we extend that mechanism for deducing equivalence between two schema mappings using their corresponding tabular representations. Sometimes, there exist redundant conjuncts in a schema mapping which causes data exchange, data integration and data sharing operations more time consuming. Fourth, we present an algorithm that utilizes the tabular representations for reducing number of constraints in the schema mappings. At present, either schema-level mappings or data-level mappings are used for data sharing purposes. Fifth, we introduce and give the semantics of bi-level mapping that combines the schema-level and data-level mappings. We also show that bi-level mappings are more effective for data sharing systems. Finally, we implemented our algorithms and developed a software prototype to evaluate our proposed strategies.

Thesis (Ph. D.)--Florida State University, 2008. / Advisor: Suzanne Sinke, Florida State University, College of Arts and Sciences, Dept. of History. Includes bibliographical references.

La responsabilité sociale de l'entreprise (RSE) est la notion selon laquelle les entreprises ont une obligation envers des acteurs sociaux autres que les actionnaires et au-delà des prescriptions légales et réglementaires. Dans ce concept, la définition de la performance n'est pas seulement économique et financière. En effet, la RSE correspond à l'application aux entreprises du concept de développement durable, elle les invite à prendre en considération, au-delà des aspects économiques et financiers, les aspects sociaux et environnementaux de leurs activités. Le contrôle de gestion est au cœur de cette relation entre responsabilité globale et performance économique des entreprises. Nos questionnements s'intéressent à la démarche à adopter par une entreprise pour mettre en œuvre une stratégie et des objectifs de développement durable qui s'incarnent dans l'instrumentation de gestion, ainsi qu'à la conception et l'implantation d'outils de pilotage adaptés pour mesurer une performance multidimensionnelle. Nous avons réalisé trois années de recherche intervention au sein de Batigère, un groupe d'Entreprises Sociales pour l'Habitat leader sur son secteur, dans le cadre d'un contrat CIFRE (Convention Industrielle de Formation par la Recherche). Batigère affiche clairement dans ses orientations stratégiques des préoccupations de développement durable axées sur trois dimensions : l'économique, le social et l'environnemental. Notre recherche s'est faite en deux phases : une phase exploratoire au cours de laquelle nous avons étudié en profondeur le fonctionnement de Batigère ainsi que son instrumentation de gestion, et une phase de recherche ingénierique au cours de laquelle nous avons participé au processus de conception et de mise en œuvre de son système de tableaux de bord. En premier lieu, notre étude de cas a mis en évidence la possibilité de développer une démarche cohérente de responsabilité globale s'incarnant réellement dans l'instrumentation de gestion. A notre avis, les tensions qui peuvent subsister entre performance économique et responsabilité globale doivent être assumées et gérées dans le cadre du système de pilotage global de l'entreprise, si on s'intéresse à l'effectivité des politiques mises en œuvre dans le champ sociétal. Dans un deuxième temps, les résultats de notre de recherche ingénierique montrent que pour la conception d'un système de tableaux de bord intégrant la RSE, les deux approches OVAR et Balanced Scorecard (BSC), bien qu'elles présentent des dissemblances, peuvent être complémentaires. En effet, en combinant l'outil BSC et ses formes d'équilibre avec la démarche cohérente et participative préconisée par la méthode OVAR, nous avons pu mettre en œuvre un système de tableaux de bord cohérent permettant le pilotage d'une performance multidimensionnelle. Dans un troisième temps, nous avons prolongé notre recherche sur l'appropriation par les acteurs du système de tableaux de bord nouvellement conçu. C'est en effet le jeu des individus activant les instruments de gestion qui est essentiel. Nous montrons à travers des citations tirées des entretiens réalisés avec les acteurs ainsi que des extraits de courriels reçus au cours du fonctionnement in situ de l'outil que : premièrement, le système de tableaux de bord a contribué à l'homogénéisation de la représentation de l'efficacité et des critères de performance au sein de l'entreprise, et deuxièmement, il a permis une légitimation de la fonction du contrôleur de gestion en offrant un outil adéquat pour le pilotage financier des opérations tout en élargissant le contrôle vers une performance multidimensionnelle. Nous montrons finalement que les dimensions technologiques (caractéristiques techniques et paramètres d'automatisation) d'un outil de gestion ont un impact non négligeable sur l'assimilation par les acteurs d'un outil nouvellement conçu. Nous avons qualifié la démarche d'intégration de la RSE dans le système de pilotage mise en œuvre au sein de Batigère de « méthode combinatoire ». Elle présente deux spécificités : un système de pilotage cohérent qui articule performance financière et performance sociétale, et une démarche de conception du système de tableaux de bord qui assure une cohérence verticale et horizontale. Nous avons tenté de modéliser cette méthode combinatoire, en précisant les principes sous-jacents à chaque étape de la méthode ainsi que les acteurs ayant participé au processus, afin d'inscrire la contribution de notre recherche ingénierique dans la production de connaissance / The Corporate social responsibility (CSR) is the concept according to which the companies have an obligation towards social actors others that the shareholders and beyond the legal and lawful regulations. In this concept, the definition of the performance is not only economic and financial. Indeed, the RSE corresponds to the application to the companies of the sustainability concept; it invites them to take into account, beyond the economic and financial aspects, the social and environmental aspects of their activities. The management control is in the middle of this relation between global responsibility and economic performance for the companies. Our questionings are interested in the step to adopt by a company to implement sustainability trategy and objectives which are incarnated in the management instrumentation, like with the design and the implementation of piloting tools adapted to measure a multidimensional performance. We carried out three years of research intervention within Batigère, a group of Social Firm for Housing leader on his sector, within the framework of a CIFRE contract (Industrial Convention of Formation by Research). Batigère posts clearly in its strategic orientations sustainability concerns centered on three dimensions: the economic one, the social one and the environmental one. Our research was done in two phases: an exploratory phase during which we studied indepth Batigère operation Batigère like its instrumentation of management, and a phase of ingenieric research during which we took part in the process of design and implementation of his system of scorecards. Initially, our case study highlighted the possibility of developing a coherent step of global responsibility really incarnating itself in the management instrumentation. With our opinion, the tensions which can remain between economic performance and global responsibility must be assumed and managed within the framework of the total system of control of the company, if one is interested in the effectiveness of the policies implemented in the social field. In the second time, the results of our of ingenieric research show that for the design of a system of scorecards integrating the CSR, two approaches OVAR and Balanced Scorecard (BSC), although they have dissimilarities, can be complementary. Indeed, by combining BSC tool and its forms of balance with the coherent and participative step recommended by OVAR method, we could implement a coherent scorecards system allowing the piloting of a multidimensional performance. In the third time, we prolonged our research on the appropriation by the actors of the scorecards system lately designed. It is indeed the play of the individuals activating the management instruments which is essential. We show through quotations drawn from the talks carried out with the actors as well as extracts of emails received during tool in situ operation that: firstly, the scorecards system contributed to the homogenization of the efficiency representation and the performance criteria within the company, and secondly, it allowed to legitimate the function of the financial controller by offering an adequate tool for the financial piloting of the operations while widening control towards a multidimensional performance. We show finally that technological dimensions (design features and automation parameters) of a management tool have a considerable impact on the assimilation by the actors of a tool lately designed. We qualified the step of CSR integration in the system of control implemented within Batigère of “combinative method”. It has two specificities: a coherent system of control which articulate financial performance and social performance, and a step of systems design of scorecards which ensure a vertical and horizontal coherence. We tried to model this combinative method, by specifying the principles subjacent with each stage of the method as well as the actors having taken part in the process, in order to register the contribution of our ingenieric research in the production of knowledge

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-20T10:56:48Z (GMT). No. of bitstreams: 1 197133.pdf: 2644540 bytes, checksum: a258dbeabb2ac6818b4802500a65e309 (MD5) / Este trabalho tem como objetivo descrever o desenvolvimento de um provador de teoremas segundo o Método dos Tableaux. Para isso, foram propostos dois refinamentos com o intuito de tornar o método mais eficiente durante as etapas de prova. Esses refinamentos tratam da ordenação das fórmulas e da instanciação das variáveis, buscando diminuir a inserção de elementos na árvore, propiciando, assim, uma maior eficiência em relação ao número de nós. A linguagem Java foi utilizada para a implementação do provador, possibilitando a manipulação das fórmulas estruturadas como documentos XML. Ao final do trabalho, é verificada a eficiência do provador através da comparação com outros provadores em relação à sistematização das suas etapas de prova e dos resultados obtidos.

Our thesis investigates a mechanism for representing schema mapping by tabular forms and checking utility of the new representation. Schema mapping is a high-level specification that describes the relationship between two database schemas. Schema mappings constitute essential building blocks of data integration, data exchange and peer-to-peer data sharing systems. Global-and-local-as-view (GLAV) is one of the approaches for specifying the schema mappings. Tableaux are used for expressing queries and functional dependencies on a single database in a tabular form. In our thesis, we first introduce a tabular representation of GLAV mappings. We find that this tabular representation helps to solve many mapping-related algorithmic and semantic problems. For example, a well-known problem is to find the minimal instance of the target schema for a given instance of the source schema and a set of mappings between the source and the target schema. Second, we show that our proposed tabular mapping can be used as an operator on an instance of the source schema to produce an instance of the target schema which is `minimal' and `most general' in nature. There exists a tableaux-based mechanism for finding equivalence of two queries. Third, we extend that mechanism for deducing equivalence between two schema mappings using their corresponding tabular representations. Sometimes, there exist redundant conjuncts in a schema mapping which causes data exchange, data integration and data sharing operations more time consuming. Fourth, we present an algorithm that utilizes the tabular representations for reducing number of constraints in the schema mappings. At present, either schema-level mappings or data-level mappings are used for data sharing purposes. Fifth, we introduce and give the semantics of bi-level mapping that combines the schema-level and data-level mappings. We also show that bi-level mappings are more effective for data sharing systems. Finally, we implemented our algorithms and developed a software prototype to evaluate our proposed strategies.

No description available.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

La planification des opérations dans un contexte industriel est une tâche complexe. Une bonne solution est difficile à obtenir, puisqu’elle doit respecter bon nombre de contraintes. Trouver la solution optimale est encore plus ardu. Pour ce faire, les entreprises ont recours à toutes sortes de méthodes, dont l’utilisation de modèles mathématiques d’optimisation. Bien que ces modèles fournissent une solution optimale, ils ne sont généralement qu’une approximation de la réalité. Pour pallier cette situation, nous proposons un système de tableaux de bord personnalisables permettant l’ajout facile et dynamique de préférences de la part du décideur. Comme l’ajout successif de préférences peut mener à la situation où chaque nouvelle préférence efface les précédentes, le décideur peut ne jamais obtenir la solution désirée même si elle existe. Pour contrer cette limitation, nous proposons une méthode permettant d’imposer des préférences pour les modifications futures. Ceci permet donc au décideur de converger rapidement vers la solution désirée. Une série d’expérimentations montre que l’utilisation d’un solveur offrira une plus grande diversité de solutions que l’utilisation de notre méthode si plusieurs préférences sont imposées. Cependant, le temps requis pour trouver des solutions par notre méthode est largement inférieur au temps nécessaire par un solveur. Le système de tableau de bord que nous avons développé permet uniquement l’utilisation de modèles linéaires, cependant les modèles à nombre entiers sont largement utilisés par les entreprises. Pour étendre l’utilisation de notre système, nous proposons une extension à l’approche originale qui permet l’utilisation de modèles à nombre entiers avec notre système de tableau de bord.