No description available.

No description available.

Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing minimal (maximal) subsets of the knowledge base that have (do not have) the consequence in question. The pinpointing algorithms described in the DL literature are obtained as extensions of the standard tableau-based reasoning algorithms for computing consequences from DL knowledge bases. Although these extensions are based on similar ideas, they are all introduced for a particular tableau-based algorithm for a particular DL. The purpose of this paper is to develop a general approach for extending a tableau-based algorithm to a pinpointing algorithm. This approach is based on a general definition of „tableaux algorithms,' which captures many of the known tableau-based algorithms employed in DLs, but also other kinds of reasoning procedures.

Louis-Sébastien Mercier est l'auteur d'une centaine d'œuvres de genres variés parmi lesquelles plus d'une quarantaine de pièces de théâtre. Écrivain polygraphe de la fin du XVIIIe siècle en France, il est aujourd'hui connu pour quatre de ses livres : le Tableau de Paris (1782-1788), le recueil Mon bonnet de nuit (1784-1785), le Nouveau Paris (1798) et le récit utopique L'An deux mille quatre cent quarante, rêve s'il en fut jamais (1771-1799). C'est la première de ces œuvres, le Tableau de Paris, publié originellement en 12 volumes et menacé d'interdiction sous l'Ancien Régime, qui fait l'objet du présent mémoire. La ville de Paris, observée à l'intérieur de multiples chapitres aux titres variés par la déambulation d'un promeneur-philosophe, y est considérée du point de vue critique de la culture philosophique du XVIIIe siècle. Plus précisément, ce sont les différentes couches sociales constituantes de l'espace public qui s'y trouvent attentivement scrutées et que Mercier cherche à intégrer dans sa cognition de la ville. On y retrouve également plusieurs chapitres concernant la matérialité de la ville et les politiques d'aménagement. En somme Mercier tente dans le Tableau de Paris une définition nouvelle de l'objet-ville en l'envisageant comme totalité accessible à une description fondée sur le vécu. Nous souhaitions arriver à situer l'œuvre, ses thématiques, son auteur et les choix de cet auteur, par rapport à la culture idéologique des philosophes des Lumières, par rapport à certaines définitions, certains idéaux et schémas épistémologiques habituellement associés à ce courant. La position de Mercier apparaît comme étant quelque peu en retrait, celle d'une « voix latérale » des Lumières et de l'encyclopédisme. Penser l'auteur dans cette perspective de contextualisation permet de considérer les Lumières comme phénomène historique aux contours non-homogènes, avec ses centres et ses périphéries. Par l'étude de l'observation de l'espace public du Paris tout juste pré-révolutionnaire ainsi que par l'analyse des modalités merciériennes de représentation littéraire qui font passer la ville du concret à l'écriture, Mercier, moderne et éclairé mais aussi sceptique et pré-romantique, propose ce qui s'apparente à un jugement de la ville de Paris par la philosophie. Dans un genre littéraire singulier appelé à avoir une postérité au XIXe siècle, perception et représentation sont les échafaudages intellectuels de ce jugement de la ville. / Québec Université Laval, Bibliothèque 2014

Nos travaux portent sur l’objet d’observation scientifique suivant : mesure et lisibilité de la performance globale et durable, appliqué au champ des organisations de l’économie sociale et solidaire.Notre objectif est de démontrer qu’il est possible de créer un système de contrôle de gestion de la performance globale et durable (PFGD), qui intègre les diverses dimensions visibles et cachées de la performance économique et sociale des organisations de l’économie sociale et solidaire, tout en contribuant à augmenter la lisibilité de la PFGD auprès des parties prenantes internes et externes.Nous commençons notre exposé autour de la question des enjeux de la mesure de la performance globale et durable (désormais PFGD), avec un focus spécifique sur notre champ composé des organisations de l’économie sociale et solidaire (désormais OESS). Ensuite, parmi les différentes approches abordées, nous concentrons notre analyse sur l’ingénierie de la mesure socio-économique. Au regard de notre problématique, cette approche semble proposer des éléments de réponse à la fois sur la globalité et la durabilité de la performance, mais aussi sur sa lisibilité pour les parties prenantes. La deuxième partie de notre thèse présente notre proposition, qui prend la forme d’un outil spécifique du système de contrôle de gestion socio-économique : le tableau de bord de pilotage et de mesure de la PFGD. D’une part, nos résultats détaillent les dégradations de la PFGD, rendues visibles par une approche qualimétrique d’explicitation des coûts et des performances cachés. D’autre part, nous expliciterons de manière qualitative les différentes illustrations du manque d’intégration de la PFGD. Enfin, nous proposons un modèle, ainsi qu’un exemple de tableau de bord, qui intègrent à la fois une visibilité accrue de la PFGD, ainsi qu’une lisibilité augmentée pour les parties prenantes internes et externes. / Nos travaux portent sur l’objet d’observation scientifique suivant : mesure et lisibilité de la performance globale et durable, appliqué au champ des organisations de l’économie sociale et solidaire.Notre objectif est de démontrer qu’il est possible de créer un système de contrôle de gestion de la performance globale et durable (PFGD), qui intègre les diverses dimensions visibles et cachées de la performance économique et sociale des organisations de l’économie sociale et solidaire, tout en contribuant à augmenter la lisibilité de la PFGD auprès des parties prenantes internes et externes.Nous commençons notre exposé autour de la question des enjeux de la mesure de la performance globale et durable (désormais PFGD), avec un focus spécifique sur notre champ composé des organisations de l’économie sociale et solidaire (désormais OESS). Ensuite, parmi les différentes approches abordées, nous concentrons notre analyse sur l’ingénierie de la mesure socio-économique. Au regard de notre problématique, cette approche semble proposer des éléments de réponse à la fois sur la globalité et la durabilité de la performance, mais aussi sur sa lisibilité pour les parties prenantes. La deuxième partie de notre thèse présente notre proposition, qui prend la forme d’un outil spécifique du système de contrôle de gestion socio-économique : le tableau de bord de pilotage et de mesure de la PFGD. D’une part, nos résultats détaillent les dégradations de la PFGD, rendues visibles par une approche qualimétrique d’explicitation des coûts et des performances cachés. D’autre part, nous expliciterons de manière qualitative les différentes illustrations du manque d’intégration de la PFGD. Enfin, nous proposons un modèle, ainsi qu’un exemple de tableau de bord, qui intègrent à la fois une visibilité accrue de la PFGD, ainsi qu’une lisibilité augmentée pour les parties prenantes internes et externes.

In classical propositional logic (CPL) logical reasoning is formalised as logical entailment and can be computed by means of tableau and resolution proof procedures. Unfortunately CPL is not expressive enough and using first order logic (FOL) does not solve the problem either since proof procedures for these logics are not decidable. Modal propositional logics (MPL) on the other hand are both decidable and more expressive than CPL. It therefore seems reasonable to apply tableau and resolution proof systems to MPL in order to compute logical entailment in MPL. Although some of the principles in CPL are present in MPL, there are complexities in MPL that are not present in CPL. Tableau and resolution proof systems which address these issues and others will be surveyed here. In particular the work of Abadi & Manna (1986), Chan (1987), del Cerro & Herzig (1988), Fitting (1983, 1990) and Gore (1995) will be reviewed. / Computing / M. Sc. (Computer Science)

Ce mémoire s’intéresse à la structure du recueil de poésie en prose Le Cornet à dés (1917) de Max Jacob. À la lecture de l’ensemble, on remarque qu’il est sans cesse question de choses ou d’évènements auxquels renvoient les diverses significations du mot tableau : œuvres picturales, descriptions imagées, cadres de fenêtre ou de porte, vieillards (vieux tableaux), tableaux vivants, subdivisions de pièces de théâtre ou encore tableaux d’école. Subdivisé en trois chapitres, ce travail s’attachera dans un premier temps au fait que tous ces homonymes sont traités, dans les poèmes, comme des peintures. Entre fixité et mouvement, les descriptions et les narrations rapprochent la littérature de l’art pictural, ce qui contribue à l’esthétique du doute caractéristique de l’œuvre de Max Jacob. Le deuxième chapitre s’intéresse aux procédés de reprise et à la manière dont ils permettent de faire des liens entre les poèmes. À partir des théories du mouvement et de la répétition, nous verrons comment les divers motifs forment, à la manière des dés, différentes combinaisons d’une pièce à l’autre. Inspiré par les peintres cubistes qui présentent simultanément tous les angles d’un même objet, l’auteur fait le tour du mot tableau. Dans le dernier chapitre, il ressort que la juxtaposition des poèmes donne accès à un surcroît de signification : certains éléments arbitraires comme des titres obscurs prennent soudainement sens. Une réflexion sur la lecture vient compléter ce travail puisque les nombreuses répétitions sont traitées dans la mémoire. Ce travail s’inscrit dans le champ des études sur le recueil et s’appuie principalement sur l’analyse de poèmes. / This dissertation treats the structure of Le Cornet à dés (1917), a collection of prose poems written by Max Jacob. Upon reading this collection, one notices that things and events referring to the different definitions of the word “tableau” are repeatedly employed : paintings, visual descriptions, window and door frames, elders (vieux tableaux), living pictures (tableaux vivants), theater scenes and also blackboards. This dissertation, divided into three chapters, starts by exploring how these homonyms are employed as paintings in the poems. In-between fixity and movement, the descriptions and the narrations bring literature closer to pictorial art. This contributes to the aesthetic of doubt found in Max Jacob’s written work. The second chapter analyzes different kinds of repetitions and the way they build links between the poems. By employing the theories of movement and repetition, this dissertation demonstrates how the various motifs, similarly to a pair of dice, form different combinations from one poem to another. Inspired by the cubist painters who simultaneously show all the angles of an object, Jacob thoroughly examines the word “tableau”. In the last chapter, it becomes evident that the juxtaposition of the poems gives access to additional significance: certain arbitrary elements, such as obscure titles, suddenly make sense. A reflection on the act of reading concludes this dissertation, since the numerous repetitions are stored in the reader’s memory. This work falls within the field of collection studies and mainly relies on poetry analysis.

L'Apprentissage Par Projet (APP) est une méthode d'enseignement orientée apprenant, qui leur permet de réaliser des projets sous forme d'enquêtes approfondies. L'APP offre aux apprenants la possibilité de planifier leur projet, de collaborer avec leurs pairs et de rechercher les ressources pour atteindre les objectifs du projet. Cependant, l'APP est difficile à mettre en œuvre avec succès du fait que les apprenants manquent souvent des compétences d'autorégulation pour suivre, réfléchir, gérer et évaluer les activités durant le projet. L'apprentissage autorégulé peut aider les apprenants à acquérir ces compétences. Cependant, la plupart des environnements d'apprentissage utilisés en APP proposent surtout des matériaux d'apprentissage riches aux apprenants, et rarement les moyens de suivre et analyser leurs processus de gestion de projet et d'apprentissage. L'objectif principal de cette thèse est de soutenir l'apprentissage autorégulé en apprentisage par projet. Nous proposons une architecture générale de système de gestion des apprentissage par projet (PBLMS) qui aide les apprenants à comprendre comment réguler leurs activités d'apprentissage au cours d'un projet. Cette architecture générale intègre un système existant de gestion des apprentissages (LMS) et deux outils que nous proposons: un outil de reporting et un tableau de bord dynamique. L'outil de reporting supporte les processus de réflexion des apprenants en les amenant à décrire leurs activités non instrumentées, leurs réflexions et leurs évaluations sur les activités menées durant le projet à l'aide de phrases semi-structurées. Le système enregistre automatiquement les traces des interactions des utilisateurs avec le LMS, l'outil de reporting et le tableau de bord. Ces traces d'activité sont fusionnées avec les données autodéclarées afin que les indicateurs puissent être calculés sur la base de ces deux types d'informations. Le tableau de bord dynamique permet aux apprenants de créer des indicateurs personnalisables. Les apprenants peuvent spécifier les données à prendre en compte, le calcul et les modes de visualisation. Nous avons implémenté cette proposition théorique avec le développement de la plate-forme DDART (tableau de bord dynamique basé sur les traces d'activité et déclarées) qui intègre l'outil de reporting et le tableau de bord dynamique. Pour évaluer notre proposition, nous avons tout d'abord testé la capacité de DDART à créer un large échantillon d'indicateurs qui sont proposés dans les recherches existantes sur l'analyse des activités, la cognition, les émotions et les réseaux sociaux. De plus, une expérience a été menée afin d'évaluer l'utilisabilité et l'utilité perçue de DDART. Selon les résultats de cette expérience, nous avons constaté que DDART supporte les réflexions des apprenants sur la façon dont ils mènent leur projet et leur fournit les moyens de suivre leurs activités et apprentissages, même si la création d'indicateurs apparait difficile pour les novices. / Project-based Learning (PBL) is a learner-oriented instructional method, which enables learners to carry out challenging and authentic projects by thorough investigations. PBL affords learners the opportunities to organize and plan the project, to collaborate with peers and to look for the resources and guidance to achieve the project goals. However, PBL is difficult to implement successfully because learners often lack of the self-regulation skills required to monitor, reflect, manage and assess their project activities and learning. Self-Regulated Learning (SRL) can train learners to gain these skills. However, most learning systems used in PBL focus on providing rich learning materials to the learners but rarely offer possibilities to monitor and analyze their project and learning processes. The main goal of this thesis is to support SRL during PBL situations. We propose a general architecture of Project-based Learning Management System (PBLMS), which help learners to understand how to regulate their learning activities during the projects. This general architecture integrates an existing Learning Management System (LMS) and two tools we propose: a reporting tool and a dynamic dashboard. The reporting tool enhances learners' reflective processes by leading them to describe their non-instrumented activities, their reflections and assessments on the project activities based on semi-structured sentences. The system can record automatically the activity traces of the users' interactions with the LMS, the reporting tool and the dashboard. These activity traces are merged with the self-reporting data so that indicators can be calculated basing on this entire information. The dynamic dashboard supports learners in creating customizable indicators. Learners can specify the data to take into account, the calculation and the visualization modes. We implemented this theoretical proposition with the development of the DDART (Dynamic Dashboard based on Activity and self-Reporting Traces) platform that integrates the reporting tool and the dynamic dashboard. To evaluate the proposition, we firstly test the ability of DDART to recreate a large sample of indicators that are proposed in existing researches about the analysis of activities, cognition, emotion and social network. Furthermore, an experiment was conducted to evaluate the usability and perceived utility of DDART. According to the results of this experiment, we found that DDART supports learners' reflections on the way they carry out the project and provides them with the opportunities to monitor their activities and learning, even if the indicator creation could be difficult for the novices.

OCP est une grande entreprise marocaine spécialisée dans l’extraction de minerai de phosphate, cette entreprise a élargi ses activités vers la production de fertilisants phosphatés selon un processus de transformation chimique. Dans le cadre de notre recherche, nous nous intéressons au pilotage économique d’une chaine logistique hybride (la plateforme chimique Jorf). Cette chaine logistique est constituée d’un ensemble articulé de chaine logistique discrète et chaine logistique continue organisant les processus de transformation du fournisseur jusqu’au client final. Les chaînes logistiques hybrides combinent des processus discrets et continus. Dans un premier temps, nous nous sommes focalisé sur la représentation du fonctionnement physique. Donc, un modèle de simulation qui permet de reproduire ce fonctionnement a été réalisé à partir de la cartographie de processus que nous avons fait. La technique de Modélisation / Simulation mobilisable dans le cadre de la modélisation de ce type de chaîne logistique est la Simulation à Événements Discrets (SED) qui permet de reproduire le fonctionnement opérationnel de la CLH.En travaillant à la commande, ceci implique un contrôle de gestion spécifique avec une définition d’un référentiel dynamique qui va dépendre du modèle de simulation. Ce référentiel est utilisable par le système interactif d’aide à la décision (SIAD) du contrôle de gestion afin d’améliorer la prise de décision. Donc, il faut, ensuite, mesurer l’impact économique, évaluer les alternatives décisionnelles et analyser les écarts. Pour ce faire, il faut s’appuyer sur une comptabilité de gestion fondée sur une seconde modélisation / simulation afin de proposer un modèle de coût. Cette seconde simulation, repose sur une représentation plus fine des processus dans une perspective de reporting financier périodique et doit permettre de mieux apprécier les inducteurs de coûts. Dans ce contexte, nous avons choisi la méthode de valorisation Activity Based Costing (ABC). En outre, dans la cartographie des processus, chaque étape de production impliquant un changement de processus et contribuant à son discrétisation représente un événement déclencheur mettant en évidence un inducteur de coût. Nous avons ainsi traité chaque processus au niveau de la Business Unit (BU) "acide" et au niveau de la BU "engrais" afin de déterminer les inducteurs utilisés pour répartir les dépenses. Notre modèle ABC sert donc à mesurer la création de valeur pour chacun des BUs de la CLH et il est capable de prendre en compte toutes les sorties et entrées de chaque entité de traitement.Par la suite, notre but est d’explorer l’intégration de la notion de coût dans le modèle de simulation. La limite de la simulation à événements discrets se manifeste dans le niveau d'informations fourni sur les coûts. Pour évaluer les coûts de production, et l'influence de la diversité de scénario de production, les coûts variables doivent être inclus. Ceci peut être fourni par la combinaison de la simulation à événements discrets avec la méthode ABC. Donc, nous avons proposé une approche qui sera mise en œuvre dans le contexte de la CLH de l’OCP. Cette approche va prendre en compte le couplage entre ABC et SED avec toutes les règles de traduction pour pouvoir, à partir du système de contrôle de gestion existant qui est associé à des centres de coûts par entité fonctionnelle, passer à des BUs orientées processus industriels. Elle va également nous permettre de structurer les indicateurs de performance du flux physique et financier sous la forme d’un tableau de bord / OCP SA is Morocco’s largest company. It is widely considered as owning some 60% of phosphate world reserves and is engaged in a process of Supply Chain control. Initially specialized in phosphate ore extraction, OCP SA has expanded, few years ago, its activities to include production of phosphate fertilizers using chemical processing. Under our research project, we focus on economic management of OCP’s Hybrid Supply chain (HSC). A HSC comprises multiple interrelated discrete and continuous processes together forming an integrated process from the supplier down to the end customer. In such a system, the production rationale includes both batch and flow models. Each discrete or continuous process seeks to capture part of the value created by the organizational collaboration performed either in internal supply chains made up of business unit or in external ones made up of legally independent entities.At first, we focused on the representation of physical functioning. So a simulation model that allows us to reproduce this functioning has been done from the process mapping we have done. The modeling / Simulation technique mobilized in the modeling framework of this type of supply chain is the Discrete Event Simulation (DES) which allows reproducing the operational functioning of the HSCBy working on the command, this implies a specific management control with a definition of a dynamic repository that will depend on the simulation model. This repository can be used by the interactive decision support system of management control in order to improve decision-making. Therefore, we must measure the economic impact, evaluate the decision-making alternatives and analyze the gaps. To do this, it is necessary to rely on a management accounting based on a second modeling / simulation in order to propose a cost model. This second simulation relies on a finer representation of the processes in a perspective of periodic financial reporting and must allow better appreciate the cost drivers. In this context, we have chosen the Activity Based Costing (ABC) method. In addition, in process mapping, each production step involving a process change and contributing to its discretization represents a triggering event highlighting a cost driver. We have thus processed each process at the level of the "acid" BU and at the level of the "fertilizer" BU to determine the inductors used to allocate the expenses. Our ABC model is therefore used to measure the value creation for each BUs of the HSC and it is able to take into account all the outputs and inputs of each processing entity.Later, our aim is to explore the integration of the notion of cost in the simulation model. The limit of the discrete event simulation is manifested in the level of information provided on costs. To assess production costs, and the influence of the diversity of production scenario, variable costs must be included. This can be provided by the combination of the discrete event simulation with the ABC method. So we have proposed an approach that will be implemented in the context of the OCP HSC. This approach will take into account the coupling between ABC and SED with all the translation rules to can, from the existing management control system that is associated with a functional unit cost centers, go to the BUs oriented industrial processes. It will also enable us to structure the physical and financial flow performance indicators in the form of a scorecard

Au cours des deux dernières décennies, des travaux actifs ont été menés pour étendre des résultats classiques liés au groupe symétrique à d'autres groupes plus généraux. Cette thèse a pour objectif d’étendre aux produits en couronne les résultats concernant le tableau de différence d’Euler. Elle est divisée en cinq chapitres. Le tableau de différence d’Euler lié à la suite {n!} conduit naturellement à la formule du nombre de dérangements. Nous étudions dans les deux premiers chapitres, le tableau de différence d’Euler associé à la suite {rnn!} et la généralisation du problème de dérangements. Pour les coefficients de ce dernier tableau, nous donnons des interprétations combinatoires en termes de k-successions sur les produits en couronne. Clarke et al. ont introduit un q-analogue du tableau de différence d’Euler sur le groupe symétrique. Dans le troisième chapitre, nous étendons leurs résultats sur les produits en couronne. En généralisant leur bijection, nous montrons que « (fix, exc, fmaj) » et « (fix, exc, fmaf) » sont équidistribués sur les produits en couronne où «fmaf» est une nouvelle statistique mahonienne. D’autre part, Foata et Han ont récemment construit deux transformations. Nous prouvons dans le quatrième chapitre que ses bijections fournissent une factorisation de la bijection de Clarke et al.. Dans le cinquième chapitre nous donnons une extension de la seconde transformation fondamentale de Foata sur les mots r-colorés. Nous prouvons l’équidistribution sur les produits en couronne de « (fmaj , des*) » et « (finv , col) » où « col » est la somme des couleurs et « des* » une nouvelle statistique. / In the last two decades, much effort has been made to extend various enumerative results on symmetric groups to other more general groups. The main objective of this thesis is to extend to wreath products the results that concern the Euler's difference table. It is divided into five chapters. Euler's difference table associated to the sequence {n!} leads naturally to the counting formula for the derangements. In the first two chapters, we study Euler's difference table associated to the sequence {rnn!} and the generalized derangement problem. For the coefficients appearing in the later table, we give the combinatorial interpretations in terms of k-successions on wreath products. Clarke et al. introduced a q-analogue of Euler's difference table on symmetric group. In the third chapter, we extend their results to wreath products. By generalizing their bijection, we prove the equidistribution of the triple statistics “(fix, exc, fmaj)” and “(fix, exc, fmaf)” on wreath products, where “fmaf” is a new mahonian statistic on wreath products. On the other hand, Foata and Han have recently constructed two new transformations. We prove in fourth chapter that their two bijections provide a factorization of Clarke et al.'s bijection. In the fifth chapter we give an extension of Foata’s second fundamental transformation on r-colored words. We show that the bistatistics “(fmaj , des*)” and “(finv , col)” are equidistributed on wreath products, where “col” is the sum of color and “des*” a new statistic.