Relevant bibliographies by topics / Diagramme de décision

Contents

  1. Journal articles
  2. Dissertations / Theses

Academic literature on the topic 'Diagramme de décision'

Author: Grafiati
Published: 4 June 2021
Last updated: 14 February 2022

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 'Diagramme de décision.'

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 "Diagramme de décision"

1

BOUAZIZ, Yosra Jlaiel, and Daniel THIEL. "Enquête sur les mécanismes de pilotage des compétences dans le cadre de la mise en oeuvre de projets ERP en tunisie." Revue Française de Gestion Industrielle 32, no. 2 (2013): 63–84. http://dx.doi.org/10.53102/2013.32.02.696.

Full text
Abstract:
Cette recherche s'intéresse aux décisions de pilotage des compétences dans le cadre de mise en oeuvre de projets ERP. Après une revue de littérature et une pré-enquête sur le terrain, nous avons lancé une enquête auprès de 31 chefs de projets en Tunisie. Cet échantillon représente 30% de la population totale visée, à savoir les entreprises ayant récemment implanté un ERP composé d'au moins trois modules. Une analyse statistique des données a été réalisée à partir de 651 décisions observées. Ces décisions ont également été formalisées qualitativement à l'aide de diagrammes de causalité permetta
APA, Harvard, Vancouver, ISO, and other styles
2

Fargier, Hélène, Pierre Marquis, and Nicolas Schmidt. "Compacité pratique des diagrammes de décision valués. Normalisation, heuristiques et expérimentations." Revue d'intelligence artificielle 28, no. 5 (2014): 571–92. http://dx.doi.org/10.3166/ria.28.571-592.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Diagramme de décision"

1

Perez, Guillaume. "Diagrammes de décision : contraintes et algorithmes." Thesis, Université Côte d'Azur (ComUE), 2017. http://www.theses.fr/2017AZUR4081/document.

Full text
Abstract:
Les diagrammes de décision Multi-valués (MDD) sont des structures de données efficaces et largement utilisées dans les domaines tels que la vérification, l’optimisation et la programmation dynamique. Dans cette thèse, nous commençons par améliorer les principaux algorithmes tels que la réduction de MDD, permettant aux MDD de potentiellement compresser exponentiellement des ensembles de tuples, ou la combinaison de MDD, tels que l’intersection ou l’union. Ensuite, nous proposons des versions parallèles de ces algorithmes ainsi que des versions permettant de travailler avec la version non déterm
APA, Harvard, Vancouver, ISO, and other styles
2

Linard, Alban. "Sémantique paramétrable des diagrammes de décision : une démarche vers l'unification." Paris 6, 2009. http://www.theses.fr/2009PA066655.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Haddad, Yaël. "Propriétés structurelles de certaines fonctions booléennes." Paris 7, 2002. http://www.theses.fr/2002PA077242.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Klai, Kais. "Réseaux de Petri : vérification symbolique et modulaire." Paris 6, 2003. http://www.theses.fr/2003PA066171.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Yunès, Jean-Baptiste. "Automates Cellulaires; Fonctions Booléennes." Habilitation à diriger des recherches, Université Paris-Diderot - Paris VII, 2007. http://tel.archives-ouvertes.fr/tel-00200440.

Full text
Abstract:
Sont présentés les différents travaux que j'ai pu effectuer: dans le domaine des automates cellulaires et de leur programmation, puis les travaux portant sur les fonctions Booléennes et leur complexité.
APA, Harvard, Vancouver, ISO, and other styles
6

Schmidt, Nicolas. "Compilation de préférences : application à la configuration de produit." Thesis, Artois, 2015. http://www.theses.fr/2015ARTO0404/document.

Full text
Abstract:
L’intérêt des différents langages de la famille des diagrammes de décisionvalués (VDD) est qu’ils admettent des algorithmes en temps polynomialpour des traitements (comme l’optimisation, la cohérence inverse globale,l’inférence) qui ne sont pas polynomiaux (sous l’hypothèse P 6= NP), si ilssont effectués sur le problème dans sa forme originale tel que les réseaux decontraintes ou les réseaux bayésiens.Dans cette thèse, nous nous intéressons au problème de configuration deproduit, et plus spécifiquement, la configuration en ligne avec fonction de valuationassociée (typiquement, un prix). Ici, l
APA, Harvard, Vancouver, ISO, and other styles
7

Mufti-Alchawafa, Dima. "Modélisation et représentation de la connaissance pour la conception d'un système décisionnel dans un environnement informatique d'apprentissage en chirurgie." Phd thesis, Université Joseph Fourier (Grenoble), 2008. http://tel.archives-ouvertes.fr/tel-00380562.

Full text
Abstract:
La problématique abordée dans cette thèse est la conception d'un modèle informatique qui permet de générer automatiquement les rétroactions épistémiques en se basant sur l'état de connaissance de l'apprenant et en prenant ainsi en compte la dimension didactique de la connaissance. Ce travail se situe dans le cadre d'un environnement informatique pour l'apprentissage de la formation professionnelle. <br />Dans le cadre de notre travail, les résultats du diagnostic de l'état de connaissance de l'apprenant ne peuvent être déduits qu'avec un certain degré d'incertaine. De ce fait, nous avons chois
APA, Harvard, Vancouver, ISO, and other styles
8

Narboux, Julien. "Formalisation et automatisation du raisonnement géométrique en Coq." Phd thesis, Université Paris Sud - Paris XI, 2006. http://tel.archives-ouvertes.fr/tel-00118806.

Full text
Abstract:
L'objet de cette thèse est la formalisation et l'automatisation du raisonnement géométrique au sein de l'assistant de preuve Coq.<br />Dans une première partie, nous réalisons un tour d'horizon des principales axiomatiques de la géométrie puis nous présentons une formalisation des huit premiers chapitres du livre de Schwabäuser, Szmielew et Tarski: Metamathematische Methoden in der Geometrie.<br />Dans la seconde partie, nous présentons l'implantation en Coq d'une procédure de décision pour la géométrie affine plane : la méthode des aires de Chou, Gao et Zhang. Cette méthode produit des preuve
APA, Harvard, Vancouver, ISO, and other styles
9

Babba, Belgacem. "Synthèse optimisée sur les réseaux programmables de la famille Xilinx." Phd thesis, Grenoble INPG, 1995. http://tel.archives-ouvertes.fr/tel-00346062.

Full text
Abstract:
Cette thèse se situe dans le cadre de la synthèse logique. Elle a pour objet la synthèse logique optimisée de circuits sur réseaux programmables à base de «tables de vérité» de type «Xilinx». Ces réseaux programmables ont été à l'origine du premier succès commercial des réseaux reprogrammables à faible granularité. Une première solution pratiquée industriellement a consisté à associer une bibliothèque équivalente de primitives logiques simples de type «cellule standard» à un réseau Xilinx. Une telle approche conduit à une très pauvre utilisation de la technologie cible car elle ne tire pas pro
APA, Harvard, Vancouver, ISO, and other styles
10

Beaudenon, Vincent. "Diagrammes de décision de données pour la vérification de systèmes matériels." Paris 6, 2006. http://www.theses.fr/2006PA066337.

Full text
Abstract:
Avec la complexité croissante des systèmes informatiques se pose la question de la mise en oeuvre de méthodes automatiques pour leur vérification formelle. Parmi ces méthodes, le model-checking se fonde sur l'exploration exhaustive du comportement d'un système. Plus celui-ci sera complexe, plus cette exploration se traduira par une explosion combinatoire de l'espace des états du système. Diverses approches ont été proposées pour résoudre ce problème, notamment les méthodes symboliques qui sont bases sur une représentation compacte d'ensembles d'états. Depuis les travaux de R. E. Bryant et la d
APA, Harvard, Vancouver, ISO, and other styles
More sources
You might also be interested in the extended bibliographies on the topic 'Diagramme de décision' for particular source types:
Dissertations / Theses
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!

To the bibliography