FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « FC03.fr.i » - entrée « Prise décision »
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.
Prise de décision < Prise décision < Prix  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 12.
Ident.Authors (with country if any)Title
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
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
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

List of associated Author.i

Nombre de
documents		Descripteur
2Silvio Ranise
1A. Mille
1Alain Dutech
1Alessandro Cimatti
1Alwen Tiu
1Amos David
1Audrey Knauf
1B. Chiron
1B. Fuchs
1Bogdan Warinschi
1Brahim Chaib-Draa
1Daniele Zucchelli
1Enrica Nicolini
1Francois Charpillet
1Frédérick Garcia
1Iadine Chades
1Jean-Yves Marion
1K. Baïna
1K. Benali
1Laurent Peret
1Leonor Prensa Nieto
1Ludovic Tobin
1M. Munier
1Marco Bozzano
1Olivier Buffet
1Pascal Fontaine
1Paul Weng
1Peter Van Rossum
1Ralf Kusters
1Roberto Bruttomesso
1Roberto Sebastiani
1Silvio Ghilardi
1Stephan Merz
1Steve Kremer
1Sébastien Paquet
1Tommi Junttila
1Véronique Cortier

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/FC03.fr.i -k "Prise décision" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Prise décision" \
         | 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=    FC03.fr.i
   |clé=    Prise décision
}}
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