Cette thèse est structurée autour de deux axes d’études : (1) développer des logiques épistémiques formalisant la prise en compte de nouvelles données en présence d'informations incomplètes ou incohérentes ; (2) caractériser les notions de bisimulation sur les modèles de ces nouvelles logiques. Les logiques modales utilisées pour formaliser des raisonnements dans le cadre d’informations incomplètes et incohérentes, telle que la logique modale de contingence, sont généralement plus faibles que les logiques modales standards. Nos travaux se basent sur des méthodes logiques, algébriques et co-algébriques / In this Ph.D. dissertation we investigate reasoning about information change in the presence of incomplete or inconsistent information, and the characterisation of notions of bisimulation on models encoding such reasoning patterns. Modal logics for incomplete and inconsistent information are typically weaker than the standard modal logics, such as the modal logic of contingency. We use logical, algebraic and co-algebraic methods to achieve our aims. The dissertation consists of two main parts. The first part focusses on reasoning about information change, and the second part focusses on expressivity and bisimulation. In the following, we give an overview of the contents of this dissertation

Cette thèse de recherche en art se déploie dans deux dimensions principales intimement liées, l’une épistémologique et l’autre artistique. Premièrement, du point de vue épistémologique, elle est l’expression du continuum entre théorie et pratique. Elle pose l’hypothèse que le méta-art initié par deux artistes : Adrian Piper dans les années 1970 et Jean-Paul Thibeau dans les années 1990, constitue la méthode idoine pour expliciter et analyser l’expérimentation artistique. Le programme théorico-pratique que nous avons conçu s’articule sur deux registres de textes : les récits d’expérience relatant quatre projets (Genius Loci Monflanquin, Genius Loci Aix, Genius Loci Villeneuve, Genius Loci UBUBM) et les commentaires analytiques relatifs aux récits d’expérience (« Comment représenter le mouvement ? », « Comment l’écosophie permet-elle d’éclairer les pratiques artistiques qui investissent le quotidien comme situation d’expérimentation ? », « Comment prendre une décision ? », et « Comment ménager des passes au milieu du milieu ? »). Deuxièmement, du point de vue artistique, cette thèse ouvre un espace d’expérimentation pour la création de l’Atlas Genius Loci. Les situations de chantier à partir desquelles nous avons travaillé (en particulier ceux des universités bordelaises) nous ont amené à pratiquer une recherche-création sur des terrains de vie concrets et à mettre en œuvre des processus de coopération artistique avec des maîtres d’ouvrage et des institutions. À partir d’une interrogation sur les articulations possibles entre l’art et les pratiques architecturales de l’industrie du bâtiment (Building Information Modelling), notre Atlas est devenu un « processus mésologique », un travail d’inter-relation au sein d’un milieu, construisant une présence-alliance entre une artiste et une institution. Le prolongement de cette recherche-création, où le terrain-milieu d’où l’on parle est à la fois explici-té dans sa matérialité et impliqué dans l’expérimentation, s’inscrit dans l’héritage de l’analyse institutionnelle (sociologie) et de la critique institutionnelle (art) pratiquée dès les années 1970. L’enjeu de ce travail porte sur les engagements contemporains de l’artiste dans la société, et réciproquement, sur la place que celle-ci réserve à l’art, il rend compte de la singularité de la recherche en art, et de la façon dont elle ouvre aujourd’hui des perspectives originales pour l’alliance du monde académique avec la société civile. / This research thesis in art unfolds in two main and closely linked dimensions, one epistemological and the other artistic. Firstly, from an epistemological point of view, it is the expression of the continuum between theory and practice. It hypothesizes that meta-art initiated by two artists: Adrian Piper in the 1970s and Jean-Paul Thibeau in the 1990s, defines the right method to explicit and analyse the artistic experimentation. This theoretical-practical program is carried out through the writing of two kinds of texts: the experience accounts of our projects (Genius Loci Monflanquin, Genius Loci Aix, Genius Loci Villeneuve, Genius Loci UBUBM) and the analytical comments ("How to represent movement? ", " How can ecosophy shed light on the artistic practices that take place in everyday life as a experimentation situation? ", "How to make a decision? ", and "How to build a pathway to the heart of a living environment?”). Secondly, from an artistic point of view, this thesis opens up a space for experimentation on the creation of the Atlas Genius Loci. The "construction site situations" from which we have worked (in particular those with Bordeaux universities) have led us to practice a research-creation on tangible living environments, and to pursue artistic cooperation with project owners and institutions. With the possible links between art and architecture (Building Information Modeling) as a starting point, our Atlas has become a "mesological process" claiming a presence-alliance between an artist and an institution. The extension of this research-creation, where the field-environment from where one speaks is both explicit in its materiality and involved in the experimentation, is part of the legacy of institutional analysis (sociology) and institutional criticism (art) practiced since the 1970s.The contemporary commitment of the artist in society, and reciprocally, the place that society gives to art, expresses the singularity of the artistical research, and the way that it now opens up original perspectives for the alliance of the academic world with civil society.

No description available.

L’objectif de cette thèse est de déterminer l’influence des facteurs de contingence sur l’utilité des tableaux de bord dans le pilotage de la performance des ETI. Pour atteindre un tel objectif, la revue de littérature a permis d’un côté, d’appréhender les principaux concepts théoriques utilisés dans ce travail, et d’autre côté de présenter un cadre de la recherche qui constitue la pierre angulaire sur laquelle est fondée la conception de notre modèle théorique. Issu d’une méthodologie hypothético-déductive et d’un positionnement positiviste, un modèle explicatif de l’utilité des tableaux de bord dans le pilotage de la performance des ETI est élaboré. Ce dernier incorpore une variable à expliquer « utilité des TB dans le pilotage de la performance », dix variables explicatives, et une variable médiatrice « diversité d’utilisation des indicateurs de TB ».Ensuite, ce modèle est testé auprès de 156 ETI implantées en France. Les données recueillies sont examinées en utilisant l’analyse en composantes principales et la méthode de régression linéaire multiple. Les résultats de cette étude quantitative exposent les facteurs de contingence expliquant l’utilité des TB dans le pilotage de la performance. Ainsi, cette thèse permet d’enrichir les travaux théoriques antérieurs relatifs aux défis de mesure de la performance, et pratiquement de procurer aux directeurs financiers et aux contrôleurs de gestion un cadre explicatif des nouvelles pratiques de mesure de la performance des ETI. / This thesis aims to determine the influence of contingency factors on the utility of balanced scorecards in the performance management of ISEs. To achieve this objective, the literature review has allowed, on the one hand, to understand the main theoretical concepts used in this work and, on the other hand, to present a research framework which is the cornerstone of our theoretical model. From a hypothetical-deductive methodology and a positivist position, an explanatory model of the utility of balanced scorecards in the performance management of ISEs is developed. The latter incorporates one dependent variable which explains the "utility of balanced scorecards in the performance management", ten explanatory variables and one mediating variable "diversity of use of BSC indicators".Then, this model is tested on 156 ISEs established in France. The data collected is examined using the principal components analysis and the multiple linear regression method. The results of this quantitative study expose contingency factors explaining the utility of BSC in the performance management. Thus, this thesis enriches the previous theoretical works on the challenges of measuring performance, and practically, provides CFOs and management controllers with an explanatory framework of the new practices of ISEs’ performance management.

Tertiary education campuses are no more the heart of peacefulness and scholastic study. They are turned into battlefields, administration and lecture hall buildings become the objects of siege, invasion and occupation. This is caused by the demands by students for adequate financial aid, the declining financial resources from government and the government's call for more access to tertiary education especially for the historically disadvantaged students. The problems in tertiary education pertain not only to financial problems, they also include cultural diversity, social and political issues. The financial aid to tertiary institutions is the main theme in this research. The research is based on a study of international and South African tertiary education systems in order to find ways to manage student affairs in tertiary education effectively and efficiently and to establish management strategies that will be acceptable to students, management, parents, all stakeholders and interest groups. In the end the management in tertiary education institutions should be able to effect the transformation based on the profound deficiencies of the present system which inhibit Higher Education's ability to meet the moral, social and economic demands of the new South Africa in the context of national and global opportunities and challenges. / Educational Leadership and Management / M.Ed. (Educational Management)

Notre étude se propose de montrer qu'au cours des deux dernières décennies, des années 1989-2009, avec les films de Michael Haneke réalisés pour le cinéma, des innovations décisives apparaissent dans la fiction de nos jours. Des formes nouvelles bouleversent le récit, révélant ce qui, dans la fiction conventionnelle, est devenu stéréotype et mettent en cause la représentation. Des nouveaux rapports entre réel et représentation, entre visible, invisible et insupportable à voir, entre instance énonciative et spectateur entrent en jeu. De nouveaux possibles s'ouvrent sur la voie du développement de la fiction cinématographique et élargissent ses possibilités d'investigation du réel sur l'écran. / Our study suggests that during the last two decades, 1989-2009, with Michael Haneke's movies realized for the cinema, decisive innovations appear in the contemporary fiction. New forms upset the narrative, dispute the representation, and reveal what in the conventional fiction became stereotype. New reports between reality and representation, between visible, invisible and unbearable to see, between the instance of the statement and the spectator come into play. New possibilities open on the way to the development of the film fiction. They widen the possibilities for investigation of the reality on the screen.

Tertiary education campuses are no more the heart of peacefulness and scholastic study. They are turned into battlefields, administration and lecture hall buildings become the objects of siege, invasion and occupation. This is caused by the demands by students for adequate financial aid, the declining financial resources from government and the government's call for more access to tertiary education especially for the historically disadvantaged students. The problems in tertiary education pertain not only to financial problems, they also include cultural diversity, social and political issues. The financial aid to tertiary institutions is the main theme in this research. The research is based on a study of international and South African tertiary education systems in order to find ways to manage student affairs in tertiary education effectively and efficiently and to establish management strategies that will be acceptable to students, management, parents, all stakeholders and interest groups. In the end the management in tertiary education institutions should be able to effect the transformation based on the profound deficiencies of the present system which inhibit Higher Education's ability to meet the moral, social and economic demands of the new South Africa in the context of national and global opportunities and challenges. / Educational Leadership and Management / M.Ed. (Educational Management)

Résumé Le cadre théorique de la contingence structurelle associe généralement « contexte, structure et performance » (Burns et Stalker, 1961; Woodward, 1965; Lawrence et Lorsch, 1967 ; Mintzberg, 1979).Le besoin de tester cette théorie dans l’environnement d’un pays sous développé (PSD) nous a conduit, dans cette recherche, à l’utilisation d’un cadre réduit basé uniquement sur des liens entre la technologie (remplacée par TI) et la structure (Galbraith, 1972 ; Lacrampe, 1974 ; Leifer, 1988). Notre cadre théorique s’appuie sur les approches managériales, économiques et organisationnelles des TI et de l’EDI (Leavitt, 1968 ; Scott Morton, 1991). Il utilise la théorie contingente de la gestion comptable (Otley, 1980; Chapman, 1997) et des systèmes d’information comptable AIS (Sutton, 1995; Maudlin et Ruchala, 1999; Baldwin et alii, 2000; Dunk, 2001) comme domaine d’opérationnalisation (système d’information fonctionnel). Ce travail commence par la constitution d’une boîte à outils contenant toutes les notions de base à utiliser (théories organisationnelles, TI - technologies de l'information, réseaux informatiques et EDI – échange des données informatisées), conformément aux principes fondateurs du MIS basés sur trois disciplines : Computer, Management et Organization Sciences (Culman et Swanson, 1986). La grille de lecture de la littérature est inspirée par la taxonomie de Urbaczenski, Jessup and Wheeler (2002) qui propose quatre catégories de recherche : économique, organisationnelle, technique et autre. Cette revue de la littérature permettra de proposer un modèle de recherche d’impact des TI et de l’EDI basé sur le cadre de référence structuro - fonctionnaliste et élaboré selon les principes de la théorie des systèmes. Le modèle de recherche utilise une structure causale conçue suivant l’impératif technologique (Markus et Robey, 1988). Il vise à expliquer l'impact organisationnel des TI à travers la stratégie (Porter et Millar, 1985; Wiseman, 1985 ; Palvia, Palvia et Zigli, 1990) sur la conception des MIS / AIS et des structures organisationnelles dans les entreprises d’un pays sous développé (PSD). Ce modèle d’impact organisationnel teste les hypothèses proposées, à partir des données d’une observation longitudinale (1970 à 2002) de quatorze (14) entreprises de la République Démocratique du Congo. Les entreprises échantillonnées de façon non probabiliste en deux catégories sont observées à travers l'introduction de l'EDI dans le système d’information comptable. Les tests de structure des données et de fonctionnement du modèle établissent l’impact des TI sur les structures organisationnelles et parfois sur les systèmes d’information, mais avec des nuances d’atténuation et de contribution suivant la nature de l’environnement ou l’usage de la stratégie. La conclusion de cette étude propose un processus d’apprentissage aux managers congolais pour éviter les dysfonctionnements organisationnels lors de l’adoption d’une nouvelle TI. Elle pose aussi le problème de validité des structures causales utilisées dans les recherches pour analyser l’impact organisationnel des TI. Abstract EDI adoption’s analysis in Congolese firms : an organizational structure impact of IT This research aims to identify the impact of IT (information technology) on organizational structure transformation in the firms of an under developed country. The framework of the contingency theory generally associates "context, structure and performance" (Burns and Stalker, 1961; Woodward, 1965; Lawrence and Lorsch, 1967; Mintzberg, 1979). The model of impact of TI and EDI suggested by this research uses a reduced framework only based on links between technology (replaced by IT) and structure (Galbraith, 1972; Lacrampe, 1974; Leifer, 1988). Based on the original paradigm of MIS, our theoretical framework uses managerial, economic and organizational approaches of IT and EDI (Leavitt, 1968; Scott Morton, 1991). It uses the contingent theory of accounting management (Otley, 1980; Chapman, 1997) and of accounting information systems (AIS - Sutton, 1995; Maudlin and Ruchala, 1999; Baldwin and alii, 2000; Dunk, 2001) as empirical field (functional information system). This workshop begins with the constitution of a toolbox containing all basic concepts to use (organization theories, IT - information technologies, computer networks and EDI – electronic data interchange), in accordance with the original MIS paradigm founded on three disciplines: Computer, Management and Organization Sciences (Culman and Swanson, 1986, p. 298). Then, we draw a theoretical framework of analysis which begins with a literature review inspired by Urbaczenski, Jessup and Wheeler’s taxonomy (2002). This literature review will allow to proposing a research model of IT and EDI designed according to the functionalist framework and system theory principles. The model of research uses a causal structure conceived according to the technological imperative (Markus and Robey, 1988). It aims at explaining the organizational impact of IT through the strategy (Porter and Millar, 1985; Wiseman, 1985; Palvia, Palvia and Zigli, 1990) on the design of MIS / AIS and the organizational structures in the companies of an under developed country (UDC). This study tests the hypotheses of the organizational impact‘s model suggested, basing from the data of a longitudinal observation (1970 to 2002) of fourteen (14) Congolese firms. The companies sampled by convenience in two layers are observed through the introduction of EDI into the accounting information system. The tests of data structure and of operating model performed on the introduction of accounting EDI, confirm the impact of IT on the organizational structures and sometimes on the information systems - IS. That with nuances of attenuation and contribution according to the nature of the environment or the use of the strategy. The conclusion of this study proposes a process of training to the congolese managers to avoid the organizational dysfunctions during the adoption of new IT. It poses also the problem of validity of the causal structures used in research to analyze the organizational impact of IT.

Résumé<p>Le cadre théorique de la contingence structurelle associe généralement « contexte, structure et performance » (Burns et Stalker, 1961; Woodward, 1965; Lawrence et Lorsch, 1967 ;Mintzberg, 1979).Le besoin de tester cette théorie dans l’environnement d’un pays sous développé (PSD) nous a conduit, dans cette recherche, à l’utilisation d’un cadre réduit basé uniquement sur des liens entre la technologie (remplacée par TI) et la structure (Galbraith, 1972 ;Lacrampe, 1974 ;Leifer, 1988). <p>Notre cadre théorique s’appuie sur les approches managériales, économiques et organisationnelles des TI et de l’EDI (Leavitt, 1968 ;Scott Morton, 1991). Il utilise la théorie contingente de la gestion comptable (Otley, 1980; Chapman, 1997) et des systèmes d’information comptable AIS (Sutton, 1995; Maudlin et Ruchala, 1999; Baldwin et alii, 2000; Dunk, 2001) comme domaine d’opérationnalisation (système d’information fonctionnel).<p>\ / Doctorat en Sciences économiques et de gestion / info:eu-repo/semantics/nonPublished