HalTutelle.i
Curation
Hal
Racine
Curation
Checkpoint
Hal
Racine
Hal
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur Pittsburgh - Curation (Hal)

Index « HalTutelle.i » - entrée « Research at Google »
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.
Research & Training Building, < Research at Google < Rheinisch-Westfälische Technische Hochschule Aachen  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 3.
Ident.Authors (with country if any)Title
000290 (2017-09) Julian Biendarra [Allemagne] ; Jasmin Blanchette [Allemagne] ; Aymeric Bouzy [France] ; Martin Desharnais [Allemagne] ; Mathias Fleury [Allemagne] ; Johannes Hölzl [États-Unis] ; Ond Ej Kun Ar [Allemagne] ; Andreas Lochbihler [Suisse] ; Fabian Meier [Suisse] ; Lorenz Panny [Pays-Bas] ; Andrei Popescu [Roumanie] ; Christian Sternagel [Autriche] ; René Thiemann [Autriche] ; Dmitriy Traytel [Suisse]Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic
000476 (2017-04) Anh Pham [Suisse] ; Italo Dacosta [Suisse] ; Bastien Jacot-Guillarmod [Suisse] ; Kévin Huguenin [Suisse] ; Taha Hajar [Suisse] ; Florian Tramèr [États-Unis] ; Virgil Gligor [États-Unis] ; Jean-Pierre Hubaux [Suisse]PrivateRide: A Privacy-Enhanced Ride-Hailing Service
000733 (2013-05-13) Amr Ahmed [États-Unis] ; Nino Shervashidze [France] ; Shravan Narayanamurthy [Inde] ; Vanja Josifovski [États-Unis] ; Alexander J. Smola [États-Unis]Distributed Large-scale Natural Graph Factorization

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Amérique/explor/PittsburghV1/Data/Hal/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/HalTutelle.i -k "Research at Google" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/HalTutelle.i  \
                -Sk "Research at Google" \
         | 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/Amérique
   |area=    PittsburghV1
   |flux=    Hal
   |étape=   Curation
   |type=    indexItem
   |index=    HalTutelle.i
   |clé=    Research at Google
}}
Wicri

This area was generated with Dilib version V0.6.38.
Data generation: Fri Jun 18 17:37:45 2021. Site generation: Fri Jun 18 18:15:47 2021