functionnality < functions < functor

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000046 (2013)	Ta Minh Thuy [France] ; Le Thi Hoai An [France] ; Lydia Boudjeloud-Assala [France]	Clustering Data Streams over Sliding Windows by DCA
000058 (1990)	Siva Anantharaman [France] ; Jieh Hsiang [République populaire de Chine, États-Unis]	Automated proofs of the moufang identities in alternative rings
000074 (2005)	Franz Baader [Allemagne] ; Andrei Voronkov [Royaume-Uni]	Ordered Resolution with Selection for $\mathcal{H}(@)$
000086 (2006)	Damien Stehlé [France, Australie]	On the Randomness of Bits Generated by Sufficiently Smooth Functions
000091 (2013)	Slava Rom [États-Unis] ; Yuri Persidsky [États-Unis]	Cannabinoid Receptor 2: Potential Role in Immunomodulation and Neuroinflammation
000102 (2005)	Yann Guermeur [France] ; André Elisseeff [Allemagne] ; Dominique Zelus [Argentine]	A comparative study of multi‐class support vector machines in the unifying framework of large margin classifiers
000113 (1994)	Philip Feinsilver [États-Unis] ; René Schott [France]	Introduction
000120 (2007)	Jean-Yves Marion [France]	Predicative Analysis of Feasibility and Diagonalization
000142 (2005)	Imad Tawfiq [France] ; Tuong Vinh [France] ; Jean-Baptiste Casimir [France]	Sur l'analyse modale expérimentale des structures non-linéaires
000218 (1989)	Tobias Nipkow [Royaume-Uni]	Term rewriting and beyond — theorem proving in Isabelle
000226 (2013)	V. Nivoliers [Belgique] ; B. Lévy [France]	Approximating Functions on a Mesh with Restricted Voronoï Diagrams
000290 (1993)	Jacques Richard ; Eddy Bajic ; Michel Véron	Système d’information d’une cellule d’usinage auto-contrôlée
000291 (2011)	Mathieu Lagrange [France] ; Roland Badeau [France] ; Bertrand David [France] ; Nancy Bertin [France] ; Olivier Derrien [France] ; Sylvain Marchand [France] ; Laurent Daudet [France]	Décompositions en éléments sonores et applications musicales
000295 (1990)	Steven M. Morrill [États-Unis] ; Richard G. Lane [États-Unis] ; Isaac I. Rosen [États-Unis]	Constrained simulated annealing for optimized radiation therapy treatment planning
000310 (1995)	Jean Louis Vigneresse [France]	Which language should be used to sort multifield records?
000311 (1995)	Mohamed Bouneffa [France] ; Nacer Boudjlida [France]	Managing schema changes in object-relationship databases
000329 (2007)	Mathilde Arnaud [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France]	Combining Algorithms for Deciding Knowledge in Security Protocols
000480 (1982)	N. Chau [France] ; G. Valantin [France] ; L. Kubler [France] ; J. Martin [France] ; B. Legras [France] ; B. Dodinot [France]	Une technique de chainage chronologique de dossiers et exploitation du fichier obtenu: Application au controle du fonctionnement des stimulateurs cardiaques
000483 (1993)	Régis Curien [France]	Second order E-matching as a tool for automated theorem proving
000494 (1994)	Claus Hintermeier [France] ; Claude Kirchner [France] ; Hélène Kirchner [France]	Dynamically-typed computations for order-sorted equational presentations
000513 (1989)	Hassan Ait-Kaci [États-Unis] ; Roger Nasr [États-Unis]	Integrating logic and functional programming

---

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 "functions" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i  \
                -Sk "functions" \
         | 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é=    functions
}}

---

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