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

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

List of bibliographic references

Number of relevant bibliographic references: 16.
Ident.Authors (with country if any)Title
000584 (2011) Michael Stollberg [Irlande (pays)] ; Joerg Hoffmann [France] ; Dieter Fensel [Autriche]A caching technique for optimizing automated service discovery
000E16 (2014-09-14) Emmanuel Vincent [France] ; Aggelos Gkiokas [Grèce] ; Dominik Schnitzer [Autriche] ; Arthur Flexer [Autriche]An investigation of likelihood normalization for robust ASR
001191 (2006) Johann Eder [Autriche] ; Schahram Dustdar [Autriche] ; Tom Davenport ; Selma L. Mansar ; Hajo Reijers ; Michael Rosemann ; Ton Weijters [Pays-Bas] ; Malu Castellanos ; Domenico Sacca ; Nacer Boudjlida [France] ; Hervé Panetto [France]BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Springer Verlag, Lecture Notes in Computer Science, September, LNCS 4103
001A37 (2014-11-30) Manu J. Dubin ; Pei Zhang [République populaire de Chine] ; Dazhe Meng [République populaire de Chine] ; Marie-Stanislas Remigereau ; Edward J. Osborne ; Francesco Paolo Casale ; Philipp Drewe ; André Kahles ; Géraldine Jean [France] ; Bjarni Vilhjálmsson ; Joanna Jagoda ; Selen Irez ; Viktor Voronin [Autriche] ; Qiang Song [Canada] ; Quan Long [France] ; Gunnar R Tsch ; Oliver Stegle ; Richard M. Clark [États-Unis] ; Magnus NordborgDNA methylation in Arabidopsis has a genetic basis and shows evidence of local adaptation.
002390 (2013-06) Bernadette Charron-Bost [France] ; Stephan Merz [France] ; Andrey Rybalchenko [Allemagne] ; Josef Widder [Autriche]Formal Verification of Distributed Algorithms
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)
002942 (2014-07-09) Antoine Liutkus [France] ; David Martina [France] ; Sébastien Popoff [France] ; Gilles Chardon [Autriche] ; Ori Katz [France] ; Geoffroy Lerosey [France] ; Sylvain Gigan [France] ; Laurent Daudet [France] ; Igor Carron [États-Unis]Imaging With Nature: Compressive Imaging Using a Multiply Scattering Medium
002959 (2014-09-06) Thanh Phuong Nguyen [France] ; Antoine Manzanera [France] ; Walter G. Kropatsch [Autriche]Impact of topology-related attributes from Local Binary Patterns on texture classification
003206 (2014-06-16) Ngoc Chan Nguyen [France] ; Karn Yongsiriwit [France] ; Walid Gaaloul [France] ; Jan Mendling [Autriche]Mining Event Logs to Assist the Development of Executable Process Variants
003627 (2013) Guillaume Melquiond [France] ; W. Georg Nowak [Autriche] ; Paul Zimmermann [France]Numerical Approximation of the Masser-Gramain Constant to Four Decimal Digits: delta=1.819...
003649 (2015-01-08) Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France]Observation-Level-Driven Formal Modeling
003679 (2012-12-17) Fdhila Walid [Autriche] ; Rinderle-Ma Stefanie [Autriche] ; Aymen Baouab [France] ; Olivier Perrin [France] ; Claude Godart [France]On Evolving Partitioned Web Service Orchestrations
004057 (2016) Atif Mashkoor [Autriche] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France]Refinement-based Validation of Event-B Specifications
004981 (2010-07-16) Tsvetan Dunchev [Autriche] ; Alexander Leitsch [Autriche] ; Tomer Libal [Autriche] ; Daniel Weller [Autriche] ; Bruno Woltzenlogel Paleo [France]System Description: The Proof Transformation System CERES
005224 (2016) Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France]Validation of Formal Specifications through Transformation and Animation
006C71 (2011-03-04) Maria Alduan ; Federico Alvarez ; Jan Bouwen [Autriche] ; Gonzalo Camarillo ; Pablo Cesar [Pays-Bas] ; Pedros Daras ; Olivier Festor [France] ; Ebroul Izquierdo ; Nikos Laoutaris ; Amar-Djalil Mezaour [France] ; Paul Moore ; Giovanni Pau ; George Pavlou [Royaume-Uni] ; Tomas Piatrik ; Sergios Soursos ; Thomas Steiner ; Christian Timmerer [Autriche] ; Thanasis Tsiodras ; Theodore ZahariadisFuture Media Internet Architecture Reference Model (v1.0)

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

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