Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Keywords » - entrée « Decision making »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Decision based approach < Decision making < Decision procedure  Facettes :

List of bibliographic references indexed by Decision making

Number of relevant bibliographic references: 21.
[0-20] [0 - 20][0 - 21][20-20][20-40]
Ident.Authors (with country if any)Title
003164 (2010) Kafil Hajlaoui [France] ; Xavier Boucher [France] ; Michel Beigbeder [France]Construction et usage d'une ontologie de compétences pour l'identification de réseaux collaboratifs d'entreprises
003B35 (2009) Intelligence économique
003B60 (2009) Najoua BouakaAPPORT DE L'INTELLIGENCE ÉCONOMIQUE DANS LE PROCESSUS DE PRISE DE DÉCISION: Cadre d'une entreprise virtuelle
003B67 (2009) A. Bellanger [France] ; A. Oulamara [France]Scheduling hybrid flowshop with parallel batching machines and compatibilities
003B78 (2009) A. Oulamara [France] ; G. Finke [France] ; A. Kamgaing Kuiteing [France]Flowshop scheduling problem with a batching machine and task compatibilities : Scheduling for Modern Manufacturing, Logistics, and Supply Chains
004807 (2007-07-15) Charles Robert [France]Architecture and a prototype of a collaborative system for intelligence sharing from mixed multimedia sources based on annotation
005343 (2006) Iadine Chadès [France]Algorithmes de co-évolution pour la résolution approchée de PDM multi-agent
005484 (2006) Pascal Fontaine [France] ; Jean-Yves Marion [France] ; Stephan Merz [France] ; Leonor Prensa Nieto [France] ; Alwen Tiu [France]Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants
005507 (2006) David Déharbe [Brésil] ; Pascal Fontaine [France] ; Silvio Ranise [France, Italie] ; Christophe Ringeissen [France]Decision Procedures for the Formal Analysis of Software
005571 (2006) Laurent Peret [France] ; Frédérick Garcia [France]Recherche en ligne pour les processus décisionnels de Markov
005575 (2006) Paul Weng [France]Processus de décision markoviens et préférences non classiques
005576 (2006) Sébastien Paquet [Canada] ; Ludovic Tobin [Canada] ; Brahim Chaib-Draa [Canada]Prise de décision en temps-réel pour des POMDP de grande taille
005613 (2006) Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France]Deciding extensions of the theory of arrays by integrating decision procedures and instantiation strategies
005614 (2006) Maria Paola Bonacina [Italie] ; Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France]Decidability and undecidability results for nelson-oppen and rewrite-based decision procedures
005616 (2006) Véronique Cortier [France] ; Steve Kremer [France] ; Ralf Kusters [Suisse] ; Bogdan Warinschi [France]Computationally sound symbolic secrecy in the presence of hash functions
006151 (2005) Olivier Buffet [Australie, France] ; Alain Dutech [France] ; François Charpillet [France]Développement autonome des comportements de base d’un agent
006263 (2005) Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie]Efficient Satisfiability Modulo Theories via Delayed Theory Combination
006C66 (2004) Audrey Knauf [France] ; Amos David [France]Vers une meilleure caractérisation des rôles et compétences de l'infomédiaire dans le processus d'intelligence économique
009F46 (2000) Manuel Munier [France] ; Karim Baïna [France] ; Khalid Benali [France]A Negotiation Model for CSCW
00AA78 (1999) A. Mille [France] ; B. Fuchs [France] ; B. Chiron [France]Raisonnement fondé sur l'expérience en supervision industrielle
00BA11 (1997) Jean-Daniel Kant ; Daniel S. LevineA Neural Network for Decision Making Under the Influence of Reinforcement

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i -k "Decision making" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i  \
                -Sk "Decision making" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    Decision making
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022