Dans cette thèse, nous essayons de fournir des outils automatisés pour élaborer des systèmes ouverts sûrs. Les systèmes ouverts, qui peuvent être vus comme des systèmes multi-agents, peuvent être spécifiés en ATL. La logique ATL a été introduite dans ce but précis. Il existe deux extensions intéressantes d'ATL, à savoir ATL+ et ATL* (ATL+ étant une restriction d'ATL*). ATL+ permet la combinaison Booléenne d'opérateurs temporels, et ATL* permet également l'imbrication d'opérateurs temporels. La procédure de décision basée sur les tableaux pour ATL est une méthode constructive pour tester la satisfiabilité d'une spécification donnée. Elle est constructive dans le sens qu'il est possible d'extraire un modèle depuis le tableau obtenu, lorsque la formule de départ est satisfiable. Dans cette thèse, nous proposons deux procédures de décision basées sur les tableaux pour ATL+ and ATL*, ainsi qu'une implémentation de ces procédures. Notre procédure est correcte, complète et optimale. En effet, nos deux procédures s'exécutent en 2Exptime. A notre connaissance, notre implémentation est le premier exécutable pour décider la satisfiabilité des formules ATL et ATL*. En perspective de cette thèse, nous discutons de la possibilité d'améliorer l'extraction de modèles depuis les tableaux pour ATL, ATL+ and ATL*. Nous aimerions obtenir à la fin des modèles relativement petits. / In this thesis, we try to provide automated tools to design safe open systems. Open systems, which can be viewed as multi-agent systems, may be specified in ATL. The logic ATL has been especially introduced for that purpose. There exist two relevant extensions of ATL, namely ATL+ and ATL* (ATL+ being a restriction of ATL*).ATL+ allows Boolean combination of temporal operators, and ATL* also allows nesting of temporal operators. The tableau-based decision procedure for ATL is a constructive method to test the satisfiability of a given specification. It is constructive in the sense that it is possible to extract a model from the obtained tableau, whenever the root formula is indeed satisfiable. In this thesis, we propose two tableau-based decision procedures for ATL+ and ATL*, as well as an implementation of these procedures. Our procedures are sound, complete and optimal. Indeed, our two procedures run in 2Exptime. Up to our knowledge our implementation is the first running tool to decide satisfiability of both ATL and ATL* formulae. In the perspectives of this thesis, we discuss how it is possible to improve the extraction of models from tableaux for ATL, ATL+ and ATL*. We would like to obtain relatively small models at the end.

DEA--Histoire de l'art--Rennes 2, 1994. / Bibliogr. p. 131-138.

This paper forms an introductory account of the irreducible representations of the permutation group using Young Tableaux as the tool to achieve this. The basics of C*-Algebra theory and Young Tableaux are provided including a brief history of the two subjects. This paper provides a straightforward development of the subject up to the main result which says that restricting the irreducible representations of S_n corresponding to the Young diagrams of shape ? to S_n-1 decomposes as the direct sum of the irreducible representations of S_n-1 corresponding to the Young diagrams formed by removing one box from ?. / Graduate

No description available.

Titre de l'écran-titre (visionné le 11 avril 2023) / Ce présent mémoire de maîtrise développé dans le cadre du programme Littératures et arts de la scène et de l'écran de l'Université Laval analyse et explore les langages dramaturgiques qui composent les pratiques contemporaines et traditionnelles du tableau vivant en respect avec les méthodologies de recherche-création. L'autrice survole d'abord le contexte historique du tableau vivant ainsi que les concepts clés liés à cette pratique en s'appuyant sur les écrits de notamment Julie Ramos, Bernard Vouilloux, Laurier Lacroix, Carole Halimi et Robert Valentine. Elle analyse ensuite l'utilisation des différents langages dramaturgiques spécifiques au tableau vivant dans des œuvres de Claudie Gagnon, Bill Viola, Adad Hannah et Robert Wilson. À travers sa recherche théorique et afin de l'alimenter, l'autrice effectue des laboratoires de création visant à explorer ses langages dramaturgiques elle-même et à en analyser les résultats probants. Cette recherche pratique se termine par une présentation laboratoire finale dont la captation vidéo se trouve en annexe, Ébranler l'immobilité, qui poétise le récit de vie de sa grand-mère en quatre tableaux.

The main content of this thesis concerns a tableau method for solving the satisfiability problem for the modal μ-calculus. A sound and complete tableau system for the modal μ-calculus is given. Since every tableau in such tableau system is finite and bounded by the length of the formula, the tableau system may be used as a decision procedure for determining the satisfiability of the formula. An alternative proof of the small model property is obtained: every satisfiable formula has a model of size singleexponential in the length of the formula. Contrary to known proofs in literature, the results presented here do not rely on automata theory. Two simplifications of the tableau system are given. One is for the class of aconjunctive formulae. The resulting tableau system has been used to prove the completeness of Kozen’s axiomatisation with respect to the aconjunctive fragment of the modal μ- calculus. Another is for the formulae in the class Πμ 2 . In addition to the tableau method, the thesis explores some model-surgery techniques with the aim that such techniques may be used to directly prove the small model theorem. The techniques obtained so far have been used to show the small model property for Πμ 2 -formulae and for formulae with linear models.

Immanants are a generalization of the well-studied determinant and permanent. Although the combinatorial interpretations for the determinant and permanent have been studied in excess, there remain few combinatorial interpretations for the immanant. The main objective of this thesis is to consider the immanant, and its possible combinatorial interpretations, in terms of recursive structures on the character. This thesis presents a comprehensive view of previous interpretations of immanants. Furthermore, it discusses algebraic techniques that may be used to investigate further into the combinatorial aspects of the immanant. We consider the Temperley-Lieb algebra and the class of immanants over the elements of this algebra. Combinatorial tools including the Temperley-Lieb algebra and Kauffman diagrams will be used in a number of interpretations. In particular, we extend some results for the permanent and determinant based on the $R$-weighted planar network construction, where $R$ is a convenient ring, by Clearman, Shelton, and Skandera. This thesis also presents some cases in which this construction cannot be extended. Finally, we present some extensions to combinatorial interpretations on certain classes of tableaux, as well as certain classes of matrices.

Immanants are a generalization of the well-studied determinant and permanent. Although the combinatorial interpretations for the determinant and permanent have been studied in excess, there remain few combinatorial interpretations for the immanant. The main objective of this thesis is to consider the immanant, and its possible combinatorial interpretations, in terms of recursive structures on the character. This thesis presents a comprehensive view of previous interpretations of immanants. Furthermore, it discusses algebraic techniques that may be used to investigate further into the combinatorial aspects of the immanant. We consider the Temperley-Lieb algebra and the class of immanants over the elements of this algebra. Combinatorial tools including the Temperley-Lieb algebra and Kauffman diagrams will be used in a number of interpretations. In particular, we extend some results for the permanent and determinant based on the $R$-weighted planar network construction, where $R$ is a convenient ring, by Clearman, Shelton, and Skandera. This thesis also presents some cases in which this construction cannot be extended. Finally, we present some extensions to combinatorial interpretations on certain classes of tableaux, as well as certain classes of matrices.

No description available.

Depuis la décentralisation de 1982, suivie de la Loi Organique, relative aux Lois de Finance (L.O.L.F.), les administrations d'Etat et les organisations publiques ont beaucoup évolué. Ce nouveau contexte a un impact sur le contrôle de gestion des organisations publiques, qui se traduit par la mise en œuvre de nouveaux instruments. Notre recherche porte, grâce aux enseignements tirés de nos 3 études de terrain en Management Public, sur la production d'indicateurs (conception d'une démarche pertinente, architecture, construction et articulation des indicateurs, et enfin sur leurs exploitations et leurs actualisations). Le premier apport de cette thèse est donc d'ordre pratique, car grâce à ces préconisations portant sur les moments clefs de la démarche de construction et de mise en place des indicateurs cela va permettre d'apporter un "savoir actionnable" aux professionnels. Le second apport est d'ordre méthodologique, car la combinaison des différentes approches (2 recherches-actions, 1 observation participante, une analyse quantitative), a renforcé la validité de notre recherche. De plus, notre démarche a eu une dimension exploratoire, car elle a permis de faire un état de lieux en matière de contrôle de gestion tant au niveau d'organisations spécifiques, qu'au niveau des pratiques et jeux d'acteurs. Enfin, sur un plan conceptuel, nous montrons comment l'on peut articuler, au sein d'un même processus de modélisation des activités, des mesures relevant d'une vision partagée et des mesures plus objectives, car c'est l'articulation de ces deux types de mesure qui va renforcer la pertinence du système mis en place et gagner l'adhésion des acteurs du terrain / The State administrations and the public organisations in France have deeply evolved since the decentralisation of 1982 followed by the "Loi Organique" relative to the “Lois de Finance LOLF”. One impact of this emergent context on the management control takes the form of new management tools applied in the public organisations. This dissertation draws lessons on the production of indicators (the conception and architecture of a pertinent approach, the construction of different indicators and the articulation among them, and finally the exploitation and the updating of these indicators) based on three field studies conducted in public managements. The first contribution of this study is practical. The results and recommendations concerning the crucial periods of the construction and the application of indicators provide actionable knowledge to the concerned professionals. Secondly, a methodological contribution may be highlighted as multi-methods have been used (two action-researches, one participant observation, and one quantitative analysis). The combination of these different approaches reinforces the validity of the results. Moreover, this study draws up a literature review on the management control related to specific form of organisations and on the level of practices and different actors. Finally, the study shows how to articulate, for the same process of activities modelling, between measurements related to shared vision and more objective measurements. It is the articulation of these two types of measurements which strengthens the applied system and assures the adhesion of the field actors