Sustainability is one of the most important performance measurements in this fast changing business environment, as climate change and customer satisfaction is becoming real issues that managers have to face. Not only does it reflect the impact the company has on the economy, environment and society but also communicates corporate responsibility and smart business practices to the relevant shareholders. The Johannesburg Stock Exchange Limited (JSE) is the first global stock exchange to compel listed companies to integrate sustainability reporting with their annual report in the form of an integrated report. This requirement came into effect on 1 March 2010. It will enable managers to assess their organisation’s ability to create and uphold sustainability over the short, medium and long terms. It also allows managers and stakeholders to evaluate their business from a holistic perspective to report on a wider context of how it creates value for their shareholders and customers. The GRI identified the global challenges regarding sustainability reporting and launched their first Sustainability Reporting Framework in 2000 to clearly and openly report on relevant sustainability issues. The GRI also provide Sector Supplements that focuses on sector specific performance measurements. The balanced scorecard which celebrated its 20th anniversary in 2012, has been proven to be one of the most influential business management strategies of the last 20 years. Adjustments can be made to the traditional BSC by using an effective social responsibility framework, such as the GRI, to provide a sustainable balanced scorecard. It will express long-term organisational strategies, both financial and non-financial that is linked to sustainability. The oil and gas industry is a multifaceted, global industry and a key player in the South African economy, which has a fundamental impact on safety, health, environmental and social issues. The research was performed based on all the JSE listed companies in this industry based on an observational, ex post facto and descriptive research methodology. The integrated reports for both 2011 and 2012 were obtained and compared against the G3.1 Oil and Gas Sector Supplement indicators. It was found that selected oil and gas companies include sustainability issues in their integrated reports with a focus on social aspects. The contribution of the study was the development of a Sustainable Balanced Scorecard for the oil and gas industry. / MCom (Management Accountancy), North-West University, Potchefstroom Campus, 2014

Ce travail s'inscrit dans le cadre des recherches menées autour de la compilation des langages de classes, notamment Eiffel, et plus généralement des langages à objets à typage statique. Très brièvement, on peut dire que le but de cette thèse revient à tenter de répondre à une question fondamentale: comment mieux compiler les langages à objets, c'est à dire comment avoir des programmes plus rapides et plus sûrs ? Ce travail de recherche est basé en grande partie sur l'analyse statique, abordée via deux axes principaux. Le premier consiste à pouvoir effectuer des contrôles de validité et de cohérence du programme, et ce non seulement sur les programmes finis, mais bien dès le début du développement, de façon à pouvoir assister au maximum les développeurs durant la phase de conception et d'implantation. Le second axe, qui est la substance même de cette thèse, considère l'utilisation des informations apportées par l'analyse statique du système pour améliorer la qualité du code généré. En effet, ces informations offrent des possibilités importantes en terme d'optimisation du code généré, aussi bien par des optimisations liées aux algorithmes que par des optimisations sur les structures de données. Nous proposons et expérimentons une approche basée sur la duplication et la spécialisation du code par analyse globale du système, afin d'implanter de façon efficace les structures de données et le code du programme compilé, notamment en ce qui concerne la liaison dynamique. Nous introduisons ainsi une nouvelle méthode de liaison dynamique, basée sur des arbres de branchement directs, dont les performances sont supérieures ou égales à celles des systèmes actuels classiques à base de tables d'indirection. Cette approche est également étendue à la génération par le compilateur d'un ramasse-miettes automatiquement adapté à l'application compilée. Nous menons aussi certaines études pour évaluer les optimisations permises par l'utilisation massive de l'aliasing dans un compilateur écrit dans un langage de classes, ainsi que des moyens de mieux maîtriser cette technique. Ces travaux sont validés entre autres par le développement d'un compilateur Eiffel nommé SmallEiffel et de ses bibliothèques, qui, très largement diffusés et utilisés, sont devenus The GNU Eiffel Compiler.

Alors que l'informatique est résolument tournée vers l'avenir, cette thèse se concentre sur le passé ; non pas par nostalgie mais plutôt parce que le futur des logiciels âgés est une question d'actualité. Plus particulièrement trois thèmes sont abordés : la maintenance, la ré-ingénierie et la programmation globale. L'objectif de cette étude est d'explorer l'intersection entre la ré-ingénierie et la programmation globale, domaine que nous avons baptisé ré-ingénierie globale. L'idée principale est de réutiliser des concepts et des techniques de programmation détaillée. En fait nous proposons de définir la programmation globale en distinguant 4 aspects du logiciel : l'architecture, la manufacture, la variation et l'évolution. Un modèle abstrait basé sur des concepts ensemblistes est proposé pour modéliser les différentes entités de programmation globale. La technologie relative à ce domaine est ensuite décrite en considérant aussi bien l'état de l'art que l'état de la pratique. La différence entre ces deux aspects souligne l'intérêt de la ré-ingénierie globale. A titre d'illustration, nous étudions le cas des préprocesseurs en tant qu'outils de programmation globale. Ces outils de bas niveau provenant des années 70 sont traditionnellement utilisés pour décrire des familles de programmes. Pour faciliter la compréhension de tels artefacts nous proposons d'utiliser des techniques comme l'évaluation partielle, l'analyse inter-procédurale de flot de données ou encore le découpage. Ces techniques, définies de manière rigoureuse, s'appuient sur la sémantique dénotationnelle du préprocesseur utilisé. Un prototype montrant leur utilité a été réalisé. Il prouve qu'une approche basée sur des fondements théoriques issus de la programmation détaillée est applicable pour résoudre des problèmes pratiques de programmation globale.

La pile à combustible (PAC) produit de l'énergie électrique à partir d'hydrogène et d'oxygène sans rejets de polluants. Son utilisation dans le secteur automobile est donc envisagée à long terme pour répondre au problème de mobilité durable. Dans un véhicule hybride à PAC, la motorisation électrique est alimentée par une pile à combustible assistée par une source secondaire d'énergie (SSE). Cette source secondaire d'énergie est composée soit de batteries, soit de supercondensateurs. L'architecture hybride obtenue offre un degré de liberté dans la gestion des flux énergétiques et dans le dimensionnement du groupe motopropulseur. La répartition de puissance optimale entre la PAC et la SSE est obtenue grâce à des algorithmes d'optimisation globale qui minimisent la consommation d'hydrogène pour un parcours routier connu a priori. Les résultats obtenus avec ces algorithmes servent d'expertise et de référence de consommation mais sont inapplicables en temps réel. Ici, une stratégie de commande temps réel, nécessairement sous-optimale, a été construite à partir l'algorithme de commande optimale. La consommation d'hydrogène est également influencée par le dimensionnement de la PAC et de la SSE. Celui-ci doit garantir un confort de conduite acceptable (vitesses, accélérations) sans pénaliser les performances énergétiques du véhicule ; un outil d'aide au dimensionnement est nécessaire et proposé dans ce mémoire. Enfin, les approches théoriques développées dans cette thèse sont illustrées par des mises en applications sur des exemples concrets (prototype PAC-Car II, prototype Hy-Muve, banc d'essai).

La conception des produits techniques requiert la participation de plusieurs experts de disciplines différentes et des compétences complémentaires. Le dimensionnement représente une phase importante de l'activité de conception en génie électrique. Il consiste à optimiser les caractéristiques géométriques et techniques du produit en fonction des contraintes définies dans le cahier des charges. La construction collaborative à distance d'un compromis acceptable par tous est une activité complexe qui nécessite la mise en place d'un processus de d'échange, d'argumentation et de négociation inter-métier. Dans le but d'assister les concepteurs durant cette activité complexe, nous proposons dans ce mémoire un environnement d'aide au dimensionnement collaboratif à distance : CoSTo (Collaborative Specification Tool). Il s'agit du résultat d'une démarche originale dans le domaine du génie électrique qui consiste à analyser les besoins des concepteurs dans des situations réelles de coconception. CoSTo apporte par ses différentes fonctionnalités et la démarche d'optimisation globale qu'il instrumente une aide pour gérer et intégrer les interdépendances inter-métier

Dans cette thèse nous nous intéressons aux propriétés qualitatives et quantitatives des solutions de quelques équations d'ondes en milieux dispersifs ou dispersifs-dissipatifs. Dans une première partie, nous étudions le problème de Cauchy associé aux équations de Benjamin-Ono généralisées. A l'aide de transformées de jauge, combinées avec des outils d'analyse harmonique, nous prouvons des résultats concernant le caractère localement bien posé pour des données initiales de régularité minimale dans l'échelle des espaces de Sobolev. Dans une seconde partie, nous étudions le problème de Cauchy pour des versions dissipatives des équations de Benjamin-Ono et de Korteweg-de Vries. Nous mettons en évidence l'influence des effets dissipatifs sur ces équations en donnant des résultats optimaux sur leur caractère bien ou mal posé. Ceux-ci sont obtenus en travaillant dans des espaces de type Bourgain adaptés à la partie dispersive-dissipative. Pour finir nous étudions le comportement asymptotique des solutions des équations de KdV dissipatives, lorsque celles-ci existent pour tout temps, en calculant explicitement les premiers termes du développement asymptotique dans de nombreux espaces de Sobolev

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

La planification automatique est un domaine de recherche de l’Intelligence Artificielle qui vise à calculer automatiquement une séquence d’actions menant d’un état initial donné à un but souhaité. Cependant, résoudre des problèmes réalistes est généralement difficile car trouver un chemin solution peut demander d’explorer un nombre d’états croissant exponentiellement avec le nombre de variables. Pour faire face à cette explosion combinatoire, les algorithmes performants ont recours aux heuristiques ou à des solutions hiérarchiques, décomposant le problème en sous-problèmes plus petits et plus simples. Dans une grande majorité des cas, le planificateur doit prendre en compte un certain nombre de contraintes telles que des phases d’actions prédéfinies ou des protocoles. Ces contraintes aident à résoudre le problème en élaguant un grand nombre de branches de l’arbre de recherche. Nous proposons alors une nouvelle méthode pour modéliser et résoudre des problèmes de planification déterministe en se basant sur une approche hiérarchique et heuristique. Nous nous sommes inspirés des formalismes de programmation structurée afin de fournir à l’utilisateur un cadre de travail plus intuitif pour la modélisation des domaines de planification hiérarchique. D’autre part, nous avons proposé un algorithme de planification capable d’exploiter ce formalisme et composer des stratégies à différents niveaux de granularité, ce qui lui permet de planifier rapidement une stratégie globale, tout en étant en mesure de pallier aux difficultés rencontrées à plus bas niveau. Cet algorithme a fait ses preuves face au principal planificateur HTN, SHOP2, sur des problèmes de planification classique. / Automated planning is a field of Artificial Intelligence which aims at automatically computing a sequence of actions that lead to some goals from a given initial state. However, solving realistic problems is challenging because finding a solution path may require to explore an exponential number of states with regard to the number of state variables. To cope with this combinatorial explosion, efficient algorithms use heuristics, which guide the search towards optimistic or approximate solutions. Remarkably, hierarchical methods iteratively decompose the planning problem into smaller and much simpler ones. In a vast majority of problems, the planner must deal with constraints, such as multiple predefined phases or protocols. Such constraints generally help solving the planning problem, because they prune lots of search paths where these constraints do not hold. In this thesis, we assume that these constraints are known and given to the planner. We thus propose a new method to model and solve a deterministic planning problem, based on a hierarchical and heuristic approach and taking advantage of these constraints. We inspired ourselves from structured programming formalisms in order to offer a more intuitive modeling framework in the domain of hierarchical planning to the user. We also proposed a planning algorithm able to exploit this formalism and build strategies at various levels of granularity, thus allowing to plan quickly a global strategy, while still being able to overcome the difficulties at lower level. This algorithm showed its performances compared with the main HTN planner, SHOP2, on classical planning problems.

Dans cette thèse, nous étudions des problèmes algorithmiques dans les complexes CAT(0) planaires et rectangulaires munis d'une m ́etrique intrinsèque l_2. Nous proposons des algorithmes de calcul du plus court chemin dans les complexes CAT(0) planaires et rectangulaires et de construction de l'enveloppe convexe d'un ensemble fini de points dans les complexes CAT(0) planaires. E ́tant donné un complexe CAT(0) rectangulaire 2-dimensionnel K à n sommets, nous proposons un algorithme qui, pour toute paire de points calcule la distance et le plus court chemin en temps sous-lin ́eaire en nombre de sommets de K, en utilisant une structure de données de taille O(n^2). Le deuxième problème étudié est celui du plus court chemin entre un point-source donné et tout autre point dans un complexe CAT(0) planaire K a n sommets. Pour cela, nous proposons un algorithme qui, pour tout point y de K, étant donnée le point source x et la carte géodésique SPM(x), construit le plus court chemin γ(x,y) en temps O(n), en utilisant une structure de données de taille O(n^2). Enfin, nous nous intéressons au calcul de l'enveloppe convexe d'un ensemble de k points dans un complexe CAT(0) planaire à n sommets. Nous proposons un algorithme qui construit l'enveloppe convexe en temps O(n^2 + nk log k) en utilisant une structure de données de taille O(n^2 + k). / In this thesis, we study algorithmic problems in CAT(0) planar and rectangular complexes with an intrinsic l_2−metric. We present algorithms for some algorithmic problems, such as computing the shortest path and the convex hull of a finite set of points in CAT(0) planar and rectangular complexes. We present an efficient algorithm for answering two-point distance queries in a given CAT(0) rectangular complex K with n vertices. Namely, we show that for a CAT(0) rectangular complex K with n vertices, one can construct a data structure of size O(n^2) so that, given any two points in K, the shortest path can be computed in subliniar time of n. The second problem presented is computing shortest path from a single-source to the query point in a CAT(0) planar complex. We propose an algorithm which computes in O(n) time the shortest path between a given point and the query point in a CAT(0) planar complex with n vertices, using a given shortest path map and data structure of size O(n^2). Finally, we study the problem of computing the convex hull of a set of k points in a CAT(0) planar complex with n vertices. We describe an algorithm which computes the convex hull in O(n^2 + nk log k) time, using a data structure of size O(n^2 + k).

A partir de l’étude de cas du forum Inde-Brésil-Afrique du Sud (IBAS), cette thèse aborde la construction sociale de l’émergence en relations internationales, et la dynamique de prolifération de clubs sélectifs entre puissances émergentes comme expression de l’émergence internationale. A travers une approche pluridisciplinaire, mobilisant la sociologie de l’action collective au service des relations internationales, cette thèse démontre que les fonctions des clubs d’émergents, s’élèvent au nombre de trois: la consultation et la coordination politique sur des sujets internationaux d’intérêt mutuel; l’intensification des relations sud-sud multidimensionnelles; et la mise en place de mécanismes financiers communs. A travers ces trois fonctions, les puissances émergentes, se servent de ces clubs, à trois usages stratégiques transversaux, notamment la légitimation, l’autonomisation et la socialisation afin de renforcer leur intégration internationale. L’action des clubs d’émergents aboutit cependant davantage à l’inclusion, sous forme de cooptation de ces puissances, dans les processus décisionnels de gouvernance globale, qu’à leur intégration. Favorisant des stratégies de différenciation, à travers une action séparée des autres Etats du Sud, le défaut d’association des voisins régionaux et sociétés provoque des stratégies de contestation et d’obstruction de la part de ces derniers. Cette action collective des clubs d’émergents apporte enfin des changements institutionnels systémiques amenant les organisations internationales à se réadapter stratégiquement aux pratiques réformistes apportées par ces puissances, et à profiter à leur tour de l’émergence internationale. / What are the incentives of cooperation in rising powers groupings ? What are the underpinnings of club diplomacy by rising powers ? Through the case study of the India-Brazil-South Africa(IBSA) forum, this thesis explores the concept of ‘emergence’ in international relations – described here as a social construction – and the proliferation of selective clubs between emerging/rising powers as an expression of the rise of these powers. Following a pluri-disciplinary approach and mobilizing the sociology of collective action, this thesis defends that IBSA’s objective functions (political coordination, promotion and increase of south-south cooperation) obey to strategic aims (legitimization, autonomization, socialization) in order to further their international integration. The growing tendency of collective action through selective clubs in the South acts as a means for social differentiation between rising powers groupings and traditional developing countries groupings like the Non-Aligned Movement and the G77 although they often defend similar positons. However rising powers clubs ‘collective action does not necessarily result in sustainable integration of these emerging powers by established powers in global governance decision-making process ; but they cast light on the evolving institutional dynamics and institutional adaptation on the global level.