Cette thèse introduit la notion de systèmes pédagogiques, qui sont des systèmes de d éducation naturelle contraints de la manière suivante : toutes les hypothèses posées dans une démonstration doivent être motivées par un exemple. Ces systèmes sont par essence sans négation. Nous étudions les systèmes propositionnels pédagogiques du premier ordre, du second ordre et plus généralement tous les systèmes d'ordre supérieur. Nous présentons, quand cela est possible, le lamda-calcul associé à chaque système via l'isomorphisme de Curry-Howard ; la contrainte pédagogique y fait apparaître une nouvelle propriété que nous appelons l'utilité: un lamda-terme typé est utile quand son contenu algorithmique peut être utilisé / The present thesis introduces the notion of pedagogical systems, which are natural deduction systems with the following additional constraint: all hypotheses made in a proof must be motivated by an example. These systems are in essence negationless. We study _rst order, second order and higher order pedagogical propositional systems. We present when it is possible the _-calculi associated to these systems; the pedagogical constraint introduces a new notion we call usefulness: a _-term is usefull when it's algorithmic content can be used.

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

La politique et l’idéologie de la nouvelle gestion publique ont entraîné de nombreuses réformes et un mouvement de rationalisation des organisations du secteur public par la mise en place d’outils et de principes de gestion issus du monde de l’entreprise. La présente thèse analyse l’impact de la nouvelle gestion publique qui ne se limite pas à la dimension administrative des organisations qui y sont soumises. Cette transformation affecte aussi la relation que celles-ci entretiennent avec les usagers, comme c’est le cas dans le secteur médico-social. En analysant le fonctionnement du dispositif de prise en charge de l’autisme en France, cette étude révèle la proximité des logiques d’action du champ clinique avec celles de la gestion des ressources humaines. Prenant comme point de départ le cadre d’analyse de la biopolitique développé par Michel Foucault, notre travail démontre l’existence de cette articulation entre la clinique et la gestion tout en décrivant l’utilité de ce rapprochement pour les acteurs de la prise en charge des personnes autistes. Cette thèse s’inscrit dans une démarche de recherche fondamentale qui tente de repenser la transversalité des outils de GRH au sein des organisations par l’analyse de la production de discours et de la diffusion de savoirs. Il en ressort que la puissance du modèle de la GRH contribue à apporter d’importantes ressources cognitives à des acteurs qui doivent faire face à des situations extrêmement complexes et changeantes. Dans un tel contexte, l’obtention d’un résultat est très incertain car le traitement des cas d’autisme nécessite un travail qui ne peut être complètement maîtrisé. La réalisation des buts du dispositif ne peut alors se faire que par la construction d’une action collective où la recherche de légitimité des pratiques mobilisées assure avant tout une cohésion pluriprofessionnelle et une performance organisationnelle, à défaut de pouvoir mettre en œuvre une performance opérationnelle. / Politics and ideology of the New Public Management resulted in numerous reforms and in a process of rationalization of public sector organizations in the development of tools and management principles from the world of business. This thesis, which analyzes the impact of the new principles of public management, is not limited to the administrative aspects of the organizations to which they apply. This change regarding public management also affects the relationship that public sector organizations have with users, as is the case in the medico-social sector. By analyzing the operation of the management of autism in France, this study reveals the proximity of the logic of action of the clinical field with that of the management of human resources. Using bio-politics as the starting point of the framework of analysis developed by Michel Foucault, this work demonstrates the interrelationship between the clinical dimension and management while describing the utility of this work for supporting people with autism. This thesis is part of a process of fundamental research that attempts to rethink the cross-functionality of HRM tools in organizations by analyzing speech production and dissemination of knowledge. It shows that the power of the model of HRM helps to make available significant cognitive resources to actors who are facing extremely complex and changing situations. In this context, obtaining an outcome is very uncertain because the treatment of autism cases requires work that cannot be completely controlled. Therefore, this can be done only through building collective action where the legitimate mobilized practices ensure a multi-professional and organizational performance coherence, short of implementing an operational performance.

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

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

L'interrogation de graphes de données est un problème fondamental qui connait un grand intérêt, en particulier pour les données structurées massives où les graphes constituent une alternative prometteuse aux bases de données relationnelles pour la modélisation des grandes masses de données. Cependant, l'interrogation des graphes de données est différente et plus complexe que l'interrogation des données relationnelles à base de tables. La tâche principale impliquée dans l'interrogation de graphes de données est la recherche d'isomorphisme de sous-graphes qui est un problème NP-complet.La recherche d'isomorphisme de sous-graphes est un problème très important impliqué dans divers domaines comme la reconnaissance de formes, l'analyse des réseaux sociaux, la biologie, etc. Il consiste à énumérer les sous-graphes d'un graphe de données qui correspondent à un graphe requête. Les solutions les plus connues de ce problème sont basées sur le retour arrière (backtracking). Elles explorent un grand espace de recherche, ce qui entraîne un coût de traitement élevé, notamment dans le cas de données massives.Pour réduire le temps et la complexité en espace mémoire dans la recherche d'isomorphisme de sous-graphes, nous proposons d'utiliser des graphes compressés. Dans notre approche, la recherche d'isomorphisme de sous-graphes est réalisée sur une représentation compressée des graphes sans les décompresser. La compression des graphes s'effectue en regroupant les sommets en super-sommets. Ce concept est connu dans la théorie des graphes par la décomposition modulaire. Il sert à générer une représentation en arbre d'un graphe qui met en évidence des groupes de sommets qui ont les mêmes voisins. Avec cette compression, nous obtenons une réduction substantielle de l'espace de recherche et par conséquent, une économie significative dans le temps de traitement.Nous proposons également une nouvelle représentation des sommets du graphe, qui simplifie le filtrage de l'espace de recherche. Ce nouveau mécanisme appelé compact neighborhood Index (CNI) encode l'information de voisinage autour d'un sommet en un seul entier. Cet encodage du voisinage réduit la complexité du temps de filtrage de cubique à quadratique. Ce qui est considérable pour les données massifs.Nous proposons également un algorithme de filtrage itératif qui repose sur les caractéristiques des CNIs pour assurer un élagage global de l'espace de recherche.Nous avons évalué nos approches sur plusieurs datasets et nous les avons comparées avec les algorithmes de l’état de l’art / Querying graph data is a fundamental problem that witnesses an increasing interest especially for massive structured data where graphs come as a promising alternative to relational databases for big data modeling. However, querying graph data is different and more complex than querying relational table-based data. The main task involved in querying graph data is subgraph isomorphism search which is an NP-complete problem. Subgraph isomorphism search, is an important problem which is involved in various domains such as pattern recognition, social network analysis, biology, etc. It consists to enumerate the subgraphs of a data graph that match a query graph. The most known solutions of this problem are backtracking-based. They explore a large search space which results in a high computational cost when we deal with massive graph data. To reduce time and memory space complexity of subgraph isomorphism search. We propose to use compressed graphs. In our approach, subgraph isomorphism search is achieved on compressed representations of graphs without decompressing them. Graph compression is performed by grouping vertices into super vertices. This concept is known, in graph theory, as modular decomposition. It is used to generate a tree representation of a graph that highlights groups of vertices that have the same neighbors. With this compression we obtain a substantial reduction of the search space and consequently a significant saving in the processing time. We also propose a novel encoding of vertices that simplifies the filtering of the search space. This new mechanism is called compact neighborhood Index (CNI). A CNI distills all the information around a vertex in a single integer. This simple neighborhood encoding reduces the time complexity of vertex filtering from cubic to quadratic which is considerable for big graphs. We propose also an iterative local global filtering algorithm that relies on the characteristics of CNIs to ensure a global pruning of the search space.We evaluated our approaches on several real-word datasets and compared them with the state of the art algorithms

La composition de spécifications modulaires peut être modélisée, dans le formalisme des catégories, par des colimites de diagrammes. La somme amalgamée permet en particulier d'assembler deux spécifications en précisant les parties communes. Notre travail poursuit cette idée classique selon trois axes. D'un point de vue syntaxique, nous définissons un langage pour représenter les spécifications modulaires construites à partir d'une catégorie de spécifications et de morphismes de spécifications de base. Ce langage est caracterisé formellement par une catégorie de termes finiment cocomplète. D'un point de vue semantique, nous proposons d'associer à tout terme un diagramme. Cette interprétation permet de faire abstraction de certains choix effectués lors de la construction de la spécification modulaire. Pour cela, nous définissons une catégorie de diagrammes ``concrète'', c'est-à-dire dont les flèches peuvent être manipulées effectivement. En considérant le quotient par une certaine congruence, nous obtenons une complétion de la catégorie de base par colimites finies. Nous montrons que le calcul du diagramme associé à un terme définit une équivalence entre la catégorie des termes et la catégorie des diagrammes, ce qui prouve la correction de cette interprétation. Enfin, nous proposons un algorithme pour décider si deux diagrammes sont isomorphes, dans le cas particulier ou la catégorie de base est finie et sans cycle. Cela permet de détecter des isomorphismes ``de construction'' entre spécifications modulaires, c'est-à-dire des isomorphismes qui ne dépendent pas des spécifications de base, mais seulement de la manière dont celles-ci sont assemblées.

Le contexte professionnel dans lequel se déroule la carrière des universitaires français a connu ces dernières années de profondes mutations incarnées par la réforme dite LRU (loi relative aux libertés et responsabilités des universités), la réforme du statut des enseignants-chercheurs ainsi que la réforme touchant à l'évaluation de la recherche (LOI de programme n° 2006-450 du 18 avril 2006 pour la recherche). Les règles de gestion de carrière imposées aux établissements ont changé et le cadre s'est complexifié. L'université a été replacée au centre de cette gestion, se voyant attribuer un rôle plus important dans la gestion des parcours professionnels des individus. Une injonction à l'excellence scientifique est apparue plus clairement et une menace de modulation s'est mise à peser sur les individus qui n'auraient pas une production scientifique suffisante. Il semble alors que le poids de l'environnement professionnel se soit renforcé par l'intermédiaire de règles plus exigeantes pesant sur les individus. Ces règles comportent cependant des contradictions et des ambiguïtés ayant pour effet une transformation de la relation entre les enseignants-chercheurs et leur employeur, relation qui se distend. L'ensemble de ces éléments nous a conduite à travailler sur la problématique suivante : « L'évolution du contexte professionnel (légal et réglementaire) de ces dernières années agit-il sur les parcours professionnels des universitaires français aujourd'hui ? » que nous avons traitée par l'intermédiaire d'une démarche qualitative fondée sur la méthode de recueil de données des récits de vie. La thèse que nous défendons grâce à notre travail est la suivante : L'environnement professionnel est pourvoyeur de règles et de normes suffisamment contraignantes pour pouvoir exercer une influence sur les parcours de carrière des universitaires français à travers des mécanismes d'isomorphisme que nous mettons en exergue, qu'ils soient de nature coercitive, normative ou mimétique. Cependant, l'existence de contradictions et/ou d'ambigüités dans les règles offre aux individus la possibilité d'interpréter ces dernières et leur donne la liberté de les suivre ou non. C'est le positionnement des individus, selon qu'ils soient dans une recherche de légitimité vis-à-vis de l'environnement professionnel ou plutôt dans une recherche de plaisir qui va décider de la construction du parcours. Nous défendons enfin l'idée que les réformes sont venues bouleverser les priorités des enseignants-chercheurs pouvant ainsi créer une rupture dans leur parcours de carrière. / The professional environment of French academics is moving. Indeed, reforms implemented in the French public higher education system since the 2000's have been numerous. Three main reforms are taken into account in our work. The first reform centers on organizations and is called LRU (Law n° 2007-1199 - 10th of August 2007 relative to liberty and responsibility of universities). The second reform impacts the evolution of the academics' status (Statutory order n° 2009-460 - 23th of April 2009). The third reform concerns the research evaluation process (Law of program for research n° 2006-450 - 18th of April 2006). The system underwent transformations touching universities: its autonomy was widened; and academics: the possible paths of career were modified; individual and collective practices: the accountability was strengthened. As we met a lot of academics who seemed disrupted by the evolution of the context in which their career took place, we decided to try to understand what happening. It is consequently to the influence of the professional environment on the career pathways of individuals that we dedicate our Phd work. More precisely, we analyze if this environment influences the behavior of academics in terms of careers, and if yes how does this influence play. To do so, we study the behavior regarding mobility, three types of mobilities being studied: the functional mobility (Evolution of the contents of the professional tasks and the basket of activity), the vertical mobility (Promotion) and the geographical mobility (national and international). The thesis that we defend through our work is: The professional environment is a provider of rules and standards sufficiently stringent to influence the career paths of French academics through isomorphism mechanisms that we highlight, whether coercive, normative and mimetic. However, the presence of contradictions and / or ambiguities in rules offer individuals the opportunity to interpret them and gives them the freedom to follow them or not. It is the position of individuals, whether they aim at conforming to the professional environment or rather in search of fun that will decide the path of career. Finally, we support the idea that reforms have come to upset the priorities of academics that can create a break in their career paths.

La reconnaissance de formes s'intéresse à la détection automatique de motifs dans des données d'entrée, afin de pouvoir, par exemple, les classer en catégories. La matière première de ces techniques est bien souvent l'image numérique. Cette dernière, dans sa forme la plus courante, est codée sous la forme d'une matrice de pixels. Néanmoins, la question du développement de représentations plus riches se pose. Ainsi, la structuration de l'information contenue dans l'image devrait permettre la mise en évidence des différents objets représentés, et des liens les unissant. C'est pourquoi nous proposons de modéliser les images numériques sous forme de graphes, pour leur richesse et expressivité d'une part, et pour exploiter les résultats de la théorie des graphes en reconnaissance de formes d'autre part. Nous développons pour cela une méthode d'extraction de graphes plans à partir d'images, basée sur le respect de la sémantique. Nous montrons que nous pouvons, étant donné un graphe, reconstruire avec perte limitée l'image d'origine. Par la suite, nous introduisons les graphes plans à trous, graphes dont les faces peuvent être visibles ou invisibles. Leur justification trouve sa place dans la recherche de motifs notamment, pour laquelle les éléments constituant l'arrière-plan d'une image ne doivent pas être retrouvés. En dirigeant notre attention sur la planarité de ces graphes, nous proposons des algorithmes polynomiaux d'isomorphisme de graphes plans et de motifs ; nous traitons également leur équivalence, qui se trouve être un isomorphisme aux faces invisibles près / Pattern recognition deals with automatically detecting patterns in input values, so as to, for example, classify them into categories. Digital images often constitute the raw material for these applications. The term digital images usually refers to bitmap images, i. e. images represented as matrices of pixels. However, alternative representations can be considered. Thus, structuring the information contained in the image should underline the different objects depected in the image, as well as the links existing between them. This is the reason why we propose to use graph-based representations. Indeed, on the one hand, graphs are complex data structures with important expressive power and, on the other hand, we should benefit from graphs theory result and apply them to pattern recognition tasks. To this extent, we develop a method for extracting semantically well- founded plane graphs from images. We show that it is possible to rebuild the original image from this kind of graphs, with limited loss. Furthermore, we introduce open plane graphs, i. e. graphs whose faces can be visible or invisible. These graphs are useful in pattern recognition, when it is needed to search for patterns independently of the background. Focusing on the planarity of these graphs, we propose polynomial algorithms for plane graphs isomorphism and subgraphs isomorphism. We also address the equivalence issue, which is an isomorphism variant not taking into account visible faces

Cette thèse propose une approche de filtrage originale, SND en abrégé pour Scoring-based Neighborhood Dominance, pour le problème d’isomorphisme de sous- graphe. En raisonnant sur des propriétés de dominance entre sommets basées sur diverses fonctions de score et de voisinage, SND apparait comme un puissant mécanisme de filtrage. Une spécialisation de SND est étudiée, elle est basée sur le nombre de chemins de longueur k comme fonction de score ainsi que trois manières de considérer le voisinage. Avec cette spécialisation, il est montré que SND est plus puissant que LAD et incomparable à SAC (Singleton Arc Consistency). L'étude expérimentale montre que SND atteint dans la plupart des cas les mêmes performances en terme de filtrage que SAC tout en étant plus rapide de plusieurs ordres de grandeurs. Cela permet de résoudre le problème d’isomorphisme de sous-graphe en étant beaucoup plus efficace que MAC et légèrement meilleur que LAD.Un solveur de contraintes est également proposé ainsi qu'une optimisation du processus de propagation de MAC. / This thesis presents anoriginal filtering approach, called SND(Scoring- based Neighborhood Dominance), for the subgraph isomorphism problem. By reasoning on vertex dominance properties based on various scoring and neigh- borhood functions, SND appears to be a filtering mechanism of strong inference potential. For example, the recently proposed method LAD is a particular case of SND. A specialization is studied of SND : by considering the number of k-length paths in graphs and three ways of relating sets of vertices. With this specialization, we prove that SND is stronger than LAD and incomparable to SAC (Single- ton Arc Consistency). Our experimental results show that SND achieves most of the time the same filtering performances as SAC (while being several orders of magnitude faster), which allows one to find subisomorphism functions far more efficiently than MAC, while slightly outperforming LAD.