botanical < both < botnet

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000002 (1978)	Lucie Fossier	Informatique et Histoire Médiévale à l'Institut de Recherche et d'Histoire de Textes
000005 (2013)	Denis Jouvet [France] ; Dominique Fohr [France]	Analysis and Combination of Forward and Backward Based Decoders for Improved Speech Transcription
000030 (2009)	Ehtesham Zahoor [France] ; Olivier Perrin [France] ; Claude Godart [France]	An Integrated Declarative Approach to Web Services Composition and Monitoring
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
000074 (2005)	Franz Baader [Allemagne] ; Andrei Voronkov [Royaume-Uni]	Ordered Resolution with Selection for $\mathcal{H}(@)$
000089 (1991)	Djemel Ziou [France]	Line detection using an optimal IIR filter
000094 (2001)	Franz Baader [Allemagne] ; Klaus U. Schulz [Allemagne]	Combining Constraint Solving
000130 (1999)	Jürgen Giesl [Allemagne] ; Aart Middeldorp [Japon]	Transforming Context-Sensitive Rewrite Systems
000131 (2001)	Michael Rusinowitch [France]	Rewriting for Deduction and Verification
000136 (2013)	Naosuke Nonoguchi [France, Japon] ; Takashi Ohta [France] ; Ji-Eun Oh [France] ; Young-Ho Kim [France, Corée du Sud] ; Paul Kleihues [Suisse] ; Hiroko Ohgaki [France]	TERT promoter mutations in primary and secondary glioblastomas
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
000157 (2000)	Adnan Amin [Australie]	Recognition of printed arabic text based on global features and decision tree learning techniques
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
000160 (1990)	Laurence Bancel-Charensol [France]	Demande de raccordement au réseau et offre de services de télécommunication
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
000185 (1996)	Paul Ruet [France]	Logical semantics of concurrent constraint programming
000197 (2004)	Maritta Heisel [Allemagne] ; Jeanine Souquières [France]	Adding Features to Component-Based Systems
000215 (2009)	Jean-Luc Beuchat [Japon] ; Jérémie Detrey [France] ; Nicolas Estibals [France] ; Eiji Okamoto [Japon] ; Francisco Rodríguez-Henríquez [Mexique]	Hardware Accelerator for the Tate Pairing in Characteristic Three Based on Karatsuba-Ofman Multipliers
000218 (1989)	Tobias Nipkow [Royaume-Uni]	Term rewriting and beyond — theorem proving in Isabelle
000249 (1999)	Mark Van Den Brand ; Didier Parigot	Preface
000261 (2010)	Jean Villerd [France] ; Yannick Toussaint [France] ; Agnès Lillo-Le Louët [France]	Adverse Drug Reaction Mining in Pharmacovigilance Data Using Formal Concept Analysis

---

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

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

---

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