2000 Mathematics Subject Classification: 17B37; 05E15

La coappartenance de l’abstraction et de la liberté constitue le ressort d’un questionnement sur l’être-au-monde à partir du tableau. Tableau ici n’est pas seulement à comprendre dans son acception esthétique, comme œuvre d’art mais comme la monstration, au moyen de la peinture, de la structure qui préside à l’événement de l’être et du monde. Un tableau n’est pas abstrait, souligne le peintre Pierre Dunoyer, mais fondamentalement une abstraction. Un tableau témoigne en effet d’une saisie et d’un dévoilement de ce qui a été oublié et caché. Il atteste de la différence ontologique et plus encore du processus à l’origine de cette scission entre l’être et l’étant. Il montre la liberté se libérant, la puissance de détermination en acte, s’affirmant dans la finitude de l’objet. Face à un tableau, l’être ne se voit pas. Il est convoqué, tenu d’advenir à soit-même comme être s’il veut que le visible lui parvienne. Voir un tableau ne relève donc de la sensation qu’en tant que celui-ci doit être perçu pour que le phénomène ai lieu. Mais il s’agit véritablement de s’éprouver soi-même comme l’« ouvert-ouvrant » qui préside à la phénoménalisation du monde. Le tableau est indissociable de l’avènement de la conscience dans la mesure où c’est par l‘Autre, dans le surgissement de la limite, que la conscience arrive et au rythme du logos qu’elle se déploie. Le tableau est une figure de cette parole ontologique qui nous façonne dans son dire. Cette recherche est le fruit d’un effort pour advenir à soi-même dans la conscience du tableau et renouveler, pour l’ensemble des hommes, la promesse de liberté. / The fact that abstraction and freedom belong to one another eables us to question the “being-at-world” from paintings. Paintings are not to be understood in an aesthetic way, as works of art, but as a structure demonstrating the event : the being and the world together. A painting is not abstract, emphasizes the painter Dunoyer, but fundamentally an abstraction. In effect, a painting unveils what has been forgotten and hidden. It attests to the ontological difference and to the process at the origin of the split between being and beingness. It shows freed, the power of determination in actuality, asserting itself in the finite object. Being cannot actually be seen by looking at a painting. It is summoned, obliged to become itself if it wants to see the world as its own. To see a painting is a matter of sensation only because a painting has to be perceived if the phenomenon is to take place. But it is rather a matter of experiencing oneself as the one who is “opened and opening” and therefore governs the world’s phenomenalization. Paintings cannot be separated from the arrival of consciousness as long as consciousness is first linked to the Other which limits it and secondly, to the logos which rhythms its growth. Painting are figure of the ontological speech that models us while speaking. This research is the result of an effort to become oneself by becoming aware of paintings. It aims at giving us a new insight into freedom’s promise.

Description logics are a family of logics that provide formalisms for representing and reasoning about knowledge, based on describing concepts, in a structured and formally well-understood way. They provide the logical foundation for the web ontology language (OWL), which increased awareness of them recently. The most popular techniques for decision procedures for description logics are tableau reasoning methods, which have a long tradition and are well established in automated reasoning. This thesis investigates the possibility of finding a general and optimised blocking mechanism for description logics with the finite model property. It suggests that, while the high branching factor for unrestricted blocking reduces its performance, suitable control of the application of the blocking rule can make the performance acceptable while preserving termination. This claim is supported by experiments that compare the performance of two sample controlled versions of unrestricted blocking. In order to show the generality and power of controlled versions of unrestricted blocking, it is shown how some of the mainstream and most successful standard blocking mechanisms can be approximated as restricted forms of unrestricted blocking. These approximations have the advantage of always being sound compared to their standard versions, which are known to be sound only for some logics. Here, a variation of unrestricted blocking which can ensure strong termination is also introduced. This is done through introducing a new rule that uses the inequality expressions introduced by the blocking rule. The weak termination property of unrestricted blocking is one of its weak points which by this variant of blocking can be addressed. The work presented in this thesis should be of value to people who are working on generalising different aspects of reasoning methods. As blocking plays a critical role in termination of tableau provers, exploration of different variations of unrestricted blocking introduced here may be also of interest for the artificial intelligence researcher.

The diploma thesis deals with the design and creation of a reporting solution in a corporate environment over a selected Business Intelligence system. The most suitable Business Intelligence solution will be selected on the basis of criteria specified by the company and a comparison of existing solutions. The output of the diploma thesis will be automatic monitoring of company reports in the Business Intelligence environment, both in information and visually attractive form.

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

Depuis le début de la contre-réforme des mathématiques modernes, l'enseignement de la notion de fonction au début du lycée en France a subi de profondes mutations. Une des tendances les plus importantes concerne le renforcement progressif de l'utilisation des divers modes de représentation des fonctions. Ainsi parallèlement à une diminution de la suprématie du registre algébrique, le registre graphique a acquis de nouveaux droits et il y a également une injonction forte à utiliser dans des conditions nouvelles les objets tableaux de valeurs et de variations. Notre hypothèse de recherche est, suite aux travaux de Duval, que c'est de la multiplicité des registres possibles que le concept et ses propriétés vont se dégager. <br />Dans notre travail, nous menons tout d'abord une analyse institutionnelle de la notion de fonction dans une perspective écologique pour dégager les différents systèmes de contraintes et de conditions qui pèsent sur les évolutions de ce savoir au cours du processus de transposition didactique interne. Ce travail s'inscrit dans une perspective commençant dans les années 80, au début de la période de la contre-réforme des mathématiques modernes. Nous faisons ensuite un état des lieux de l'enseignement actuel pour voir comment ont été traitées les nouveautés du programme par les manuels actuels et les enseignants (sur la base d'un questionnaire). Nous faisons également un état des lieux des compétences des élèves, à travers un test papier. <br />A la lumière des analyses précédentes, nous déterminons certaines caractéristiques de l'organisation praxéologique proposée par les nouveaux programmes de 2000 autour de la notion de fonction qui ont du mal à vivre dans l'enseignement. Nous proposons enfin une ingénierie didactique visant à faire fonctionner ces aspects du programme dans les classes et à en tester la viabilité à travers une expérimentation.

S'il est acquis depuis de nombreuses années que la gestion de la Santé-sécurité au travail (SST) s'effectue par le biais de Systèmes de Management (SMS), la question de la mesure de la performance et du pilotage de ces derniers reste d'actualité. Traditionnellement, la mesure de la performance de ces SMS est fondée sur l'utilisation d'indicateurs de résultats : fréquence et gravité des arrêts de travail et des maladies professionnelles. Ce type d'indicateurs " traditionnels " " a posteriori " présente plusieurs contraintes et limites. Ils sont construits à partir de résultats antérieurs et ne permettent pas, entre autre, de corriger les situations déviantes jamais survenues auparavant. Une transposition du concept de Tableau de Bord " prospectif " appliqué au domaine de la gestion de la SST permet de répondre en partie aux lacunes identifiées avec l'utilisation des seuls indicateurs SST " traditionnels " Un cas pratique de Tableau de Bord " prospectif " en SST appliqué à deux principaux processus de gestion de la Santé-Sécurité (maîtrise des conformités réglementaires et des risques professionnels) est décrit dans le cadre d'une expérimentation conduite avec entreprise du domaine de l'aéronautique.

Personalen på barnavdelningen Albatross, Karolinska Universitetssjukhuset i Huddinge har känt av ett behov av att på ett användarvänligt och lättåtkomligt sätt komma åt information om antalet lediga och upptagna rum på avdelningen. Förslag på en visuell digital lösning till avdelningen skulle kunna bidra till att skapa effektivare arbete. Karolinska Universitetssjukhuset har för nuvarande ingen lösning för att uppfylla detta behov. Projektet som beskrivs i denna rapport handlar om att ta fram en förslagsmodell för att möta personalens behov. Modellens utformning baserades på personalens önskemål för rumsvisning. Modellen skapades utifrån diskussion med sjukvårdspersonal, en observationsstudie samt analys av data från Karolinskas journalsystem, TakeCare. Inspiration till modellen hämtades från en befintlig prototyp på enheten Strategisk Sjukvårdsutveckling och Vårdproduktion, Karolinska Solna. Arbetet utmynnade i en rumsvisningsmodell som skapades i programmet Tableau och integrerades med en rörelsesensor. Modellen kan detektera aktivitet av rörelse i ett rum och presentera denna aktivitet i rumsvisningmodellen i Tableau. Denna modell kan dock inte i nuläget redovisa för vem som befinner i rummet eller om rummet har kvitterats. För att uppfylla dessa kriterier behöver förslagsmodellen utvecklas mer omfattande. Detta är ett potentiellt vidare arbete inom området. / The staff at the children's ward Albatross, Karolinska University Hospital in Huddinge, have identified a need to access information about the number of vacant and occupied rooms in the department in a user-friendly and easily accessible way. Suggestions for a visual digital solution to the department could help create more efficient work. Karolinska University Hospital has currently no solution to forfill this need. The project described in this report is about developing a proposal model to try to forfill the needs of the staff. The model design was based on the staff's wishes for room displaying. The model was created on the basis of discussion with healthcare professionals, an observation study and an analysis of data from Karolinska's journal system, TakeCare. Inspiration for the model was taken from an existing prototype on the Unit Strategic Health Care and Care Production, Karolinska Solna. The work resulted in a space display model created in Tableau Software and integrated with a motion sensor. The model can detect movement activity in a room and present this activity in the Table View model in Tableau. However, this model can not currently display for who is in the room or if the room has been subscribed. In order to meet these criteria, the proposal model needs to be developed more extensively. This is potential further work in the field.

L’amélioration de la performance du secteur médico-social nécessite des outils de pilotage aptes à donner rapidement et de façon synthétique une vision claire et quantifiée des activités réalisées en direction des usagers. Or, il n’existe pas aujourd’hui d’outils satisfaisants permettant un pilotage des activités au niveau de chaque structure, mais également au niveau de l'organisme gestionnaire. L’objet du travail de recherche est de concevoir des outils pour l’aide au pilotage et au suivi des activités dans le secteur médico-social permettant d’améliorer la vision actuelle du secteur médico-social trop cloisonné. En relation étroite avec Ressourcial (ancien département du système d’information de la Fondation OVE), ce travail s’inscrit dans le cadre d’une thèse CIFRE et constitue l'une des premières thèses des sciences de l'ingénieur qui s'attaquent aux problèmes d'organisation dans le secteur médico-social. Le premier enjeu scientifique de cette recherche est de proposer une démarche formelle et structurée de suivi des activités réalisées dans ces établissements. L’approche proposée devra être capable de rendre compte d’une typologie d’activités au spectre très large ; activités réalisées par des établissements ayant des modes de fonctionnements, et des cultures métiers, fortement hétérogènes. Sur ce volet, le verrou scientifique de ce travail est celui l’agrégation sur un même modèle, de modes de fonctionnement intrinsèquement hétérogènes. Le second enjeu scientifique de cette thèse est celui du développement d’approches innovantes pour l’analyse de ces données de suivi et pour l’aide au management de ces structures à partir de ces mêmes données. / Improving the performance of medico-social sector requires management tools capable of quickly and synthetically provide a clear and quantified view of activities towards the users. Unfortunally, today does not exist a satisfactory tools to control activities in each structure, as neither at the level of the managing organization. The object of the research work is to develop tools to aid management and monitoring of activities in the medico-social sector in order to improve the current vision of the medico-social sector too compartmentalized. Closely related to Ressourcial (former information system department of OVE Foundation), this work is part of a CIFRE thesis and is one of the first theses of engineering sciences that address to organizational problems in the medical-social sector. The first scientific challenge of this research is to propose a formal and structured approach to monitoring activities in these institutions. The proposed approach should be able to realize a typology of activities in a very broad spectrum; activities performed by institutions with operating modes, and business cultures, highly heterogeneous. On this aspect, the scientist lock of this work is that the aggregation on the same model, intrinsically heterogeneous operating modes. The second scientific challenge of this thesis is the development of innovative approaches for analyzing these monitoring data and to aid management of these structures from the same data.

Beschreibungslogiken (Description logics, DLs) sind eine Klasse von Wissensrepraesentationsformalismen mit wohldefinierter, logik-basierter Semantik und entscheidbaren Schlussfolgerungsproblemen, wie z.B. dem Erfuellbarkeitsproblem. Zwei wichtige Entscheidungsverfahren fuer das Erfuellbarkeitsproblem von DL-Ausdruecken sind Tableau- und Automaten-basierte Algorithmen. Diese haben aufgrund ihrer unterschiedlichen Arbeitsweise komplementaere Eigenschaften: Tableau-Algorithmen eignen sich fuer Implementierungen und fuer den Nachweis von PSPACE- und NEXPTIME-Resultaten, waehrend Automaten sich besonders fuer EXPTIME-Resultate anbieten. Zudem ermoeglichen sie eine vom Standpunkt der Theorie aus elegantere Handhabung von unendlichen Strukturen, eignen sich aber wesentlich schlechter fuer eine Implementierung. Ziel der Dissertation ist es, die Gruende fuer diese Unterschiede zu analysieren und Moeglichkeiten aufzuzeigen, wie Eigenschaften von einem Ansatz auf den anderen uebertragen werden koennen, um so die positiven Eigenschaften von beiden Ansaetzen miteinander zu verbinden. Unter Anderem werden Methoden entwickelt, mit Hilfe von Automaten PSPACE-Resultate zu zeigen, und von einem Tableau-Algorithmus automatisch ein EXPTIME-Resultat abzuleiten. / Description Logics (DLs) are a family of knowledge representation languages with well-defined logic-based semantics and decidable inference problems, e.g. satisfiability. Two of the most widely used decision procedures for the satisfiability problem are tableau- and automata-based algorithms. Due to their different operation, these two classes have complementary properties: tableau algorithms are well-suited for implementation and for showing PSPACE and NEXPTIME complexity results, whereas automata algorithms are particularly useful for showing EXPTIME results. Additionally, they allow for an elegant handling of infinite structures, but they are not suited for implementation. The aim of this thesis is to analyse the reasons for these differences and to find ways of transferring properties between the two approaches in order to reconcile the positive properties of both. For this purpose, we develop methods that enable us to show PSPACE results with the help of automata and to automatically derive an EXPTIME result from a tableau algorithm.