Literatura académica sobre el tema "Raisonnement automatisé"

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Raisonnement automatisé".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "Raisonnement automatisé"

1

Guillotel, LA, and B. Campillo-Gimenez. "CO2.1 - Outil de sélection automatisée des patients pour le recrutement dans les essais cliniques en cancérologie à l'aide d'un raisonnement à base de cas." Journal of Epidemiology and Population Health 72 (May 2024): 202402. http://dx.doi.org/10.1016/j.jeph.2024.202402.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Viry, Matthieu, and Marlène Villanova-Oliver. "Ontologie d’Alerte Choucas : de la modélisation des connaissances à un outil support d’un raisonnement géovisuel." Geomatica, September 3, 2020, 1–17. http://dx.doi.org/10.1139/geomat-2020-0005.

Texto completo
Resumen
Lorsqu’une intervention de secours est nécessaire, localiser précisément et rapidement le site sur lequel envoyer les équipes est primordial. La littérature montre que des outils de géovisualisation constituent des solutions pertinentes pour supporter des processus d’analyse d’informations dans des contextes variés. Nous nous intéressons ici au raisonnement du secouriste réceptionnant un appel à l’aide et visons des solutions conceptuelles et logicielles dédiées à la tâche de détermination de la localisation de la victime, plus particulièrement dans le contexte du secours en montagne. Nous avo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Tesis sobre el tema "Raisonnement automatisé"

1

Barcenas, Patino Ismael. "Raisonnement automatisé sur les arbres avec des contraintes de cardinalité." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00569058.

Texto completo
Resumen
Les contraintes arithmétiques sont largement utilisées dans les langages formels comme les expressions, les grammaires d'arbres et les chemins réguliers. Ces contraintes sont utilisées dans les modéles de contenu des types (XML Schemas) pour imposer des bornes sur le nombre d'occurrences de nœuds. Dans les langages de requêtes (XPath, XQuery), ces contraintes permettent de sélectionner les nœuds ayant un nombre limité de nœuds accessibles par une expression de chemin donnée. Les types et chemins étendus avec les contraintes de comptage constituent le prolongement naturel de leurs homologues sa
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Barcenas, Everardo. "Raisonnement automatisé sur les arbres avec des contraintes de cardinalité." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00578972.

Texto completo
Resumen
Les contraintes arithmétiques sont largement utilisées dans les langages formels comme les expressions, les grammaires d'arbres et les chemins réguliers. Ces contraintes sont utilisées dans les modèles de contenu des types (XML Schemas) pour imposer des bornes sur le nombre d'occurrences de noeuds. Dans les langages de requêtes (XPath, XQuery), ces contraintes permettent de sélectionner les noeuds ayant un nombre limité de noeuds accessibles par une expression de chemin donnée. Les types et chemins étendus avec les contraintes de comptage constituent le prolongement naturel de leurs homologues
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Serban, Cristina. "Raisonnement automatisé pour la logique de séparation avec des définitions inductives." Thesis, Université Grenoble Alpes (ComUE), 2018. http://www.theses.fr/2018GREAM030/document.

Texto completo
Resumen
La contribution principale de cette thèse est un système de preuve correct et complet pour les implications entre les prédicats inductifs, fréquemment rencontrées lors de la vérification des programmes qui utilisent des structures de données récursives allouées dynamiquement. Nous introduisons un système de preuve généralisé pour la logique du premier ordre et nous l'adaptons à la logique de séparation, car ceci est un cadre qui répond aux plusieurs difficultés posées par le raisonnement sur les tas alloués dynamiquement. La correction et la complétude sont assurées par quatre restrictions sém
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Bermejo, Das Neves Carlos. "Probabilistic semantic network approach for the study of genotype-phenotype relations in the context of human genetic diseases." Electronic Thesis or Diss., Strasbourg, 2020. http://www.theses.fr/2020STRAJ093.

Texto completo
Resumen
Cette thèse porte sur le développement d'une méthode pour modéliser des systèmes complexes en utilisant des graphes de connaissances et des algorithmes de raisonnement automatisés. La méthode de modélisation a été appliquée aux maladies rares pour prédire leurs causes, depuis les niveaux génétique, cellulaire et physiologique jusqu'au niveau de l'organisme entier. Pour la création du graphe de connaissances, deux ontologies, GO et HPO, ont été utilisées. Étant donné qu'il n'existait pas de bases de données avec des relations entre ces ontologies, une méthode d'apprentissage automatique a été d
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Ballout, Ali. "Apprentissage actif pour la découverte d'axiomes." Electronic Thesis or Diss., Université Côte d'Azur, 2024. http://www.theses.fr/2024COAZ4026.

Texto completo
Resumen
Cette thèse aborde le défi de l'évaluation des formules logiques candidates, avec un accent particulier sur les axiomes, en combinant de manière synergique l'apprentissage automatique et le raisonnement symbolique. Cette approche innovante facilite la découverte automatique d'axiomes, principalement dans la phase d'évaluation des axiomes candidats générés. La recherche vise à résoudre le problème de la validation efficace et précise de ces candidats dans le contexte plus large de l'acquisition de connaissances sur le Web sémantique.Reconnaissant l'importance des heuristiques de génération exis
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Gonella, Régine. "Diagnostic de pannes sur avions : mise en œuvre d'un raisonnement révisable." Toulouse, ENSAE, 1989. http://www.theses.fr/1989ESAE0014.

Texto completo
Resumen
Le diagnostic de pannes sur avions est caractérisé, notamment, par la présence éventuelle de plusieurs pannes à un moment donné et par la modification constante de l'état de l'avion au cours de son exploitation, due à l'arrivée de nouvelles pannes et aux actions de maintenance effectuées. Son amélioration permettrait de diminuer le nombre de déposes d'équipements injustifiées et donc de réduire les coûts de maintenance. Dans ce mémoire, l'auteur propose une méthode de diagnostic en ligne c'est-à-dire une méthode permettant, à tout moment, d'établir le diagnostic d'un système physique fonctionn
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Bousson, Kouamana. "Raisonnement causal pour la supervision de processus basée sur des modèles." Toulouse, INSA, 1993. http://www.theses.fr/1993ISAT0023.

Texto completo
Resumen
L''usage d'un modèle causal dans le cadre de la supervision de processus se justifie si l'on considère que l’être humain appréhende de manière causale les phénomènes physiques. Souvent, la causalité nous permet de focaliser notre attention sur une partie ou sur un composant du système physique, sans avoir forcement recours à une description globale du type équationnel. Le travail de ce mémoire propose un formalisme de raisonnement basé sur une utilisation conjuguée de la causalité et des connaissances profondes s'exprimant sous forme d’équations mathématiques pour la supervision de processus c
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

El, Ouraoui Daniel. "Méthodes pour le raisonnement d'ordre supérieur dans SMT." Electronic Thesis or Diss., Université de Lorraine, 2021. http://www.theses.fr/2021LORR0023.

Texto completo
Resumen
La vérification formelle de programmes informatiques ou de systèmes dits critiques tels que dans le transport, l'énergie, etc, est essentielle pour garantir le bon fonctionnement de ces systèmes. Les méthodes de vérification employées s'appuient très fortement sur des procédés mathématiques et logiques permettant de raisonner de manière formelle sur le comportement de ces systèmes. Ces procédés définissent généralement les comportements sous forme de grands ensembles de contraintes logiques. L'approche par satisfaisabilité est une méthode largement utilisée pour vérifier ces contraintes et est
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Bernard, Denys. "Un système de raisonnement temporel basé sur le calcul d'évènements pour l'ordonnancement en maintenance aéronautique." Toulouse 3, 1992. http://www.theses.fr/1992TOU30162.

Texto completo
Resumen
Cette these presente une approche originale de certains problemes d'ordonnancement en maintenance aeronautique. L'approche utilisee est basee sur un systeme de raisonnement temporel specifie en clauses de horn: le calcul d'evenements. Ce systeme definit des concepts tres generaux sur le temps et le changement (evenements, periodes, propositions temporelles), qui permettent de representer des actions. On presente un systeme qui elabore une representation appropriee d'un ensemble d'actions, en utilisant des connaissances formalisees sur le domaine technique specifique. Les connaissances utilisee
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Ben, Rabah Nourhène. "APPROCHE INTELLIGENTE À BASE DE RAISONNEMENT À PARTIR DE CAS POUR LE DIAGNOSTIC EN LIGNE DES SYSTÈMES AUTOMATISÉS DE PRODUCTION." Thesis, Reims, 2018. http://www.theses.fr/2018REIMS036/document.

Texto completo
Resumen
Les systèmes automatisés de production (SAP) représentent une classe importante des systèmes industriels qui sont de plus en plus complexes vue le grand nombre d’interaction et d’interconnexion entre leurs différents composants. En conséquence, ils sont plus sensibles aux dysfonctionnements dont les conséquences peuvent être importantes en termes de productivité, de sécurité et de qualité de production. Un défi majeur est alors de développer une approche intelligente qui peut être utilisée pour le diagnostic de ces systèmes afin de garantir leurs suretés de fonctionnement. Dans le cadre de cet
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Libros sobre el tema "Raisonnement automatisé"

1

Dubois, Didier. Ensembles flous et raisonnement automatise =: Fuzzy sets and automated reasoning. Institut de Recherche en Informatique de Toulouse, 1994.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Capítulos de libros sobre el tema "Raisonnement automatisé"

1

"peuvent conserver ces stipule que « toute personne a profil ou de la personnalité à figurer dans un traitement informations ad vitam le droit de connaître et de de l’intéressé. (article 26 de la loi). aeternam ? Il fallait bien contester (. . .) les Nous sommes tous [. . .] En juin 1985, la dresser des garde-fous [4]. . . raisonnements utilisés dans les victimes de boîtes aux lettres Commission était saisie d’une et se donner les moyens de les traitements automatisés dont les engorgées : les messages plainte à l’encontre d’une faire respecter. résultats lui sont opposés ». publicitaires – souvent agence matrimoniale ; la Légiférer sur On peut discourir à loisir personnalisés – s’y entassent. plaignante avait eu la surprise l’informatique n’est pas un les dangers de l’informatique, C’est la manifestation la plus d’apprendre qu’elle figurait luxe pour société bourgeoise mais rien ne vaut des courante, la plus bénigne sur le fichier informatisé de décadente. Ce d’autant moins exemples concrets. En voici aussi, d’un emploi abusif de l’agence, alors qu’elle ne que la machine peut aussi être quelques-uns. fichiers. La vente par l’avait jamais contactée. De dangereuse dans les correspondance et le plus, ce fichier, qui n’avait pas comportements qu’elle induit Article 2 : Aucune décision marketing direct reposent en été déclaré à la Cnil, et dans les utilisations qui en de justice (respectivement grande partie sur contenait des informations sont faite. « Ses oracles ont, administrative ou privée) l’exploitation et la cession de relatives à la religion des pour reprendre Michel Serre, impliquant une fichiers de clientèle. Les personnes. Cette application la légitimité de la vérité ». Et appréciation sur un professionnels de ces secteurs contrevenait ainsi à pas moins Jacques Fauvet souligne : comportement humain ne se sont toutefois engagés à de trois articles de la loi. « C’est informatique, donc c’est peut avoir pour effacer des fichiers les noms vrai. » Pour lutter contre cette (respectivement seul) des personnes qui en feraient force de conviction parfois fondement un traitement." In Francotheque: A resource for French studies. Routledge, 2014. http://dx.doi.org/10.4324/978020378416-33.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!