Academic literature on the topic 'Raisonnement automatisé'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Raisonnement automatisé.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Raisonnement automatisé"

1

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!