Skip to Main content Skip to Navigation

inria-00078450v1  Conference papers
Daniel ZuwalaJan Rendek. Browsing graphics without prior knowledge
International Conference on Pattern Recognition 2006 - ICPR 2006, Aug 2006, Hong Kong (China)
tel-00329849v1  Theses
Daniele Zucchelli. Combination Methods for Verification Problems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2008. English
hal-01807944v1  Book sections
Manel ZoghlamiSabeur AridhiMondher MaddouriEngelbert Mephu Nguifo. An Overview of in Silico Methods for the Prediction of Ionizing Radiation Resistance in Bacteria
Tamar Reeve. Ionizing Radiation: Advances in Research and Applications, Nova science publishers, pp.241-256, 2018, Physics Research and Technology Series, 978-1-53613-539-8
hal-02307048v1  Conference papers
Manel ZoghlamiSabeur AridhiMondher MaddouriEngelbert Mephu Nguifo. A Structure Based Multiple Instance Learning Approach for Bacterial Ionizing Radiation Resistance Prediction
KES 2019 - 23rd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Sep 2019, Budapest, Hungary
hal-01479998v1  Book sections
Michael ZockAbdellatif LarouiGil Francopoulo. DIAM: une autre manière d'apprendre la langue de Molière.
Monique Baron and Jean François Nicaud. Journées EIAO du PRC-GDR Intelligence Artificielle, pp.283--296, 1990
hal-01480003v1  Journal articles
Michael ZockGil FrancopouloAbdellatif Laroui. SWIM: a Natural Interface for the Scientifically Minded Language Learner
Computers and the Humanities, Springer Verlag, 1989, 23 (4/5), pp.411-422
hal-01942528v1  Book sections
Michel ZittAlain LeluMartine CadotGuillaume Cabanac. Bibliometric delineation of scientific fields
Wolfgang Glänzel; Henk F. Moed; Ulrich Schmoch; Michael Thelwall. Handbook of Science and Technology Indicators, Springer International Publishing, In press, Handbook of Science and Technology Indicators, 978-3-030-02510-6. ⟨10.1007/978-3-030-02511-3⟩
inria-00100677v1  Conference papers
Imed ZitouniKamel SmaïliJean-Paul Haton. Statistical Language Model based on a Hierarchical Approach : MCnv
7th european conference on speech communication and technology - EUROSPEECH 2001, 2001, Aalborg, Denmark, pp.29
inria-00107585v1  Conference papers
Imed ZitouniJean-François MariKamel SmaïliJean-Paul Haton. Variable-Length Sequence Language Model for Large Vocabulary Continuous Dictation Machine
6th European Conference on Speech Communication and Technology - EUROSPEECH'99, 1999, Budapest, Hungary
hal-01112917v1  Conference papers
Imed ZitouniKamel SmaïliJean-Paul Haton. Variable-length class sequences based on a hierarchical approach: MCnv
SPECOM - Proceedings of the International Workshop on speech and communication, 1998, Saint-Petersbourg, Russia
inria-00099045v1  Conference papers
Imed ZitouniKamel SmaïliJean-Paul Haton. Variable-Length Class Sequences Based on a Hierarchical Approach: MCnv
4th Word Multiconference on Systemics, Cybertinics & Informatics, 2000, Orlando, USA, 6 p
inria-00099107v1  Conference papers
Imed ZitouniKamel SmaïliJean-Paul Haton. Beyond the Conventional Statistical Language Models: The Variable-Length Sequences Approach
International Conference on Speech Language Processing, 2000, Pékin, China. pp.4
hal-01112912v1  Conference papers
Proceedings of the Fifth International Conference on Spoken Language Processing, 1998, Sydney, Australia
inria-00099785v1  Journal articles
Imed ZitouniKamel SmaïliJean-Paul Haton. Statistical Language Modeling Based on Variable-Length Sequences
Computer Speech and Language, Elsevier, 2003, 17 (1), pp.27-41
inria-00098446v1  Journal articles
Djemel ZiouSalvatore Tabbone. Edge Detection Techniques-An Overview
Pattern Recognition & Image Analysis, 1998, 8 (4), pp.537-559
hal-00917756v1  Conference papers
Paul Zimmermann. Arithmétique entière
Journées Nationales de Calcul Formel, 2007, Luminy, France
hal-00917757v1  Conference papers
Paul Zimmermann. How Fast Can We Multiply Over GF(2)[x]?
Proceedings of Conference on Algorithmic Number Theory 2007, 2007, Turku, Finland. pp.165-170
hal-00917758v1  Conference papers
Paul Zimmermann. Reliable Computing with GNU MPFR
Proceedings of the third International Congress on Mathematical Software (ICMS 2010), Sep 2010, Kobe, Japan. pp.42--45, ⟨10.1007/978-3-642-15582-6_8⟩
inria-00100144v1  Book sections
Yann ZimmermannStefan HallerstedeDominique Cansell. Formal modelling of electronic circuits using event-B, Case Study: SAE J1708 Serial Communication Link
Jean Mermet. UML-B - Specification for Proven Embedded Systems Design, Kluwer Academic Publishers, 2004
inria-00100980v1  Book sections
Paul Zimmermann. The Elliptic Curve Method
none. Encyclopedia of Information Security, Kluwer, 2002
inria-00107625v1  Conference papers
Paul Zimmermann. Symbolic Computation: Recent Progress and New Frontiers
International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), Sep 2002, none
inria-00070192v2  Conference papers
Paul ZimmermannBruce Dodson. 20 years of ECM
7th Algorithmic Number Theory Symposium (ANTS VII), 2006, Berlin/Germany, Germany. pp.525--542
inria-00000630v1  Book sections
Paul Zimmermann. The Elliptic Curve Method
van Tilborg, Henk C.A. Encyclopedia of Cryptography and Security, Springer, 2005