Pays
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « Pays » - entrée « Suisse »
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.
Slovénie < Suisse < Suède  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 12.
Ident.Authors (with country if any)Title
000225 (2009) Olivier Buffet [France] ; Douglas Aberdeen [Suisse]The factored policy-gradient planner
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
000451 (2005) A. Armando [Italie] ; D. Basin [Suisse] ; Y. Boichut [France] ; Y. Chevalier [France] ; L. Compagna [Italie] ; J. Cuellar [Allemagne] ; P. Hankes Drielsma [Suisse] ; P. C. Heam [France] ; O. Kouchnarenko [France] ; J. Mantovani [Italie] ; S. Mödersheim [Suisse] ; D. Von Oheimb [Allemagne] ; M. Rusinowitch [France] ; J. Santiago [France] ; M. Turuani [France] ; L. Vigano [Suisse] ; L. Vigneron [France]The AVISPA tool for the automated validation of internet security protocols and applications
000459 (2005) Jean-Raymond Abrial [Suisse] ; Dominique Cansell [France] ; Dominique Méry [France]Refinement and reachability in Event―B
000610 (2004) Eric Clavier [France] ; Gérald Masini [France] ; Mathieu Delalandre [France] ; Maurizio Rigamonti [Suisse] ; Karl Tombre [France] ; Joël Gardes [France]DocMining: A cooperative platform for heterogeneous document interpretation according to user-defined scenarios
000611 (2004) Sébastien Adam [France] ; Maurizio Rigamonti [Suisse] ; Eric Clavier [France] ; Eric Trupin [France] ; Jean-Marc Ogier [France] ; Karl Tombre [France] ; Joël Gardes [France]DocMining: A Document analysis system builder
000871 (2001) Sylviane Granger [Belgique] ; Anne Vandeventer [Suisse] ; Marie-Josée Hamel [Royaume-Uni]Analyse de corpus d'apprenants pour l'ELAO basé sur le TAL
000B16 (1998) A. Reboul [France, Suisse] ; J. Moeschler [France, Suisse]Théorie de l'esprit, rationalité et principe de charité : l'évaluation de la qualité des textes
000C28 (1997) U. Franz [France] ; D. Neuenschwander [Allemagne] ; R. Schott [Suisse]Gauss laws in the sense of Bernstein and uniqueness of embedding into convolution semigroups on quantum groups and braided groups
000C29 (1997) U. Franz [France, Allemagne] ; D. Neuenschwander [Suisse] ; R. Schott [France]Gauss laws in the sense of Bernstein and uniqueness of embedding into convolution semigroups on quantum groups and braided groups
000C37 (1997) D. Neuenschwander [Suisse] ; B. Roynette [France] ; R. Schott [France]Characterizations of gaussian distributions on simply connected nilpotent Lie groups and symmetric spaces
000C59 (1996) J.-P. Briot [France, Japon] ; R. Guerraoui [Suisse]Objets pour la programmation parallèle et répartie : intérêts, évolutions et tendances

List of associated Author.i

Nombre de
documents		Descripteur
3D. Neuenschwander
3R. Schott
2Eric Clavier
2Joël Gardes
2Karl Tombre
2Maurizio Rigamonti
2U. Franz
1A. Armando
1A. Reboul
1Anne Vandeventer
1B. Roynette
1Bogdan Warinschi
1D. Basin
1D. Von Oheimb
1Dominique Cansell
1Dominique Méry
1Douglas Aberdeen
1Eric Trupin
1Gérald Masini
1J. Cuellar
1J. Mantovani
1J. Moeschler
1J. Santiago
1J.-P. Briot
1Jean-Marc Ogier
1Jean-Raymond Abrial
1L. Compagna
1L. Vigano
1L. Vigneron
1M. Rusinowitch
1M. Turuani
1Marie-Josée Hamel
1Mathieu Delalandre
1O. Kouchnarenko
1Olivier Buffet
1P. C. Heam
1P. Hankes Drielsma
1R. Guerraoui
1Ralf Kusters
1S. Mödersheim
1Steve Kremer
1Sylviane Granger
1Sébastien Adam
1Véronique Cortier
1Y. Boichut
1Y. Chevalier

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/AffPays.i -k "Suisse" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/AffPays.i  \
                -Sk "Suisse" \
         | 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=    AffPays.i
   |clé=    Suisse
}}
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