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

Index « Pays » - entrée « États-Unis »
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.
Viêt Nam < États-Unis  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 108.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000005 (2014) Henri Casanova [États-Unis] ; Arnaud Giersch [France] ; Arnaud Legrand [France] ; Martin Quinson [France] ; Frédéric Suter [France]Versatile, scalable, and accurate simulation of distributed applications and platforms
000008 (2014) Thai V. Hoang [France] ; Elisa H. Barney Smith [États-Unis] ; Salvatore Tabbone [France]Sparsity-based edge noise removal from bilevel graphical document images
000015 (2014) Antoine Liutkus [France] ; Derry Fitzgerald [Irlande (pays)] ; Zafar Rafii [États-Unis] ; Bryan Pardo [États-Unis] ; Laurent Daudet [France]Kernel Additive Models for Source Separation
000029 (2013) Raphael Fonteneau [Belgique] ; Susan A. Murphy [États-Unis] ; Louis Wehenkel [Belgique] ; Damien Ernst [Belgique]Strategies d'échantillonnage pour l'apprentissage par renforcement batch
000047 (2013) Robin Strand [Suède] ; Krzysztof Chris Ciesielski [États-Unis] ; Filip Malmberg [Suède] ; Punam K. Saha [États-Unis]The minimum barrier distance
000053 (2013) Pavel Naumov [États-Unis] ; Brittany Nicholls [États-Unis]On interchangeability of Nash equilibria in multi-player strategic games
000062 (2013) Wesley H. Holliday [États-Unis] ; Tomohiro Hoshi [États-Unis] ; Thomas F. Iii Icard [États-Unis]Information dynamics and uniform substitution
000133 (2011) Bart Lamiroy [France] ; Daniel Lopresti [États-Unis] ; Hank Korth [États-Unis] ; Jeff Heflin [États-Unis]How Carefully Designed Open Resource Sharing Can Help and Expand Document Analysis Research
000134 (2011) S. Chevillard [France] ; J. Harrison [États-Unis] ; M. Joldes [France] ; Ch. Lauter [France]Efficient and accurate computation of upper bounds of approximation errors
000138 (2011) Christopher Lynch [États-Unis] ; Silvio Ranise [Italie] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [Namibie]Automatic decidability and combinability
000242 (2009) Philip Feinsilver [États-Unis] ; René Schott [France]Finite-dimensional calculus
000272 (2008) René Schott [France] ; George Stacey Staples [États-Unis]Nilpotent adjacency matrices, random graphs and quantum random variables
000275 (2008) Hervé Brönnimann [États-Unis] ; Olivier Devillers [France] ; Vida Dujmovic [Canada] ; Hazel Everett [France] ; Marc Glisse [France] ; Xavier Goaoc [France] ; Sylvain Lazard [France] ; Hyeon-Suk Na [Corée du Sud] ; Sue Whitesides [Canada]LINES AND FREE LINE SEGMENTS TANGENT TO ARBITRARY THREE-DIMENSIONAL CONVEX POLYHEDRA
000342 (2006) Olivier Chevassut [États-Unis] ; Pierre-Alain Fouque [France] ; Pierrick Gaudry [France] ; David Pointcheval [France]The Twist-AUgmented Technique for Key Exchange
000379 (2006) Martin Abadi [États-Unis] ; Mathieu Baudet [France] ; Bogdan Warinschi [France]Guessing attacks and the computational soundness of static equivalence
000395 (2006) TING ZHANG [États-Unis] ; Henny B. Sipma [États-Unis] ; Zohar Manna [États-Unis]Decision procedures for term algebras with integer constraints
000396 (2006) Manin Abadi [États-Unis] ; Véronique Cortier [France]Deciding knowledge in security protocols under equational thoories
000402 (2006) Michael Backes [Allemagne] ; Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Mathieu Turuani [France]Compositional analysis of contract-signing protocols
000407 (2006) JIA MENG [États-Unis] ; Claire Quigley [États-Unis] ; Lawrence C. Paulson [États-Unis]Automation for interactive proof : First prototype
000417 (2006) Franz Baader [Allemagne] ; Silvio Ghilardi [Italie] ; Cesare Tinelli [États-Unis]A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
000424 (2006) Paul Zimmermann [France] ; Bruce Dodson [États-Unis]20 Years of ECM

List of associated Author.i

Nombre de
documents
Descripteur
4M. Hermann
4Mathieu Turuani
4P. G. Kolaitis
4R. Schott
3B. Dodson
3B. Murphy
3Cesare Tinelli
3Christophe Ringeissen
3H. Te Riele
3M. Afify
3Michael Rusinowitch
3P. Feinsilver
3P. L. Montgomery
3P. Leyland
3P. Zimmermann
3Paliath Narendran
3René Schott
3S. Cavallar
3Siva Anantharaman
3W. Lioen
3Y. Gong
2A. Bouhoula
2A. Lenstra
2A. Reboul
2Alexander Bockmayr
2Ante Derek
2Anupam Datta
2Bogdan Warinschi
2Calogero G. Zarba
2Christophe Cerisara
2D. Leivant
2E. Fleury
2Ernst Althaus
2I. Illina
2J. Meseguer
2J.-P. Jouannaud
2J.-Y. Marion
2Jean-Claude Junqua
2Jean-Paul Haton
2John C. Mitchell
2L. Vigneron
2Luca Rigazio
2M. Rusinowitch
2Martin Abadi
2Michaël Rusinowitch
2P. Narendran
2Ralf Küsters
2Silvio Ranise
2Sue Whitesides
2Sylvain Lazard
2Véronique Cortier
2Yannick Chevalier
1A. Berque
1A. Bockmayr
1A. Durand
1A. Felty
1A. K. Lenstra
1A. Leobon
1A. Muffett
1A. S. Schulz
1A. Tiwari
1A. Wasilewska
1Airy Weinzoepflen
1Alexander Gruenstein
1Alexander Keller
1Allison L. Coates
1Amit Roy
1Antoine Liutkus
1Arantza Casillas
1Arben Shtuka
1Arnaud Giersch
1Arnaud Legrand
1B. Chetali
1B. E. D. Kingsbury
1B. Fortier
1B. Haumont
1B. Heyd
1B. L. Pellom
1B. Lassus
1B. Simonnot
1Bart Lamiroy
1Brittany Nicholls
1Bruce Dodson
1Bruno Levy
1Bryan Pardo
1C. Lynch
1C. Pollett
1C. Putman
1C. Putnam
1C. Scharff
1C.-H. Lee
1Ch. Lauter
1Christopher Lynch
1Christos H. Papadimitriou
1Claire Quigley
1Claude Kirchner
1D. A. Plaisted
1D. Miller
1Damien Ernst
1Daniel Leivant

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

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