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 « Université Côte d'Azur »
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.
Université Claude Bernard Lyon 1 < Université Côte d'Azur < Université Grenoble Alpes  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 10.
Ident.Authors (with country if any)Title
000274 (2009-09-23) Frédéric Giroire [France] ; Jaideep Chandrashekar [États-Unis] ; Nina Taft [États-Unis] ; Eve Schooler [États-Unis] ; Konstantina Papagiannaki [États-Unis]Exploiting Temporal Persistence to Detect Covert Botnet Channels
000324 (2013) Peter Aczel [Royaume-Uni] ; Benedikt Ahrens [France] ; Thorsten Altenkirch [Royaume-Uni] ; Steve Awodey [États-Unis] ; Bruno Barras [France] ; Andrej Bauer [Slovénie] ; Yves Bertot [France] ; Marc Bezem [États-Unis] ; Thierry Coquand [Suède] ; Eric Finster [France] ; Daniel Grayson [États-Unis] ; Hugo Herbelin [France] ; André Joyal [États-Unis] ; Dan Licata [États-Unis] ; Peter Lumsdaine [Suède] ; Assia Mahboubi [France] ; Per Martin-Löf [Canada] ; Sergey Melikhov [France] ; Alvaro Pelayo [États-Unis] ; Andrew Polonsky [États-Unis] ; Michael Shulman [États-Unis] ; Matthieu Sozeau [France] ; Bas Spitters [Pays-Bas] ; Benno Van Den Berg [Pays-Bas] ; Vladimir Voevodsky [États-Unis] ; Michael Warren [États-Unis] ; Carlo Angiuli [États-Unis] ; Anthony Bordg [République tchèque] ; Guillaume Brunerie [France] ; Chris Kapulkin [Canada] ; Egbert Rijke [États-Unis] ; Kristina Sojakova [États-Unis] ; Jeremy Avigad [États-Unis] ; Cyril Cohen [Suède] ; Robert Constable [États-Unis] ; Pierre-Louis Curien [France] ; Peter Dybjer [Suède] ; Martín Escard [Royaume-Uni] ; Kuen-Bang Hou [États-Unis] ; Nicola Gambino [Royaume-Uni] ; Richard Garner [Royaume-Uni] ; Georges Gonthier [France] ; Thomas Hales [États-Unis] ; Robert Harper [États-Unis] ; Martin Hofmann [Allemagne] ; Pieter Hofstra [Canada] ; Joachim Koch [Allemagne] ; Nicolai Kraus [Royaume-Uni] ; Nuo Li [États-Unis] ; Zhaohui Luo [Royaume-Uni] ; Michael Nahas [États-Unis] ; Erik Palmgren ; Emily Riehl [Suède] ; Dana Scott [États-Unis] ; Philip Scott [Canada] ; Sergei Soloviev [France]Homotopy Type Theory: Univalent Foundations of Mathematics
000337 (2012) Pascal Benchimol [Canada] ; Willem-Jan Van Hoeve [États-Unis] ; Jean-Charles Régin [France] ; Louis-Martin Rousseau [Canada] ; Michel Rueher [France]Improved filtering for weighted circuit constraints
000379 (2014-05-23) Jodi Schneider [France] ; Carol Collins [États-Unis] ; Lisa E. Hines [France] ; John R. Horn [États-Unis] ; Richard Boyce [États-Unis]Modeling Arguments in Scientific Papers to Support Pharmacists
000421 (2014-12-03) Sabina Zejnilovic [États-Unis] ; Dieter Mitsche [France] ; Joao Gomes [Portugal] ; Bruno Sinopoli [États-Unis]ON A GENERALIZED METRIC DIMENSION WITH PARTIALLY KNOWN GRAPH TOPOLOGY
000528 (2005-03-28) Shih-Chun Chou [Taïwan] ; Wen-Tai Hsieh [Taïwan] ; Fabien Gandon [France] ; Norman Sadeh [États-Unis]Semantic Web Technologies for Context-Aware Museum Tour Guide Applications
000529 (2003-12) Fabien Gandon [France] ; Norman Sadeh [États-Unis]Semantic web technologies to reconcile privacy and context awareness
000650 (2014-10-06) Mathias Brochhausen [États-Unis] ; Jodi Schneider [France] ; Malone Daniel [États-Unis] ; Philip E. Empey [États-Unis] ; William R. Hogan [États-Unis] ; Richard D. Boyce [États-Unis]Towards a foundational representation of potential drug-drug interaction knowledge
000678 (2014-10-19) Jodi Schneider [France] ; Paolo Ciccarese [États-Unis] ; Tim Clark [États-Unis] ; Richard D. Boyce [États-Unis]Using the Micropublications ontology and the Open Annotation Data Model to represent evidence within a drug-drug interaction knowledge base
000679 (2016-10-01) G. Weigelt [Allemagne] ; K. H. Hofmann [Allemagne] ; D. Schertl [Allemagne] ; N. Clementel ; M. F. Corcoran ; A. Damineli ; W. J. De Wit ; R. Grellmann ; J. Groh ; S. Guieu [France] ; T. Gull ; M. Heininger [Allemagne] ; D. J. Hillier [États-Unis] ; C. A. Hummel [Allemagne] ; S. Kraus ; T. Madura ; A. Mehner ; A. Mérand [Allemagne] ; F. Millour [France] ; A. F. J. Moffat ; K. Ohnaka [Allemagne] ; F. Patru [Italie] ; R. G. Petrov [France] ; S. Rengaswamy ; N. D. Richardson [États-Unis] ; T. Rivinius [Allemagne] ; M. Scholler [France] ; M. Teodoro ; M. Wittkowski [Allemagne]VLTI-AMBER velocity-resolved aperture-synthesis imaging of Eta Carinae with a spectral resolution of 12000. Studies of the primary star wind and innermost wind-wind collision

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 "Université Côte d'Azur" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/HalTutelle.i  \
                -Sk "Université Côte d'Azur" \
         | 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é=    Université Côte d'Azur
}}
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