took < tool < toolbox

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000028 (2007)	N. M. Nafati [France] ; J.-M. Guigonis [France] ; B. Rossi [France] ; M. Samson [France]	Technique objective de traitement des spectres de masse protéomiques basée sur le seuillage flou multi-échelle
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
000047 (2010)	Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]	Unification Modulo Homomorphic Encryption
000051 (2010)	Andrew Sweeting [États-Unis]	The effects of mergers on product positioning: evidence from the music radio industry
000067 (2010)	Ivan Morel [Australie, France] ; Damien Stehlé [Australie] ; Gilles Villard [France]	Analyse numérique et réduction de réseaux
000069 (2013)	Haruna Takeda [Singapour, Japon] ; Hideto Koso [Singapour, Japon] ; Lino Tessarollo [États-Unis] ; Neal G. Copeland [Singapour, États-Unis] ; Nancy A. Jenkins [Singapour, États-Unis]	Musashi1‐CreERT2: A new cre line for conditional mutagenesis in neural stem cells
000107 (2010)	Sylvain Chevillard [France] ; Mioara Jolde [France] ; Christoph Lauter [France]	Sollya: An Environment for the Development of Numerical Codes
000156 (1997)	R. Benlamri [Algérie] ; M. Batouche [Algérie] ; S. Rami [Algérie] ; C. Bouanaka [Algérie]	An automated system for analysis and interpretation of epileptiform activity in the EEG
000158 (2001)	Stefan Jacques Darmoni ; Jean-Philippe Leroy ; Magali Douyère ; Josette Piot ; Saïda Ouazir ; Benoit Lacoste ; Christophe Godard ; Isabelle Rigolle ; Martial Brisou ; Stphane Videau ; Myriam Quéré ; Eric Goupy ; Habib Abdulrab ; Benoit Thirion	Doc’CISMeF : un outil de recherche Internetorienté vers l’enseignementet la formation à distance en médecine
000169 (1997)	Daniela Garcia [France]	COATIS, an NLP system to locate expressions of actions connected by causality links
000173 (2011)	Olivier Gasquet [France] ; François Schwarzentruber [France] ; Martin Strecker [France]	Panda : A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students
000205 (2013)	Jasmin Christian Blanchette [Allemagne] ; Andrei Popescu [Allemagne]	Mechanizing the Metatheory of Sledgehammer
000244 (2010)	Dominique Méry [France] ; Neeraj Kumar Singh [France]	Real-Time Animation for Formal Specification
000249 (1999)	Mark Van Den Brand ; Didier Parigot	Preface
000258 (2002)	Christian Haack [États-Unis] ; Brian Howard [États-Unis] ; Allen Stoughton [États-Unis] ; Joe B. Wells [États-Unis]	Fully Automatic Adaptation of Software Components Based on Semantic Specifications*
000325 (2010)	Thomas Heer [Allemagne] ; Markus Heller [Allemagne] ; Bernhard Westfechtel [Allemagne] ; René Wörzberger [Allemagne]	Tool Support for Dynamic Development Processes
000412 (1995)	Juan J. Galán Vega [Espagne] ; Agustín González-Quel	The development of an Artificial Intelligence real-time toolkit: REAKT
000439 (1999)	Dieter Hofbauer [Allemagne] ; Maria Huber [Allemagne]	Test Sets for the Universal and Existential Closure of Regular Tree Languages
000483 (1993)	Régis Curien [France]	Second order E-matching as a tool for automated theorem proving
000490 (1984)	Philippe Le Chenadec [France]	Canonical Forms in Finitely Presented Algebras
000498 (2001)	Jean-Charles Lamirel [France] ; Jacques Ducloy [France] ; Hager Kammoun [France]	Some Basics of a Self Organizing Map (SOM) Extended Model for Information Discovery in a Digital Library Context

---

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

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

---

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