Browse

ftp://ftp.inria.fr (598)

	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0144/ch1.ps, 19910307 Contents 1 Introduction 25 2 Some properties of quadratic forms and fields 27 2.1 Quadratic forms : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 27 2.2 Quadratic fields : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 28 2.3 Genus field : : : : :
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0144/ch3sec1.ps, 19910307 CONSTRUCTION OF HILBERT CLASS FIELDS OF IMAGINARY QUADRATIC FIELDS AND DIHEDRAL EQUATIONS MODULO p Francois MORAIN y morain@inria.inria.fr
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0144/ch7.ps, 19910307 ELLIPTIC CURVES, PRIMALITY PROVING AND SOME TITANIC PRIMES
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0144/ch8.ps, 19910307 DISTRIBUTED PRIMALITY PROVING AND THE PRIMALITY OF (23539 + 1)=3 Fran cois Morain y morain@inria.inria.fr September 12, 1990
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0144/update.ps, 19910307 Thesis Update Fran cois MORAIN March 7, 1991 1 New references The article presented in Chapter 8 is now published. The reference is . 2 Bugs As remarked by A. K. Lenstra, the exponentiation algorithms of page 135 both contain the same bug. The line for i = 1::t should be replaced by for i := t 1 by 1
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0144/ch4.ps, 19910307 SPEEDING UP THE COMPUTATIONS ON AN ELLIPTIC CURVE USING ADDITION-SUBTRACTION CHAINS Fran cois Morain y Jorge Olivos z September 12, 1990
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0144/ch2.ps, 19910307 On Cornacchia's algorithm for solving the diophantine equation u2 + dv2 = m F. Morain y J.-L. Nicolas z September 12, 1990
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0144/main.ps, 19910307 No d'ordre : 170{90 Ann ee 1990 TH ESE pr esent ee DEVANT L'UNIVERSIT E CLAUDE BERNARD - LYON I pour l'obtention DU DIPL^OME DE DOCTORAT par Fran cois MORAIN COURBES ELLIPTIQUES ET TESTS DE PRIMALIT E Soutenue le 20 septembre 1990 Jury : J.-L. NICOLAS Pr esident H. COHEN P. FLAJOLET J.-F. MESTRE M.
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0144/ch3sec2.ps, 19910307 SOLVING EQUATIONS OF SMALL DEGREE MODULO LARGE PRIMES Francois MORAIN y 1 Introduction Atkin's algorithm requires finding roots of polynomials modulo large primes (several hundreds decimal digits). However, the theory tells us that these polynomials split completely in the field Z=pZ we are
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0144/ch6.ps, 19910307 ATKIN'S TEST: NEWS FROM THE FRONT Fran cois Morain Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau, B. P. 105 78153 LE CHESNAY CEDEX (France) D epartement de Math ematiques Universit e Claude Bernard 69622 Villeurbanne CEDEX (France)
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0144/ch5.ps, 19910307 Using a programmable gate array in modular arithmetic Fran cois Morain September 12, 1990 1 Introduction Many number theoretic algorithms make use of modular arithmetic on numbers with several hundreds of decimal digits (see e.g. , ). The most time consuming operation is modular multiplication.
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1475.ps.gz, 19910910 Analysis of a neural network model Christine Fricker1, Philippe Robert1, Ellen Saada2, Danielle Tibi3.
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1034.ps.gz, 19911213 On memory contention problems in vector multiprocessors C. Fricker INRIA, Domaine de Voluceau B.P.105, 78153 Le Chesnay Cedex, France (1) 39 63 55 27 fricker@schuss.inria.fr.
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1547.ps.gz, 19920116 FINDING SUITABLE CURVES FOR THE ELLIPTIC CURVE METHOD OF FACTORIZATION A. O. L. Atkin F. Morain yzx January 5, 1992
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1256.ps.gz, 19920116 ELLIPTIC CURVES AND PRIMALITY PROVING A. O. L. ATKIN F. MORAIN y z November 29, 1991
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1678.ps.gz, 19920429 KitLog A Generic Logging Service Un service de journalisation g en erique Michel Ruffin Projet SOR Institut National de Recherche en Informatique et en Automatique Laboratoire de M ethodologie et Architecture des Syst emes Informatiques, Universit e Pierre et Marie Curie, Paris VI Tel: +33 (1) 39 63 54
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0161.ps.gz, 19920506 THESE DE DOCTORAT DE L UNIVERSITE DU HAVRE SPECIALITE : INSTRUMENTATION ET COMMANDE OPTION : INFORMATIQUE pr sent e par Laurent TOUTAIN pour obtenir le grade de DOCTEUR EN SCIENCE SAMSON: Un simulateur pour syst mes r partis et temps-r el Soutenue le 25 Novembre 1991 devant la Commission d Examen compos
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1472.ps.gz, 19920511 Heart rate variability in sleeping neonates Etude de la variabilit e du rythme cardiaque pendant le sommeil de nouveau-n es Jean Clairambault1 Lilia Curzi-Dascalova2 Fran cois Kauffmann3 Claire M edigue1 Christopher Leffler4 Gilles Celeux1 Dominique Gu egan5 1INRIA, Rocquencourt, France 2INSERM CJF8909,
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-0791.ps.gz, 19920527 PARALLEL MANIPULATORS Part 2 : Theory Singular configurations and Grassmann Geometry Jean-Pierre MERLET Rapport de Recherche INRIA Nffi 791, F evrier 1988 1 2 R esum e: Les manipulateurs parall eles sont des robots o u les diff erents segments ne sont pas plac es successivement a partir de la base vers
	ftp://ftp.inria.fr/INRIA/publication/publi-ps/RA/RA91/RA-91-meval.ps, 19920601 Rapport INRIA 1991 \| Programme 1 Mod elisation et Evaluation des Syst emes Informatiques PROJET MEVAL 13 mai 1992 Programme 1 PROJET MEVAL PROJET MEVAL Mod elisation et Evaluation des Syst emes Informatiques Localisation : Sophia-Antipolis Mots-cl es : Mod elisation, r eseaux de files d'attente, r
	ftp://ftp.inria.fr/INRIA/publication/publi-ps/RA/RA91/RA-91-le_tool.ps, 19920601 Rapport INRIA 1991 \| Programme 2 Environnement de Programmation Orient e-Objets et Interfaces Visuelles ACTION LeTool 13 mai 1992 Programme 2 ACTION LeTool ACTION LeTool Environnement de Programmation Orient e-Objets et Interfaces Visuelles Localisation : Sophia{Antipolis Mots-cl es : langage orient
	ftp://ftp.inria.fr/INRIA/publication/publi-ps/RA/RA91/RA-91-dias.ps, 19920601 Rapport INRIA 1991 \| Programme 7 Centre de Documentation SERVICE DOCUMENTATION 13 mai 1992 Programme 7 SERVICE DOCUMENTATION SERVICE DOCUMENTATION Centre de Documentation 1 COMPOSITION DE L' EQUIPE Odile LUGUERN Responsable Catherine ALAUZUN Documentaliste Marie{H el ene COMTE Documentaliste Val erie
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA91/RA-91-meije.ps.gz, 19920601 Rapport INRIA 1991 \| Programme 2 Parall elisme, Synchronisation et Temps R eel PROJET MEIJE 13 mai 1992 Programme 2 PROJET MEIJE PROJET MEIJE Parall elisme, Synchronisation et Temps R eel Localisation : Sophia Mots-cl es : parall elisme, synchronisation, concurrence, temps r eel, langage, s emantique,
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA91/RA-91-semir.ps.gz, 19920601 Rapport INRIA 1991 \| Programme 7 Service de Support, Exploitation, Maintenance Informatique et R eseaux SERVICE SEMIR 13 mai 1992 Programme 7 SERVICE SEMIR SERVICE SEMIR Service de Support, Exploitation, Maintenance Informatique et R eseaux Localisation : Sophia Antipolis 1 COMPOSITION DE L' EQUIPE
	ftp://ftp.inria.fr/INRIA/publication/publi-ps/RA/RA91/RA-91-sherpa.ps, 19920601 Rapport INRIA 1991 \| Programme 3 Dynamique des Bases de Connaissances PROJET SHERPA 13 mai 1992 Programme 3 PROJET SHERPA PROJET SHERPA Dynamique des Bases de Connaissances Localisation : Grenoble Mots-cl es : intelligence artificielle, base de connaissances, objets, dynamique, raisonnement non
	ftp://ftp.inria.fr/INRIA/publication/publi-ps/RA/RA90/RA-90-croap.ps, 19920601 Programme 2 PROJET CROAP PROJET CROAP Conception et R ealisation d'Outils d'Aide a la Programmation Localisation : Sophia{Antipolis Mots-cl es : Environnement de programmation, architecture distribu ee, programmation, Prolog, s emantique, CENTAUR. 1 COMPOSITION DE L' EQUIPE Responsable Scientifique
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1576.ps.gz, 19920601 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1576 Programme 1 Architectures parall eles, Bases de donn ees, R eseaux et Syst emes distribu es
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA90/RA-90-pastis.ps.gz, 19920601 Programme 4 PROJET PASTIS PROJET PASTIS Projet Analyse de Sc enes et Traitement d'Images Symboliques Localisation : Sophia-Antipolis Mots-cl es : Analyse de sc enes. Reconnaissance des formes. Vision st er eo. T el ed etection. Syst emes experts. G en eration de plans. Interpr etation de sc enes
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA91/RA-91-miaou.ps.gz, 19920601 Rapport INRIA 1991 \| Programme 5 Math ematiques et Informatique de l'Automatique et de l'Optimisation pour l'Utilisateur PROJET MIAOU 13 mai 1992 Programme 5 PROJET MIAOU PROJET MIAOU Math ematiques et Informatique de l'Automatique et de l'Optimisation pour l'Utilisateur Localisation : Sophia-Antipolis
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1285.ps.gz, 19920601 Applications of Random Sampling to On-line Algorithms in Computational Geometry Application de l' echantillonage al eatoire aux algorithmes g eom etriques en ligne Jean-Daniel Boissonnaty Olivier Devillersy Ren e Schottz Monique Teillaudy Mariette Yvinecx Key-words : Computational Geometry, On-line
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1606.ps.gz, 19920601 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1606 Programme 4 Robotique, Image et Vision IMAGE CLASSIFICATION USING MARKOV RANDOM FIELDS WITH
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA90/RA-90-sinus.ps.gz, 19920601 Programme 6 PROJET SINUS PROJET SINUS Simulation Num erique dans les Sciences de l'Ing enieur Localisation : Sophia{Antipolis Mots-cl es : analyse fonctionnelle, analyse num erique, el ements finis, volumes finis, m ecanique des fluides, combustion, ecoulements hypersoniques, Euler, Navier-Stokes,
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1135.ps.gz, 19920601 Manipulateurs parall eles, 4eme partie : Mode d'assemblage et cin ematique directe sous forme polynomiale Parallel manipulators, 4th Part: Assembly-modes and direct kinematics polynomial formulation Jean-Pierre MERLET 1 R esum e Dans cette quatri eme partie nous allons nous int eresser aux d
	ftp://ftp.inria.fr/INRIA/publication/publi-ps/RA/RA90/RA-90-dias.ps, 19920601 Services SERVICE DOCUMENTATION SERVICE DOCUMENTATION Centre de Documentation 1 COMPOSITION DE L'EQUIPE Odile LUGUERN Responsable Catherine ALAUZUN Documentaliste Marie{H el ene COMTE Documentaliste Anita GUITEAU Cellule Edition France LIMOUZIS, Secr etaires (mi{temps) puis Ephie DERICHE 2 MISSIONS Le
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1257.ps.gz, 19920601 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1257 Programme 5 Traitement du signal, Automatique et Productique OPTIMAL ERGODIC CONTROL OF
	ftp://ftp.inria.fr/INRIA/publication/publi-ps/RA/RA90/RA-90-secoia.ps, 19920601 Programme 2 PROJET SECOIA PROJET SECOIA Syst emes Experts et Conception d'Outils pour l'Intelligence Artificielle Localisation : Sophia Antipolis Mots-cl es : intelligence artificielle, syst eme expert, CAO, contraintes, raisonnement, langage orient e objet, repr esentation des connaissances,
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA90/RA-90-safir.ps.gz, 19920601 Programme 2 PROJET SAFIR PROJET SAFIR Syst emes Alg ebriques Formels pour l'Industrie et la Recherche Localisation : Sophia-Antipolis Mots-cl es : calcul formel, lisp, typage, m ecanique. 1 COMPOSITION DE L' EQUIPE Responsable scientifique Jacques Morgenstern (Universit e de Nice) Responsable permanent
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1415.ps.gz, 19920601 Output sensitive construction of the 3D Delaunay triangulation of constrained sets of points Algorithme d ependant de la sortie pour la triangulation de Delaunay 3D d'ensembles de points contraints Jean-Daniel Boissonnaty Andr e C er ezoz Olivier Devillersy Monique Teillaudy yINRIA, B.P.93, 06902
	ftp://ftp.inria.fr/INRIA/publication/publi-ps/RA/RA91/RA-91-secoia.ps, 19920601 Rapport INRIA 1991 \| Programme 2 Syst emes Experts et Conception d'Outils pour l'Intelligence Artificielle PROJET SECOIA 13 mai 1992 Programme 2 PROJET SECOIA PROJET SECOIA Syst emes Experts et Conception d'Outils pour l'Intelligence Artificielle Localisation : Sophia Antipolis Mots-cl es : intelligence
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA90/RA-90-meije.ps.gz, 19920601 Programme 2 PROJET MEIJE PROJET MEIJE Parall elisme, Synchronisation et Temps R eel Localisation : Sophia Mots-cl es : parall elisme, synchronisation, concurrence, temps r eel, langage, s emantique, automate, verification. 1 COMPOSITION DE L' EQUIPE Responsable Scientifique G erard BERRY (Ma^ tre de
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1412.ps.gz, 19920601 International Journal of Computational Geometry & Applications Vol. 2, No. 1 (1992) 621-635. c World Scientific Publishing Company RANDOMIZATION YIELDS SIMPLE O(n log n) ALGORITHMS FOR DIFFICULT (n) PROBLEMS OLIVIER DEVILLERSy INRIA, 2004 Route des Lucioles, B.P.109 06561 Valbonne cedex (France)
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1645.ps.gz, 19920601 Manipulateurs parall eles, 5eme partie : D etermination de l'espace de travail a orientation constante Parallel manipulators, 5th Part: Determination of the workspace for a constant orientation Jean-Pierre MERLET R esum e Une phase importante de la conception d'un robot parall ele est la d etermination
	ftp://ftp.inria.fr/INRIA/publication/publi-ps/RA/RA90/RA-90-le_tool.ps, 19920601 Programme 2 ACTION LE TOOL ACTION LE TOOL Environnement de Programmation Orient e-Objets Interfaces Visuelles Localisation : Sophia{Antipolis Mots-cl es : langage orient e-objets, type, edition visuelle, hypertexte, ergonomie. 1 COMPOSITION DE L' EQUIPE Chercheur INRIA Henry BORRON Stagiaires
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA90/RA-90-robotvis.ps.gz, 19920601 Programme 4 PROJET ROBOTVIS PROJET ROBOTVIS Robotique et Vision par Ordinateur Localisation : Sophia-Antipolis Mots-cl es : Vision par Ordinateur, St er eoscopie, Analyse du Mouvement, Vision Active, Repr esentation des Formes, Reconnaissance d'objets, Analyse de Sc enes, Architectures Parall eles pour
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA90/RA-90-miaou.ps.gz, 19920601 Programme 5 PROJET MIAOU PROJET MIAOU Math ematiques et Informatique de l'Automatique et de l'Optimisation pour l'Utilisateur Localisation : Sophia-Antipolis Mots-cl es : syst emes dynamiques, jeux dynamiques, identification, mod elisation math ematique en biologie, approximation, optimisation. 1
	ftp://ftp.inria.fr/INRIA/publication/publi-ps/RA/RA90/RA-90-meval.ps, 19920601 Programme 1 PROJET MEVAL PROJET MEVAL Mod elisation et Evaluation des Syst emes Informatiques Mots-cl es : Mod elisation, r eseaux de files d'attente, r eseaux de Petri, syst emes informatiques et t el einformatiques, protocoles, parall elisme, ordonnancement, processus stochastiques.. 1 COMPOSITION DE
	ftp://ftp.inria.fr/INRIA/publication/publi-ps/RA/RA90/RA-90-semir.ps, 19920601 Services SERVICE SEMIR SERVICE SEMIR Service de Support, Exploitation, Maintenance Informatique et R eseaux Localisation : Sophia Antipolis 1 COMPOSITION DE L' EQUIPE Responsable Luc OTTAVJ T el ematique et Maintenance Laure MARTIN Yann JACQUEMIN Michel VEYSSET Franck YAMPOLSKY Centre de Calcul Marianne
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA90/RA-90-side.ps.gz, 19920601 Programme 3 PROJET SIDE PROJET SIDE Syst emes Informatiques Didactiques Localisation : Sophia{Antipolis Mots-cl es : interfaces homme-machine, syst emes d'aide, hypertexte, ergonomie, apprentissage, sciences cognitives. 1 COMPOSITION DE L' EQUIPE Responsable Scientifique Alain Michard Chercheurs INRIA
	ftp://ftp.inria.fr/INRIA/publication/publi-ps/RA/RA90/RA-90-malin.ps, 19920601 Programme 3 PROJET MALIN PROJET MALIN Multi{Alphab etisme et Multi{Linguisme en Informatique Localisation : Sophia Antipolis Mots-cl es : multilingue, dialogue Homme-Machine, linguistique, normalisations, PAO, polices de caract eres, parole. 1 COMPOSITION DE L' EQUIPE Responsable Scientifique Moncef
	ftp://ftp.inria.fr/INRIA/publication/publi-ps/RA/RA91/RA-91-prisme.ps, 19920601 Rapport INRIA 1991 \| Programme 4 Programmation des Robots Intelligents et des Syst emes Manipulateurs Evolu es PROJET PRISME 13 mai 1992 Programme 4 PROJET PRISME PROJET PRISME Programmation des Robots Intelligents et des Syst emes Manipulateurs Evolu es Localisation : Sophia Mots-cl es : G eom etrie
	ftp://ftp.inria.fr/INRIA/publication/publi-ps/RA/RA90/RA-90-mefisto.ps, 19920601 Programme 5 PROJET MEFISTO PROJET MEFISTO Filtrage et Identification des Syst emes Dynamiques Stochastiques Localisation : Sophia{Antipolis Mots-cl es : filtrage non{lin eaire, contr^ole stochastique, equations diff erentielles stochastiques, estimation param etrique. 1 COMPOSITION DE L' EQUIPE
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA91/RA-91-safir.ps.gz, 19920601 Rapport INRIA 1991 \| Programme 2 Syst emes Alg ebriques Formels pour l'Industrie et la Recherche PROJET SAFIR 13 mai 1992 Programme 2 PROJET SAFIR PROJET SAFIR Syst emes Alg ebriques Formels pour l'Industrie et la Recherche Localisation : Sophia-Antipolis, Universit e de Nice Mots-cl es : calcul formel,
	ftp://ftp.inria.fr/INRIA/publication/publi-ps/RA/RA91/RA-91-mefisto.ps, 19920601 Rapport INRIA 1991 \| Programme 5 Filtrage et Identification des Syst emes Dynamiques Stochastiques PROJET MEFISTO 13 mai 1992 Programme 5 PROJET MEFISTO PROJET MEFISTO Filtrage et Identification des Syst emes Dynamiques Stochastiques Localisation : Sophia{Antipolis Mots-cl es : filtrage non{lin eaire,
	ftp://ftp.inria.fr/INRIA/publication/publi-ps/RA/RA91/RA-91-robotvis.ps, 19920601 Rapport INRIA 1991 \| Programme 4 Robotique et Vision par Ordinateur PROJET ROBOTVIS 13 mai 1992 Programme 4 PROJET ROBOTVIS PROJET ROBOTVIS Robotique et Vision par Ordinateur Localisation : Sophia-Antipolis Mots-cl es : Vision par Ordinateur, Vision Pr ecoce, St er eoscopie, Analyse du Mouvement, Vision
	ftp://ftp.inria.fr/INRIA/publication/publi-ps/RA/RA90/RA-90-prisme.ps, 19920601 Programme 4 PROJET PRISME PROJET PRISME Programmation des Robots Intelligents et des Syst emes Manipulateurs Evolu es Mots-cl es : Algorithmique g eom etrique, Planification de trajectoires sans collision, Commande des robots, Commande r ef erenc ee vision, Commande par retour d'effort, Architectures
	ftp://ftp.inria.fr/INRIA/publication/publi-ps/RA/RA90/RA-90-rodeo.ps, 19920601 Programme 1 PROJET RODEO PROJET RODEO R eseaux a Haut D ebit, R eseaux Ouverts Localisation : Sophia-Antipolis Mots-cl es : R eseaux informatiques, r eseaux a haut d ebit, protocoles de t el ecommunications, OSI, ISO, ISDN, RNIS, X.400, X.500, ASN-1. 1 COMPOSITION DE L' EQUIPE Responsable Scientifique
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA91/RA-91-sinus.ps.gz, 19920601 Rapport INRIA 1991 \| Programme 6 Simulation Num erique dans les Sciences de l'Ing enieur PROJET SINUS 13 mai 1992 Programme 6 PROJET SINUS PROJET SINUS Simulation Num erique dans les Sciences de l'Ing enieur Localisation : Sophia{Antipolis Mots-cl es : analyse fonctionnelle, analyse num erique, el
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA91/RA-91-rodeo.ps.gz, 19920601 Rapport INRIA 1991 \| Programme 1 R eseaux a Haut D ebit, R eseaux Ouverts PROJET RODEO 31 d ecembre 1991 Programme 1 PROJET RODEO PROJET RODEO R eseaux a Haut D ebit, R eseaux Ouverts Localisation : Sophia-Antipolis Mots-cl es : R eseaux informatiques, r eseaux a haut d ebit, protocoles de t el
	ftp://ftp.inria.fr/INRIA/publication/publi-ps/RA/RA91/RA-91-croap.ps, 19920601 Rapport INRIA 1991 \| Programme 2 Conception et R ealisation d'Outils d'Aide a la Programmation PROJET CROAP 13 mai 1992 Programme 2 PROJET CROAP PROJET CROAP Conception et R ealisation d'Outils d'Aide a la Programmation Localisation : Sophia{Antipolis Mots-cl es : Environnement de programmation,
	ftp://ftp.inria.fr/INRIA/publication/publi-ps/RA/RA91/RA-91-pastis.ps, 19920601 Rapport INRIA 1991 \| Programme 4 Projet Analyse de Sc enes et Traitement d'Images Symboliques PROJET PASTIS 13 mai 1992 Programme 4 PROJET PASTIS PROJET PASTIS Projet Analyse de Sc enes et Traitement d'Images Symboliques Localisation : Sophia-Antipolis Mots-cl es : Analyse de sc enes. Reconnaissance des
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0142/part2.ps, 19920604 1.4. SP ECIFICATIONS BIEN FOND EES 27 Remarque 3 : les constructeurs union et produit cart esien v erifient une condition voisine de la condition 1 : funion(m; n) = min(m; n) et fproduct(m; n) = m+n ; ces deux fonctions sont croissantes sur N2 au sens de (m <= m0 et n <= n0) ) f(m; n) <= f(m0; n0). Les
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0142/part1.ps, 19920604 TH ESE pr esent ee a L' ECOLE POLYTECHNIQUE PALAISEAU pour obtenir le titre de DOCTEUR DE L' ECOLE POLYTECHNIQUE sp ecialit e INFORMATIQUE par Paul ZIMMERMANN Sujet : S eries g en eratrices et analyse automatique d'algorithmes Soutenue le 6 mars 1991, devant le jury compos e de : Fran cois BERGERON
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0142/part3.ps, 19920604 Chapitre 4 Fonctions a nombre fini de valeurs Le mieux est seulement l'ennemi du parfait. Mais comme nul n'y atteint : : : Qui ne saurait faire mieux pourra toujours faire plus. Un professeur de rh etorique L e langage des classes et ^ est relativement restreint. Notamment, il n'autorise pas
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1633.ps.gz, 19920605 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1633 Programme 1 Architectures parall eles, Bases de donn ees, R eseaux et Syst emes distribu es
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1690.ps.gz, 19920611 Monotonicity and stability of periodic polling models Christine Fricker1, M. Raouf Ja bi2
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1696.ps.gz, 19920611 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1696 Programme 6 Calcul scientifique, Mod elisation et Logiciel num erique UN TEST DE TYPE
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1682.ps.gz, 19920611 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1682 Programme 4 Robotique, Image et Vision SOME RESULTS ON FEEDBACK STABILIZATION OF A ONE{LINK
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1602.ps.gz, 19920621 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39635511 Rapports de Recherche No1602 Architectures parall eles, Bases de donn ees, R eseaux et Syst emes distribu es
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1496.ps.gz, 19920621 Rapports de Recherche No1496 Architectures parall eles, Bases de donn ees, R eseaux et Syst emes distribu es AN ANALYTICAL CACHE MODEL Christine FRICKER Philippe ROBERT Septembre 1991 An analytical cache model Christine Fricker, Philippe Robert INRIA, domaine de Voluceau B.P. 105, 78153 Le Chesnay C
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1684.ps.gz, 19920622 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1684 Programme 2 Calcul symbolique, Programmation et G enie logiciel REAL THEOREM PROVERS DESERVE
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1697.ps.gz, 19920622 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1697 Programme 4 Robotique, Image et Vision THREE DIMENSIONAL RECONSTRUCTION OF COMPLEX SHAPES
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1327.ps.gz, 19920625 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39635511 Rapports de Recherche No1327 Programme 1 Programmation, Calcul symbolique et Intelligence Artificielle
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1491.ps.gz, 19920625 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39635511 Rapports de Recherche No1491 Programme 2 Calcul symbolique, Programmation et G enie logiciel DYNAMICS IN ML
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1715.ps.gz, 19920703 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1715 Programme 2 Calcul symbolique, Programmation et G enie logiciel GENERAL
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1673.ps.gz, 19920703 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1673 Programme 2 Calcul symbolique, Programmation et G enie logiciel ASYMPTOTIC
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1611.ps.gz, 19920703 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1611 Programme 2 Calcul symbolique, Programmation et G enie logiciel EFFICIENT
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1677.ps.gz, 19920728 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1677 Programme 1 Architectures parall eles, Bases de donn ees, R eseaux et Syst
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1683.ps.gz, 19920827 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1683 Programme 6 Calcul scientifique, Modelisation et logiciels numeriques MESH ADAPTION FOR
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1652.ps.gz, 19920827 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1652 Programme 6 Calcul scientifique, Mod elisation et Logiciel num erique HOMENTHALPIC-FLOW
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1735.ps.gz, 19920827 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1735 Programme 5 Traitement du Signal, Automatique et Productique ASYMPTOTICS OF THE GLRT FOR THE
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1598.ps.gz, 19920827 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1598 Programme 1 Architectures parall eles, Bases de donn ees, R eseaux et Syst emes distribu es
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1207.ps.gz, 19920827 A Semi-Dynamic Construction of Higher Order Vorono Diagrams and its Randomized Analysis Une construction dynamique des diagrammes de Vorono d'ordres sup erieurs et son analyse randomis ee Jean-Daniel Boissonnaty Olivier Devillersy Monique Teillaudy Key-words : Computational Geometry, On-line Algorithms,
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1601.ps.gz, 19920827 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1601 Programme 6 Calcul scientifique, Mod elisation et Logiciel num erique APPROXIMATION DES
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1743.ps.gz, 19920922 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1743 Programme 2 Calcul symbolique, Programmation et G enie logiciel FAST
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1727.ps.gz, 19921001 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1727 Programme 4 Robotique, Image et Vision Towards Dynamic Randomized Algorithms in Computational
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0192.ps.gz, 19921012 TH ESE DE DOCTORAT pr esent ee a L'UNIVERSIT E PARIS 7 Sp ecialit e : Informatique par Xavier LEROY Sujet de la th ese : Typage polymorphe d'un langage algorithmique Soutenue le 12 juin 1992 devant la Commission d'examen compos ee de MM. Jean-Pierre BAN^ATRE Pr esident Guy COUSINEAU Rapporteurs Matthias
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1752.ps.gz, 19921103 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1752 Programme 4 Robotique, Image et Vision CONSTRUCTION OF D-DIMENSIONAL HYPEROCTREES ON A HYPERCUBE
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1768.ps.gz, 19921103 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi 1768 Programme 4 Robotique, Image et Vision INTERPRETATION OF REMOTELY SENSED IMAGES IN A CONTEXT OF
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1721.ps.gz, 19921119 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1721 Programme 6 Calcul scientifique, Mod elisation et Logiciel num erique SYNTHESIS OF THE WORKSHOP ON
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0190/appendices.ps.gz, 19921201 Appendice A Etude d'une ligne de production d eterministe g er ee en Kanban" Introduction Cette etude a et e r ealis ee a l'occasion d'un expos e au groupe de travail Mod elisation et evaluation de performance des syst emes a ev enements discrets"1 sur les instances de Ren e David, a qui l'auteur est
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0190/intro.ps.gz, 19921203 TH ESE pr esent ee a L' ECOLE NATIONALE SUP ERIEURE DES MINES DE PARIS par St ephane GAUBERT pour obtenir le titre de DOCTEUR DE L' ECOLE DES MINES DE PARIS Sp ecialit e: MATH EMATIQUES ET AUTOMATIQUE Sujet de la th ese: TH EORIE DES SYST EMES LIN EAIRES DANS LES DIO IDES soutenue le 1er Juillet 1992
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1809.ps.gz, 19921208 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.: +33(1)39 63 55 11 Rapports de Recherche Nffi 1809 Programme 1 Architectures parall eles, Bases de donn ees, R eseaux et
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1778.ps.gz, 19921217 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1778 Programme 2 Calcul symbolique, Programmation et G enie logiciel POLYMORPHIC
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1806.ps.gz, 19921222 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1806 Programme 1 Architectures parall eles, Bases de donn ees, R eseaux et Syst
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1520.ps.gz, 19930106 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1520 Programme 1 Architectures parall eles, Bases de donn ees, R eseaux et Syst emes distribu es
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1431.ps.gz, 19930107 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1431 Programme 2 Calcul symbolique, Programmation et G enie logiciel TYPE
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1736.ps.gz, 19930107 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1736 Programme 2 Calcul symbolique, Programmation et G enie logiciel TYPING
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1703.ps.gz, 19930129 UNIT E DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France T el.: 93 65 77 77 Rapports de Recherche No1703 Programme 6 Calcul scientifique, Mod elisation et Logiciel num erique ON HIGH RESOLUTION
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0190/chap8.ps.gz, 19930201 Chapitre VIII MAX: un outil de calcul rationnel dans les dio des Introduction MAX se pr esente comme un ensemble de macros ecrites en MAPLE, Version V, qui permettent de manipuler des s eries rationnelles dans le dio de Minax]. On a egalement inclus le traitement de l'alg ebre (max; +). Notre
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0190/chap7.ps.gz, 19930201 Partie C Outils et applications 177 Chapitre VII Alg ebre rationnelle des graphes d' ev enements temporis es Introduction On a vu au cours du Chapitre V que les graphes d' ev enements temporis es se mod elisent naturel- lement par des op erateurs lin eaires stationnaires continus sur le modulo de des
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0190/chap6.ps.gz, 19930201 Chapitre VI Quelques remarques sur la r ealisation minimale Introduction On etudie ici les s eries rationnelles (ou r ealisables) en une ind etermin ee et a coefficients dans Rmax. On caract erise tout d'abord les s eries rationnelles par une certaine propri et e de p eriodicit e: les s eries obtenues
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0190/chap5.ps.gz, 19930201 Partie B Th eorie des Syst emes 141 Chapitre V Syst emes dynamiques lin eaires sur un dio de Introduction Ici commence la partie relative a la Th eorie des Syst emes" proprement dite. On donne tout d'abord des exemples de syst emes simples lin eaires sur certaines structures de dio des d ej a etudi es.
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0190/chap1.ps.gz, 19930201 Chapitre I Sym etrisation Introduction On introduit ici une notion de sym etrisation, valide dans un demi-anneau quelconque. Son int er^et essentiel est d' etablir de mani ere alg ebrique des identit es utiles pour l' etude des equations lin eaires. On obtiendra en particulier une condition n ecessaire
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0190/chap0.ps.gz, 19930201 Partie A R esultats alg ebriques 19 Chapitre Pr eliminaires Introduction Ce chapitre passe en revue la th eorie alg ebrique de base des dio des. Les r esultats pr esent es sont classiques, a l'exception des questions d'inversibilit e d'applications lin eaires et de quelques raffinements sur les familles
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0190/chap4.ps.gz, 19930201 Chapitre IV R esultats suppl ementaires de th eorie spectrale des matrices Introduction Ce chapitre g en eralise les r esultats de th eorie spectrale des matrices irr eductibles (max; +) etablis dans aux matrices non irr eductibles. On caract erise compl etement le spectre de ces matrices. Les
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0190/chap3.ps.gz, 19930201 Chapitre III Syst emes d' equilibres lin eaires Nous etudions dans ce chapitre les syst emes d' equilibres lin eaires. On travaillera essentiellement dans le dio de Smax (sym etris e de Rmax). Cette etude repose sur les trois approches suivantes. a/ Point de vue g eom etrique. On etudie les questions
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0190/chap2.ps.gz, 19930201 Chapitre II Dio de sym etris e Introduction Nous avons etudi e au chapitre I les propri et es combinatoires des structures sym etris ees. Une sym etrisation (S; i) d'un demi-anneau D fournit une extension de D dans laquelle les formes multilin eaires altern ees (et donc certains calculs d' elimination)
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0190/chap9.ps.gz, 19930201 Chapitre IX Calcul formel du taux de production et optimisation des ressources Introduction Nous consid erons le probl eme dit d'optimisation des ressources", qui consiste a minimiser le nombre de ressources (machines, palettes, processeurs, places de stocks, m emoires tampons : : : ) d'un syst eme de
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0205/part2.ps.gz, 19930315 Chapitre V Description du prototype Ce chapitre d ecrit les points importants du prototype. Apr es avoir d ecrit succintement sa structuration, nous donnons les hypoth eses faites lors sa conception et les choix faits quant a son environnement. Nous d etaillons ensuite le mode d'utilisation du service
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0205/part1.ps.gz, 19930315 Th ese pr esent ee a L'universit e Pierre & Marie Curie { Paris VI en vue de l'obtention du titre de Docteur de l'Universit e Paris VI sp ecialit e Informatique par Michel Ruffin sujet KitLog Un service de journalisation g en erique Soutenue, le 14 Septembre 1992, devant le jury compos e de : MM. Claude
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1869.ps.gz, 19930318 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1869 Programme 2 Calcul symbolique, Programmation et G enie logiciel SYNTACTIC
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1766.ps.gz, 19930329 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1766 Programme 2 Calcul symbolique, Programmation et G enie logiciel EXTENSION OF
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1828.ps.gz, 19930407 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1828 Programme 2 Calcul symbolique, Programmation et G enie logiciel ANALYSIS OF
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1801.ps.gz, 19930525 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1801 Programme 4 Robotique, Image et Vision COMPUTER-AIDED DESIGN OF A GENERIC ROBOT CONTROLLER HANDLING
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1868.ps.gz, 19930525 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1868 Programme 6 Calcul scientifique, Mod elisation et Logiciel num erique A HIERARCHICAL APPROACH FOR SHAPE
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1859.ps.gz, 19930525 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1859 Programme 6 Calcul scientifique, Mod elisation et Logiciel num erique A GENUINELY MULTIDIMENSIONAL
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1875.ps.gz, 19930525 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1875 Programme 6 Calcul scientifique, Mod elisation et Logiciel num erique LA TECHNIQUE D'ANNIHILATION DE
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1884.ps.gz, 19930525 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1884 Programme 6 Calcul scientifique, Mod elisation et Logiciel num erique CONVERGENCE ANALYSIS OF A
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1577.ps.gz, 19930525 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1577 Programme 4 Robotique, Image et Vision ASSERVISSEMENT VISUEL APPLIQUE A UN ROBOT MOBILE : ETAT DE L'ART
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1850.ps.gz, 19930525 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1850 Programme 4 Robotique, Image et Vision SINGULARITIES IN THE DETERMINATION OF THE SITUATION OF A ROBOT
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1890.ps.gz, 19930525 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1890 Programme 4 Robotique, Image et Vision MATCHING OF 3D MEDICAL IMAGES WITH A POTENTIAL BASED METHOD Gr
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1883.ps.gz, 19930525 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche N ffi 1883 Programme 6 Calcul scientifique, Mod elisation et Logiciel num erique GODUNOV TYPE METHOD ON
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1767.ps.gz, 19930525 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1767 Programme 4 Robotique, Image et Vision MOTION PLANNING OF LEGGED ROBOTS: THE SPIDER ROBOT PROBLEM
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1799.ps.gz, 19930527 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.: +33(1)39 63 55 11 Rapports de Recherche Nffi 1799 Programme 1 Architectures parall eles, Bases de donn ees, R eseaux et
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1073.ps.gz, 19930602 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1073 Programme 2 Calcul symbolique, Programmation et G enie logiciel
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1779.ps.gz, 19930602 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1779 Programme 2 Calcul symbolique, Programmation et G enie logiciel ALGORITHMS
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1233.ps.gz, 19930602 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1233 Programme 2 Calcul symbolique, Programmation et G enie logiciel AUTOMATIC
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1625.ps.gz, 19930602 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1625 Programme 2 Calcul symbolique, Programmation et G enie logiciel ANALYSIS OF
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1149.ps.gz, 19930602 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1149 Programme 2 Calcul symbolique, Programmation et G enie logiciel THE
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1830.ps.gz, 19930602 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.: +33(1)39 63 55 11 Rapports de Recherche Nffi 1830 Programme 2 Calcul symbolique, Programmation et G enie logiciel A
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-0968.ps.gz, 19930603 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi968 Programme 2 Calcul symbolique, Programmation et G enie logiciel ALAS : UN
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1992.ps.gz, 19930709 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1992 Programme 1 Architectures parall eles, Bases de donn ees, R eseaux et Syst emes distribu es POLLING ON A
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1925.ps.gz, 19930709 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1925 Programme 6 Calcul scientifique, Mod elisation et Logiciel num erique RESOLUTION PAR MULTIGRILLES
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2007.ps.gz, 19930810 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.: +33(1)39 63 55 11 Rapports de Recherche Nffi 2007 Programme 1 Architectures parall eles, Bases de donn ees, R eseaux et
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1987.ps.gz, 19930916 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl An Integrated 2D Systolic Array for Spelling Correction Dominique Lavenier N 1987 May 1993 An Integrated
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1981.ps.gz, 19930916 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl ReLaCS for Systolic Programming Fr ed eric Raimbault, Dominique Lavenier N 1981 Mai 1993 ReLaCS for
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1971.ps.gz, 19930916 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 3flIntelligence artificielle,flsyst mes cognitifsflet interaction homme-machinefl Vers un atelier e ditorial pour les documents structure s Jacques Andre , Dominique Decouchant, Vincent
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1983.ps.gz, 19930916 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl Fine grain parallelism on a MIMD machine using FPGAs Fr ed eric Raimbault, Dominique Lavenier , St
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1978.ps.gz, 19930916 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl Architectures parall eles sp ecialis ees pour le traitement d'image Fran cois Charot N 1978 Avril 1993
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1965.ps.gz, 19930916 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl An Architecture For Tolerating Processor Failures In Shared-Memory Multiprocessors Michel Ban atre,
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1974.ps.gz, 19930916 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 3flIntelligence artificielle,flsyst mes cognitifsflet interaction homme-machinefl Compounds: an Intelligent Tutoring System for Learning to Use Compounds in English Paul Boucher, Fr ed
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1977.ps.gz, 19930916 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl Briques de base pour la r ealisation d'architectures parall eles sp ecialis ees Fran cois Charot N 1977
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1975.ps.gz, 19930916 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 6flCalcul scientifique,flmod lisationflet logiciels num riquesfl Syst eme a base de connaissances pour quelques probl emes aux valeurs propres Jean-Fran cois Carpraux N 1975 Avril 1993
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1988.ps.gz, 19930916 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl Factorisation parall ele de Cholesky pour matrices creuses sur une m emoire virtuelle partag ee Jocelyne
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1970.ps.gz, 19930916 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl Contiguity Orders Vincent Bouchitt e, Abdelmajid Hilali, Roland J egou, Jean Xavier Rampon N 1970 Mars
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1973.ps.gz, 19930916 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl Tools for Correct DSP Synchronization Alain Kerihuel, Roderick McConnell, Fr ed eric Raimbault N 1973
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1966.ps.gz, 19930916 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl SPAM: A Multiprocessor Execution Driven Simulation Kernel Alain Gefflaut, Philippe Joubert N 1966 mars
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1967.ps.gz, 19930916 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 5flTraitement du signal,flautomatiqueflet productiquefl Regressor Selection and Wavelet Network Construction Qinghua Zhang N 1967 April, 1993 Regressor Selection and Wavelet Network
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1994.ps.gz, 19931007 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1994 Programme 4 Robotique, Image et Vision MOBILE ROBOT CONTROL, PART 2: CONTROL OF CHAINED SYSTEMS AND
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1998.ps.gz, 19931007 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1998 Programme 4 Robotique, Image et Vision SUR L' EVOLUTION DE COURBES SIMPLES DU PLAN PROJECTIF R EEL
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1940.ps.gz, 19931008 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1940 Programme 4 Robotique, Image et Vision MANIPULATEURS PARALL ELES, 7EME PARTIE : V ERIFICATION ET
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2038.ps.gz, 19931011 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl MIDEE: Smoothing Branch and Instruction Cache Miss Penalties on Deep Pipelines Nathalie Drach, Andr e
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1982.ps.gz, 19931011 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl Architectures systoliques et parall elisme de donn ees : l'environnement de programmation ReLaCS Fr ed
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1964.ps.gz, 19931011 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl Distributed Termination Detection : General model and Algorithms Jerszy Brzezinski, Jean-Michel H elary
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2042.ps.gz, 19931011 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl A Security Proof System for Networks of Communicating Processes Jean-Pierre Ban atre, Ciar an Bryce N
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1989.ps.gz, 19931011 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 6flCalcul scientifique,flmod lisationflet logiciels num riquesfl Transient Solutions of Markov Processes by Krylov Subspaces Bernard PHILIPPE and Roger B. SIDJE N 1989 Ao ut 1993
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1986.ps.gz, 19931011 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 5flTraitement du signal,flautomatiqueflet productiquefl Remarks on filtering of semi-markov data Bernard Delyon N 1986 Septembre 1993 Remarks on filtering of semi-markov data Bernard
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1985.ps.gz, 19931011 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 5flTraitement du signal,flautomatiqueflet productiquefl Ondelettes orthogonales et biorthogonales Bernard Delyon N 1985 Septembre 1993 Ondelettes orthogonales et biorthogonales Bernard
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1979.ps.gz, 19931011 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl MADMACS : un environnement pour le dessin de masques de circuits r eguliers Eric Gautrin and Laurent
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1976.ps.gz, 19931011 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl Transient analysis of the M/M/1 queue Patrice Leguesdron, Jean Pellaumail, Gerardo Rubino and Bruno
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1980.ps.gz, 19931026 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl Layout generation of bidimensional regular arrays in the MADMACS environment Eric Gautrin , Laurent
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2037.ps.gz, 19931026 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl Dynamic Programming Parallel Implementations for the Knapsack Problem Rumen Andonov , Fr ed eric
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2041.ps.gz, 19931026 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1fl A O(log2 n) fault-tolerant distributed mutual exclusion algorithm based on open-cube structure Jean-Michel H lary, Achour Mostefaoui N 2041 Septembre 1993 Unit de recherche INRIA
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2059.ps.gz, 19931026 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl Allocating Memory Arrays for Polyhedra Doran K. Wilde and Sanjay Rajopadhye N 2059 Juillet 1993
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2035.ps.gz, 19931026 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl De l'image vers la compression Charles Wagner N 2035 Septembre 1993 De l'image vers la compression
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2040.ps.gz, 19931026 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 2flCalcul symbolique,flprogrammationflet g nie logicielfl Un environnement graphique pour le langage SIGNAL Patricia Bournai, Paul Le Guernic N 2040 septembre 93 Un environnement
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1969.ps.gz, 19931026 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 0fl SIGNAL MANUAL Patricia BOURNAI, Bruno CH RON, Thierry GAUTIER, Bernard HOUSSAIS and Paul LE GUERNIC N 1969 Septembre 1993 PROGRAMME 2 Calcul symbolique, programmation et g nie
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2036.ps.gz, 19931026 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 3flIntelligence artificielle,flsyst mes cognitifsflet interaction homme-machinefl Turning an Action Formalism Into a Planner: A Case Study Joachim Hertzberg and Sylvie Thi ebaux N 2036
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1972.ps.gz, 19931108 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 3flIntelligence artificielle,flsyst mes cognitifsflet interaction homme-machinefl Contextual Typesetting of Mathematical Symbols Taking Care of Optical Scaling Jacques Andre & Ire ne
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2058.ps.gz, 19931108 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl Algorithm Engineering and VLSI Design William Marnane and Rumen Andonov N 2058 Ao ut 1993 Algorithm
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2018.ps.gz, 19931220 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 4flRobotique,flimageflet visionfl What can two images tell us about a third one Olivier FAUGERAS Luc ROBERT N 2018 Juillet 1993 What can two images tell us about a third one Olivier
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2005.ps.gz, 19931220 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 6flCalcul scientifique,flmod lisationflet logiciels num riquesfl Mod eles pratiques de catalyse a la paroi pour les calculs d' ecoulements hypersoniques Maria Vittoria SALVETTI N 2005
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2051.ps.gz, 19931220 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 4flRobotique,flimageflet visionfl Suboptimal paths in the problem of a planar motion with bounded derivative of the curvature Vladimir Kostov Elena Degtiariova-Kostova N 2051 Juillet 1993
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2023.ps.gz, 19931220 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 4flRobotique,flimageflet visionfl A Complete and Efficient Algorithm for the Intersection of a General and a Convex Polyhedron Katrin Dobrindt, Kurt Mehlhorn, Mariette Yvinec N 2023 Ao ut
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2039.ps.gz, 19940107 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 2flCalcul symbolique,flprogrammationflet g nie logicielfl Vers la synth ese automatique de circuits a partir de programmes SIGNAL Krzysztof WOLINSKI Mohammed BELHADJ N 2039 Septembre 1993
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2060.ps.gz, 19940111 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 1flArchitectures parall les,flbases de donn es,fl r seaux et syst mes distribu sfl A Counting Model for Software Reliability Analysis James Ledoux, Gerardo Rubino N 2060 Juillet 1993 A
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1264.ps.gz, 19940113 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1264 Programme 2 Calcul symbolique, Programmation et G enie logiciel EFFICIENT
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1922.ps.gz, 19940202 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 5flTraitement du signal,flautomatiqueflet productiquefl Performance Evaluation of Timed Automata Ste phane GAUBERT N 1922 Mai 1993 Performance Evaluation of Timed Automata St ephane
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1984.ps.gz, 19940324 ISSN 0249-6399apport de recherchefl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE On-the-fly replay: a practical paradigm and its implementation for distributed debugging O. Gerstel, M. Hurfin, N. Plouzeau, M. Raynal and S. Zaks N 1984 Ao ut 1993 PROGRAMME 1 Architectures paralle les,
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1838.ps.gz, 19940331 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1838 Programme 2 Calcul symbolique, Programmation et G enie logiciel DECOMPOSED
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1699.ps.gz, 19940331 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1699 Programme 2 Calcul symbolique, Programmation et G enie logiciel A GENERAL
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2033.ps.gz, 19940331 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi2033 Programme 2 Calcul symbolique, Programmation et G enie logiciel A NEW CLASS
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1262.ps.gz, 19940331 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1262 Programme 2 Structures Nouvelles d'Ordinateurs A STRATEGY FOR ARRAY
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1810.ps.gz, 19940418 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1810 Programme 2 Calcul symbolique, Programmation et G enie logiciel A NEW TIMED
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1891.ps.gz, 19940506 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE Interactive Axial Deformations Francis Lazarus, Sabine Coquillart and Pierre Jance ne N 1891 Avril 1993 PROGRAMME 4 Robotique, image et vision Interactive Axial Deformations Francis Lazarus, Sabine
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1851.ps.gz, 19940829 ISSN 0249-6399apport de recherchefl1994 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A Family of Variable Metric Proximal Methods Joseph Fre de ric Bonnans , Jean Charles Gilbert , Claude Lemare chal , Claudia Sagastiza bal N 1851 Fe vrier 1993 PROGRAMME 5 Traitement du signal,
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0318/titre.ps.gz, 19940908 TH ESE de DOCTORAT de l'UNIVERSIT E d'ORL EANS Sp ecialit e : Informatique pr esent ee par M Bruno Marmol pour obtenir le grade de DOCTEUR de l'UNIVERSIT E d'ORL EANS sujet de th ese : Parall elisation et Optimisation M emoire dans l' evaluation d'attributs soutenue le 1er D ecembre 1995 devant le jury
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1463.ps.gz, 19941014 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1463 Programme 4 Robotique, Image et Vision A GEOMETRIC ALTERNATIVE TO COMPUTED
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1901.ps.gz, 19941014 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 4flRobotique,flimageflet visionfl New Feature Points based on Geometric Invariants for 3D Image Registration Jean-Philippe THIRION N 1901 Mai 1993 New Feature Points based on Geometric
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1881-1.ps.gz, 19941014 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 4flRobotique,flimageflet visionfl The Marching Lines Algorithm : new results and proofs Jean-Philippe THIRION, Alexis GOURDON N 1881-1 April 1993 The Marching Lines Algorithm : new
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1787.ps.gz, 19941014 UNIT E DE RECHERCHE INRIA-SOPHIAANTIPOLIS Institut National de Recherche en Informatique et en Automatique 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis France Rapports de Recherche Nffi1787 Programme 4 Robotique, Image et Vision THE GRADIENT AND LAPLACIEN FILTERED BACK PROJECTION OPERATORS
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1881-1-color.ps.gz, 19941014 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 4flRobotique,flimageflet visionfl The Marching Lines Algorithm : new results and proofs Jean-Philippe THIRION, Alexis GOURDON N 1881-1 April 1993 The Marching Lines Algorithm : new
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1901-color.ps.gz, 19941014 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 4flRobotique,flimageflet visionfl New Feature Points based on Geometric Invariants for 3D Image Registration Jean-Philippe THIRION N 1901 Mai 1993 New Feature Points based on Geometric
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1938-V2.ps.gz, 19941214 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 4flRobotique,flimageflet visionfl A Hierarchical Markov Random Field Model and Multi-Temperature Annealing for Parallel Image Classification Zoltan KATO Marc BERTHOD Josiane ZERUBIA Nffi
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0318/these.ps.gz, 19950103 1 Remerciements Je tiens tout d'abord a remercier Pierre Boullier qui a accept e de diriger ma th ese, avec toutes les signatures que cela pouvait comporter, et egalement de pr esider ce jury. Je remercie Martin Jourdan qui m'a encadr e pendant ces trois ans et qui m'a fait conna^ tre et presque appr
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1907.ps.gz, 19950217 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE Finding All Hypergeometric Solutions of Linear Differential Equations Marko PETKOV<=SEK, Bruno SALVY N 1907 Avril 1993 PROGRAMME 2 Finding All Hypergeometric Solutions of Linear Differential Equations
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1887.ps.gz, 19950217 ISSN 0249-6399apport de recherchefl1994fl INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE N 1887 Mars 1993 PROGRAMME 2 Asymptotics of Linear Recurrences with Rational Coefficients Xavier GOURDON Bruno SALVY Asymptotics of Linear Recurrences with Rational Coefficients Xavier Gourdon and
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1583.ps.gz, 19950301 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1583 Programme 2 Calcul symbolique, Programmation et G enie logiciel VARIETIES OF
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-0876.ps.gz, 19950328 To appear in Proc. AECC'6, Rome, July 1988, Lect. Notes in Comp. Sc. LAMBDA-UPSILON-OMEGA: AN ASSISTANT ALGORITHMS ANALYZER Philippe Flajolet INRIA, Rocquencourt 78150 Le Chesnay (France) Bruno Salvy INRIA and Ecole Polytechnique 91405 Palaiseau (France) Paul Zimmermann INRIA, Rocquencourt
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/api.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 1 Architectures parall eles int egr ees Projet API 3 mai 1995 Programme 1 Projet API Projet API Architectures parall eles int egr ees Localisation : Rennes Mots-cl es : API (1), architecture parall ele (1, 13), architecture systolique (1, 6, 12, 13), ASIC (1, 9, 11),
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/meval.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 1 Mod elisation et Evaluation des Syst emes Informatiques PROJET MEVAL 3 mai 1995 Programme 1 PROJET MEVAL PROJET MEVAL Mod elisation et Evaluation des Syst emes Informatiques Localisation : Rocquencourt Mots-cl es : file d'attente (1), interaction locale (1), limite
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/verso.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 1 Bases de Donn ees Projet VERSO 3 mai 1995 Programme 1 Projet VERSO Projet VERSO Bases de Donn ees Localisation : Rocquencourt Mots-cl es : base de donn ees cartographiques (1), base multim edia (1), document electronique (1), g enome (1), hypertexte (1), langage de base
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/masda.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 4 Mouvement, Analyse d'images, Synth ese d'images, D eformation et Animation Avant projet MASDA 3 mai 1995 Programme 4 Avant projet MASDA Avant projet MASDA Mouvement, Analyse d'images, Synth ese d'images, D eformation et Animation Localisation : Rocquencourt Mots-cl es :
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/shood.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 3 M ethodes et outils pour l'int egration des syst emes industriels AVANT-PROJET SHOOD 3 mai 1995 Programme 3 AVANT-PROJET SHOOD AVANT-PROJET SHOOD M ethodes et outils pour l'int egration des syst emes industriels Localisation : Grenoble Mots-cl es : CAO (1, 3), CFAO (1),
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/micas.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 2 Mod eles et impl ementation des calculs syntaxiques Projet MICAS 3 mai 1995 Programme 2 Projet MICAS Projet MICAS Mod eles et impl ementation des calculs syntaxiques Localisation : Rennes Mots-cl es : alg ebre (6), automate (6), bisimulation (1, 5), dualit e (1, 3),
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/pastis.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 4 Projet Analyse de Sc enes et Traitement d'Images Symboliques PROJET PASTIS 3 mai 1995 Programme 4 PROJET PASTIS PROJET PASTIS Projet Analyse de Sc enes et Traitement d'Images Symboliques Localisation : Sophia-Antipolis Mots-cl es : analyse de sc ene (1), cartographie
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/movi-n.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 4 Mod elisation, localisation, reconnaissance et interpr etation en vision par ordinateur Projet MOVI-Nancy 3 mai 1995 Programme 4 Projet MOVI-Nancy Projet MOVI-Nancy Mod elisation, localisation, reconnaissance et interpr etation en vision par ordinateur Localisation :
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/lande.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 2 Langages d eclaratifs Projet LANDE 3 mai 1995 Programme 2 Projet LANDE Projet LANDE Langages d eclaratifs Localisation : Rennes Mots-cl es : analyse de programme (1), compilation (1), environnement de programmation (1), evaluation partielle (1), g enie logiciel (1),
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/orion.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 3 Environnements Intelligents de r esolution de probl emes pour des syst emes autonomes ACTION ORION 3 mai 1995 Programme 3 ACTION ORION ACTION ORION Environnements Intelligents de r esolution de probl emes pour des syst emes autonomes Localisation : Sophia-Antipolis
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/bip.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 4 Contr^ole/commande de robots marcheurs et applications Avant-Projet BIP 3 mai 1995 Programme 4 Avant-Projet BIP Avant-Projet BIP Contr^ole/commande de robots marcheurs et applications Localisation : Grenoble Mots-cl es : commande, commande r ef erenc ee capteur, m
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/promath.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 5 Programmation math ematique PROJET PROMATH 3 mai 1995 Programme 5 PROJET PROMATH PROJET PROMATH Programmation math ematique Localisation : Rocquencourt Mots-cl es : algorithme num erique (1), optimisation (1), PROMATH (1). 1 Composition de l' equipe Responsable
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/caps.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 1 Compilation, Architectures Parall eles et Syst eme Projet CAPS 3 mai 1995 Programme 1 Projet CAPS Projet CAPS Compilation, Architectures Parall eles et Syst eme Localisation : Rennes Mots-cl es : ant em emoire (1, 4), CAPS (1), evaluation de performance (1, 6), Fortran-S
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/ident.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 6 Estimation de Param etres et Applications Industrielles PROJET IDENT 3 mai 1995 Programme 6 PROJET IDENT PROJET IDENT Estimation de Param etres et Applications Industrielles Localisation : Rocquencourt Mots-cl es : 1 Composition de l' equipe Responsable scientifique Guy
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/letool.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 2 Environnement de Programmation Orient e-Objets et Interfaces Visuelles ACTION LeTool 3 mai 1995 Programme 2 ACTION LeTool ACTION LeTool Environnement de Programmation Orient e-Objets et Interfaces Visuelles Localisation : Sophia-Antipolis Mots-cl es : assistance a
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/safir.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 2 Syst emes Alg ebriques Formels pour l'Industrie et la Recherche PROJET SAFIR 3 mai 1995 Programme 2 PROJET SAFIR PROJET SAFIR Syst emes Alg ebriques Formels pour l'Industrie et la Recherche Localisation : Sophia-Antipolis Mots-cl es : alg ebre (1, 12, 17), alg ebre lin
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/sagep.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 5 Simulation, Analyse et Gestion des Syst emes de Production PROJET SAGEP 3 mai 1995 Programme 5 PROJET SAGEP PROJET SAGEP Simulation, Analyse et Gestion des Syst emes de Production Localisation : INRIA-Lorraine, Antenne de Metz Mots-cl es : activit e de conception (1),
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/spectre.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 2 Sp ecification et programmation des syst emes communicants et temps r eel PROJET SPECTRE 3 mai 1995 Programme 2 PROJET SPECTRE PROJET SPECTRE Sp ecification et programmation des syst emes communicants et temps r eel Localisation : Grenoble Mots-cl es : concurrence (1), g
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/icare.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 4 Instrumentation, Commande, Architecture des Robots Evolu es PROJET ICARE 3 mai 1995 Programme 4 PROJET ICARE PROJET ICARE Instrumentation, Commande, Architecture des Robots Evolu es Localisation : Sophia-Antipolis Mots-cl es : asservissement visuel (1, 7), autonomie de
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/epidaure.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 4 Epidaure, Projet Images, Diagnostic Automatique, Robotique PROJET EPIDAURE 3 mai 1995 Programme 4 PROJET EPIDAURE PROJET EPIDAURE Epidaure, Projet Images, Diagnostic Automatique, Robotique Localisation : Sophia-Antipolis Mots-cl es : analyse du mouvement (1, 15), d
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/airelle.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 3 Repr esentations et Langages AVANT-PROJET AIRELLE 3 mai 1995 Programme 3 AVANT-PROJET AIRELLE AVANT-PROJET AIRELLE Repr esentations et Langages Localisation : Grenoble Mots-cl es : activit e de conception (1), interface homme-machine (1), multim edia (1), psychologie
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/psycho.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 3 Psychologie ergonomique pour l'informatique PROJET PSYCHO-ERGO 3 mai 1995 Programme 3 PROJET PSYCHO-ERGO PROJET PSYCHO-ERGO Psychologie ergonomique pour l'informatique Localisation : Rocquencourt Mots-cl es : activit e de conception (1), ergonomie cognitive (1),
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/model.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 1 Mod elisation des syst emes al eatoires Projet MODEL 3 mai 1995 Programme 1 Projet MODEL Projet MODEL Mod elisation des syst emes al eatoires Localisation : Rennes Mots-cl es : agr egation d' etats (1, 5), approximation (1, 6), disponibilit e (1, 3), evaluation de
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/omega.ps.gz, 19950504 Rapport INRIA 1993 \| Programme 6 M ethodes num eriques probabilistes pour les equations aux d eriv ees partielles et les Math ematiques financi eres PROJET OMEGA 3 mai 1995 Programme 6 PROJET OMEGA PROJET OMEGA M ethodes num eriques probabilistes pour les equations aux d eriv ees partielles et les Math
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/meta.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 5 M eta-automatique et m ethodes de l'automatique PROJET META 2 3 mai 1995 Programme 5 PROJET META 2 PROJET META 2 M eta-automatique et m ethodes de l'automatique Localisation : Rocquencourt Mots-cl es : alg ebre (max, +) (1), CAO (1), commande robuste (1), commande
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/meije.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 2 Parall elisme, Synchronisation et Temps-R eel PROJET MEIJE 3 mai 1995 Programme 2 PROJET MEIJE PROJET MEIJE Parall elisme, Synchronisation et Temps-R eel Localisation : Sophia-Antipolis Mots-cl es : automate (10), bisimulation (3, 10), causalit e (7), circuit num erique
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/prolo.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 2 ChLoE \| axe Programmation en Logique Projet ChLoE-PL 3 mai 1995 Programme 2 Projet ChLoE-PL Projet ChLoE-PL ChLoE \| axe Programmation en Logique Localisation : Rocquencourt Mots-cl es : d ebogage (1), environnement de programmation (1), g enie logiciel (1), interpr
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/siames.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 4 Synth ese d'image, animation, mod elisation et simulation Projet SIAMES 3 mai 1995 Programme 4 Projet SIAMES Projet SIAMES Synth ese d'image, animation, mod elisation et simulation Localisation : Rennes Mots-cl es : animation de sc ene (1, 7), calcul formel (1, 7),
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/sherpa.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 3 Bases de connaissances a objets PROJET SHERPA 3 mai 1995 Programme 3 PROJET SHERPA PROJET SHERPA Bases de connaissances a objets Localisation : Grenoble Mots-cl es : base de connaissances (1), cat egorisation (1), classification (1), contrainte (1), diagnostic (1), mod
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/syco.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 3 Mod eles fondamentaux et applications des processus perceptifs et cognitifs PROJET SYCO 3 mai 1995 Programme 3 PROJET SYCO PROJET SYCO Mod eles fondamentaux et applications des processus perceptifs et cognitifs Localisation : Nancy Mots-cl es : acquisition de
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/archi.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 1 Architecture ACTION ARCHI 3 mai 1995 Programme 1 ACTION ARCHI ACTION ARCHI Architecture Localisation : Rocquencourt Mots-cl es : architecture d'ordinateur (1), optimisation (2, 4), r e ecriture (3), r eseaux de transports hi erarchis es (6), routage (1). 1 Composition de
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/charme.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 2 Compilation, Programmation en Logique, Environnements Axe Compilation PROJET ChLo E{Compilation 3 mai 1995 Programme 2 PROJET ChLo E{Compilation PROJET ChLo E{Compilation Compilation, Programmation en Logique, Environnements Axe Compilation Localisation : Rocquencourt
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/made.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 1 Environnements de d eveloppement d'applications multim edia ACTION MADE 3 mai 1995 Programme 1 ACTION MADE ACTION MADE Environnements de d eveloppement d'applications multim edia Localisation : Rocquencourt Mots-cl es : compression d'image (1), interface homme-machine
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/genome.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 5 Action Transversale G enome et Calcul ACTION ATGC 3 mai 1995 Programme 5 ACTION ATGC ACTION ATGC Action Transversale G enome et Calcul Localisation : Rocquencourt Mots-cl es : algorithme (1), analyse de donn ees (1), ASIC (1), base de donn ees (1), g enome (1), mod ele
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/chloe.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 2 Compilation, Logique et Environnements PROJET ChLoE 3 mai 1995 Programme 2 PROJET ChLoE PROJET ChLoE Compilation, Logique et Environnements Localisation : Rocquencourt 1 Pr esentation du projet Le projet ChLoE a et e cr e e il y a trois ans en regroupant trois projets
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/modulef.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 6 M ethodes et outils pour le calcul scientifique PROJET MODULEF 3 mai 1995 Programme 6 PROJET MODULEF PROJET MODULEF M ethodes et outils pour le calcul scientifique Localisation : Rocquencourt Mots-cl es : 1 Composition de l' equipe Responsable scientifique Michel
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/fractales.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 4 Approches Fractales pour l'Analyse et la Mod elisation des Signaux Avant projet FRACTALES 3 mai 1995 Programme 4 Avant projet FRACTALES Avant projet FRACTALES Approches Fractales pour l'Analyse et la Mod elisation des Signaux Localisation : Rocquencourt Mots-cl es :
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/prograis.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 2 D erivation de Sp ecifications et de Programmes Projet PROGRAIS 3 mai 1995 Programme 2 Projet PROGRAIS Projet PROGRAIS D erivation de Sp ecifications et de Programmes Mots-cl es : communication (8), d emonstration automatique (18), environnement de programmation (8),
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/coq.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 2 Sp ecifications et preuves de programmes PROJET COQ 3 mai 1995 Programme 2 PROJET COQ PROJET COQ Sp ecifications et preuves de programmes Localisation : Rocquencourt Mots-cl es : calcul formel (1), d eduction automatique (1), lambda-calcul (1), langage fonctionnel (1),
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/epatr.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 2 Environnement de programmation d'applications temps r eel Projet EP-ATR 3 mai 1995 Programme 2 Projet EP-ATR Projet EP-ATR Environnement de programmation d'applications temps r eel Localisation : Rennes Mots-cl es : analyse de d ependances (1, 14), architecture
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/saturne.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 1 Syst eme r eparti tol erant les fautes et les intrusions PROJET SATURNE 3 mai 1995 Programme 1 PROJET SATURNE PROJET SATURNE Syst eme r eparti tol erant les fautes et les intrusions Localisation : Toulouse Mots-cl es : s ecurit e informatique (1), s^uret e de
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/reflecs.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 1 Syst emes informatiques r epartis temps r eel tol erant les fautes PROJET REFLECS 3 mai 1995 Programme 1 PROJET REFLECS PROJET REFLECS Syst emes informatiques r epartis temps r eel tol erant les fautes Localisation : Rocquencourt Mots-cl es : acc es multiple (1),
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/miaou.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 5 Math ematiques et Informatique de l'Automatique et de l'Optimisation pour l'Utilisateur PROJET MIAOU 3 mai 1995 Programme 5 PROJET MIAOU PROJET MIAOU Math ematiques et Informatique de l'Automatique et de l'Optimisation pour l'Utilisateur Localisation : Sophia-Antipolis
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/mistral.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 1 Mod elisation en Informatique et Syst emes de T el ecommunications PROJET MISTRAL 3 mai 1995 Programme 1 PROJET MISTRAL PROJET MISTRAL Mod elisation en Informatique et Syst emes de T el ecommunications Localisation : Sophia-Antipolis Mots-cl es : analyse des
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/adp.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 1 Algorithmes distribu es et protocoles PROJET ADP 3 mai 1995 Programme 1 PROJET ADP PROJET ADP Algorithmes distribu es et protocoles Localisation : Rennes Mots-cl es : algorithme r eparti (1, 3, 6, 8), application r epartie (1, 7), causalit e (1, 3, 6, 8), contrainte
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/menusin.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 6 M ethodes num eriques des sciences de l'ing enieur PROJET MENUSIN 3 mai 1995 Programme 6 PROJET MENUSIN PROJET MENUSIN M ethodes num eriques des sciences de l'ing enieur Localisation : Rocquencourt Mots-cl es : 1 Composition de l' equipe Responsable scientifique Patrick
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/sharp.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 4 Programmation automatique et syst emes d ecisionnels en robotique PROJET SHARP 3 mai 1995 Programme 4 PROJET SHARP PROJET SHARP Programmation automatique et syst emes d ecisionnels en robotique Localisation : Grenoble1 Mots-cl es : ex ecution de mouvement (1),
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/numath.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 6 Analyse Math ematique & Traitement Num erique de Mod eles Non Lin eaires PROJET NUMATH 3 mai 1995 Programme 6 PROJET NUMATH PROJET NUMATH Analyse Math ematique & Traitement Num erique de Mod eles Non Lin eaires Localisation : Nancy Mots-cl es : 1 Composition de l' equipe
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/conge.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 5 Contr^ole g eom etrique des syst emes non lin eaires Projet CONGE 3 mai 1995 Programme 5 Projet CONGE Projet CONGE Contr^ole g eom etrique des syst emes non lin eaires Localisation : Metz Mots-cl es : automatique non lin eaire (1), capteur logiciel (5), commande de
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/repco.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 3 Repr esentation des connaissances Projet REPCO 3 mai 1995 Programme 3 Projet REPCO Projet REPCO Repr esentation des connaissances Localisation : Rennes Mots-cl es : analyse de donn ees (1), apprentissage automatique (1), classification automatique (1), langage naturel
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/imagis.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 4 Mod eles, Algorithmes, G eom etrie pour le Graphique et l'Image de Synth ese Projet iMAGIS 3 mai 1995 Programme 4 Projet iMAGIS Projet iMAGIS Mod eles, Algorithmes, G eom etrie pour le Graphique et l'Image de Synth ese Localisation : Grenoble Mots-cl es : animation de sc
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/idopt.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 6 Identification et optimisation de syt emes en physique et en environnement PROJET IDOPT 3 mai 1995 Programme 6 PROJET IDOPT PROJET IDOPT Identification et optimisation de syt emes en physique et en environnement Localisation : Grenoble 1 Composition de l' equipe
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/as.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 5 Automatique et signal Projet AS 3 mai 1995 Programme 5 Projet AS Projet AS Automatique et signal Localisation : Rennes Mots-cl es : analyse multir esolution (1, 16), approximation (5), AS (1), calibration (13), d ecodage acoustico-phon etique (1), d etection de sources
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/para.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 2 Parall elisme PROJET PARA 3 mai 1995 Programme 2 PROJET PARA PROJET PARA Parall elisme Localisation : Rocquencourt Mots-cl es : allocation de registre (7), architecture multiprocesseur (1), concurrence (1, 3), lambda-calcul (1, 5, 8), ordonnancement d'instructions (1,
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/cristal.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 2 Programmation typ ee, modularit e et compilation PROJET CRISTAL 3 mai 1995 Programme 2 PROJET CRISTAL PROJET CRISTAL Programmation typ ee, modularit e et compilation Localisation : Rocquencourt Mots-cl es : compilation (1), compilation s epar ee (1), environnement de
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/systol.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 5 Mod elisation statistique et applications biom edicales Avant-projet SYSTOL 3 mai 1995 Programme 5 Avant-projet SYSTOL Avant-projet SYSTOL Mod elisation statistique et applications biom edicales Localisation : Rh^one-Alpes Mots-cl es : aide au diagnostic (1), algorithme
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/icsla.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 2 Interpr etation, Compilation et S emantique des Langages Applicatifs PROJET ICSLA 3 mai 1995 Programme 2 PROJET ICSLA PROJET ICSLA Interpr etation, Compilation et S emantique des Langages Applicatifs Localisation : Rocquencourt, Ecole Polytechnique Mots-cl es :
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/rodeo.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 1 R eseaux a haut d ebit, R eseaux ouverts PROJET RODEO 3 mai 1995 Programme 1 PROJET RODEO PROJET RODEO R eseaux a haut d ebit, R eseaux ouverts Localisation : Sophia-Antipolis Mots-cl es : ALF (1), appel de proc edure distante (1), ASN.1 (1), contr^ole de transmission
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/algo.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 2 Algorithmes PROJET ALGO 3 mai 1995 Programme 2 PROJET ALGO PROJET ALGO Algorithmes Localisation : Rocquencourt Mots-cl es : Analyse d'algorithmes, Algorithmique, Analyse combinatoire et asymptotique, Evaluation de performances, Analyse automatique, Calcul formel, Arbres,
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/temis.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 4 Traitement, exploitation et mod elisation d'images s equentielles Projet TEMIS 3 mai 1995 Programme 4 Projet TEMIS Projet TEMIS Traitement, exploitation et mod elisation d'images s equentielles Localisation : Rennes Mots-cl es : analyse du mouvement (5, 22),
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/ksr.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 6 Calcul parall ele en simulation num erique ACTION MULTI-PROJET 3 mai 1995 Programme 6 ACTION MULTI-PROJET ACTION MULTI-PROJET Calcul parall ele en simulation num erique Localisation : Rocquencourt Mots-cl es : 1 Composition de l' equipe Personnel INRIA M. Kern, IDENT F.
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/clorec.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 5 Classification automatique et reconnaissance des formes PROJET CLOREC 3 mai 1995 Programme 5 PROJET CLOREC PROJET CLOREC Classification automatique et reconnaissance des formes Localisation : Rocquencourt 1 Composition de l' equipe Responsable Scientifique Edwin Diday,
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/codes.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 2 Codes et Protection de l'Information PROJET CODES 3 mai 1995 Programme 2 PROJET CODES PROJET CODES Codes et Protection de l'Information Localisation : Rocquencourt Mots-cl es : algorithme (1), code correcteur (1), erreur (1), protection de l'information (1), transmission
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/graphis.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 4 Synth ese d'Image ACTION GRAPH'IS 3 mai 1995 Programme 4 ACTION GRAPH'IS ACTION GRAPH'IS Synth ese d'Image Localisation : Nancy1 Mots-cl es : analyse num erique (1), colorim etrie (1), g eom etrie algorithmique (1), mod elisation g eom etrique (1), photom etrie (1),
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/eureca.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 2 Preuve, calcul symbolique et logique PROJET EUR ECA 3 mai 1995 Programme 2 PROJET EUR ECA PROJET EUR ECA Preuve, calcul symbolique et logique Localisation : Nancy1 Mots-cl es : analyse d'algorithme (1, 11), automate (11, 14), calcul formel (11), complexit e (9, 11), COQ
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/rodin.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 1 Syst emes de Bases de Donn ees PROJET RODIN 3 mai 1995 Programme 1 PROJET RODIN PROJET RODIN Syst emes de Bases de Donn ees Localisation : Rocquencourt Mots-cl es : base de donn ees (1), base de donn ees active (1), contr^ole de concurrence (1), gestion d'objets r
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/pampa.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 1 Programmation des architectures parall eles r eparties : fondements et m ethodologie Projet PAMPA 3 mai 1995 Programme 1 Projet PAMPA Projet PAMPA Programmation des architectures parall eles r eparties : fondements et m ethodologie Localisation : Rennes Mots-cl es :
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/protheo.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 2 Contraintes, D eduction Automatique et Preuve de Propri et es de Logiciels. PROJET PROTHEO 3 mai 1995 Programme 2 PROJET PROTHEO PROJET PROTHEO Contraintes, D eduction Automatique et Preuve de Propri et es de Logiciels. Localisation : Nancy Mots-cl es : concurrence (1),
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/robotvis.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 4 Robotique et Vision par Ordinateur PROJET ROBOTVIS 3 mai 1995 Programme 4 PROJET ROBOTVIS PROJET ROBOTVIS Robotique et Vision par Ordinateur Localisation : Sophia-Antipolis Mots-cl es : analyse de sc ene (1), analyse du mouvement (1), architecture parall ele (1),
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/prisme.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 4 G eom etrie, Algorithmes et Robotique PROJET PRISME 3 mai 1995 Programme 4 PROJET PRISME PROJET PRISME G eom etrie, Algorithmes et Robotique Localisation : Sophia-Antipolis Mots-cl es : analyse d'algorithme (1, 4, 5, 7, 8), commande optimale (1), g eom etrie
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/dialogue.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 3 Dialogue homme-machine a forte composante langagi ere Projet DIALOGUE 3 mai 1995 Programme 3 Projet DIALOGUE Projet DIALOGUE Dialogue homme-machine a forte composante langagi ere Localisation : Nancy Mots-cl es : compr ehension de texte (1), dialogue homme-machine (1),
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/opera.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 3 Outils pour les documents electroniques, recherche et applications PROJET OP ERA 3 mai 1995 Programme 3 PROJET OP ERA PROJET OP ERA Outils pour les documents electroniques, recherche et applications Localisation : Grenoble et Rennes Mots-cl es : collecticiel (1, 6),
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/sinus.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 6 Simulation Num erique dans les Sciences de l'Ing enieur PROJET SINUS 3 mai 1995 Programme 6 PROJET SINUS PROJET SINUS Simulation Num erique dans les Sciences de l'Ing enieur Localisation : Sophia-Antipolis Mots-cl es : 1 Composition de l' equipe Responsable scientifique
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/syntim.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 4 Analyse Synth ese d'Images PROJET SYNTIM 3 mai 1995 Programme 4 PROJET SYNTIM PROJET SYNTIM Analyse Synth ese d'Images Localisation : Rocquencourt Mots-cl es : animation faciale (1), d eformation (1), image SPOT (1), interpr etation g eom etrique (1), interpr etation
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/acacia.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 3 Acquisition des Connaissances pour l'Assistance a la Conception par Interaction entre Agents PROJET ACACIA 3 mai 1995 Programme 3 PROJET ACACIA PROJET ACACIA Acquisition des Connaissances pour l'Assistance a la Conception par Interaction entre Agents Localisation :
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/croap.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 2 Conception et r ealisation d'outils d'aide a la programmation PROJET CROAP 3 mai 1995 Programme 2 PROJET CROAP PROJET CROAP Conception et r ealisation d'outils d'aide a la programmation Localisation : Sophia Antipolis Mots-cl es : architecture client-serveur (9),
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/movi-g.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 4 Mod elisation, localisation, reconnaissance et interpr etation en vision par ordinateur PROJET MOVI-Grenoble 3 mai 1995 Programme 4 PROJET MOVI-Grenoble PROJET MOVI-Grenoble Mod elisation, localisation, reconnaissance et interpr etation en vision par ordinateur
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/atoll.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 2 Atelier d'outils logicels pour le langage naturel ACTION ATOLL 3 mai 1995 Programme 2 ACTION ATOLL ACTION ATOLL Atelier d'outils logicels pour le langage naturel Localisation : Rocquencourt Mots-cl es : analyse lexicale (1), analyse syntaxique (1), automate logique a
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/secoia.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 2 Syst emes experts et conception d'outils pour l'intelligence artificielle PROJET SECOIA 3 mai 1995 Programme 2 PROJET SECOIA PROJET SECOIA Syst emes experts et conception d'outils pour l'intelligence artificielle Localisation : Sophia-Antipolis Mots-cl es : abduction
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/aladin.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 6 Algorithmes adapt es au calcul num erique intensif Projet ALADIN 3 mai 1995 Programme 6 Projet ALADIN Projet ALADIN Algorithmes adapt es au calcul num erique intensif Localisation : Rennes Mots-cl es : Aladin est un projet commun Inria/cnrs (ura 227). 1 Composition de l'
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA94/mefisto.ps.gz, 19950504 Rapport INRIA 1994 \| Programme 5 Filtrage et Identification des Syst emes Dynamiques Stochastiques PROJET MEFISTO 3 mai 1995 Programme 5 PROJET MEFISTO PROJET MEFISTO Filtrage et Identification des Syst emes Dynamiques Stochastiques Localisation : Sophia-Antipolis Mots-cl es : algorithme d'optimisation
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/model.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet MODEL Mod elisation des syst emes al eatoires Programme Inria 1 Architectures parall eles, bases de donn ees, r eseaux et syst emes distribu es INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/protheo.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet PROTHEO Contraintes, d eduction automatique et preuve de propri et es de logiciels Programme Inria 2 Calcul symbolique, programmation et g enie logiciel INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/systol.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Avant-projet SYSTOL Mod elisation statistique et applications biom edicales Programme Inria 5 Traitement du signal, automatique et productique INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/conge.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet CONGE Contr^ole g eom etrique des syst emes non lin eaires Programme Inria 5 Traitement du signal, automatique et productique INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/opera.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet OP ERA Outils pour les documents electroniques, recherche et applications Programme Inria 3 Intelligence artificielle, syst emes cognitifs et interaction homme-machine INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/menusin.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet MENUSIN M ethodes num eriques des sciences de l'ing enieur Programme Inria 6 Calcul scientifique, mod elisation et logiciel num erique INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/numath.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet NUMATH Analyse math ematique & traitement num erique de mod eles non lin eaires Programme Inria 6 Calcul scientifique, mod elisation et logiciel num erique INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/bip.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Avant-Projet BIP Contr^ole/commande de robots marcheurs et applications Programme Inria 4 Robotique, image et vision INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l' equipe 3 2
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/para.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet PARA Parall elisme Programme Inria 2 Calcul symbolique, programmation et g enie logiciel INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l' equipe 3 2 Pr esentation du
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/saturne.ps.gz, 19960228 Rapport d'activit e scientifique 1995 PROJET SATURNE Syst eme r eparti tol erant les fautes et les intrusions Programme Inria 1 Architectures parall eles, bases de donn ees, r eseaux et syst emes distribu es INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/orion.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet ORION Environnements de r esolution de probl emes pour des syst emes autonomes Programme Inria 3 Intelligence artificielle, syst emes cognitifs et interaction homme-machine INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/lande.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet LANDE Langages d eclaratifs Programme Inria 2 Calcul symbolique, programmation et g enie logiciel INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l' equipe 3 2 Pr esentation
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/comore.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Action COMORE Contr^ole et mod elisation de ressources renouvelables Programme Inria 5 Traitement du signal, automatique et productique INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/verso.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet VERSO Bases de donn ees Programme Inria 1 Architectures parall eles, bases de donn ees, r eseaux et syst emes distribu es INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l'
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/shood.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Avant-projet SHOOD M ethodes et outils pour l'int egration des syst emes industriels Programme Inria 3 Intelligence artificielle, syst emes cognitifs et interaction homme-machine INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/ksr.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Action MULTI-PROJET Calcul parall ele en simulation num erique Programme Inria 6 Calcul scientifique, mod elisation et logiciel num erique INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/safir.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet SAFIR Syst emes alg ebriques formels pour l'industrie et la recherche Programme Inria 2 Calcul symbolique, programmation et g enie logiciel INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/micas.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Action MICAS Mod eles et impl ementation des calculs syntaxiques Programme Inria 2 Calcul symbolique, programmation et g enie logiciel INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/caps.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet CAPS Compilation, architectures parall eles et syst emes Programme Inria 1 Architectures parall eles, bases de donn ees, r eseaux et syst emes distribu es INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/fractales.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet FRACTALES Approche fractale pour l'analyse et la mod elisation des signaux Programme Inria 5 Traitement du signal, automatique et productique INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/air.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet AIR Traitement d'image et donn ees satellites dynamiques Programme Inria 4 Robotique, image et vision INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l' equipe 3 2 Pr
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/airelle.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Action AIRELLE Repr esentations et langages Programme Inria 3 Intelligence artificielle, syst emes cognitifs et interaction homme-machine INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/miaou.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet MIAOU Math ematiques et informatique de l'automatique et de l'optimisation pour l'utilisateur Programme Inria 5 Traitement du signal, automatique et productique INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/promath.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet PROMATH Programmation math ematique Programme Inria 5 Traitement du signal, automatique et productique INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l' equipe 3 2 Pr
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/sysdys.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet SYSDYS Syst emes dynamiques stochastiques Programme Inria 5 Traitement du signal, automatique et productique INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l' equipe 3 2 Pr
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/solidor.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet SOLIDOR Construction de syst emes et d'applications distribu es Programme Inria 1 Architectures parall eles, bases de donn ees, r eseaux et syst emes distribu es INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/pampa.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet PAMPA Programmation des architectures parall eles r eparties : fondements et m ethodologie Programme Inria 1 Architectures parall eles, bases de donn ees, r eseaux et syst emes distribu es INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/sosso.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet SOSSO Applications et outils de l'automatique Programme Inria 5 Traitement du signal, automatique et productique INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l' equipe 3
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/prolo.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Avant-projet PROLO Programmation en logique Programme Inria 2 Calcul symbolique, programmation et g enie logiciel INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l' equipe 3 2 Pr
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/cristal.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet CRISTAL Programmation typ ee, modularit e et compilation Programme Inria 2 Calcul symbolique, programmation et g enie logiciel INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/meta2.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet META2 M eta-automatique et m ethodes de l'automatique Programme Inria 5 Traitement du signal, automatique et productique INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l'
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/acacia.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet ACACIA Acquisition des connaissances pour l'assistance a la conception par interaction entre agents Programme Inria 3 Intelligence artificielle, syst emes cognitifs et interaction homme-machine INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/coq.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet COQ Sp ecifications et preuves de programmes Programme Inria 2 Calcul symbolique, programmation et g enie logiciel INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l' equipe
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/reflecs.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet REFLECS Syst emes informatiques distribu es temps r eel tol erant les fautes Programme Inria 1 Architectures parall eles, bases de donn ees, r eseaux et syst emes distribu es INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/mistral.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet MISTRAL Mod elisation en informatique et syst emes de t el ecommunications Programme Inria 1 Architectures parall eles, bases de donn ees, r eseaux et syst emes distribu es INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/sagep.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet SAGEP Simulation, analyse et gestion des syst emes de production Programme Inria 5 Traitement du signal, automatique et productique INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/meije.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet MEIJE Parall elisme, synchronisation et temps-r eel Programme Inria 2 Calcul symbolique, programmation et g enie logiciel INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l'
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/modulef.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet MODULEF M ethodes et outils pour le calcul scientifique Programme Inria 6 Calcul scientifique, mod elisation et logiciel num erique INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/spectre.ps.gz, 19960228 Rapport d'activit e scientifique 1995 PROJET SPECTRE Sp ecification et programmation des syst emes communicants et temps r eel Programme Inria 2 Calcul symbolique, programmation et g enie logiciel INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/atoll.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Avant-Projet ATOLL Atelier d'outils logiciels pour le langage naturel Programme Inria 3 Intelligence artificielle, syst emes cognitifs et interaction homme-machine INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/ident.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet IDENT Estimation de param etres et applications industrielles Programme Inria 6 Calcul scientifique, mod elisation et logiciel num erique INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/ar.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Action AR Architectures reconfigurables Programme Inria 2 Calcul symbolique, programmation et g enie logiciel INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l' equipe 3 2 Pr
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/psycho.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet PSYCHO-ERGO Psychologie ergonomique pour l'informatique Programme Inria 3 Intelligence artificielle, syst emes cognitifs et interaction homme-machine INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/croap.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet CROAP Conception et r ealisation d'outils d'aide a la programmation Programme Inria 2 Calcul symbolique, programmation et g enie logiciel INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/secoia-ia.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Groupe SECOIA - IA et Conception Outils d'IA pour l'aide au raisonnement et conception Programme Inria 2 Calcul symbolique, programmation et g enie logiciel INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/omega.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet OMEGA M ethodes num eriques probabilistes pour les equations aux d eriv ees partielles et les math ematiques financi eres Programme Inria 6 Calcul scientifique, mod elisation et logiciel num erique INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/charme.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Avant-projet CHARME Compilateurs a hautes performances et leur g en eration Programme Inria 2 Calcul symbolique, programmation et g enie logiciel INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/clorec.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet CLOREC Classification automatique et reconnaissance des formes Programme Inria 5 Traitement du signal, automatique et productique INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/rodin.ps.gz, 19960228 Rapport d'activit e scientifique 1995 projet RODIN Syst emes de bases de donn ees Programme Inria 1 Architectures parall eles, bases de donn ees, r eseaux et syst emes distribu es INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/sherpa.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet SHERPA Mod eles et bases de connaissances a objets Programme Inria 3 Intelligence artificielle, syst emes cognitifs et interaction homme-machine INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/letool.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Action LeTool Environnement de programmation orient e-objets et interfaces visuelles Programme Inria 2 Calcul symbolique, programmation et g enie logiciel INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/atgc.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Action ATGC Action transversale g enome et calcul Programme Inria 5 Traitement du signal, automatique et productique INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l' equipe 3 2
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/epatr.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet EP-ATR Environnement de programmation d'applications temps r eel Programme Inria 2 Calcul symbolique, programmation et g enie logiciel INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/sor.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet SOR Syst emes d'objets r epartis Programme Inria 1 Architectures parall eles, bases de donn ees, r eseaux et syst emes distribu es INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/aladin.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet ALADIN Algorithmes adapt es au calcul num erique intensif Programme Inria 6 Calcul scientifique, mod elisation et logiciel num erique INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/algo.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet ALGO Algorithmes Programme Inria 2 Calcul symbolique, programmation et g enie logiciel INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l' equipe 3 2 Pr esentation du projet
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/syco.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet SYCO Mod eles fondamentaux et applications des processus perceptifs et cognitifs Programme Inria 3 Intelligence artificielle, syst emes cognitifs et interaction homme-machine INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/eureca.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet EUR ECA Preuve, calcul symbolique et logique Programme Inria 2 Calcul symbolique, programmation et g enie logiciel INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l' equipe
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/secoia-contraintes.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Groupe SECOIA-CONTRAINTES R esolution de probl emes exprim es a l'aide de contraintes Programme Inria 2 Calcul symbolique, programmation et g enie logiciel INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/adp.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet ADP Algorithmes distribu es et protocoles Programme Inria 1 Architectures parall eles, bases de donn ees, r eseaux et syst emes distribu es INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/dialogue.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet DIALOGUE Dialogue homme-machine a forte composante langagi ere Programme Inria 3 Intelligence artificielle, syst emes cognitifs et interaction homme-machine INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/rodeo.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet RODEO R eseaux a haut d ebit, r eseaux ouverts Programme Inria 1 Architectures parall eles, bases de donn ees, r eseaux et syst emes distribu es INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/epidaure.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet EPIDAURE Epidaure, projet images, diagnostic, automatique, robotique Programme Inria 4 Robotique, image et vision INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l' equipe 4
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/secoia-bd.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet SECOIA (Axe BD) Persistance des bases de connaissances Programme Inria 2 Calcul symbolique, programmation et g enie logiciel INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/made.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Action MADE Environments multim edia Programme Inria 1 Architectures parall eles, bases de donn ees, r eseaux et syst emes distribu es INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/codes.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet CODES Codes et protection de l'information Programme Inria 2 Calcul symbolique, programmation et g enie logiciel INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l' equipe 3
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/api.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet API Architectures parall eles int egr ees Programme Inria 1 Architectures parall eles, bases de donn ees, r eseaux et syst emes distribu es INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/archi.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Action ARCHI Architecture Programme Inria 1 Architectures parall eles, bases de donn ees, r eseaux et syst emes distribu es INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l'
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/repco.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet REPCO Repr esentation des connaissances Programme Inria 3 Intelligence artificielle, syst emes cognitifs et interaction homme-machine INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/caiman.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet CAIMAN Calcul scientifique, mod elisation et analyse num erique Programme Inria 6 Calcul scientifique, mod elisation et logiciel num erique INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/sinus.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet SINUS Simulation num erique dans les sciences de l'ing enieur Programme Inria 6 Calcul scientifique, mod elisation et logiciel num erique INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/as.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet AS Automatique et signal Programme Inria 5 Traitement du signal, automatique et productique INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l' equipe 3 2 Pr esentation g en
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/meval.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet MEVAL Mod elisation et evaluation des syst emes informatiques Programme Inria 1 Architectures parall eles, bases de donn ees, r eseaux et syst emes distribu es INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/sloop.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet SLOOP Simulation, langages a objets et parall elisme Programme Inria 1 Architectures parall eles, bases de donn ees, r eseaux et syst emes distribu es INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/idopt.ps.gz, 19960228 Rapport d'activit e scientifique 1995 Projet IDOPT Identification et optimisation de syt emes en physique et en environnement Programme Inria 6 Calcul scientifique, mod elisation et logiciel num erique INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/syntim.ps.gz, 19960229 Rapport d'activit e scientifique 1995 Projet SYNTIM Analyse synth ese d'images Programme Inria 4 Robotique, image et vision INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l' equipe 3 2 Pr esentation du projet 4 3
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/prisme.ps.gz, 19960229 Rapport d'activit e scientifique 1995 Projet PRISME G eom etrie, algorithmes et robotique Programme Inria 4 Robotique, image et vision INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l' equipe 4 2 Pr esentation du
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/siames.ps.gz, 19960229 Rapport d'activit e scientifique 1995 Projet SIAMES Synth ese d'image, animation, mod elisation et simulation Programme Inria 4 Robotique, image et vision INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l' equipe 3 2
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/temis.ps.gz, 19960229 Rapport d'activit e scientifique 1995 Projet TEMIS Traitement, exploitation et mod elisation d'images s equentielles Programme Inria 4 Robotique, image et vision INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l'
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/movi.ps.gz, 19960229 Rapport d'activit e scientifique 1995 Projet MOVI Mod elisation, localisation, reconnaissance et interpr etation en vision par ordinateur Programme Inria 4 Robotique, image et vision INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/sharp.ps.gz, 19960229 Rapport d'activit e scientifique 1995 Projet SHARP Programmation automatique et syst emes d ecisionnels en robotique Programme Inria 4 Robotique, image et vision INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l'
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/imagis.ps.gz, 19960229 Rapport d'activit e scientifique 1995 Projet iMAGIS Mod eles, Algorithmes, G eom etrie pour le Graphique et l'Image de Synth ese Programme Inria 4 Robotique, image et vision INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/pastis.ps.gz, 19960229 Rapport d'activit e scientifique 1995 Projet PASTIS Projet analyse de sc enes et traitement d'images symboliques Programme Inria 4 Robotique, image et vision INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l' equipe 4
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/robotvis.ps.gz, 19960229 Rapport d'activit e scientifique 1995 Projet ROBOTVIS Robotique et Vision par Ordinateur Programme Inria 4 Robotique, image et vision INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l' equipe 4 2 Pr esentation du
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/icare.ps.gz, 19960229 Rapport d'activit e scientifique 1995 Projet ICARE Instrumentation, commande, architecture des robots evolu es Programme Inria 4 Robotique, image et vision INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1 Composition de l' equipe 4 2
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA95/isa.ps.gz, 19960229 Rapport d'activit e scientifique 1995 Projet ISA Applications de r ealit e virtuelle et augment ee en ing enierie architecturale et urbaine Programme Inria 4 Robotique, image et vision INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE 2 Rapport d'activit e Inria 1995 Table de mati eres 1
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1557.ps.gz, 19960306 UNIT E DE RECHERCHE INRIA-ROCQUENCOURT Institut National de Recherche en Informatique et en Automatique Domaine de Voluceau Rocquencourt B.P. 105 78153 Le Chesnay Cedex France T el.:(1)39 63 55 11 Rapports de Recherche Nffi1557 Programme 5 Traitement du signal, Automatique et Productique LA
	ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2003.ps.gz, 19960306 ISSN 0249-6399INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEflapport de recherchefl1993flPROGRAMME 4flRobotique,flimageflet visionfl Image Surface Extremal Points, new feature points for Image Registration Jean-Philippe THIRION, , Serge BENAYOUN N 2003 Ao ut 1993 Image Surface Extremal
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0393.ps.gz, 19960811 Th OE ese pr esent ee OEa l' Ecole des Mines de Paris pour obtenir le titre de DOCTEUR DE L' ECOLE DES MINES DE PARIS Sp ecialit e: Math ematiques Appliqu ees et Automatique Sujet de thOEese: DAE Control of Dynamical Systems: Example of a Riderless Bicycle (Une approche alg ebro-diff erentielle num
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0107/TU-0107-chap2.ps.gz, 19970513 Chapitre 2 M ethodes multigrilles pour les equations lin eaires Introduction Dans ce chapitre nous faisons la description des m ethodes multigrilles pour une equation aux d eriv ees partielles lin eaire . Le gain majeur de ces m ethodes est qu'elles fournissent une m ethode it erative de
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0107/TU-0107-intro.ps.gz, 19970513 Table des mati eres Introduction 7 Notations 9 1 Probl emes de contr^ole stochastique 11 1.1 Contr^ole de cha^ nes de Markov : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 11 1.1.1 Formulation g en erale : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 11 1.1.2 Equation de la
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0107/TU-0107-chap5-end.ps.gz, 19970513 Gestion de portefeuille avec co^uts de transactions M. Akian, T. Pandore INRIA Domaine de Voluceau BP 105 Rocquencourt 78153 Le Chesnay France R esum e On consid ere le probl eme de gestion de portefeuille avec co^uts de transactions . Il s'agit de minimiser l'esp erance math ematique d'un crit ere
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0107/TU-0107-remer.ps.gz, 19970513 Je voudrais remercier Alain Bensoussan, pour m'avoir initi ee a la recherche, accueillie a l'INRIA, et pour les encouragements qu'il a su me prodiguer d es le d ebut de mes travaux. Jean-Pierre Quadrat, qui m'a aid ee, conseill ee, encourag ee. Son enthousiasme et sa passion pour ce qui est beau ont
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0107/TU-0107-resume.ps.gz, 19970513 R esum e La r esolution des probl emes de contr^ole stochastique par la m ethode de la programmation dynamique se ram ene a celle des equations aux d eriv ees partielles non lin eaires dites d'Hamilton-Jacobi-Bellman. Nous introduisons un algorithme (appel e FMGH) permettant de r esoudre une equation
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0107/TU-0107-titre.ps.gz, 19970513 THESE pr esent ee a L'UNIVERSITE PARIS IX DAUPHINE U.E.R. DE MATHEMATIQUES DE LA DECISION pour obtenir LE DIPLOME DE DOCTEUR EN SCIENCE Sp ecialit e MATHEMATIQUES ET AUTOMATIQUE par Marianne AKIAN Sujet de la th ese : METHODES MULTIGRILLES EN CONTR^OLE STOCHASTIQUE Soutenue le 2 avril 1990 devant la
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0107/TU-0107-chap4.ps.gz, 19970513 Chapitre 4 Le g en erateur de programmes Introduction L'algorithme FMGH d ecrit dans le paragraphe pr ec edent permet de r esoudre un ensemble de probl emes d efinis math ematiquement, a savoir l'ensemble des probl emes de contr^ole de diffusions a horizon infini a valeurs dans un domaine born e. Le
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0107/TU-0107-bibli.ps.gz, 19970513 Bibliographie M. Akian, R esolution num erique d' equations d'Hamilton-Jacobi-Bellman au moyen d'algorithmes multigrilles et d'it erations sur les politiques dans Analysis and optimisation of systems. Lecture notes in control and information sciences, no111. S. V., 1988. M. Akian, Analyse de
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0107/TU-0107-chap5.ps.gz, 19970513 Chapitre 5 R esultats num eriques de l'algorithme FMGH Introduction Nous avons fait de nombreux tests num eriques a partir des programmes issus du g en erateur d ecrit dans le chapitre pr ec edent. Tous ces tests utilisent l'algorithme FMGH avec peu d'it erations par niveau et les r esultats sont dans
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0107/TU-0107-chap1.ps.gz, 19970513 Chapitre 1 Probl emes de contr^ole stochastique: exemples et m ethodes de r esolution classiques Un probl eme de contr^ole stochastique est la g en eralisation (et limite) au cas du temps continu d'un probl eme de contr^ole de cha^ ne de Markov . Les m ethodes classiques
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0107/TU-0107-chap3.ps.gz, 19970513 Chapitre 3 Description et convergence de l'Algorithme FMGH Introduction Dans ce chapitre nous d ecrivons l'algorithme num erique choisi pour r esoudre les equations d'Ha- milton-Jacobi-Bellman stationnaires, 8 min u 2 Uad (A(u)v + c(u)) = conditions aux limites Cet algorithme est un compromis entre la m
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0107/TU-0107-annexeA.ps.gz, 19970513 Annexe A R esultats num eriques des m ethodes multigrilles lin eaires Introduction Avant de tester l'algorithme FMGH sur plusieurs probl emes de contr^ole stochastique, nous avons r esolu une s erie d' equations aux d eriv ees partielles lin eaires par les m ethodes multigrilles et l'algorithme FMG en
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0107/TU-0107-annexeB.ps.gz, 19970513 Annexe B R esultats num eriques de l'algorithme FMGH pour quelques probl emes a contr^oles r eguliers Introduction Nous avons fait comme dans le cas lin eaire, une etude syst ematique de l'algorithme FMGH appliqu e a quelques equations d'Hamilton-Jacobi-Bellman. Tout d'abord, au vu des r esultats de l'
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0456/These.chap_12.ps.Z, 19970805 Chapitre 12 Mod lisation et recalage multiple Ce chapitre a t publi dans Image Fusion and Shape Variability Techniques (Pennec, 1996). L'id e g n rale est d' tudier les techniques de recalage multiple et d'aborder la th orie des formes sur les points pour pouvoir g n raliser ensuite ces m thodes des
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0252/Dumas93thesistoc.ps, 19970805 Table des mati eres I Aspect alg ebrique 7 1 Op erateurs 11 1.1 Objets de base : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 11 1.2 Op erateur de Mahler : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 12 1.2.1 Comportement des polyn^omes : : : : :
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0296.ps.gz, 19970805 THESE pr esent ee par Juan Manuel AHUACTZIN LARIOS pour obtenir le titre de DOCTEUR de L'INSTITUT NATIONAL POLYTECHNIQUE DE GRENOBLE Sp ecialit e : INFORMATIQUE Th ese prepar ee au sein du Laboratoire d'Informatiqe Fondamentale et d'Intelligence Artificielle LE FIL D'ARIANE : UNE METHODE DE
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0422/Titre.ps.gz, 19970805 No. d'ordre : TH SE pr sent e L'UNIVERSIT DE NICE - SOPHIA ANTIPOLIS cole Doctorale - Sciences Pour l'Ing nieur pour obtenir le titre de DOCTEUR EN SCIENCES Sp cialit : SCIENCES DE L'ING NIEUR par Jean-Luc LOTTI Sujet de la th se : Mise en correspondance st r o par fen tres adaptatives en imagerie a
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0275.ps.gz, 19970805 TH SE PRESENTEE PAR Jose-Alejandro QUINTERO GARCIA POUR OBTENIR LE TITRE DE DOCTEUR DE L UNIVERSITE JOSEPH FOURIER - GRENOBLE 1 (ARRETES MINISTERIELS DU 5 JUILLET 1984 ET DU 30 MARS 1992) SPECIALITE INFORMATIQUE Parall lisation de la classification d objets dans un mod le de connaissances multi-points
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0422/Pages163-178.ps.gz, 19970805 Annexe B Comportement des fen tres B.1 Facteur de Conoance Le score de corr lation tel qu'il est d oni, n'est plus exact dans le cas de surface non fronto-parall le, puisque la disparit est consid r e constante sur toute la fen tre. La distorsion g om trique entra ne alors une perte au niveau du rapport
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0311/merci.ps.gz, 19970805 Remerciements Je tiens a remercier en premier lieu les employ ees du centre de documentation, apostroph ees souvent dans d'autres remerciements, en derni ere ligne, comme filles de la doc", dames de la doc", ou par une autre appellation non contr^ol ee. Leur soutien continu m'a et e d'une grande aide
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0311/these.ps.gz, 19970805 Contents List of Figures IX Part I Introduction: Why Use Neural-Network Algorithms in Early Vision 1 Outline 3 2 Analysis of the Common Elements of Problems in Computational Early Vision 7 2.1 What is early vision : : : : : : : : : : : : : : : : : : : : : : : : : : : 7 2.2 The characteristics of the
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0445/these.ps.gz, 19970805 Table des mati eresT able des mati eresT able des mati eresT able des mati eresT able des mati eresT able des mati eresT able des mati eresT able des mati eresT able des mati eresT able des mati eresT able des mati eresT able des mati eresT able des mati eresT able des mati eresT able des mati eresT
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0422/Pages51-68.ps.gz, 19970805 Chapitre 3 De l'utilisation de la g om trie en st r ovision haute r solution 3.1 Contraintes G om triques 3.1.1 Rectiocation ou G om trie pipolaire Le probl me du r - chantillonnage selon les lignes pipolaires pour l'imagerie satellite est devenu tr s courant dans les m thodes actuelles de mise
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0346.ps.gz, 19970805 THESE pr esent ee par Fadi DORNAIKA pour obtenir le grade de DOCTEUR de l'INSTITUT NATIONAL POLYTECHNIQUE DE GRENOBLE (Arr^et e minist eriel du 30 Mars 1992) Sp ecialit e : Signal Image Parole CONTRIBUTIONS A L'INTEGRATION VISION / ROBOTIQUE : CALIBRAGE, LOCALISATION ET ASSERVISSEMENT Date de soutenance
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0337/abstract.ps.gz, 19970805 R sum La vid oconf rence sur ordinateur est devenue une r alit : aujourd'hui on peut recevoir partir de son micro-ordinateur de bureau un s minaire distance, participer une t l -r union, etc. Les logiciels de vid oconf rence sur l'Internet sont d'ailleurs devenus d'usage courant. La contribution de nos
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0311/titre.ps.gz, 19970805 THESE pr esent e a L'UNIVERSITE DE NICE-SOPHIA ANTIPOLIS pour obtenir le titre de DOCTEUR EN SCIENCES DE L'INGENIEUR par Konrad WEIGL Sujet de la th ese: APPLICATION DES ALGORITHMES NEUROMIMETIQUES A LA VISION BAS NIVEAU Soutenue le 10 mai 1994 devant la commission d'examen: Mr. Peter SANDER Pr esident
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0324/page_de_garde.ps.gz, 19970805 Nffi d'ordre : TH ESE pr esent ee a L'UNIVERSITE DE NICE - SOPHIA ANTIPOLIS Ecole Doctorale { Sciences Pour l'Ing enieur pour l'obtention du titre de Docteur en Sciences Mention Sciences de l'Ing enieur par Fr ed eric FALZON Sujet de la th ese Analyse Multi echelle, D etection des Singularit es et
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0422/Pages137-142.ps.gz, 19970805 5.3 Cartes Denses et l ments MLD 137 Fig. 5.7: R sultat ISTAR sur Marseille (Euclidien) rms1 = sPi E2rr(i) n rms2 = q rms12 moyenne2 Suburban ogure 5.8, erreurs (Err) en m tres sur 45266 points mesur s. Err min max moyenne rms1 rms2 X -5.659774 3.004843 -0.066287 0.402960 0.397471 Y -5.376855 5.401347
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0419.ps.gz, 19970805 Th ese pr esent ee a L'Universit e Pierre & Marie Curie { Paris 6 pour obtenir le titre de Docteur Sp ecialit e Informatique par Julien Maisonneuve Sujet de la th ese: Hobbes : un mod ele de liaison de r ef erences r eparties Soutenue, le 7 octobre 1996, devant le jury compos e de : MM. Genevi eve
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0425.ps.gz, 19970805 Nffi d'ordre : THESE pr sent e L'UNIVERSITE DE NICE-SOPHIA ANTIPOLIS pour obtenir le titre de DOCTEUR EN SCIENCES Mention Sciences de l'Ing nieur par Bruno VASSELLE MESURES DE REGULARITE DISCRETES ET CONTINUES EN ANALYSE D'IMAGE Soutenue le 1er d cembre 1995 devant le jury compos de : MM. Peter SANDER
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0415.ps.gz, 19970805 THESE pr esent ee par Remis BALANIUK pour obtenir le grade de DOCTEUR de l'INSTITUT NATIONAL POLYTECHNIQUE DE GRENOBLE (Arr^ete minist eriel du 30 mars 1992) Sp ecialit e : Informatique Identification Structurelle Date de soutenance : 3 septembre 1996 Composition du jury : Pr esident et rapporteur :
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0359.ps.gz, 19970805 TH SE pr sent e L'Universit de Nice-Sophia Antipolis pour obtenir le titre de DOCTEUR Sp cialit MATH MATIQUES par Alain Sausse Sujet de la th se : Architecture Logicielle Distribu e pour le Calcul Formel. Application la D composition Primaire d'Id aux. Soutenue le 13 d cembre 1995 devant le jury compos
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0324/page_de_garde_int.ps.gz, 19970805 TH ESE pr esent ee a L'UNIVERSITE DE NICE - SOPHIA ANTIPOLIS Ecole Doctorale { Sciences Pour l'Ing enieur pour l'obtention du titre de Docteur en Sciences Mention Sciences de l'Ing enieur par Fr ed eric FALZON Sujet de la th ese Analyse Multi echelle, D etection des Singularit es et Caract erisation de
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0391.ps.gz, 19970805 THESE pr esent ee a l'INSTITUT NATIONAL POLYTECHNIQUE DE GRENOBLE pour obtenir le grade de DOCTEUR sp ecialit e INFORMATIQUE Arr^et e minist eriel du 30 Mars 1992 PLANIFICATION DE MOUVEMENTS POUR UN ROBOT MOBILE AUTONOME TOUT-TERRAIN : UNE APPROCHE PAR UTILISATION DES MOD ELES PHYSIQUES Mo ez CHERIF Th
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0368/thesis.ps.gz, 19970805 Table des mati eres Liste des figures VII Liste des tableaux XIII 1 Introduction XV 2 Contexte du Probl eme XXIII 3 Une Architecture pour la Fusion Temporelle et Multi-CapteursXXIX 4 Les Techniques d'Association des Donn ees pour la Fusion Temporelle et Multi-Capteurs XXXVII 5 Les Applications de la
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0348.ps.gz, 19970805 THESE pr sent e L'UNIVERSITE DE PARIS-SUD, CENTRE D'ORSAY pour obtenir le grade de DOCTEUR EN SCIENCE par Th odore PAPADOPOULO Sujet de la th se : ANALYSE DU MOUVEMENT DE COURBES RIGIDES TRIDIMENSIONNELLES PARTIR DE S QUENCES D'IMAGES Soutenue le 10 Mai 1995 devant la commission d'examen : MM. Joseph
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0422/Pages109-130.ps.gz, 19970805 4.4 M thode Mixte Surface-Primitive 109 disparit droite et gauche de chacun des contours extrait sur les images de la paire st r o. Ces derni res seront nomm es respectivement Limite Droite et Gauche du contour (cf. image 4.24). Dans le cas ou les limites sont toutes deux dioe rentes de la disparit du
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0427.ps.gz, 19970805 THESE pr esent ee par Mario Fernando DE LA ROSA-ROSERO pour obtenir le grade de DOCTEUR de l'INSTITUT NATIONAL POLYTECHNIQUE DE GRENOBLE (Arr^et e minist eriel du 30 mars 1992) (Sp ecialit e : Informatique) PLANIFICATION DE MOUVEMENTS AVEC PRISE EN COMPTE EXPLICITE DES INCERTITUDES GEOMETRIQUES Date de
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0308.ps.gz, 19970805 No d'ordre: Universit e de Paris 7 UFR de Physique TH ESE Pr esent ee par Sandrine MATHIEU Pour l'obtention du titre de Docteur de l'Universit e de Paris 7 Sp ecialit e : M ethodes Physiques en T el ed etection AIDE A LA D ETERMINATION DE FACI ES P EDOPAYSAGERS A PARTIR DE DONN EES SATELLITAIRES
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0422/Pages131-136.ps.gz, 19970805 5.3 Cartes Denses et l ments MLD 131 Image gauche Disparit CBPR+Kanade Vue 3D (Disparit ) l ments MLD image gauche (vert) et droite (rouge) Fig. 5.2: R sultat sur Magny 132 Chap. 5: Reconstruction et R sultats 5.3.2 IGN: Montreuil Suite aux travaux de l'IGN, j'ai choisi trois zones 512x512 ( chelle
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0380.ps.gz, 19970805 Th se pr sent e pour obtenir le grade de DOCTEUR DE L'ECOLE POLYTECHNIQUE sp cialit : INFORMATIQUE par Cyril ZELLER Titre : CALIBRATION PROJECTIVE, AFFINE ET EUCLIDIENNE EN VISION PAR ORDINATEUR ET APPLICATION A LA PERCEPTION TRIDIMENSIONNELLE Soutenue le 2 f vrier 1996 devant le jury compos de : MM.
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0340.ps.gz, 19970805 TH ESE pr esent ee a L'UNIVERSIT E DE NICE - SOPHIA ANTIPOLIS pour l'obtention du titre de Docteur en Sciences Mention Robotique et Vision par Fadi SANDAKLY Sujet de th ese Contribution a la mise en oeuvre d'une architecture a base de connaissances pour l'interpr etation de sc enes 2D et 3D Soutenue le
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0326/theseKato.francais.ps.gz, 19970805 Table des mati eresT able des mati eresT able des mati eresT able des mati eresT able des mati eresT able des mati eresT able des mati eresT able des mati eresT able des mati eresT able des mati eresT able des mati eresT able des mati eresT able des mati eresT able des mati eresT able des mati eresT
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0412.ps.gz, 19970805 Planification et ex ecution de strat egies d'assemblage en robotique Jos e Antonio N AJERA MORA LIFIA - INRIA Rh^one Alpes 46, avenue Felix Viallet 38031 Grenoble Cedex france 11 octobre 1995 Table des mati eres 1 Introduction 4 1.1 L'assemblage m ecanique : : : : : : : : : : : : : : : : : : : : : 4 1.2
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0252/Dumas93thesis.ps.gz, 19970805 Num ero d'ordre : 952 TH ESE pr esent ee A L'UNIVERSIT E BORDEAUX I pour obtenir LE TITRE DE DOCTEUR EN MATH EMATIQUES Par Philippe Dumas R ecurrences mahl eriennes, suites automatiques, etudes asymptotiques. Soutenue le 2 Septembre 1993, devant le jury compos e de : Michel MEND ES FRANCE Pr esident
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0145.ps.gz, 19970805 THESE pr esent ee a L'UNIVERSITE PARIS VII pour obtenir LE TITRE DE DOCTEUR EN INFORMATIQUE par Fran cois ROUAIX Sujet de la th ese: ALCOOL-90 TYPAGE DE LA SURCHARGE DANS UN LANGAGE FONCTIONNEL Soutenue le 20 D ecembre 1990 devant la commission compos ee de: M. G. COUSINEAU Pr esident MMe. V.
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0252/Dumas93thesisabstract.ps, 19970805 R esum e L'objet de cette th ese est l' etude d'une classe de s eries enti eres solutions de certaines equations fonctionnelles, dites mahl eriennes. Ces s eries interviennent en combinatoire avec des probl emes de comptage de mots et en analyse d'algorithmes o u elles sont li ees aux r ecurrences
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0456/These.chap_10_11.ps.Z, 19970805 Chapitre 10 Mise en correspondance, reconnaissance et robustesse Vision: the art of seeing things invisible. <= Jonathan Swift Le probl me de la reconnaissance est sans doute l'un des plus tudi s en vision par ordinateur. Sauf exception, nous ne rentrons donc pas dans les d tails mais nous essayons plut
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0365.ps.gz, 19970805 TH ESE pr esent ee par J er^ome Gensel pour obtenir le titre de Docteur de l'Universit e Joseph Fourier (Arr et es minist eriels du 5 juillet 1984 et du 30 mars 1992) Sp ecialit e Informatique Contraintes et repr esentation de connaissances par objets Application au mod ele Tropes Soutenue le 26 octobre
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0230.ps.gz, 19970805 Universit e de Nancy I CRIN (URA CNRS 262) UFR S.T.M.I.A INRIA-Lorraine La r e ecriture concurrente Th ese de doctorat de l'Universit e de Nancy I ecole doctorale IAE+M d epartement de formation doctorale informatique pr esent ee par Patrick Viry Soutenue publiquement le 21 octobre 1992 devant le jury
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0456/These.chap_1_8.ps.Z, 19970805 TH SE pr par e L'INRIA Sophia-Antipolis et pr sent e L' COLE POLYTECHNIQUE pour obtenir le grade de DOCTEUR de L' COLE POLYTECHNIQUE Sp cialit Informatique par Xavier PENNEC Sujet de la th se : L'INCERTITUDE DANS LES PROBL MES DE RECONNAISSANCE ET DE RECALAGE APPLICATION EN IMAGERIE M DICALE ET BIOLOGIE
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0371.ps.gz, 19970805 TH ESE pr esent ee par C ecile Capponi pour obtenir le titre de Docteur de l'Universit e Joseph Fourier (Arr et es minist eriels du 5 juillet 1984 et du 30 mars 1992) Sp ecialit e Informatique Identification et exploitation des types dans un mod ele de connaissances a objets Soutenue le 19 octobre 1995
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0422/Pages143-162.ps.gz, 19970805 Chapitre 6 Ouvertures 6.1 D cimation d'Histogramme L'utilisation et la modiocation de l'histogramme d'une image est une technique tr s classique pour l'am lioration de contraste, et le pr -traitement la segmentation d'image , avec parfois des tentatives de choix automatique
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0324/remercie.ps.gz, 19970805 Remerciements Je tiens en premier lieu a adresser mes plus vifs remerciements a Monsieur Albert Bijaoui pour l'honneur qu'il me fait de pr esider ce jury de th ese, a Messieurs Jacques L evy V ehel et St ephane Mallat pour l'int er^et qu'ils ont port e a mon travail en acceptant d'^etre rapporteurs, et
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0368/title.ps.gz, 19970805 THESE pr esent ee a L'UNIVERSITE DE NICE - SOPHIA ANTIPOLIS pour obtenir le titre de DOCTEUR EN SCIENCES POUR L'INGENIEUR par David HUTBER Sujet de la th ese: SUIVI MULTI-CAPTEURS DE CIBLES MULTIPLES EN VISION PAR ORDINATEUR, APPLIQUE A UN VEHICULE DANS UN ENVIRONNEMENT ROUTIER Soutenue le 20 novembre
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0303/RuihuaMA-PhDcover.ps.gz, 19970805 No. d'ordre : TH ESE pr esent ee a L'UNIVERSIT E DE NICE - SOPHIA ANTIPOLIS Ecole Doctorale - Sciences Pour l'Ing enieur pour obtenir le titre de DOCTEUR EN SCIENCES Sp ecialit e : SCIENCES DE L'ING ENIEUR par Ruihua MA Sujet de la th ese : Analyse de S equences d'Images St er eoscopiques pour la D
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0443.ps.gz, 19970805 No d'ordre: Universit e de Nice - Sophia Antipolis UFR de Sciences Pour l'Ing enieur TH ESE Pr esent ee par David LABROUSSE Pour l'obtention du titre de Docteur de l'Universit e de Nice - Sophia Antipolis Sp ecialit e : Vision par Ordinateur MOD ELISATION MARKOVIENNE POUR LE D EROULEMENT DE PHASES
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0445/abstract.ps.gz, 19970805 R ESUM E D ans cette th ese, nous nous int eressons au probl eme de la super-r esolution. Dans le premier chapitre, nous pr esentons une etude comparative des m ethodes propos ees dans la litt erature suivie d'une classification de ces m ethodes du point de vue du crit ere de Rayleigh et de celui d'Abbe
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0276/willamowski.ps.gz, 19970805 Th se pr sent e par Jutta WILLAMOWSKI pour obtenir le titre de docteur de l universit Joseph Fourier - Grenoble 1 (arret minist riel du 30 mars 1992) Sp cialit : informatique Mod lisation de t ches pour la r solution de probl mes en coop ration syst me-utilisateur Date de soutenance : 06 avril 1994
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0400.ps.gz, 19970805 TH SE pr sent e L' COLE POLYTECHNIQUE pour obtenir Le GRADE de DOCTEUR EN SCIENCES DE L' COLE POLYTECHNIQUE sp cialit INFORMATIQUE par St phane LAVEAU Sujet de la th se : G OM TRIE D'UN SYST ME DE N CAM RAS. TH ORIE, ESTIMATION ET APPLICATIONS. soutenue le 31 mai 1996 devant la Commission d'examen : MM.
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0314.ps.gz, 19970805 TH ESE pr esent ee a l'INSTITUT NATIONAL POLYTECHNIQUE DE GRENOBLE pour obtenir le grade de DOCTEUR sp ecialit e INFORMATIQUE Arr^et e minist eriel du 23 novembre 1988 CONTR^OLE D'EX ECUTION DES MOUVEMENTS D'UN ROBOT MOBILE : APPLICATION A L'ASSISTANCE A LA CONDUITE AUTOMOBILE Mouna HASSOUN Th ese
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0326/cover.ps.gz, 19970805 No d'ordre: TH ESE pr esent ee a L'UNIVERSIT E DE NICE SOPHIA ANTIPOLIS pour obtenir le titre de DOCTEUR EN SCIENCES Sp ecialit e SCIENCES DE L'ING ENIEUR par Zoltan KATO Sujet de la th ese: Mod elisations markoviennes multir esolutions en vision par ordinateur. Application a la segmentation d'images
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0454.ps.gz, 19970805 THE SE pre sente e a L'UNIVERSITE DE NICE SOPHIA-ANTIPOLIS pour obtenir le titre de DOCTEUR EN SCIENCES mention SCIENCES DE L'INGE NIEUR par Thierry BLASZKA Sujet de la the se : APPROCHES PAR MODE LES EN VISION PRE COCE Soutenue le 25 fe vrier 1997 devant le jury compose de : MM. Peter SANDER Pre sident
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0324/Resume.ps.gz, 19970805 Analyse multi echelle, d etection des singularit es et caract erisation de la r egularit e des images. R esum e : le travail pr esent e dans ce m emoire int eresse deux probl emes distincts : l'Analyse MultiEchelle (AME) dans un contexte domin e par le probl eme naturaliste de la g en eralisation, et la
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0337/header.ps.gz, 19970805 THESE Pr sent e L'UNIVERSITE DE NICE - SOPHIA ANTIPOLIS Ecole Doctorale - Sciences Pour l'Ing nieur Par Thierry TURLETTI En vue de l'obtention du titre de Docteur en Sciences Mention Sciences de l'Ing nieur Sujet de la th se Contr le de Transmission pour Logiciel de Vid oconf rence sur l'Internet
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0422/Biblio.ps.gz, 19970805 Bibliographie - p. 163 - A.L. Abbott et B. Zheng. Active oxation using at tentional shifts, aOEne resampling, and multiresolution search. In IEEE International Conference on Computer Vision, pages 1002>=1008, jun 1995. - p. 31 - M. Abbasi-Dezfouli et T.G. Freeman. Patch
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0390.ps.gz, 19970805 TH ESE pr esent ee a L'UNIVERSIT E DE NICE SOPHIA ANTIPOLIS pour obtenir le grade de DOCTEUR EN SCIENCE Sp ecialit e SCIENCES DE L'ING ENIEUR par Gabriella CSURKA Sujet de la th ese Mod elisation projective des objets tridimensionnels en vision par ordinateur Soutenue le 3 Avril 1996 devant la
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0324/doc.ps.gz, 19970805 Table des mati eres I Introduction 7 II Vision par ordinateur - analyse et repr esentation des images 17 II.1 Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 17 II.2 L'interpr etation des images selon Marr : : : : : : : : : : : : : : : : : 19 II.2.1 Echelle et conception
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0422/Pages1-50.ps.gz, 19970805 Chapitre 1 Introduction Il fut un temps o les gens pensaient que la terre tait plate et o ils n'osaient pas d passer l'horizon. Un jour elle devint sph rique et un homme, non des moindres, s'exclama Et pourtant, elle tourne . Guid par sa soif de b tir et de d couvrir de nouveaux continents, l'homme a
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0445/thesis.ps.gz, 19970805 ContentsContentsContentsContentsContentsContentsContentsContentsContentsContentsContentsContentsContentsContentsContentsContentsContentsContentsContentsContentsContents Contents i Figures v Tables ix Introduction 1 Image Acquisition : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 Image
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0337/phd.ps.gz, 19970805 A mes parents ii Remerciements Je tiens tout d'abord remercier Jean MENEZ, Professeur l'Universit de Nice - Sophia Antipolis, qui me fait l'honneur de pr sider mon jury de th se. J'exprime ma profonde gratitude Christian HUITEMA, Directeur de Recherche l'INRIA Sophia Antipolis, qui a mis ma disposition
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0456/These.chap_9.ps.Z, 19970805 Chapitre 9 Validation du recalage d'images m dicales I could prove God statistically. <= George Gallup Nous avons obtenu dans le chapitre pr c dant divers algorithmes pour calculer l'incertitude sur le recalage. La question que l'on se pose maintenant est de savoir si cette estimation est r aliste. De
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0449.ps.gz, 19970805 D partement de Formation Doctorale en Informatique cole Doctorale IAE + M Techniques de R criture pour le Traitement de Probl me de Routage dans les Graphes de Cayley TH SE pr sent e et soutenue publiquement le 19 d cembre 1996 pour l'obtention du Doctorat de l'Universit Henri Poincar >= Nancy I (Sp
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0326/theseKato.english.ps.gz, 19970805 ContentsContentsContentsContentsContentsContentsContentsContentsContentsContentsContentsContentsContentsContentsContentsContentsContentsContentsContentsContentsContents Contents i Figures vii Tables xi Introduction 1 Image Processing : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0422/Sommaire.ps.gz, 19970805 Table des mati res Liste des ogures V 1 Introduction 1 2 Probl matique de la St r ovision 5 2.1 Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.2 Caract ristiques Essentielles d'un Syst me . . . . . . . . . . . . . . . 7 2.2.1 Luminance . . . . . . . . . . . . . . . . .
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0422/Pages95-108.ps.gz, 19970805 4.2 M thode bas e surface 95 droite, plus fortes que l'estimation de bruit. Nous n'avons pas d'information dans les zones non textur es ogure 4.16. Les probl mes de support page 21 et de texture p riodique dans l'exemple des Fruits (cf. ogure 4.15), entra nent aussi une possibilit d'erreur lors de la
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0387.ps.gz, 19970805 UNIVERSITE DE NICE-SOPHIA ANTIPOLIS U.F.R FACULTE DES SCIENCES Ecole Doctorale - Sciences Pour l'Ing enieur TH ESE Pr esent ee pour obtenir le titre de Docteur en SCIENCES Mention Sciences de l'Ing enieur par Sabine URAGO Sp ecialit e : Vision par Ordinateur Sujet de la th ese : GROUPEMENTS DE CONTOURS
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0375.ps.gz, 19970805 TH ESE pr esent ee a L'Universit e Pierre & Marie Curie { Paris VI en vue de l'obtention du titre de Docteur de l'Universit e Paris VI sp ecialit e Informatique par Laurent Dayn es Sujet de la th ese : Conception et r ealisation de m ecanismes flexibles de verrouillage adapt es aux SGBDO client-serveur
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0274/marino.ps.gz, 19970805 1 TH SE PRESENTEE PAR Olga MARI O DREWS POUR OBTENIR LE TITRE DE DOCTEUR DE L UNIVERSITE JOSEPH FOURIER - GRENOBLE 1 (ARRETES MINISTERIELS DU 5 JUILLET 1984 ET DU 30 MARS 1992) SPECIALITE INFORMATIQUE Raisonnement classificatoire dans une repr sentation objets multi-points de vue DATE DE SOUTENANCE : 4
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0422/Pages69-94.ps.gz, 19970805 Chapitre 4 Une nouvelle approche pour le calcul de la disparit 4.1 Le point Nous avons vu dans le chapitre pr c dant, les probl mes lors de l'utilisation de primitives g om triques dans des images a riennes de haute r solution en milieu ur bain. Il nous appara t donc maintenant important, d'introduire
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0445/cover.ps.gz, 19970805 No d'ordre: TH ESE pr esent ee a L'UNIVERSIT E DE NICE SOPHIA ANTIPOLIS pour obtenir le titre de DOCTEUR EN SCIENCES Sp ecialit e SCIENCES DE L'ING ENIEUR par Hassan SHEKARFOROUSH Sujet de la th ese: Super-R esolution en Vision Par Ordinateur Soutenue le 25 Novembre 1996 devant le jury compos e de: M
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0326/abstract.ps.gz, 19970805
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0368/intro.ps.gz, 19970805 Chapitre 1 Introduction Cette th ese a pour but le d eveloppement de m ethodes pour le suivi multi-capteurs de cibles multiples, appliqu ees aux probl emes de d etection d'obstacles et de navigation d'un v ehicule en environnement routier. Cette etude utilise un syst eme multi-capteurs de perception
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0303/RuihuaMA-PhD.ps.gz, 19970805 Table des mati eres Introduction 7 Probl emes a r esoudre et Approche g en erale : : : : : : : : : : : : 9 Quelques commentaires sur la m ethodologie : : : : : : : : : : : 11 R esum e de la th ese : : : : : : : : : : : : : : : : : : : : : : : : : 12 Contributions : : : : : : : : : : : : : : : : : : : :
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0232.ps.gz, 19970806 TH ESE DE DOCTORAT pr esent ee a L'UNIVERSIT E PARIS VII Sp ecialit e : Informatique par Luc Maranget Sujet de la th ese : La strat egie paresseuse Soutenue le 6 juillet 1992 devant la Commission d'examen compos ee de MM. Guy COUSINEAU Pr esident Bruno COURCELLE Rapporteurs Jan Willem KLOP Jean-Pierre
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0379/these.4.ps.gz, 19970807 7.3. L'ANALYSE EN D FORMATIONS FONDAMENTALES 173 obtenons un ensemble de n d formations Di. Comment d composer les Di en d - formations fondamentales, souvent appel es modes Nous pouvons approfondir le classement donn dans : >= Les modes pr d termin s. Ils sont d onis par l'utilisateur. Outre
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0381/p79_82.ps.gz, 19970807 IV.3. PROBL MES HARMONIQUES 79 IV.3 Probl mes harmoniques IV.3.1 Entr e d'air Une onde incidente monochromatique claire ici une entr e d'air m tallique semiferm e. Elle fait dix longueurs d'onde de long et une de haut. La polarisation de l'onde est de type TM et elle arrive avec une incidence nulle par
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0381/resum.ps.gz, 19970807 R sum Ce travail a consist essentiellement en l' laboration d'un nouveau solveur des quations de Maxwell dans le domaine temporel et pour des maillages non structur s, ainsi qu'au d veloppement de logiciels bidimensionnel et tridimensionnel. Cette m thode est issue d'une technique de volumes onis
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0250/PhDchapter11.ps.gz, 19970807 Chapitre 11 Implantation Nous pr esentons dans ce chapitre le syst eme DyALog qui implante les interpr etations en Programmation Dynamique des Automates Logiques a Piles du Chapitre 9. 11.1 Pr esentation g en erale de l'algorithme Le syst eme DyALog est actuellement ecrit en Lisp1. Pour l'instant,
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0381/p83.ps.gz, 19970807 IV.3. PROBL MES HARMONIQUES 83 0.0 4.0 8.0 12.0 -0.5 1.5 3.5 Fig. IV.23 >= Maillage. Fig. IV.24 >= Champ lectrique total.
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0381/p84_88.ps.gz, 19970807 84 CHAPITRE IV. EXPERIENCES NUMERIQUES -30 -20 -10 10 20 30 40 60 120 180 240 300 360 DB ANGLES COMPUTED INTEGRAL METHOD Fig. IV.25 >= F117: comparaison avec une m thode int grale. f k IV.3.4 Erreur sur la divergence Nous ne consid rons pas dans notre mod le les conditions de divergence nulle
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0250/PhDchapter10.ps.gz, 19970807 Chapitre 10 Compl ements sur les LPDA Ce chapitre reprend certaines caract eristiques des sch emas de compilation et essaye de montrer comment celles-ci d ecoulent de propri et es intrins eques des m ethodes de r esolution sous-jacentes. Nous mettons egalement en lumi ere diff erents m ecanismes de
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0250/PhDchapter13.ps.gz, 19970807 Chapitre 13 Partage de structures Lors de la pr esentation du syst eme DyALog (Chapitre 11), nous avons evoqu e les raisons qui nous poussent a utiliser un m ecanisme de partage de structures : gains en place m emoire et solution plus el egante que la copie aux probl emes de renommage. Ce chapitre, au
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0381/p1_65.ps.gz, 19970807 Remerciements Je tiens tout d'abord remercier l'ensemble des membres du jury de cette th se qui ont accept de porter un jugement sur mes travaux de recherche et qui m'honorent de leur pr sence la soutenance. J'exprime toute ma reconnaissance Messieurs Patrick Joly et Olivier Pironneau qui, malgr leurs
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0250/PhDchapter12.ps.gz, 19970807 Chapitre 12 Indexation Ce chapitre apporte quelques el ements nouveaux au probl eme de la rapidit e des acc es aux objets tabul es. Malheureusement, malgr e l'importance du sujet, nous n'avons pas encore de solution totalement satisfaisante. Nous nous contentons donc de d ecrire certaines voies de
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0250/PhDchapter1.ps.gz, 19970807 Chapitre 1 Introduction 1.1 Programmation en Logique : une qu^ete d'absolu ! La Programmation en Logique est n ee de l'ambition des math ematiciens (tels Hilbert) de m ecaniser la Logique. Malgr e les fameux r esultats de G odel prouvant l'impossibilit e d'un tel r^eve, cet objectif a et e atteint pour
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0250/PhDend.ps.gz, 19970807 Appendice A R esultats Les r esultats fournis dans ce chapitre sont obtenus a partir d'un jeu de dix programmes que nous d etaillons ici. Ce sont tous de purs programmes en clauses de Horn sans pr edicats arithm etiques ou de contr^ole. Par convention, les programmes sont nomm es sous la forme
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0379/these.2.ps.gz, 19970807 3.5. QUELQUES EXEMPLES DE LIGNES DE CR TE 53 3.5 Quelques exemples de lignes de cr te Dans tous les exemples suivants, nous pr sentons les lignes de cr te avec l'isosurface correspondante. Pour une meilleure visualisation, nous avons l g rement d cal les lignes des surfaces. 3.5.1 Un objet manufactur
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0250/PhDchapter4.ps.gz, 19970807 Chapitre 4 Pile et Subsomption Nous avons d ej a rencontr e la notion de pile lors de la description des automates a piles de la Section 2.5. Nous donnons dans ce chapitre une pr esentation plus abstraite de la notion de pile, qui inclut certes les piles traditionnelles de la Section 2.5, mais egalement
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0357.ps.gz, 19970807 TH SE DE DOCTORAT pr sent e l'Ecole Nationale des Ponts et Chauss es Sp cialit Math matiques Informatique par Delphine TERRASSE Sujet de la th se Vers un Environnement d'Aide au D veloppement de Preuves en S mantique Naturelle Soutenue le 31 octobre 1995 devant le jury compos de M. G rard HUET Pr sident
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0401.ps.gz, 19970807 TH ESE DE DOCTORAT DE l'UNIVERSIT E PARIS XI UFR D'INFORMATIQUE Sp ecialit e: Infographie pr esent ee par: Fabrice NEYRET pour obtenir le titre de DOCTEUR DE L'UNIVERSIT E PARIS XI TEXTURES VOLUMIQUES pour la Synth ese d'Images Soutenue le 17 Juin 1996, devant la commission compos ee de: M. Claude PUECH
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0381/present.ps.gz, 19970807 TH SE pr sent e L'UNIVERSIT DE NICE SOPHIA-ANTIPOLIS pour obtenir le titre de DOCTEUR EN MATH MATIQUES par Jean-Pierre CIONI R SOLUTION NUM RIQUE DES QUATIONS DE MAXWELL INSTATIONNAIRES PAR UNE M THODE DE VOLUMES FINIS Soutenue le 01 d cembre 1995 devant le jury compos de : M. Fr d ric POUPAUD Pr sident
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0381/p107_178.ps.gz, 19970807 IV.4. CALCULS DE SER POUR DES PROFILS D'AILE 107 IV.4.2 Onde incidente de type impulsion Un des grands avantages des m thodes temporelles est de pouvoir tudier une bande de fr quence donn e partir d'un seul calcul num rique. Le calcul de la SER peut par exemple tre donn pour toute une s rie de fr
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0383.ps.gz, 19970807 Th ese pr esent ee a L'Universit e Pierre & Marie Curie { Paris VI en vue de l'obtention du titre de Docteur de l'Universit e Paris VI Sp ecialit e Informatique par Eric Dujardin Sujet : Flexibilit e, robustesse et efficacit e des mod eles de donn ees a objets Soutenue, le 14 D ecembre 1995, devant le
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0379/these.1.ps.gz, 19970807 TH SE pr sent e L' COLE CENTRALE DE PARIS pour obtenir le grade de DOCTEUR Sp cialit G NIE DES SYST MES par G rard SUBSOL Sujet de la th se : CONSTRUCTION AUTOMATIQUE D'ATLAS ANATOMIQUES MORPHOM TRIQUES PARTIR D'IMAGES M DICALES TRIDIMENSIONNELLES Soutenue le 20 d cembre 1995 l'E'cole Centrale de Paris
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0250/PhDchapter2.ps.gz, 19970807 Chapitre 2 Rappels 2.1 Notations Nous notons les ensembles en gras (e.g. X) ou en calligraphie (e.g. E). L'ensemble des parties d'un ensemble E est not e }(E). De mani ere g en erale, nous identifions un objet x avec le singleton fxg et etendons toute fonction f : D 7! D0 en une fonction egalement not
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0406.ps.gz, 19970807 TH ESE pr esent ee a L'UNIVERSIT E DE PARIS IX-DAUPHINE U.F.R. MATH EMATIQUES DE LA D ECISION pour obtenir le titre de DOCTEUR EN SCIENCES sp ecialit e Math ematiques Appliqu ees par Jean-Philippe TAREL Sujet de la th ese : ESTIMATION G EOM ETRIQUE ET APPARIEMENT EN MOD ELISATION AUTOMATIQUE Soutenue le
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0407.ps.gz, 19970807 No d'ordre : 4369 TH ESE pr esent ee a l'Universit e de Paris-Sud pour obtenir Le grade de Docteur en Sciences Sp ecialit e : Informatique par Zo e LACROIX Sujet de la th ese : Bases de Donn ees : des Relations Implicites aux Relations Contraintes soutenue le 27 juin 1996 devant le jury compos e de : M.
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0379/these.3.ps.gz, 19970807 4.6. UN EXEMPLE DE MISE EN CORRESPONDANCE 113 >= en tudiant les statistiques sur le nombre de points appari s (qui doit tre important) et les distances entre eux (qui doivent tre faibles la on des it rations). Cela permet de juger la mise en correspondance g om trique. 4.6 Un exemple de mise en
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0381/p181_214.ps.gz, 19970807 VIII.4. R SULTATS DE PERFORMANCE 181 Sur la Meiko, ce rapport varie entre 5% et 10% suivant le nombre de noeuds, en raison du nombre relativement faible de noeuds dans la zone de recouvrement o interviennent les communications. Des r sultats de performance en termes de MAEops (millions d'op rations par
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0250/PhDchapter9.ps.gz, 19970807 Chapitre 9 Automates Logiques a Piles Dans le chapitre pr ec edent, nous avons montr e comment d ecrire un evaluateur PROLOG en terme de manipulation de piles. Les autres r esolutions peuvent egalement se penser en terme de piles, m^eme si le proc ed e est parfois artificiel. D es lors, nous encodons
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0250/PhDpreamble.ps.gz, 19970807 Nffi d'ordre: THESE pr esent ee a L'UNIVERSITE PARIS VII pour obtenir LE TITRE DE DOCTEUR Sp ecialit e: INFORMATIQUE par Eric VILLEMONTE de la CLERGERIE Sujet de la th ese: Automates a Piles et Programmation Dynamique DyALog : Une application a la Programmation en Logique Soutenue le 8 Juin 1993 devant
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0250/PhDchapter7.ps.gz, 19970807 Chapitre 7 Automates de couplage Nous d eveloppons dans ce chapitre un exemple assez g en eral d'automates a piles sur un domaine de piles inductif S(D) ordonn e a l'aide d'un ensemble d'actions A. Nous avons d ej a pr esent e ces domaines dans la Section 4.3.3 et nous les rencontrerons de nouveau
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0250/PhDchapter8.ps.gz, 19970807 Chapitre 8 Programmation en Logique Cette partie d ecrit l'application de notre formalisme d'automates a piles dans le cadre de la Programmation en Logique. Ce chapitre est un rappel relativement complet de ce que sont les programmes logiques en clauses de Horn a la base du langage PROLOG, les m ethodes
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0250/PhDchapter14.ps.gz, 19970807 Chapitre 14 Conclusion 14.1 Automate a piles / Programmation Dynamique" Nous avons cherch e au long de ce m emoire a donner une assise th eorique solide a l'emploi du couple Automate a piles / Programmation Dynamique" et ce dans le cadre le plus g en eral possible. Deux raisons (au moins) guident ce
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0250/PhDchapter3.ps.gz, 19970807 Chapitre 3 Introduction a la Programmation Dynamique 3.1 Des techniques pour des probl emes d'optimisation: : : La notion de Programmation Dynamique recouvre un eventail assez large de techniques de construction d'algorithmes. Ces techniques sont connues de longue date et ont surtout et e etudi ees par
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0250/PhDchapter5.ps.gz, 19970807 Chapitre 5 Automates a Piles orient es Subsomption Ce chapitre pr esente une g en eralisation des automates a piles vus dans la section 2.5. Ces automates sont appel es Automates a Piles orient es Subsomption 1 et leur principale caract eristique est de fonctionner sur des domaines de piles ordonn
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0250/PhDchapter6.ps.gz, 19970807 Chapitre 6 Interpr etations en Programmation Dynamique des SPDA Nous avons pr esent e dans le Chapitre 3 les techniques de Programmation Dynamique en mettant en evidence que celles-ci sont d'autant plus avantageuses que le probl eme a r esoudre est d ecomposable en sous-probl emes a fort taux de r
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0453/annexeB.ps.gz, 19970808 Circuit-switched gossiping in the 3-dimensional torus networks Olivier Delmas, St phane Perennes* Th me 1 R seaux et syst mes Projet SLOOP Rapport de recherche n Juillet 1996 21 pages
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0437.ps.gz, 19970808 TH ESE pr esent ee le 29 Novembre 1996 a UNIVERSIT E PARIS IX DAUPHINE U.F.R. MATH EMATIQUES DE LA D ECISION pour obtenir le titre de DOCTEUR EN SCIENCES Sp ecialit e: Math ematiques Appliqu ees aux Sciences Economiques par Lotfi Belkacem Sujet de la th ese: PROCESSUS STABLES ET APPLICATIONS EN FINANCE
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0431/thesephmartin.2.TravailRealise.ps.gz, 19970808 103 PARTIE II LE TRAVAIL R ALIS Chapitre 5 Des ontologies pour guider la construction d une base de connaissances p 105 Chapitre 6 Des documents structur s pour rechercher et organiser des informations et des connaissances p 169 Chapitre 7 Impl mentation p 237 Chapitre 8 Conclusion p 253 104 105
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0428.ps.gz, 19970808 TH SE DE DOCTORAT DE L'UNIVERSIT DE TECHNOLOGIE DE COMPI GNE D partement G nie Informatique Sp cialit Infographie pr sent e par : Philippe DECAUDIN Mod lisation par Fusion de Formes 3D pour la Synth se d'Images Rendu de Sc nes 3D Imitant le Style "Dessin Anim " soutenue le 3 d cembre 1996 devant le jury
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0453/annexeD.ps.gz, 19970808 Hamilton cycle decomposition of the Butterfly network 1 1 Introduction and notations The construction of one, and if possible many edge-disjoint Hamilton cycles in a network can provide advantage for algorithms that make use of a ring structure. As example, the existence of many edge-disjoint Hamilton
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0453/annexeC.ps.gz, 19970808 Hamilton circuits in the directed Butterfly network Jean-Claude Bermond, Eric Darrot, Olivier Delmas, Ste phane Perennes* The me 1 Re seaux et syste mes Projet SLOOP Rapport de recherche n Juillet 1996 25 pages
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0431/thesephmartin.3.Ref__Annexes.ps.gz, 19970808 261 R f rences bibliographiques 1 R f rences de collections d articles AAAI (1991). Proceedings of the AAAI 91 Workshop on Comparative Analysis of Explanation Planning Architectures, Anaheim, California, juillet 1991. CS (1989). Proceedings of the 4th Annual Workshop on Conceptual Structures, AAAI
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0423/thesissummary.ps.gz, 19970808 R esum e. Cette th ese a pour objet l' etude de divers aspects des polyn^omes, tant alg ebriques qu'analytiques. Elle s'inscrit dans le cadre du d eveloppement de m ethodes mixtes num eriques-symboliques en calcul formel et destin ees en particulier a l'automatisation du traitement de mod eles
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0288.ps.gz, 19970808 TH ESE pr esent ee a L'UNIVERSIT E DE NICE - SOPHIA ANTIPOLIS ECOLE DOCTORALE DES SCIENCES POUR L'ING ENIEUR par Bruno Gaujal pour obtenir le titre de DOCTEUR EN SCIENCES sp ecialit e INFORMATIQUE Sujet de la th ese Parall elisme et simulation des syst emes a ev enements discrets soutenue le 14 juin
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0423/thesis.ps.gz, 19970808 Remerciements En guise de g en erique, j'aimerais ici exprimer ma reconnaissance aux personnes sans qui cette th ese ne serait pas ce qu'elle est. J'ai tr es vite appris que les remerciements constituent la partie la plus lue d'une th ese, j'esp ere donc pouvoir exprimer l a toute ma gratitude. Je suis
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0453/annexeA.ps.gz, 19970808 RECHERCHE Diffusion en mode commutation de circuits dans les tores de dimension k Olivier Delmas et Ste phane Perennes Projet SLOOP Laboratoire I3S - CNRS URA 1376 930 Route des Colles, B.P. 145 06903 Sophia Antipolis Cedex Courrier e lectronique : {delmas, sp}@unice.fr. SLOOP (Simulation, Langages
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0413.ps.gz, 19970808 TH ESE pr esent ee par Cordelia SCHMID pour obtenir le titre de DOCTEUR de l'INSTITUT NATIONAL POLYTECHNIQUE DE GRENOBLE (Arr^et e minist eriel du 30 mars 1992) Sp ecialit e INFORMATIQUE APPARIEMENT D'IMAGES PAR INVARIANTS LOCAUX DE NIVEAUX DE GRIS APPLICATION A L'INDEXATION D'UNE BASE D'OBJETS Soutenue
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0453/these.ps.gz, 19970808 Th se pr sent e l'Universit de Nice >= Sophia Antipolis pour obtenir le titre de docteur mention : Informatique COMMUNICATIONS PAR COMMUTATION DE CIRCUITS DANS LES RESEAUX D'INTERCONNEXION par Olivier Delmas Soutenue le 16 Janvier 1997 devant la commission compos e de : M. Ioan Bond Pr sident M.
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0431/thesephmartin.1.intro__EtatArt.ps.gz, 19970808 No d ordre : TH SE pr sent e L UNIVERSIT DE NICE - SOPHIA ANTIPOLIS Ecole doctorale - Sciences pour l ing nieur pour obtenir le titre de DOCTEUR EN SCIENCES sp cialit : INFORMATIQUE par Philippe MARTIN Sujet de la th se : Exploitation de graphes conceptuels et de documents structur s et hypertextes pour
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0423/thesiscover.ps.gz, 19970808 TH ESE pr esent ee A L' ECOLE POLYTECHNIQUE pour obtenir LE TITRE DE DOCTEUR DE L' ECOLE POLYTECHNIQUE EN INFORMATIQUE Par Xavier GOURDON Combinatoire, Algorithmique et G eom etrie des Polyn^omes Soutenue le 27 juin 1996, devant le jury compos e de : Daniel LAZARD Pr esident Marie-Fran coise COSTE-ROY
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0277.ps.gz, 19970811 TH ESE DE DOCTORAT DE L'UNIVERSIT E DENIS DIDEROT Pr esent ee par Laurent TH ERY Sp ecialit e: Informatique Sujet de la th ese: Une m ethode distribu ee de cr eation d'interfaces et ses applications aux d emonstrateurs de th eor emes Travaux pr esent es le 24 f evrier 1994 devant la commission compos ee
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0452.ps.gz, 19970812 TH ESE pr esent ee a L'UNIVERSIT E d'ORL EANS pour obtenir le grade de DOCTEUR DE L'UNIVERSIT E D'ORL EANS Discipline : INFORMATIQUE par Jean-Hugues R ETY Titre de la th ese : Langages Concurrents avec Contraintes : Communication par Messages et Distribution Soutenue le 6 janvier 1997 devant la
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0360.ps.gz, 19970812 Universit Henri Poincar >= Nancy I D partement de Formation Doctorale en Informatique cole Doctorale IAE + M Reconnaissance automatique de la parole continue en environnement bruit : application des mod les stochastiques de trajectoires TH SE pr sent e et soutenue publiquement le 4 septembre 1995 pour
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0404.ps.gz, 19970812 Nffi d'ordre : TH ESE pr esent ee a L'UNIVERSIT E D'ORL EANS pour obtenir le titre de DOCTEUR sp ecialit e : INFORMATIQUE par Sylvain LELAIT Sujet de la th ese : CONTRIBUTION A L'ALLOCATION DE REGISTRES DANS LES BOUCLES Soutenue le 16 Janvier 1996 devant le jury compos e de : M. Martin JOURDAN Pr
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0377.ps.gz, 19970812 TH ESE pr esent ee a L'UNIVERSIT E DE NICE - SOPHIA ANTIPOLIS ECOLE DOCTORALE DES SCIENCES POUR L'ING ENIEUR par Damien Artiges pour obtenir le titre de DOCTEUR EN SCIENCES sp ecialit e INFORMATIQUE Sujet de la th ese Contr^ole et evaluation des r eseaux de t el ecommunication soutenue le 9 f evrier
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0424.ps.gz, 19970812 TH ESE pr esent ee a L' ECOLE NATIONALE DES PONTS ET CHAUSS EES pour obtenir le titre de DOCTEUR Sp ecialit e : MATH EMATIQUES, INFORMATIQUE par Henri CHAJMOWICZ Sujet de la th ese : MOD ELISATION ET SIMULATION NUM ERIQUE DE STRUCTURES ARTICUL EES FLEXIBLES Soutenue le 20 Juin 1996 devant le jury compos
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0418.ps.gz, 19970812 Nffi d'ordre : Ann e 1996 TH SE de DOCTORAT de l'UNIVERSIT DE NICE-SOPHIA ANTIPOLIS Sp cialit : g om trie algorithmique pr par e l'INRIA Sophia Antipolis pr sent e par Franck Nielsen pour obtenir le grade de DOCTEUR de l'UNIVERSIT de NICE-SOPHIA ANTIPOLIS SCIENCES pour l'ING NIEUR ALGORITHMES G OM
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0394.ps.gz, 19970813 Th ese pr esent ee a L'Universit e Pierre & Marie Curie - Paris VI pour obtenir le titre de Docteur Sp ecialit e Informatique par Paulo Jorge Pires Ferreira Sujet de la th ese: Larchant: ramasse-miettes dans une m emoire partag ee r epartie avec persistance par atteignabilit e Soutenue, le 10 Mai 1996,
	ftp://ftp.inria.fr/INRIA/publication/Theses/TH-002.ps.gz, 19970813 UNIVERSITE DE PARIS-SUD, CENTRE D'ORSAY Dossier de candidature pour obtenir le dipl me national d' Habilitation diriger des recherches par Zhengyou ZHANG Titre : Perception tridimensionnelle d'une sc ne dynamique partir de la st r oscopie et du mouvement Soutenu le 23 novembre 1994, devant le jury
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0165.ps.gz, 19970813 ORSAY num ro d'ordre : 1866 UNIVERSITE DE PARIS-SUD CENTRE D'ORSAY THESE pr sent e pour obtenir Le GRADE de DOCTEUR EN SCIENCES DE L'UNIVERSITE PARIS XI ORSAY par Monique Teillaud SUJET : Vers des algorithmes dynamiques randomis s en G om trie algorithmique soutenue le 10 d cembre 1991 devant la
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0131.ps.gz, 19970813 TH ESE pr esent ee a l' Ecole Polytechnique pour obtenir Le Titre de Docteur en Informatique par Jos e PIQUER Sujet: Parall elisme et Distribution en Lisp Soutenue le 1 F evrier 1991 devant la commission d'examen: MM. Patrick Sall e (Pr esident, Rapporteur) Henry Lieberman (Rapporteur) Christian
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0338.ps.gz, 19970813 TH ESE pr esent ee a L'Universit e Pierre & Marie Curie { Paris VI en vue de l'obtention du titre de Docteur de l'Universit e Paris VI sp ecialit e Informatique par Laurent AMSALEG Sujet de la th ese : Conception et r ealisation d'un glaneur de cellules adapt e aux SGBDO client-serveur Soutenue le jeudi
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0455.ps.gz, 19970814 TH SE pr sent e l'Universit de Nice >= Sophia Antipolis en vue d'obtenir le titre de Docteur en Science Sp cialit Sciences de l'Ing nieur Mode les de contro le en gestion des pe ches par Suzanne Touzeau Soutenue le 6 mars 1997 devant le jury compos de : MM. Paul Nival Pr sident Jordi Lleonart Rapporteur
	ftp://ftp.inria.fr/INRIA/publication/Theses/IsaacCohen.ps.gz, 19970814 UNIVERSITE PARIS IX { DAUPHINE U.F.R. MATHEMATIQUES DE LA DECISION THESE pour l'obtention du titre de DOCTEUR EN SCIENCES Sp ecialit e : Math ematiques Appliqu ees Sujet : Mod eles D eformables 2-D et 3-D : Application a la Segmentation d'Images M edicales. Directeur de Recherche : J. M. MOREL Candidat
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0354.ps.gz, 19970814 N d'ordre: TH SEpr sent e L'UNIVERSITfl PARIS VII pour obtenir le titre deDOCTEURSp cialit INFORMATIQUEpar Val rie MflNISSIER-MORAIN Sujet de la th se : ARITHMflTIQUE EXACTE Conception, algorithmique et performances d'une impl mentation informatique en pr cision arbitraire Soutenue le 8 d cembre 1994
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0182.ps.gz, 19970814 UNIVERSITE PARIS IX { DAUPHINE U.F.R. MATHEMATIQUES DE LA DECISION THESE pour l'obtention du titre de DOCTEUR EN SCIENCES Sp ecialit e : Math ematiques Appliqu ees Sujet : Mod eles D eformables 2-D et 3-D : Application a la Segmentation d'Images M edicales. Directeur de Recherche : J. M. MOREL Candidat
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0287/These.ps.gz, 19970814 Table des mati eres Introduction g en erale 7 I Quelques r esultats g en eraux de th eorie des codes 15 1 Codes lin eaires : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 15 2 Codes cycliques et cycliques etendus : : : : : : : : : : : : : : : : : : : : : : 17 3 Codes de l'alg ebre A
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0216.ps.gz, 19970818 ORSAY no d ordre : UNIVERSITE DE PARIS-SUD CENTRE D ORSAY THESE pr sent e Pour obtenir Le GRADE de DOCTEUR EN SCIENCES DE L UNIVERSITE PARIS XI ORSAY par Emmanuelle ANCEAUME SUJET : ALGORITHMIQUE DE FIABILISATION DE SYSTEMES REPARTIS Soutenue le : 7 Janvier 1993 devant la Commission d examen M. Jean
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0458.ps.gz, 19970818 TH ESE pr esent ee a L'UNIVERSIT E PARIS IX DAUPHINE U.F.R. MATH EMATIQUES DE LA D ECISION pour obtenir le titre de DOCTEUR EN SCIENCES sp ecialit e MATH EMATIQUES APPLIQU EES par Sophie J egou Sujet de la th ese : ESTIMATION DES PERM EABILIT ES RELATIVES DANS DES EXP ERIENCES DE D EPLACEMENTS
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0464.ps.gz, 19970818 Nffi d'ordre : TH ESE pr esent ee a L'UNIVERSIT E DE PROVENCE CENTRE DE MATH EMATIQUES ET D'INFORMATIQUE pour obtenir le titre de DOCTEUR DE L'UNIVERSIT E DE PROVENCE Sp ecialit e : MATH EMATIQUES APPLIQU EES par Marc JOANNIDES Sujet de la th ese : NAVIGATION INT EGR EE D'UN ENGIN SOUS{MARIN REMORQU E
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0344.ps.gz, 19970819 Damien DOLIGEZ L'UNIVERSIT E PARIS 7 DOCTEUR DE L'UNIVERSIT E PARIS 7 Sp ecialit e : Informatique TH ESE Conception, r ealisation et certification d'un glaneur de cellules concurrent pr esent ee a pour obtenir le titre de par Sujet de la th ese : Soutenue le 5 mai 1995 devant le jury compos e de MM. Guy
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0322.ps.gz, 19970820 THE SE pre sente e a L'UNIVERSITE DE NICE - SOPHIA ANTIPOLIS E cole Doctorale - Sciences pour l'Inge nieur pour obtenir le titre de Docteur en Sciences - Spe cialite Informatique par Renaud MARLET Titre de la the se : VERS UNE FORMALISATION DE L'E VALUATION PARTIELLE Soutenue le 15 de cembre 1994 a
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0451.ps.gz, 19970820 UNIVERSIT E DE NICE - SOPHIA ANTIPOLIS TH ESE Sp ecialit e : INFORMATIQUE par VINCENT R egis Sujet du m emoire : ETUDE DES M ECANISMES DE GESTION DES ERREURS DANS LES SYST EMES A BASE DE CONNAISSANCES DE PILOTAGE DE PROGRAMMES Soutenue le 18 Mars 1997 devant le jury compos e de : M. M. RUEHER Pr esident
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0287/couverture.ps.gz, 19970821 TH ESE de DOCTORAT de l'UNIVERSIT E PARIS 6 Sp ecialit e : informatique Pr esent ee par Fran coise Levy-dit-Vehel pour obtenir le titre de DOCTEUR DE L'UNIVERSIT E PARIS 6 Divisibilit e des codes cycliques : Applications et prolongements Soutenue le 20 Octobre 1994, devant le jury compos e de : Daniel
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0302.ps.gz, 19970821 TH ESE DE DOCTORAT pr esent ee a L'UNIVERSIT E PARIS VII Sp ecialit e: Informatique par Marc Pouzet Sujet de la th ese: Compaction des langages fonctionnels Soutenue le 14 octobre 1994 devant la Commission d'examen compos ee de MM. Guy COUSINEAU Pr esident Paul FEAUTRIER Rapporteurs Patrice QUINTON
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0099.ps.gz, 19970822 THESE pr sent e l'INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE pour obtenir le titre de DOCTEUR EN SCIENCES DE L'UNIVERSITE DE NICE - SOPHIA ANTIPOLIS Sp cialit : INFORMATIQUE par V ronique CLEMENT Sujet de la th se : Raisonnements cognitifs appliqu s au pilotage d'algorithmes de
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0202.ps.gz, 19970825 Outils Formels pour la Mod elisation en M ecanique Th ese de Doctorat Y. Papegay Institut National de Recherche en Informatique et en Automatique Universit e de Nice Sophia-Antipolis Projet Syst emes Alg ebriques Formels pour l'Industrie et la Recherche 2004 route des lucioles, B.P. 902 SOPHIA ANTIPOLIS
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0280.ps.gz, 19970828 No d'ordre : THESE pr esent ee au Conservatoire National des Arts et M etiers de Paris pour obtenir Le grade de Docteur en Sciences Sp ecialit e : Informatique par Bernd AMANN Sujet de la th ese : Interrogation d'Hypertextes soutenue le 22 f evrier 1994 devant la Commission d'examen M. M. Scholl
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0291.ps.gz, 19970828 TH ESE de l'Ecole Nationale Sup erieure des Mines de Paris Discipline : Automatique, Robotique, Informatique Temps-R eel intitul ee : Contribution a la th eorie des jeux diff erentiels non lin eaires a deux joueurs et somme nulle avec diff erentes structures d'information pr esent ee par : Alain
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0100.ps.gz, 19970903 THESE DE DOCTORAT pr esent ee A L'UNIVERSITE PARIS 7 Sp ecialit e : Informatique par Didier REMY Sujet de la th ese : Alg ebres Touffues. Application au Typage Polymorphe des Objets Enregistrements dans les Langages Fonctionnels. Soutenue le 19 F evrier 1990 devant la Commission d'examen compos ee de
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0329.ps.gz, 19970905 THESE pr esent ee a L'UNIVERSITE D'ORLEANS pour obtenir le grade de DOCTEUR EN INFORMATIQUE par Daniel Diaz ETUDE DE LA COMPILATION DES LANGAGES LOGIQUES DE PROGRAMMATION PAR CONTRAINTES SUR LES DOMAINES FINIS : LE SYSTEME clp(FD) Soutenue le 13 Janvier 1995 devant la Commission d'examen G. Fil e : : :
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0386/FintaAnnexeA.ps.gz, 19970907 Task Graph Scheduling in Single-Bus Parallel Systems Lucian FINTA, Zhen LIU INRIA, Centre Sophia Antipolis 2004 route des Lucioles B.P. 93, 06902 Sophia-Antipolis France September 1995 To appear in International Journal of Foundations of Computer Science
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0386/FintaAnnexeC.ps.gz, 19970907 Scheduling UET-UCT Series-Parallel Graphs on Two Processors Lucian FINTA Zhen LIU Ioannis MILIS INRIA-Sophia Antipolis, B.P. 93, 06902 Sophia-Antipolis Cedex, France Evripidis BAMPIS LaMI, Universit d'Evry Val d'Essonne, 91000 Evry Cedex, France To appear in Theoretical Computer Science special issue on
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0386/FintaAnnexeB.ps.gz, 19970907 Single Machine Scheduling Subject to Precedence Delays Lucian FINTA Zhen LIU INRIA, Centre Sophia Antipolis 2004 route des Lucioles B.P. 93 06902 Sophia-Antipolis, France December 1993, Revised January 1995 and March 1995 To appear in Discrete Applied Mathematics
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0386/FintaAnnexeD.ps.gz, 19970907 MAKESPAN MINIMIZATION OF TASK GRAPHS WITH RANDOM TASK RUNNING TIMES LUCIAN FINTA AND ZHEN LIU First draft in April 1994, revised in November 1994 In DIMACS Series in Discrete Mathematics and Theoretical Computer Science Volume 21, 1995
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0386/LucianFinta.ps.gz, 19970907 TH SE pr sent e L'UNIVERSIT DE NICE - SOPHIA ANTIPOLIS COLE DOCTORALE DES SCIENCES POUR L'ING NIEUR par Lucian Finta pour obtenir le titre de DOCTEUR EN SCIENCES sp cialit INFORMATIQUE Sujet de la th se Ordonnancement dans les syst mes multiprocesseurs soutenue le 19 janvier 1996 devant le jury compos
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0434.ps.gz, 19970908 TH SE pr sent e L UNIVERSIT de VERSAILLES-SAINT-QUENTIN-EN-YVELINES pour obtenir le titre de DOCTEUR Sp cialit INFORMATIQUE par Luc BOUGANIM Sujet de la th se : QUILIBRAGE DE CHARGE LORS DE L EX CUTION DE REQU TES SUR DES ARCHITECTURES MULTIPROCESSEURS HYBRIDES Soutenue le 13 d cembre 1996 devant le
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0399.ps.gz, 19970908 Th ese pr esent ee pour obtenir le grade de DOCTEUR DE L' ECOLE POLYTECHNIQUE sp ecialit e : Math ematiques appliqu ees par Vincent DUMAS Approches fluides pour la stabilit e et l'instabilit e de r eseaux de files d'attente stochastiques a plusieurs classes de clients soutenue le 21 D ecembre 1995
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0447.ps.gz, 19970911 TH SE pr sent e L Universit de Versailles Saint-Quentin-en-Yvelines Doctorat d Universit - Sp cialit Informatique pour obtenir le titre de DOCTEUR Sp cialit Informatique par Pierre L ONARD Sujet de la th se : Etude et exp rimentation des m canismes de synchronisation du travail collaboratif sur r seaux
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0430/Resume.ps.gz, 19970919 Titre Facteurs spatiaux et temporels dans le traitement cognitif des complexes texte-figure R sum Il est commun ment admis que les figures am liorent la compr hension et la m morisation de textes. Cependant, les processus cognitifs sous-jacents ce ph nom ne sont encore peu connus. L objectif de cette th
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0430/Titre.ps.gz, 19970919 Institut National Polytechnique de Grenoble Facteurs spatiaux et temporels dans le traitement cognitif des complexes texte-figure ANNEXES Octobre 1996 Th se de Doctorat en Sciences Cognitives pr sent e et soutenue publiquement par Mireille B trancourt sous la direction de Andr Bisseret Jury : Andr
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0430/Intro.ps.gz, 19970919 A Luc et Laetitia Je tiens d abord manifester ma reconnaissance Andr Bisseret, dont j ai pu appr cier tout au long de ce travail les qualit s scientifiques et humaines. Il a su me guider avec attention, efficacit et ouverture, tout en m accordant autonomie et initiative. Je le remercie galement pour son
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0430/3.etudes-text-fig.ps.gz, 19970919 Chapitre 3 L' tude exp rimentale des interactions entre texte et figure Ce chapitre a pour objectif d'offrir un panorama des recherches portant sur les interactions texte-figure dans la lecture ou l'apprentissage. L'accent est d'abord mis sur l'effet des figures sur le traitement cognitif des textes et
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0430/5.sequent-fig.ps.gz, 19970919 Troisi me partie Pr sentation s quentielle de figures et de complexes texte-figure Chapitre 5 Segmentation et s quentialit dans la pr sentation de figures Lorsqu'il d cide de d crire un r f rant (objet, personnage, v nement, sc ne, etc.), le locuteur doit transformer une entr e multidimensionnelle (2 ou
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0430/2.representation.ps.gz, 19970919 Chapitre 2 La repr sentation mentale d informations textuelles et /ou imag es Lorsqu un lecteur doit traiter les informations de documents texte-figure, il doit lire le texte, inspecter le diagramme et combiner les informations issues des deux m dias en une seule repr sentation de la signification du
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0430/1.Def-text-figure.ps.gz, 19970919 Premi re partie Relations entre textes et figures : aspects th oriques et exp rimentaux Chapitre 1 Textes et figures : D finitions et classifications Avant d entrer dans le vif du sujet, une pr cision sur les termes utilis s semble n cessaire. En effet, les termes de "texte" et de "figure" recouvrent
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0430/6.Sequent-text-fig.ps.gz, 19970919 Chapitre 6 S quentialisation de documents texte-figure pr sentant des syst mes complexes Le chapitre pr c dent confortait l'hypoth se d'une influence de la pr sentation s quentielle d'une figure sur les caract ristiques de sa repr sentation en m moire. Mais en serait-il de m me pour des documents qui
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0409/5.Recherche-Information.ps.gz, 19971001 Chapitre 5 Les types de t che li s l'utilisation des textes Jusqu'ici nous avons sacrifi l'habitude commune d' tudier la t che de lecture de bout en bout. Cette habitude est li e l' tude des r cits. La m morisation est une variable qui est souvent utilis e pour tudier ce type de t che. Dans les textes
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0409/2.Typo-Textuelles.ps.gz, 19971001 Chapitre 2 La d composition des textes en parties selon les intentions du r dacteur Fournir une m thodologie pour r diger des textes techniques lectroniques n'est pas simple. Le manque de description du processus de lecture est un probl me majeur de cette entreprise. Il est reconnu qu'une classification
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0409/Resumes.ps.gz, 19971001 Titre R le des organisateurs para-linguistiques dans la consultation des documents lectroniques R sum Cette th se porte sur le r le des organisateurs para-linguistiques dans la conception de textes techniques sur cran. Les organisateurs plus particuli rement tudi s sont les parenth ses, les notes de bas
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0409/1.Intro-Generale.ps.gz, 19971001 Table des mati res Avant-propos............................................................................................................ 11 Objectifs sp cifiques....................................................................................... 12 Chapitre 1 Introduction g n
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0409/Annexes.ps.gz, 19971001 Annexes Annexes - Page 2 Classification d'UT Classification 4 Classification 5 S est une UT satellite (de second plan). L'UT N noyau est une tendue de texte variable (UT, paragraphe). Premier Plan UT indispensable l'accomplissement de l'objet du texte Augmente la capacit du lecteur accomplir la t che
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0409/4.Orga.Para-Ling-Ecran.ps.gz, 19971001 Chapitre 4 tude de la signification des organisateurs para-linguistiques sur cran Les documents lectroniques Les textes sont de plus en plus pr sent s sur deux supports (papier et cran). Les textes lectroniques sont g n ralement li s un type d'utilisation particuli re. On observe pourtant qu'ils sont
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0409/3.Orga.Para-Ling-Papier.ps.gz, 19971001 Chapitre 3 tude de la signification des organisateurs para-linguistiques Les deux chapitres pr c dents ont expos une typologie qui puisse tre utilisable pour d couper un texte. Le point de vue adopt est de d couper selon les intentions d'un r dacteur dans la perspective d'une meilleure restitution du
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0409/6.Plate-Forme-Conclusion.ps.gz, 19971001 Chapitre 6 Premier essai pour g rer des textes en vue d'une pr sentation sur plusieurs supports selon les intentions du r dacteur. Conclusion Bien que le document lectronique soit appel se d velopper consid rablement, les supports papier et lectronique vont coexister. Il convient de pr voir des
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0409/Index-des-Auteurs.ps.gz, 19971001 Index Index 242 Index 243 A Abdi ; 72 Adam ; 17 ; 19 ; 26 ; 27 Anderson ; 19 Andr ; 17 ; 37 ; 97 ; 142 Anis ; 73 Arens ; 69 ; 143 ; 148 Austin ; 37 ; 41 Ausubel ; 47 B Backman ; 71 Bain ; 26 Beam ; 95 Bell ; 143 Benoit ; 19 ; 25 B trancourt ; 97 ; 98 ; 99 ; 100 ; 120 ; 152 Bisseret ; 16 ; 19 ; 97 ; 98 ;
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0409/Couverture.ps.gz, 19971001 St phane CARO Th se pr sent e en vue de l'obtention du doctorat en Sciences de l Information et de la Communication R le des organisateurs para-linguistiques dans la consultation des documents lectroniques Sous la direction d'Andr Bisseret et de Jacques Rouault Universit Stendhal Grenoble III D cembre
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0409/Dedicace-Remerciements.ps.gz, 19971001 l' ternel Remerciements Cette th se a t co-dirig e : J'ai pu appr cier tout au long de ce travail les qualit s scientifiques et humaines d'Andr Bisseret. Je le remercie particuli rement pour sa disponibilit et les moyens qu'il s'est toujours efforc de mettre ma disposition pour que je puisse poursuivre
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0409/Bibliographie.ps.gz, 19971001 Bibliographie Bibliographie 2 Bibliographie 3 Adam J.-M. & Revaz F. (89) Aspects de la structuration du texte descriptif : les marqueurs d' num ration et de reformulation. Langue Fran aise, f v. 1989, p.59-98. Adam J.-M. (85a) Quels types de textes Le Fran ais dans le monde, n 192, 1985. Adam J.-M.
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0309/introduction.ps.gz, 19971002 Table des mati eres Partie I Introduction 1 Introduction 3 1.1 Cadre G en eral : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3 1.2 Approche du probl eme : : : : : : : : : : : : : : : : : : : : : : : : : : 6 1.3 Principales Contributions : : : : : : : : : : : : : : : : : : : : : : : : : 9
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0309/chapitre5.1.ps.gz, 19971002 Chapitre 6 Reconnaissance de forme Dans ce chapitre, nous proposons une m ethode de reconnaissance et de recalage rigide d'objets tridimensionnels. Elle s'appuie sur la repr esentation d'objets tridimensionnels par un maillage simplexe quasi-r egulier de topologie sph erique, appel e Spherical
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0309/chapitre2.ps.gz, 19971002 Chapitre 3 G eom etrie des maillages simplexes Ce chapitre a deux objectifs principaux. Il s'agit, d'une part, de mettre en evidence les analogies existantes entre la g eom etrie des surfaces continues de IRk+1 et la g eom etrie des k-maillages simplexes. Pour cela, on comparera les repr esentations de
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0309/Couverture.ps.gz, 19971002 Th se pr sent e pour obtenir le titre de Docteur de l Ecole Centrale de Paris Sp cialit : G nie des syst mes Herv DELINGETTE MODELISATION, DEFORMATION ET RECONNAISSANCE D OBJETS TRIDIMENSIONNELS A L AIDE DE MAILLAGES SIMPLEXES Nicholas Ayache Directeur Claude Puech Rapporteurs Philippe Cinquin Sabine
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0309/chapitre4.3.ps.gz, 19971002 5.6 R esultats Exp erimentaux 183 ffl D eformer le maillage a l'aide de la souris electronique ou de la main virtuelle. ffl Appliquer les transformations el ementaires sur un maillage. ffl D ecouper un maillage simplexe a l'aide de la souris. Une interface utilisant X/Motif a et e impl ement ee
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0309/conclusion.ps.gz, 19971002 Chapitre 7 Conclusion et Perspectives Nous avons enonc e dans les chapitres 2, 3 et 4 les propri et es topologiques, g eom etriques et physiques des maillages simplexes. L'int er^et pratique de tels maillages a et e d emontr e d'une part pour la mod elisation de surfaces dans le chapitre 5 et d'autre
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0309/chapitre5.2.ps.gz, 19971002 226 Chap. 6: Reconnaissance de forme Minimumaabb (a) bbgg (b) (c) (d) Fig. 6.15: Graphe montrant la distance entre les deux SAIs en fonction des angles ff et (figure (a)) puis et (figure (b)). Coupe horizontale (c) et verticale (d) montrant la superposition des deux maillages apr es recalage. 6.4 R
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0309/chapitre4.2.ps.gz, 19971002 174 Chap. 5: Mod elisation et reconstruction a partir de maillages simplexes (a) (b) (c) (d) Fig. 5.9: (a) D eformation d'un maillage simplexe initialis e comme etant une sph ere sur une isosurface repr esentant une vert ebre. A la fin de cette premi ere etape, le maillage approxime grossi erement la
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0309/tdm.ps.gz, 19971002 Table des mati eres Partie I Introduction 1 Introduction 3 1.1 Cadre G en eral : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3 1.2 Approche du probl eme : : : : : : : : : : : : : : : : : : : : : : : : : : 6 1.3 Principales Contributions : : : : : : : : : : : : : : : : : : : : : : : : : 9
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0309/chapitre4.1.ps.gz, 19971002 Chapitre 5 Mod elisation et reconstruction a partir de maillages simplexes Dans ce chapitre, nous utilisons les propri et es topologiques, g eom etriques et physiques des maillages simplexes d ecrites dans les chapitres pr ec edents, pour la reconstruction de surfaces a partir de donn ees
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0309/chapitre4.4.ps.gz, 19971002 5.6 R esultats Exp erimentaux 189 Fig. 5.18: Un mod ele complet de corps humain reconstruit a partir de 11 images Cyberware. 190 Chap. 5: Mod elisation et reconstruction a partir de maillages simplexes (a) (b) (c) Fig. 5.19: (a) Les donn ees NRCC originales et leur sym etriques; (b) et (c) Le maillage
	ftp://ftp.inria.fr/INRIA/publication/publi_diverses/C-174/General.Present.97.ps.gz, 19971002 CEA-INRIA-EDF Ecole d'Et e d'Analyse Num erique M ethodes Multi echelles et Ondelettes en Simulation Num erique Multiscale Methods and Wavelets in Numerical Simulation P. Le Tallec, editeur J. Xu - J. Saltzman Proceedings/Support de Cours 30 Juin au 11 Juillet 1997 Contents 1. The Different Approaches
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0309/chapitre3.ps.gz, 19971002 Chapitre 4 Regularizing forces applied on simplex meshes This chapter introduces the regularizing forces acting on deformable simplex meshes. Regularizing forces describe how the mesh deforms under external constraints and are often described as internal forces. It is the relatively simplicity and the
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0309/biblio.ps.gz, 19971002 Bibliographie M.K. Agoston. Algebraic Topology, a first course pure and applied mathematics. Marcel Dekker Ed., New-York, 1976. L.H. Ahlberg, E.N. Nilson, and J.L. Walsh. The theory of splines and their Applications. Academic Press, New-York and London, 1967. N. Ayache. Volume
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0309/chapitre1.ps.gz, 19971002 Chapitre 2 D efinition et propri et es topologiques des maillages simplexes Dans ce chapitre, les principales propri et es topologiques des maillages simplexes sont enonc ees. Dans un premier temps, le lien topologique entre les maillages simplexes et les solides (triangulations) est d emontr e. Les
	ftp://ftp.inria.fr/INRIA/publication/publi_diverses/C-174/xu.ps.gz, 19971002 AN INTRODUCTION TO MULTILEVEL METHODS JINCHAO XU
	ftp://ftp.inria.fr/INRIA/publication/publi_diverses/C-174/annex1.ps.gz, 19971008 ANNEX 1 Multilevel Methods for Solving Partial Differential Equations, Exercise Sessions ffl Preliminary session : Introduction to C++. Presentation of the A++ array class. Presentation of the conjugate gradient algorithm as programmed in C++. ffl Session 1 : presentation of the C++ code, of the
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0481/these-tendeau.ps.gz, 19971016 OEA mes parents i Avant propos Avant de parler du sujet, quelques remarques sur la mani OEere d'en parler, et sur l'environnement dans lequel je l'ai abord e. Remerciements Ce travail n'aurait pas atteint son terme sans Pierre Boullier. Sa rigueur, son exp erience de l'analyse syntaxique, sa
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0481/couverture-tendeau.ps.gz, 19971016 TH OEESE pr esent ee OEA L'UNIVERSIT E D'ORL EANS par Fr ed eric TENDEAU pour obtenir le titre de DOCTEUR Discipline : INFORMATIQUE ANALYSE SYNTAXIQUE ET S EMANTIQUE AVEC EVALUATION D'ATTRIBUTS DANS UN DEMI-ANNEAU Application OEa la linguistique calculatoire Soutenue le 20 juin 1997 devant le jury
	ftp://ftp.inria.fr/INRIA/publication/publi_diverses/C-174/saltzman1.ps.gz, 19971017 3DWFKHG %DVHG HWKRGV IRU $GDSWLYH HVK 5H QHPHQW 6ROXWLRQV RI 3DUWLDO 'L HUHQWLDO (TXDWLRQV<= -H UH 6DOW]PDQ >= 6HSWHPEHU oeffl <=ooae <=8QFODVVL HG 5HSRUW 1XPEHU /$ 85 oae o >=/RV $ODPRV 1DWLRQDO /DERUDWRUffl 6 %>= ssffl /RV $ODPRV ffl 10ffl oeae &RQWHQWV <= DWKHPDWLFDO )RXQGDWLRQV oe <= <= +SHUEROLF
	ftp://ftp.inria.fr/INRIA/publication/publi_diverses/C-174/saltzman2.ps.gz, 19971017 &KDSWHU $GDSWLYH HVK 5H QHPHQW IRU &RQVHUYDWLRQ /DZV ,Q WKLV FKDSWHU ZH GHVFULEH WKH EDVLF VWUXFWXUHG $05 DOJRULWKP DV DSSOLHG WR D KSHUEROLF VVWHP RI FRQVHUYDWLRQ ODZV % ZD RI LQWURGXFWLRQ ZH GHVFULEH SUHGHFHVVRUV WR VWUXFWXUHG $05 7KHVH LQFOXGH WKH PRYLQJ PHVK DQG PRYLQJ QLWH HOHPHQW PHWKRGV :RUN
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0333.ps.gz, 19971021 Th ese pr esent ee pour obtenir le grade de DOCTEUR DE L' ECOLE POLYTECHNIQUE sp ecialit e : Math ematiques par Jean-Marc LASGOUTTES Contribution a l'analyse de r eseaux stochastiques et application aux syst emes de transport soutenue le 30 Mars 1995 devant le jury compos e de: M. NEVEU Pr esident, M.
	ftp://ftp.inria.fr/INRIA/publication/publi_diverses/C-172.ps.gz, 19971021 Ecole de Printemps de Calcul Formel B. Mourrain & Y. Papegay 14 >= 18 Avril 1997 Sophia Antipolis inria >= universit de nice sophia antipolis Ecole Sup rieure en Sciences Informatiques Programme Lundi 14 : 10h-12h : B. Mourrain. Accueil, pr sentation du domaine. 14h-17h : Y. Papegay. Introduction maple.
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0488.ps.gz, 19971106 UNIVERSITE PARIS 7 - DENIS DIDEROT UFR INFORMATIQUE Ann ee No T H E S E pour l'obtention du Dipl^ome de DOCTEUR DE L'UNIVERSITE PARIS 7 SPECIALITE : INFORMATIQUE FONDAMENTALE pr esent ee et soutenue publiquement par C esar Augusto MU~ NOZ HURTADO le 4 Novembre 1997 Titre : UN CALCUL DE SUBSTITUTIONS
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0490/these.ps.gz, 19971229 Table des mati res Introduction 5 1 Analyse du probl me 7 1.1 Applications cibles . . . . . . . . . . . . . . . . . . . . . . . . 7 1.1.1 Domaines d'application . . . . . . . . . . . . . . . . . 8 1.1.2 Applications abord es . . . . . . . . . . . . . . . . . . 12 1.2 D onition des termes employ s . . .
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0490/titre_res.ps.gz, 19971229 TH SE pr sent e L'Universit de Nice Sophia Antipolis Sp cialit : Sciences de l'ing nieur par Fran ois Br mond Sujet de la th se : Environnement de r solution de probl mes pour l'interpr tation de s quences d'images. Soutenue le 8 octobre 1997 devant le jury compos de : M: P. Sander Pr sident M: M.
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0147.ps.gz, 19980113 UNIVERSITE DE PARIS-SUD CENTRE D'ORSAY THESE pr sent e pour obtenir le Grade de DOCTEUR de l'Universit PARIS XI par Walid DABBOUS SUJET ETUDE DES PROTOCOLES DE CONTROLE DE TRANSMISSION A HAUT DEBIT POUR LES APPLICATIONS MULTIMEDIAS soutenue le 29 Mars 1991 devant la Commission d'examen compos e de: MM.
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0432/sophie_renault_couverture.ps.gz, 19980113 TH ESE pr esent ee par Sophie RENAULT pour obtenir le titre de DOCTEUR de L'UNIVERSIT E D'ORL EANS Sp ecialit e : Informatique Sujet de la th ese : V ERIFICATION DES PROGRAMMES NORMAUX Soutenue le 28 Juin 1996 devant le jury compos e de M. L. Fribourg Pr esident et rapporteur M. A. Pettorossi Rapporteur
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0432/sophie_renault.ps.gz, 19980113 Table des mati eres 1 Introduction 1 1.1 Contexte : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 1 1.2 Contribution : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 1.3 Plan : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0492.ps.gz, 19980115 TH ESE pr esent ee a l'Universit e Paris IX{Dauphine u.f.r. Math ematiques de la D ecision pour obtenir le titre de Docteur en Sciences (arr^et e du 30 mars 1992) Sp ecialit e : Math ematiques Appliqu ees par Marie CHAVENT Sujet de la th ese Analyse des Donn ees Symboliques Une m ethode divisive de
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0496.ps.gz, 19980119 TH SE pr sent e L'UNIVERSIT DE NICE - SOPHIA-ANTIPOLIS pour l'obtention du titre de Docteur en Sciences Mention Sciences Pour l'Ing nieur par Bruno SERRA Sujet de th se Reconnaissance et localisation d'objets cartographiques 3D en vision a rienne dynamique Soutenue le 29 Novembre 1996 devant le jury
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0485.ps.gz, 19980119 Th se pr sent e l'Universit de Nice >= Sophia Antipolis U.F.R. Sciences pour obtenir le titre de docteur mention : Informatique Prosit Un environnement pour la programmation de simulations v nements discrets par G nther Siegel Soutenue le 29 Septembre 1997 devant la commission compos e de : MM. Nhan Le
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0495/These-declerck2.ps.gz, 19980130 Deuxi me partie tude de la dynamique du ventricule gauche Chapitre 5 Pr sentation du probl me L es cardiologues supposent que l'analyse du mouvement du muscle cardiaque (plus pr cis ment, du ventricule gauche) peut donner des informations locales sur la sant du myocarde : un muscle d faillant doit tre
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0495/These-declerck1.ps.gz, 19980130 TH SE pr par e L'INRIA Sophia-Antipolis et pr sent e L'UNIVERSIT de NICE SOPHIA-ANTIPOLIS pour obtenir le grade de DOCTEUR Sp cialit Sciences de l'ing nieur par J r me DECLERCK Sujet de la th se : TUDE DE LA DYNAMIQUE CARDIAQUE PAR ANALYSE D'IMAGES TRIDIMENSIONNELLES Soutenue le 17 Novembre 1997 devant
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0495/These-declerck4.ps.gz, 19980130 Annexes Annexe A l ments d'anatomie cardiaque N ous pr sentons dans ce chapitre quelques l - ments de l'anatomie du c ur, plus particuli - rement celle du ventricule gauche. Nous d crivons bri vement le fonctionnement g n ral de la pompe cardiaque. Nous montrons galement les axes classiques utilis s
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0505.ps.gz, 19980219 Num ero : Ann ee : 1997 TH ESE DE DOCTORAT pr esent ee A L'UNIVERSIT E PARIS 7 Sp ecialit e : Informatique Fondamentale par Emilie SAYAG Sujet de la th ese : Types intersections simples Soutenue le 17 D ecembre 1997 devant le jury compos e de : M. Patrick SALL E Pr esident, Rapporteur Mme. Laurence PUEL
	ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0171.ps.gz, 19980220 Techniques de compilation pour le d eveloppement incr emental sur base de donn ees orient ee-objets J.M. Larchev^eque Contents Remerciements 11 Avant-propos 13 0.1 Pr esentation du probl eme : : : : : : : : : : : : : : : : : : : : : : 14 0.1.1 Analyse syntaxique incr ementale : : : : : : : : : : : : : :