function < functional < functionalevaluation

Facettes : Author.f AffPays.f AffOrg.f AffRegion.f AffVille.f

List of bibliographic references

Number of relevant bibliographic references: 150.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000035 (2013)	Hyun-Su Lee [États-Unis] ; Stanley J. Stachelek [États-Unis] ; Nancy Tomczyk [États-Unis] ; Matthew J. Finley [États-Unis] ; Russell J. Composto [États-Unis] ; David M. Eckmann [États-Unis]	Correlating macrophage morphology and cytokine production resulting from biomaterial contact
000101 (1997)	U. Franz [France] ; D. Neuenschwander [Allemagne] ; R. Schott [France, Suisse]	Gauss laws in the sense of Bernstein and uniqueness of embedding into convolution semigroups on quantum groups and braided groups
000132 (1994)	Pieter H. Hartel [Pays-Bas] ; Hugh Glaser [Royaume-Uni] ; John M. Wild [Royaume-Uni]	Compilation of functional languages using flow graph analysis
000142 (2005)	Imad Tawfiq [France] ; Tuong Vinh [France] ; Jean-Baptiste Casimir [France]	Sur l'analyse modale expérimentale des structures non-linéaires
000177 (2005)	P. Labéguerie [France] ; F. Pascale [France] ; M. Mérawa [France] ; C. Zicovich-Wilson [Mexique] ; N. Makhouki [France] ; R. Dovesi [Italie]	Phonon vibrational frequencies and elastic propertiesof solid SrFCl. An ab initio study
000193 (2001)	Philippe De Groote [France]	Strong Normalization of Classical Natural Deduction with Disjunction
000198 (2004)	Roberto M. Amadio [France] ; Solange Coupet-Grimal [France] ; Silvano Dal Zilio [France] ; Line Jakubiec [France]	A Functional Scenario for Bytecode Verification of Resource Bounds
000204 (2006)	Sen Zhang [République populaire de Chine] ; Yves Laprie [France]	The Implementation of Service Enabling with Spoken Language of a Multi-modal System Ozone
000211 (1988)	Jacques Jaray [France]	Timed specifications for the development of real-time systems
000218 (1989)	Tobias Nipkow [Royaume-Uni]	Term rewriting and beyond — theorem proving in Isabelle
000244 (2010)	Dominique Méry [France] ; Neeraj Kumar Singh [France]	Real-Time Animation for Formal Specification
000263 (1997)	Miki Hermann [France] ; Roman Galbav [France]	Unification of infinite sets of terms schematized by primal grammars
000282 (2007)	Walid Gaaloul [Irlande (pays)] ; Mohsen Rouached [France] ; Claude Godart [France] ; Manfred Hauswirth [Irlande (pays)]	Verifying Composite Service Transactional Behavior Using Event Calculus
000321 (2007)	Arthur M. Doweyko [États-Unis]	Steroid nuclear hormone receptors: The allosteric conversation
000345 (2004)	Nancy S. Redeker [États-Unis] ; Jeanne Ruggiero [États-Unis] ; Christine Hedges [États-Unis]	Patterns and predictors of sleep pattern disturbance after cardiac surgery
000381 (2007)	Abdelkader Lahmadi [France] ; Anca Ghitescu [France] ; Laurent Andrey [France] ; Olivier Festor [France]	On the Impact of Management Instrumentation Models on Web Server Performance: A JMX Case Study
000384 (2010)	Javier Álvez [Espagne] ; Francisco J. L Pez-Fraguas [Espagne]	A Complete Axiomatization of Strict Equality
000397 (1995)	Michaël Rusinowitch [France] ; Laurent Vigneron [France]	Automated deduction with associative-commutative operators
000483 (1993)	Régis Curien [France]	Second order E-matching as a tool for automated theorem proving
000513 (1989)	Hassan Ait-Kaci [États-Unis] ; Roger Nasr [États-Unis]	Integrating logic and functional programming
000538 (2002)	Petra Hofstedt [Allemagne]	A General Approach for Building Constraint Languages

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i -k "functional" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i  \
                -Sk "functional" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    functional
}}

---

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