Face à un problème d’informatisation, de nombreuses décisions doivent être prises pour la mise en œuvre d’une solution. La difficulté réside dans la sélection et le choix de la « meilleure » solution à chaque stade du processus de développement. Le processus d’informatisation peut être analysé comme un nœud de tâches. Ces tâches consistent à sélectionner et développer des solutions logicielles ...

An evidential reasoning (ER) approach is applied to evaluate pre-qualification criteria in selection of a main contractor. This approach has proved to be useful and practical when a decision problem under consideration includes multiple criteria, which are of both a quantitative and qualitative nature. In this type of problem, a major difficulty is how to aggregate numerical data and subjective...

Résumé. Nous considérons dans cet article le problème du choix des vues à matérialiser dans le contexte des cubes de données. Contrairement à la plupart des autres travaux, la contrainte que l’on prend en compte ici est relative à la performance des requêtes non pas l’espace mémoire disponible. Nous montrons l’avantage de notre approche avec des arguments théoriques et nous le confirmons par de...

résumé – Les caractérisations axiomatiques du vote majoritaire et des classements par points. Le cadre arrowien de la théorie des choix collectifs est suffisament flexible pour entreprendre une étude axiomatique précise des règles de vote qui sont communément utilisées dans des élections politiques, lors de compétitions sportives ou par des comités d’experts etc. comme le vote à la majorité ou ...

On montre ici comment transformer en programmes les démonstrations utilisant l’axiome du choix dépendant et l’existence d’un ultrafiltre non trivial sur N (qu’on peut, de plus, supposer sélectif ). La méthode est une extension de la technique de réalisabilité en logique classique introduite dans [3,4,5], et de la méthode du forcing bien connue en théorie des ensembles. Pour simplifier un peu l’...

Résumé Le double arc aortique représente une anomalie rare de l’arc aortique. Il provient de l’absence d’involution de l’aorte dorsale caudale. La symptomatologie clinique est habituellement précoce, notée dès la période néonatale ou peu après, dominée par des signes respiratoires et digestives. Le TOGD permet un diagnostic précis de l’anomalie. Cependant, l’angiographie est d’un grand intérêt ...

Probabilistic Concurrent Constraint Programming (PCCP) extends concurrent constraint languages by providing probabilistic choice operators. These operators have proved to be useful in implementing randomized algorithms as well as stochastic processes. In this report, we present an instance of PCCP where probabilistic choice operators are modelled with constraint combinators. This modeling allow...

Reproduction partielle permise avec citation du document source, incluant la notice ©. Short sections may be quoted without explicit permission, if full credit, including © notice, is given to the source. CIRANO Le CIRANO est un organisme sans but lucratif constitué en vertu de la Loi des compagnies du Québec. Le financement de son infrastructure et de ses activités de recherche provient des co...

Nous proposons dans cet article un modèle de trajectoire sémantique qui supporte une certaine complexité dans la représentation des trajectoires. Nous considérons ainsi que la trajectoire est composée de multiples aspects qui constituent autant de perspectives selon lesquelles il est possible de l’observer. Nous permettons par ailleurs la représentation de facteurs explicatifs ayant influencé l...

résumé – Le théorème de Guilbaud de 1952 sur le problème logique de l’agrégation Dans un article publié en 1952, peu après la publication du théorème d’impossibilité d’Arrow, le mathématicien français Georges-Théodule Guilbaud a obtenu un résultat dictatorial pour le problème logique de l’agrégation, anticipant ainsi la théorie abstraite de l’agrégation et celle de l’agrégation des jugements. N...