• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 405
  • 290
  • 114
  • 4
  • 3
  • Tagged with
  • 869
  • 869
  • 527
  • 318
  • 307
  • 282
  • 264
  • 263
  • 242
  • 217
  • 207
  • 205
  • 202
  • 200
  • 197
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
31

Planification d'actions concurrentes sous contraintes et incertitude

Beaudry, Éric January 2011 (has links)
Cette thèse présente des contributions dans le domaine de la planification en intelligence artificielle, et ce, plus particulièrement pour une classe de problèmes qui combinent des actions concurrentes (simultanées) et de l'incertitude. Deux formes d'incertitude sont prises en charge, soit sur la durée des actions et sur leurs effets.Cette classe de problèmes est motivée par plusieurs applications réelles dont la robotique mobile, les jeux et les systèmes d'aide à la décision.Cette classe a notamment été identifiée par la NASA pour la planification des activités des rovers déployés sur Mars. Les algorithmes de planification présentés dans cette thèse exploitent une nouvelle représentation compacte d'états afin de réduire significativement l'espace de recherche. Des variables aléatoires continues sont utilisées pour modéliser l'incertitude sur le temps. Un réseau bayésien, qui est généré dynamiquement, modélise les dépendances entre les variables aléatoires et estime la qualité et la probabilité de succès des plans. Un premier planificateur, ACTUP LAN nc basé sur un algorithme de recherche à chaînage avant, prend en charge des actions ayant des durées probabilistes. Ce dernier génère des plans non conditionnels qui satisfont à une contrainte sur la probabilité de succès souhaitée. Un deuxième planificateur, ACTUP LAN, fusionne des plans non conditionnels afin de construire des plans conditionnels plus efficaces. Un troisième planificateur, nommé QUANPLAN, prend également en charge l'incertitude sur les effets des actions. Afin de modéliser l'exécution simultanée d'actions aux effets indéterminés, QUANP LAN s'inspire de la mécanique quantique où des états quantiques sont des superpositions d'états classiques. Un processus décisionnel de Markov (MDP) est utilisé pour générer des plans dans un espace d'états quantiques. L'optimalité, la complétude, ainsi que les limites de ces planificateurs sont discutées. Des comparaisons avec d'autres planificateurs ciblant des classes de problèmes similaires démontrent l'efficacité des méthodes présentées. Enfin, des contributions complémentaires aux domaines des jeux et de la planification de trajectoires sont également présentées.
32

Découverte de règles de classification pour un système d’aide à la décision pour la surveillance de l'usage des antimicrobiens

Beaudoin, Mathieu January 2015 (has links)
L’utilisation inappropriée des antimicrobiens est un problème de taille qui touche jusqu’à 50% des prescriptions chez les patients hospitalisés. Or, la surveillance de l’usage des antimicrobiens à l’échelle d’un hôpital s’avère impossible à effectuer manuellement et requiert l’utilisation d’un système d’aide à la décision. Le système d’aide à la décision APSS - Antimicrobial Prescription Surveillance System - a été développé pour assister le professionnel de la santé dans l’identification des prescriptions inappropriées d’antimicrobiens. Son utilisation a été associée à une amélioration des pratiques de prescription d’antimicrobiens. Cependant, le processus d’acquisition et modélisation de sa connaissance a été long et ardu. Pour pallier cette difficulté, cette thèse présente un module d’apprentissage automatique développé pour permettre à un système comme APSS de découvrir de nouvelles règles de classification de prescriptions à partir des rétroactions de ses utilisateurs. Ce module utilise l’algorithme TIM - Temporal Induction of Classification Models - pour découvrir des règles temporelles de classification pour catégoriser des séquences d’épisodes comme approprié ou inapproprié. Des résultats d’évaluation démontrent la capacité du module à découvrir des règles cliniquement pertinentes pour plusieurs catégories d’alertes de prescriptions inappropriées. Les règles apprises ont mené à des interventions qui ont été manquées par le système de base. Ces règles ont permis d’étendre la connaissance du système de base en identifiant des pratiques de prescription non appuyées par les experts qui n’étaient pas incluses dans sa base de connaissances. Par contre, la combinaison des règles apprises aux règles du système de base a entraîné une augmentation des faux positifs.
33

Simulation multi-agents des systèmes économiques Vers des systèmes multi-agents adaptatifs /

Rejeb, Lilia Guessoum, Zahia January 2005 (has links) (PDF)
Reproduction de : Thèse de doctorat : Informatique : Reims : 2005. / Titre provenant de l'écran titre. Bibliogr. f. 151-166.
34

Assistance au calage de modèles numériques en hydraulique fluviale apports de l'intelligence artificielle /

Vidal, Jean-Philippe. Dartus, Denis. Moisan, Sabine. Faure, Jean-Baptiste January 2005 (has links)
Reproduction de : Thèse de doctorat : Sciences de la Terre et Environnement : Toulouse, INPT : 2005. / Titre provenant de l'écran-titre. Bibliogr. 480 réf.
35

Systèmes multi-robots aériens architecture pour la planification, la supervision et la coopération /

Gancet, Jérémi Chatila, Raja. January 2005 (has links)
Reproduction de : Thèse de doctorat : Systèmes informatiques : Toulouse, INPT : 2005. / Titre provenant de l'écran-titre. Bibliogr. 82 réf.
36

Induction automatique aspects théoriques, le système ARBRE, applications en médecine /

Crémilleux, Bruno. Robert, Claudine. January 2008 (has links)
Reproduction de : Thèse de doctorat : Informatique : Grenoble 1 : 1991. / Titre provenant de l'écran-titre. Bibliogr. p. 178-184.
37

Contraintes géométriques en dimension 3

Fabre, Arnaud Schreck, Pascal. January 2007 (has links) (PDF)
Thèse doctorat : Informatique : Strasbourg 1 : 2006. / Titre provenant de l'écran-titre. Bibliogr. 9 p.
38

Modélisation du raisonnement géométrique pour la programmation des robots

Pertin, Jocelyne Latombe, Jean-Claude. Giralt, Georges. January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1986. / Titre provenant de l'écran-titre. Bibliogr. p. 155-167.
39

Quelques fonctionnalités de bases de données avancées

Nguyen, Gia Toan. Delobel, Claude. January 2008 (has links)
Reproduction de : Thèse d'Etat : mathématiques : Grenoble 1 : 1986. / Titre provenant de l'écran-titre. Bibliogr. p. 187-197.
40

GeNCA : un modèle général de négociation de contrats entre agents

Verrons, Marie-Hélène Mathieu, Philippe January 2007 (has links)
Reproduction de : Thèse de doctorat : Informatique : Lille 1 : 2004. / N° d'ordre (Lille 1) : 3507. Résumé en français. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 171-177.

Page generated in 0.105 seconds