Reproduction de : Thèse de doctorat : Génie industriel : Toulouse, INPT : 2005. / Titre provenant de l'écran titre. Bibliogr. 65 réf.

Plusieurs paradigmes de programmation existent pour aider à résoudre des problèmes d'optimisation combinatoire, l'un d'entre eux étant la programmation par contraintes. L'idée de ce paradigme consiste à modéliser le problème à résoudre à l'aide de contraintes, c'est-à-dire des déclarations qui forcent les variables du problème à respecter une relation mathématique. Les contraintes des problèmes ont habituellement des paramètres qui permettent de préciser la relation mathématique à respecter et des variables de décision qui représentent les variables pour lesquelles la relation mathématique doit s'appliquer. Bien qu'intéressant en soi, la programmation par contraintes peut également s'étendre sur d'autres concepts, notamment la modélisation automatique. L'acquisition ou apprentissage de contraintes consiste à apprendre les différentes contraintes, incluant les valeurs des paramètres, qui peuvent expliquer un ensemble d'exemples fournis. L'apprentissage de contraintes peut être utile dans plusieurs situations, comme l'apprentissage de structures d'horaires d'hôpitaux à l'aide d'anciens exemples d'horaires. L'apprentissage de contraintes est encore un domaine nouveau pour lequel les stratégies doivent encore être adaptées ou développées. Les techniques d'acquisition existantes varient en genre, incluant des méthodes qui créent des solutions artificielles pour interagir avec un utilisateur ou des approches qui se basent sur des analyses mathématiques rigoureuses de solutions pour faire des choix sans jamais communiquer avec l'utilisateur. Dans ce mémoire, nous explorons une nouvelle méthode pour performer l'acquisition de contraintes. Le critère principal de la méthode développée est basé sur le nombre de solutions du modèle considéré et utilise des outils de dénombrement. Notre technique performe bien sur les problèmes essayés et ouvre la porte à une nouvelle manière d'apprivoiser les problèmes d'acquisition de contraintes. / Several programming paradigms exist to help solve combinatorial optimization problems, one of them being constraint programming. The idea of this paradigm is to model the problems to solve using constraints, i.e. statements that force the variables of the problem to respect a mathematical relation. The constraints of a problem usually have parameters that allow to specify the mathematical relationship to be respected and decision variables that represent the variables on which the mathematical relationship must be applied. Although interesting in itself, constraint programming can also expand on other concepts, such as the automatisation of the modeling process. Constraints acquisition consists in learning the different constraints, including parameter values, which can explain a set of examples provided. Constraint acquisition can be useful in multiple situations, such as learning structures in schedules for hospitals using old schedules. Constraint learning is still a new area for which strategies still need to be adapted or developed. The existing techniques of acquisition varies widely in style, including methods that create artificial solutions to interact with a user or approaches which are based on complex mathematical analyzes of real solutions to make choices without ever communicating with the user. In this thesis, we explore a new method to perform the acquisition of constraints. The main criterion of the developed method is based on the number of solutions of the considered model and uses tools of model counting. Our technique works well on proven problems and opens the door to a new way of approaching acquisition constraint problems.

Les entreprises des pays en développement sont confrontées à de nombreuses et graves contraintes sur leur croissance, allant de la corruption à l'absence d'infrastructures ou l'impossibilité d'accéder à des financements. Les pays n'ayant pas les ressources pour éliminer toutes les contraintes en même temps, il serait idéal d’observer en premier lieu les contraintes les plus fortes. Cette étude utilise les données d'enquêtes de la Banque Mondiale de 2006 et 2009 sur 535 entreprises formelles au Cameroun pour identifier les principales contraintes à la croissance. Les résultats montrent que les infrastructures et plus précisément le manque d’électricité ainsi que les réglementations administratives (procédures de création d'entreprises, réglementations des prix et marges ; réglementations du travail ; licences et permis) sont des contraintes les plus fortes pesant sur la croissance de l'emploi des entreprises en 2006 et en 2009, ou sur la croissance des ventes annuelles. Ces résultats ont d'importantes implications politiques pour la priorité des efforts de réforme, en suggérant quelles contraintes il peut être utile de combattre afin d’être plus efficaces pour promouvoir la croissance des entreprises.

Thèse de doctorat : Génie civil : Lille 1 : 2001. / Résumés en français et en anglais. Bibliogr. p. 175-180.

Thèse doctorat : Dispositifs de l'Electronique Intégrée : Villeurbanne, INSA : 2005. / Contient 1 glossaire. Titre provenant de l'écran-titre. Bibliogr. p. 210-223.

Reproduction de : Thèse de doctorat : Energétique et Génie des procédés : Toulouse, INPT : 2006. / Titre provenant de l'écran-titre. Bibliogr. 113 réf.

Reproduction de : Thèse de doctorat : Science de la Terre : Toulouse 3 : 2007. / Titre provenant de l'écran-titre. Bibliogr. p. 261-284.

Reproduction de : Thèse de doctorat : Automatique (Recherche opérationnelle) : Metz : 2002. / Titre provenant de l'écran-titre. Notes bibliographiques.

Reproduction de : Thèse de docteur-ingénieur : Physique : Metz : 1973. / Titre provenant de l'écran-titre. Notes bibliogr.

Reproduction de : Thèse de doctorat : Systèmes industriels : Toulouse, INPT : 2002. / Titre provenant de l'écran-titre. Bibliogr. 115 réf.