Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

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.
interpretability < interpretation < interpretations  Facettes :

List of bibliographic references indexed by interpretation

Number of relevant bibliographic references: 66.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000198 (2015-12-11) Sylvain Pogodalla [France]Functional Approach to Tree-Adjoining Grammars and Semantic Interpretation: an Abstract Categorial Grammar Account
000662 (2015-01-01) Marco Gaboardi [France] ; Romain Péchoux [France]On Bounding Space Usage of Streams Using Interpretation Analysis
000A36 (2014-07-17) Ji Maršík [France] ; Maxime Amblard [France]Algebraic Effects and Handlers in Natural Language Interpretation
000B41 (2014-05-31) Bart Lamiroy [France] ; Jean-Marc Ogier [France]Analysis and Interpretation of Graphical Documents
000F13 (2013-12-03) Bart Lamiroy [France]On the Limits of Machine Perception and Interpretation
000F38 (2013-11-13) Jérome Cantenot [France]Strategy for test generation from UML/OCL models with a first order logic and constraints system solvers for model interpretation
001069 (2013-08-20) Bart Lamiroy [France]Interpretation, Evaluation and the Semantic Gap ... What if we Were on a Side-Track?
001599 (2013) Takahito Aoto [Japon]Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering
001916 (2012-10-04) Emmanuel Bresso [France] ; Renaud Grisoni [France] ; Marie-Dominique Devignes [France] ; Amedeo Napoli [France] ; Malika Smail-Tabbone [France]Formal Concept Analysis for the Interpretation of Relational Learning applied on 3D Protein-Binding Sites
002300 (2011-06-18) François Lamarche [France]A new homotopy-theoretic interpretation of Martin-Löf's identity type.
002806 (2011) Gaetano Mangiapia [Italie] ; Gerardino D'Errico [Italie] ; Fabio Capuano [Italie] ; Ornella Ortona [Italie] ; Richard K. Heenan [Royaume-Uni] ; Luigi Paduano [Italie] ; Roberto Sartorio [Italie]On the interpretation of transport properties of sodium cholate and sodium deoxycholate in binary and ternary aqueous mixtures
002835 (2011) Dominique Méry [France] ; Neeraj Kumar Singh [France]Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods
002901 (2010-12-15) 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
003064 (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
003067 (2010) Pierre Courtieu [France] ; Gladys Gbedo [France] ; Olivier Pons [France]Improved Matrix Interpretation
003A30 (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
004544 (2008) Daniel Reynaud [France] ; Jean-Yves Marion [France]Obfuscation by Interpretation
004654 (2007-11-14) Romain Pechoux [France]Program complexity analysis by semantics interpretation
004731 (2007-09-22) Guillaume Bonfante [France] ; Jean-Yves Marion [France] ; Romain Péchoux [France]Quasi-interpretation Synthesis by Decomposition : An application to higher-order programs
004B93 (2007) Guillaume Bonfante [France] ; Jean-Yves Marion [France] ; Romain Péchoux [France]Quasi-interpretation Synthesis by Decomposition
005397 (2006) Jean-Yves Marion [France] ; Romain Péchoux [France]Resource Analysis by Sup-interpretation

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "interpretation" 

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |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