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

Index « Pays » - entrée « Australie »
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.
Argentine < Australie < Autriche  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 53.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
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
000336 (2008) Richard Brent [Australie] ; Paul Zimmermann [France]A Multi-level Blocking Distinct Degree Factorization Algorithm
000505 (2010-03-15) Peter Eklund [Australie] ; Jean Villerd [France]A Survey of Hybrid Representation of Concept Lattices in Conceptual Knowledge Processing
000B20 (2013-08-03) Samuel Nicol [Australie] ; Olivier Buffet [France] ; Takuya Iwamura [États-Unis] ; Iadine Chadès [Australie]Adaptive Management of Migratory Birds Under Sea Level Rise
000C21 (2001) Guillaume Hanrot [France] ; Natarajan Saradha [Australie] ; Tarlok Shorey [Australie]Almost perfect powers in consecutive integers
000C70 (2007) Farhad Daneshgar [Australie] ; Gérôme Canals [France] ; Alicia Diaz [Argentine]An Awareness Framework for Divergence Knowledge Communities.
000D24 (2010-07-19) Richard Brent [Australie] ; Paul Zimmermann [France]An O(M(n) log n) algorithm for the Jacobi symbol
001208 (2015-08) Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne]Beagle – A Hierarchic Superposition Prover
001238 (2010) Ingo Weber [Australie] ; Joerg Hoffmann [France] ; Jan Mendling [Allemagne]Beyond Soundness: On the Verification of Semantic Business Process Models
001897 (2006-02-13) Ustun Yildiz [France] ; Olivera Marjanovic [Australie] ; Claude Godart [France]Contract-Driven Cross-Organizational Business Processes
001A53 (2008-10-24) Nawal Guermouche [France] ; Boualem Benatallah [Australie] ; Claude Godart [France]Data Messaging Based Approach For Web Service Composition
001E84 (2014-06) Francois Petitjean [Australie] ; Jonathan Weber [France]Efficient Satellite Image Time Series Analysis Under Time Warping
002103 (2013) Jaber Al Yamani [Australie] ; Farid Boussaid [Australie] ; Amine Bermak ; Dominique Martinez [France]Experimental evaluation of latency coding for gas recognition
002218 (2012) Shi Bai [Australie] ; Emmanuel Thomé [France] ; Paul Zimmermann [France]Factorisation of RSA-704 with CADO-NFS
002254 (2008-05) Richard Brent [Australie] ; Pierrick Gaudry [France] ; Emmanuel Thomé [France] ; Paul Zimmermann [France]Faster Multiplication in GF(2)[x]
002315 (2014-07) Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne]Finite Quantification in Hierarchic Theorem Proving
002637 (2012-01-03) Jaber Al Yamani [Australie] ; Farid Boussaid [Australie] ; Amine Bermak [Hong Kong] ; Dominique Martinez [France]Glomerular latency coding in artificial olfaction
002772 (2013-06-09) Peter Baumgartner [Australie] ; Uwe Waldmann [France]Hierarchic Superposition With Weak Abstraction
002773 (2013-12-11) Peter Baumgartner [Australie] ; Uwe Waldmann [Allemagne]Hierarchic Superposition: Completeness without Compactness
002865 (2012-11-21) Sonja Kabicher-Fuchs [Autriche] ; Stefanie Rinderle-Ma [Autriche] ; Jan Recker [Australie] ; Marta Indulska [Australie] ; Francois Charoy [France] ; Rob Christiaanse [Pays-Bas] ; Reinhold Dunkl [Autriche] ; Gregor Grambow [Allemagne] ; Jens Kolb [Allemagne] ; Henrik Leopold [Allemagne] ; Jan Mendling [Autriche]Human-Centric Process-Aware Information Systems (HC-PAIS)
002B31 (2006) Olivera Marjanovic [Australie] ; Hala Skaf-Molli [France] ; Pascal Molli [France] ; Claude Godart [France]Innovative Learning Designs Enabled by Process-Driven Collaborative Editing

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 "Australie" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/AffPays.i  \
                -Sk "Australie" \
         | 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é=    Australie
}}

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