Keywords
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

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 analysis < Decision making < Decision procedure  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 19.
Ident.Authors (with country if any)Title
000161 (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
000188 (2009) Intelligence économique
000221 (2009) Najoua BouakaAPPORT DE L'INTELLIGENCE ÉCONOMIQUE DANS LE PROCESSUS DE PRISE DE DÉCISION: Cadre d'une entreprise virtuelle
000229 (2009) A. Bellanger [France] ; A. Oulamara [France]Scheduling hybrid flowshop with parallel batching machines and compatibilities
000241 (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
000313 (2006) Laurent Peret [France] ; Frédérick Garcia [France]Recherche en ligne pour les processus décisionnels de Markov
000317 (2006) Paul Weng [France]Processus de décision markoviens et préférences non classiques
000318 (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
000329 (2006) Iadine Chades [France]Algorithmes de co-évolution pour la résolution approchée de PDM multi-agent
000385 (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
000394 (2006) David Deharbe [Brésil] ; Pascal Fontaine [France] ; Silvio Ranise [France, Italie] ; Christophe Ringeissen [France]Decision procedures for the formal analysis of software
000397 (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
000398 (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
000401 (2006) Véronique Cortier [France] ; Steve Kremer [France] ; Ralf Kusters [Suisse] ; Bogdan Warinschi [France]Computationally sound symbolic secrecy in the presence of hash functions
000438 (2005) Olivier Buffet [Australie, France] ; Alain Dutech [France] ; Francois Charpillet [France]Développement autonome des comportements de base d'un agent
000500 (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
000536 (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
000A31 (2000) M. Munier [France] ; K. Baïna [France] ; K. Benali [France]A negotiation model for CSCW
000A42 (1999) A. Mille [France] ; B. Fuchs [France] ; B. Chiron [France]Raisonnement fondé sur l'expérience en supervision industrielle

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/KwdEn.i -k "Decision making" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/KwdEn.i  \
                -Sk "Decision making" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |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