Titre (en)
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Istex)

Index « Titre (en) » - entrée « interpretation »
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.
interpolation < interpretation < interpretations  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 15.
Ident.Authors (with country if any)Title
000225 (2013) Takahito Aoto [Japon]Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering
000826 (2010) Hugo Férée [France] ; Emmanuel Hainry [France] ; Mathieu Hoyrup [France] ; Romain Péchoux [France]Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity
000829 (2010) Pierre Courtieu [France] ; Gladys Gbedo [France] ; Olivier Pons [France]Improved Matrix Interpretation
000B38 (2009) Steffen Van Bakel [Royaume-Uni] ; Maria Grazia Vigliotti [Royaume-Uni]A Logical Interpretation of the λ -Calculus into the π -Calculus, Preserving Spine Reduction and Types
000F78 (2007) Guillaume Bonfante [France] ; Jean-Yves Marion [France] ; Romain Péchoux [France]Quasi-interpretation Synthesis by Decomposition
001250 (2006) Jean-Yves Marion [France] ; Romain Péchoux [France]Resource Analysis by Sup-interpretation
001489 (2005) Sabine Bouguet-Bonnet [France] ; Pierre Mutzenhardt [France] ; Christian Roumestand [France] ; Daniel Canet [France]The concept of effective correlation times for describing backbone motions in proteins. Part II. Tentative interpretation of the residue‐specific correlation time in terms of overall rotation‐diffusion
001823 (2004) Eric Clavier [France] ; Gérald Masini [France] ; Mathieu Delalandre [France] ; Maurizio Rigamonti [Suisse] ; Karl Tombre [France] ; Joël Gardes [France]DocMining: A Cooperative Platform for Heterogeneous Document Interpretation According to User-Defined Scenarios
001E81 (2001) Xavier Pouteau [Pays-Bas]Interpretation of Gestures and Speech: A Practical Approach to Multimodal Communication
002415 (1999) G. Bonfante [France] ; A. Cichon [France] ; J. Y. Marion [France] ; H. Touzet [France]Complexity Classes and Rewrite Systems with Polynomial Interpretation
002984 (1996) P. Feinsilver ; J. Mcsorley ; R. Schott [France]Combinatorial Interpretation and Operator Calculus of Lommel Polynomials
002D05 (1994) A. Faraj [France]Interpretation Tools For Generalized Discriminant Analysis
002E15 (1993) H. Zantema [Pays-Bas]Termination of term rewriting by interpretation
003318 (1989) Nancy Council Maguire [États-Unis]Variations in interpretation of gynecologic cytology photomicrographs
003554 (1987) Lorraine Dittrich Eyde [États-Unis] ; Dennis M. Kowal [États-Unis]Computerised Test Interpretation Services: Ethical and Professional Concerns Regarding U.S. Producers and Users

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i -k "interpretation" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "interpretation" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    interpretation
}}
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