Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

267 résultats
Image document

CRIQUET Version 2. Un outil de base pour construire des systèmes experts

Philippe Vignard
[Rapport de recherche] RR-0380, INRIA. 1985, pp.42
Rapport inria-00076176v1
Image document

On the distribution of statements in Pascal programs

A. Schroeder
RT-0039, INRIA. 1984, pp.14
Rapport inria-00070119v1
Image document

Dérivation d'algorithmes distribués d'arbitrage

Jean-Pierre Verjus , René Thoraval
[Rapport de recherche] RR-0414, INRIA. 1985
Rapport inria-00076142v1
Image document

Evaluation of recursive predicats in deductive databases

Christophe de Maindreville
[Research Report] RR-0467, INRIA. 1985
Rapport inria-00076087v1
Image document

Towards specification and proof of asynchronous systems

Boubakar Gamatié
[Research Report] RR-0466, INRIA. 1985
Rapport inria-00076088v1
Image document

Analyse numerique d'une methode de resolution de problemes de contact unilateral en elasticite et son implementation dans MODULEF

J.M. Viano Rey
RR-0457, INRIA. 1985
Rapport inria-00076097v1
Image document

Equations de Maxwell et perturbations singulieres

B. Cockburn
RR-0443, INRIA. 1985
Rapport inria-00076112v1
Image document

Finite element and multigrid solution of the two dimensional Euler equations on a non structured mesh

Eric Perez
[Research Report] RR-0442, INRIA. 1985, pp.29
Rapport inria-00076113v1
Image document

CLAVECIN un systeme expert en analyse de donnees

E. Demonchaux , Joël Quinqueton , Henri Ralambondrainy
RR-0431, INRIA. 1985
Rapport inria-00076125v1
Image document

The partition model : A functional approach

N. Spyratos
RR-0430, INRIA. 1985
Rapport inria-00076126v1
Image document

Conditions d'entropie et schema de Roe pour les lois de conservation scalaires

Yann Brenier
[Rapport de recherche] RR-0423, INRIA. 1985
Rapport inria-00076133v1
Image document

Dynamic behaviour of an unreliable two-machines transfer line

E. Wesfreid
RR-0421, INRIA. 1985
Rapport inria-00076135v1
Image document

A survey on attribute grammars.Part III classified bibliography

Pierre Deransart , Martin Jourdan , Bernard Lorho
[Research Report] RR-0417, INRIA. 1985
Rapport inria-00076139v1
Image document

A model to analyse the causality in synchronous real time systems

Albert Benveniste
[Research Report] RR-0411, INRIA. 1985
Rapport inria-00076145v1
Image document

Un algorithme général de recherche des horizons de planification (problème mono-produit, discret et à coûts concaves)

A. Bensoussan , Jean-Marie Proth , M. Queyranne
RR-0406, INRIA. 1985
Rapport inria-00076150v1
Image document

Regroupements en familles de produits en fonction des outils disponibles

Jean-Marie Proth
RR-0392, INRIA. 1985
Rapport inria-00076164v1
Image document

A BCMP extension to multiserver stations with concurrent classes of customers

Jean-Yves Le Boudec
[Research Report] RR-0390, INRIA. 1985
Rapport inria-00076166v1
Image document

Group technology in production management : the short horizon planning level

Hervé Garcia , Jean-Marie Proth
[Research Report] RR-0376, INRIA. 1985, pp.29
Rapport inria-00076180v1
Image document

Regroupement en familles de produits en fonction des outils disponibles

Jean-Marie Proth
[Rapport de recherche] RR-0370, INRIA. 1985, pp.20
Rapport inria-00076186v1
Image document

Commande par retour d'efforts en robotique

Jean-Pierre Merlet
[Rapport de recherche] RR-0351, INRIA. 1984
Rapport inria-00076206v1
Image document

Optimal priority assignment with constraint

Philippe Nain , Keith W. Ross
[Research Report] RR-0346, INRIA. 1984
Rapport inria-00076211v1
Image document

Algorithme optimal de décision pour l'équivalence des grammaires simples

Didier Caucal
[Rapport de recherche] RR-0344, INRIA. 1984
Rapport inria-00076213v1
Image document

Design of one-step and multistep adaptive of algorithms for the tracking of time varying systems

Albert Benveniste
[Research Report] RR-0340, INRIA. 1984
Rapport inria-00076217v1
Image document

Contribution d'une approche syntaxique dans la segmentation d'image

Jean Camillerapp , Ivan Leplumey
[Rapport de recherche] RR-0331, INRIA. 1984
Rapport inria-00076226v1
Image document

Petri nets and algebraic calculi of processes

Gérard Boudol , G. Roucairol , Robert de Simone
[Research Report] RR-0292, INRIA. 1984
Rapport inria-00076266v1
Image document

Comportement asymptotique pour une inequation parabolique .Applications a diverses equations de la mecanique des fluides visqueux incompressibles

J.M. Ghidaglia
RR-0288, INRIA. 1984
Rapport inria-00076270v1
Image document

Justification et validité statistique d'une echelle [0,1] de fréquence mathématique pour une structure de proximité sur un ensemble de variables observées

Israël-César Lerman
[Rapport de recherche] RR-0278, INRIA. 1984
Rapport inria-00076280v1
Image document

On the global set of solutions of a nonlinear O.D.E.:Theoretical and numerical description

M. Ramaswamy
RR-0264, INRIA. 1984
Rapport inria-00076294v1
Image document

A linear-system theoretic view of discrete-event processes and its use for performance evaluation in manufacturing

Guy Cohen , Didier Dubois , Jean-Pierre Quadrat , Michel Viot
IEEE Transactions on Automatic Control, 1985, 30 (3), pp.210--220. ⟨10.1109/TAC.1985.1103925⟩
Article dans une revue hal-04228677v1
Image document

Compréhensibilité de manuels techniques

Willemien Visser
Cahiers ECOTRA, 1985, 6, pp.117-121
Article dans une revue hal-00641002v1