Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (Hal)

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.
Émirats arabes unis < États-Unis  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 385.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000005 (2012-08-27) Denis Cousineau [France] ; Damien Doligez [France] ; Leslie Lamport [France] ; Stephan Merz [France] ; Daniel Ricketts [États-Unis] ; Hernán Vanzetto [France]TLA+ Proofs
000006 (2012-07) Denis Cousineau [France] ; Damien Doligez [France] ; Leslie Lamport [France] ; Stephan Merz [France] ; Daniel Ricketts [États-Unis] ; Hernán Vanzetto [France]TLA+ Proofs
000021 (1995) J.-C. Anigbogu [États-Unis] ; Abdel Belaïd [France]Hidden Markov models in text recognition
000023 (2014-06) Antoine Liutkus [France] ; Derry Fitzgerald [Irlande (pays)] ; Zafar Rafii [États-Unis] ; Bryan Pardo [États-Unis] ; Laurent Daudet [France]Kernel Additive Models for Source Separation
000081 (2007-10-29) Nicolas Padoy [France] ; Tobias Blum [Allemagne] ; Irfan Essa [États-Unis] ; Hubertus Feussner [Allemagne] ; Marie-Odile Berger [France] ; Nassir Navab [Allemagne]A Boosted Segmentation Method for Surgical Workflow Analysis
000116 (2007-07-05) Tchimou N'Takpé [France] ; Frédéric Suter [France] ; Henri Casanova [États-Unis]A Comparison of Scheduling Approaches for Mixed-Parallel Applications on Heterogeneous Platforms
000144 (2012-06-18) Walid Taha [Suède] ; Paul Brauner [France] ; Yingfu Zeng ; Robert Cartwright [États-Unis] ; Veronica Gaspes [Suède] ; Aaron Ames [États-Unis] ; Alexandre Chapoutot [France]A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)
000172 (2010-04-19) Louis-Claude Canon [France] ; Emmanuel Jeannot [France] ; Jon Weissman [États-Unis]A Dynamic Approach for Characterizing Collusion in Desktop Grids
000245 (2012) Thorsten Kleinjung [Suisse] ; Joppe Bos [Suisse] ; Arjen Lenstra [Suisse] ; Dag Arne Osvik [Suisse] ; Kazumaro Aoki [Japon] ; Scott Contini [Australie] ; Jens Franke [Allemagne] ; Emmanuel Thomé [France] ; Pascal Jermini [Suisse] ; Michela Thiémard [Suisse] ; Paul Leyland [États-Unis] ; Peter Montgomery [États-Unis] ; Andrey Timofeev [Pays-Bas] ; Heinz Stockinger [Suisse]A Heterogeneous Computing Environment to Solve the 768-bit RSA Challenge
000368 (2008-09-25) David Bremner [Canada] ; Jonathan Lenchner [États-Unis] ; Giuseppe Liotta [Italie] ; Christophe Paul [France] ; Marc Pouget [France] ; Svetlana Stolpner [Canada] ; Stephen Wismath [États-Unis]A Note on α-Drawable k-Trees
000381 (2015-12-23) Guillaume Bosc [France] ; Philip Tan [États-Unis] ; Jean-François Boulicaut [France] ; Chedy Raïssi [France] ; Mehdi Kaytoue [France]A Pattern Mining Approach to Study Strategy Balance in RTS Games
000389 (2010-10-26) Bart Lamiroy [France] ; Daniel Lopresti [États-Unis]A Platform for Storing, Visualizing, and Interpreting Collections of Noisy Documents
000422 (2011-09-17) Jin Chen [États-Unis] ; Daniel Lopresti [États-Unis] ; Bart Lamiroy [France]A Real-World Noisy Unstructured Handwritten Notebook Corpus for Document Image Analysis Research
000477 (2010-04-01) Xuesong Lu [Singapour] ; Tok Wee Hyong [États-Unis] ; Chedy Raïssi [France] ; Stéphane Bressan [Singapour]A Simple, Yet Effective and Efficient, Sliding Window Sampling Algorithm
000507 (2010) Ares Lagae [Belgique] ; Sylvain Lefebvre [France] ; Rob Cook [États-Unis] ; Tony Derose [États-Unis] ; George Drettakis [France] ; David S. Ebert [États-Unis] ; J. P. Lewis [Nouvelle-Zélande] ; Ken Perlin [États-Unis] ; Matthias Zwicker [Suisse]A Survey of Procedural Noise Functions
000587 (2014-09-05) Jonathan Le Roux [États-Unis] ; Emmanuel Vincent [France]A categorization of robust speech processing datasets
000588 (2001) Nicolas P. Rougier [États-Unis] ; Frédéric Alexandre [France]A cerebral framework for integrating biologically plausible mechanisms in large connectionist models
000590 (2000) Daniel Leivant [États-Unis] ; Jean-Yves Marion [France]A characterization of alternating log time by ramified recurrence
000595 (2007-11-05) Jérôme François [France] ; Adel El-Atawy [États-Unis] ; Ehab Al Shaer [États-Unis] ; Raouf Boutaba [Canada]A collaborative approach for proactive detection of distributed denial of service attacks
000619 (2009-01-07) Luciana Benotti [France] ; David Traum [États-Unis]A computational account of comparative implicatures for a spoken dialogue agent
000632 (2012) Laurent Bienvenu [France] ; Adam Day [États-Unis] ; Mathieu Hoyrup [France] ; Ilya Mezhirov [Allemagne] ; Alexander Shen [France]A constructive version of Birkhoff's ergodic theorem for Martin-Lof random points

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/AffPays.i -k "États-Unis" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/AffPays.i  \
                -Sk "États-Unis" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd 

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

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