Search - INRIA - Institut National de Recherche en Informatique et en Automatique Access content directly

Filter your results

504 Results
Deposit type : Notice

Les différentes vues d'un développement d'une spécification formelle dans l'environnement PROPLANE

Rafael Marcano Kamenoff
[Stage] 98-R-374 || marcano_kamenoff98a, 1998, 55 p
Reports inria-00108031v1

Une méthode d'inversion acoustico-articulatoire

Slim Ouni
[Stage] 98-R-407 || ouni98a, 1998, 50 p
Reports inria-00108040v1

Parallelization of Semi-Lagrangian Vlasov Codes

Olivier Coulaud , Eric Sonnendrücker , Eric Dillon , Tawfik Es-Sqalli , Pierre Bertrand , et al.
16th Conference on the Numerical Simulation of Plasmas, 1998, Santa-Barbara, CA/USA, United States
Conference papers inria-00110770v1

Motion Planning and Sensor-Guided Manoeuvre Generation for an Autonomous Vehicle

Christian Laugier , Philippe Garnier , Thierry Fraichard , Igor Paromtchik , Alexis Scheuer
A. Zelinsky Editor. Field and Service Robotics, Springer, 1998
Book sections inria-00000020v1

Traitement d'Images et Séquences de Données Océanographiques

Jean-Paul Berroir , Isaac Cohen , Dominique Béréziat , Sonia Bouzidi , Isabelle Herlin , et al.
Océanis : Série de documents océanographiques, 1998, 24 (3), pp.95-116
Journal articles inria-00423738v1

The ProDom database of protein domain families

F. Corpet , J. Gouzy , D. Kahn
Nucleic Acids Research, 1998, 26, pp.323-326
Journal articles hal-00428470v1

Desiccation and starvation tolerance of adults Drosophila : opposite latitudinal clines in natural populations of three different species

D. Karan , N. Dahiya , A.K. Munjal , Patricia Gibert , B. Moreteau , et al.
Evolution - International Journal of Organic Evolution, 1998, 52, pp.825-831
Journal articles hal-00428476v1

Parameter identifiability and model selection in capture-recapture models: A numerical approach

A. Viallefont , J.D. Lebreton , A.M. Reboulet , G. Gory
Biometrical Journal, 1998, 40, pp.313-325
Journal articles hal-00428478v1

Detergent binding in trigonal crystals of OmpF porin from Escherichia coli

Simon Penel , E. Pebay-Peyroula , J. Rosenbusch , G. Rummel , T. Schirmer , et al.
Biochimie, 1998, 80, pp.543-551
Journal articles hal-00428497v1

Microsporidia amitochondrial protists possess a 70-kDa heat shock protein gene of mitochondrial evolutionary origin

E. Peyretaillade , V. Broussolle , P. Peyret , G. Metenier , Manolo Gouy , et al.
Molecular Biology and Evolution, 1998, 15, pp.683-689. ⟨10.1093/oxfordjournals.molbev.a025971⟩
Journal articles hal-00428498v1

Relation between the generation time and the lag time of bacterial growth kinetics

Marie Laure Delignette-Muller
International Journal of Food Microbiology, 1998, 43, pp.97-104
Journal articles hal-00428510v1

Vers la conception de métaphores sonores dans les IHM: perspectives et problématiques de recherche

Catherine Demarey , Frédéric Foveau , Plénacoste Patricia , Jean-Claude Tarby
IHM'98, Dixièmes journées francophones sur l'interaction Homme-Machine, Sep 1998, Nantes, France
Conference papers hal-02432663v1

p53 mutations in skin and internal tumors of xeroderma pigmentosum patients belonging to the complementation group C.

L Giglia , N Dumaz , C Drougard , A. Avril , L Daya-Grosjean , et al.
Cancer Research, 1998, 58 (19), pp.4402-9
Journal articles hal-02148409v1

Intégration numérique d'ordre élevé de fonctions régulières ou singulières sur un intervalle

Philippe Helluy , Sylvain Maire , Patrick Ravel
Comptes Rendus de l'Académie des Sciences - Series I - Mathematics, 1998, 327 (9), pp.843-848
Journal articles hal-01479862v1

Fuzzy functional dependencies and redundancy elimination

Patrick Bosc , Didier Dubois , Henri Prade
Journal of the American Society for Information Science and Technology, 1998, 49 Special Issue: Management of Imprecision and Uncertainty (3), pp.217--235. ⟨10.1002/(SICI)1097-4571(199803)49:3<217::AID-ASI4>3.0.CO;2-D⟩
Journal articles istex hal-04028798v1

On the Initial Label Configuration of MRF

Guodong Guo , Shan Yu , Songde Ma
IX European Signal Processing Conference, Sep 1998, Island of Rhodes, Greece. pp.2545-2548
Conference papers hal-01089547v1

Toxoplasma gondii: Kinetics of the Dissemination in the Host Tissues during the Acute Phase of Infection of Mice and Rats

L. Zenner , F. Darcy , M. Capron , M-F. Cesbron-Delauw
Experimental Parasitology, 1998, 90, pp.86-94
Journal articles hal-00698331v1

The ORCCAD Architecture

Jean-Jacques Borrelly , Eve Coste-Manière , Bernard Espiau , Konstantinos Kapellos , Roger Pissard-Gibollet , et al.
The International Journal of Robotics Research, 1998, 17 (4), pp.338-359
Journal articles hal-00930119v1

A jurdjevic-Quinn theorem for nonlinear systems

Mohamed Bensoubaya , Abdelhak Ferfera , Abderrahman Iggidr
Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171), 1998, Tampa, Florida, Unknown Region. pp.2485--2490, ⟨10.1109/cdc.1998.757798⟩
Conference papers hal-01862874v1

Mécanismes pour la gestion globale des mémoires et des processeurs dans un NoW

Françoise André , Christine Morin , Maria-Teresa Segarra
Proc. of Deuxièmes Journées de Recherche sur le Placement Dynamique et la Répartition de Charge Lille, France, 1998, Lille, France
Conference papers hal-01272405v1

Strictly Orthogonal Left Linear Rewrite Systems and Primitive Recursion

Adam Cichon , Elias Tahhan-Bittar
[Intern report] 98-R-351 || cichon98b, 1998, 16 p
Reports inria-00098335v1

Methodological Support for Requirements Elicitation and Formal Specification

Maritta Heisel , Jeanine Souquières
9th International Workshop on Software Specification and Design - WSSd'98, 1998, Kyoto, Japan, 3 p
Conference papers inria-00098407v1

Automated Deduction - CADE-15

Claude Kirchner , Hélène Kirchner
Kirchner, Claude and Kirchner, Hélène. Springer Verlag, 1998, Lecture Notes in Artificial Intelligence
Books inria-00098417v1

Analyse harmonique des formes différentielles sur l'espace hyperbolique réel I. Transformation de Poisson et fonctions sphériques

Emmanuel Pedon
Comptes rendus de l'Académie des sciences. Série I, Mathématique, 1998, 326 (6), pp.671-676
Journal articles hal-00160429v1

Cropland Detection with SAR Interferometry: A Segmentation Model

Etienne Huot , Isabelle Herlin
Proceedings of International Conference on Acoustics, Speech, and Signal Processing, IEEE, May 1998, Seattle, United States. pp.2733-2736, ⟨10.1109/ICASSP.1998.678088⟩
Conference papers inria-00532716v1

Adaptive Diffusion Equation for Time Frequency Representations

Paulo Gonçalves , Etienne Payot
IEEE Digital Signal Processing Workshop, Aug 1998, Utah, United States
Conference papers inria-00570646v1

Maple V release 5 pour Windows 95

Alain Giorgetti
Pour la science, 1998, 249, pp.110-111
Journal articles inria-00098460v1

Une formalisation du comportement des relations de la gestion OSI

Emmanuel Nataf
Revue Electronique Réseaux Informatique Répartie, 1998, 16 p
Journal articles inria-00098473v1

A Combined Plant + Controller Model of Discrete Event Systems

Gülgün Alpan , Mohsen A. Jafari
International Workshop on Discrete Event Systems - WoDES, 1998, Cagliari, Sardinia, pp.73-78
Conference papers inria-00098486v1

Retrospective Document Conversion: Application to the Library Domain

Abdel Belaïd
International Journal on Document Analysis and & Recognition, 1998, 1 (3), pp.125-146
Journal articles inria-00098495v1