Rapport d'activite 1996 - Institut National de Recherche en Informatique et en Automatique - Unite de recherche INRIA Lorraine

Available from INIST (FR), Document Supply Service, under shelf-number : RP 14569 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Rapport d'activite 1998 Unite de recherche INRIA Lorraine, projets et services

Available from INIST (FR), Document Supply Service, under shelf-number : RP 15490 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Local Lyapunov exponents of the quasi-geostrophic ocean dynamics

Theme 4 - Simulation et optimisation de systemes complexes. Projet NUMATHSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1996 n.3074 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Analyse des performances d'un atelier de production discontinue Methode et logiciel

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1993 n.1949 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Simulated annealing for manufacturing systems layout design

Programme 5 : traitement du signal, automatique et productiqueSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1993 n.1909 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Application de la notion de cadre aux enonces de positionnement et de reference

Programme 3 : intelligence artificielle, systemes cognitifs et interaction homme-machine projet DialogueAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Towards optimization of cyclic production systems

Theme 1 - Reseaux et systemes - Projet TRIOAvailable from INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1999 n.3718 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

A formal proof of a protocol for communications over faulty channels using the Larch Prover

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet EurecaAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1995 n.2476 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Solving zero-dimensional polynomial systems through the rational univariate representation

Theme 2 - Genie logiciel et calcul symbolique. Projet PolkaAvailable from INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1998 n.3426 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Global semi-Lagrangian atmospheric model based on compact finite-differences and its implementation on a parallel computer

Theme 4 - Simulation et optimisation de systemes complexes - Projet NUMATHSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1997 n.3080 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc