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

Filtrer vos résultats

214 résultats
Page :
triés par

An energy model that predicts the correct folding of both the tRNA and the 5S RNA molecules

 C. Papanicolaou , Manolo Gouy , J. Ninio
Nucleic Acids Research, 1984, 12 (1), pp.31-44. ⟨10.1093/nar/12.1Part1.31⟩
Article dans une revue hal-00698110v1
Image document

Polymorphism is not set-theoretic

 John C. Reynolds
[Research Report] RR-0296, INRIA. 1984
Rapport inria-00076261v1
Image document

Une procedure de decision en logique non-monotone

 Philippe Besnard
[Rapport de recherche] RR-0217, INRIA. 1983
Rapport inria-00076341v1
Image document

Mailleur bidimensionnel du club MODULEF

 Paul-Louis George
RT-0037, INRIA. 1984, pp.59
Rapport inria-00070121v1
Image document

Le langage Hell de description de circuits integres

 B. Serlet
RT-0031, INRIA. 1983, pp.30
Rapport inria-00070126v1
Image document

Associative-commutative unification

 Francois Fages
[Research Report] RR-0287, INRIA. 1984
Rapport inria-00076271v1
Image document

The partition model :A deductive data base model

 N. Spyratos
RR-0286, INRIA. 1984
Rapport inria-00076272v1
Image document

Remarks on a model of A.Majda for combustion waves

 Bernard Larrouturou
[Research Report] RR-0281, INRIA. 1984, pp.53
Rapport inria-00076277v1
Image document

Vecteur de courant et fluides parfaits en aerodynamique numerique tridimensionnelle

 Fadi El Dabaghi , Olivier Pironneau
[Rapport de recherche] RR-0275, INRIA. 1984
Rapport inria-00076283v1
Image document

Chorus:une architecture pour les systemes repartis

 M. Guillemont , H. Zimmermann , G. Morisset , J.S. Banino
RR-0274, INRIA. 1984
Rapport inria-00076284v1
Image document

Generalisation par points de vue et apprentissage de concept

 Joël Quinqueton , Jean Sallantin
RR-0265, INRIA. 1984
Rapport inria-00076293v1
Image document

Introducing novices to structured programming with a "tree" programming language and a "tree" editor

 Alain Giboin , Alain Michard
[Research Report] RR-0255, INRIA. 1983, pp.45
Rapport inria-00076303v1
Image document

On spectral span and eigenvalue-eigenvector assignment for a class of infinite dimensional control systems

 T. Hamatsuka
RR-0252, INRIA. 1983
Rapport inria-00076306v1
Image document

A sound and complete axiomatization of embedded cross dependencies

 François Bancilhon , Patrick Richard
RR-0249, INRIA. 1983
Rapport inria-00076309v1
Image document

Deterministic multiple access protocols for real-time local area networks

 Gerard Le Lann
RR-0246, INRIA. 1983
Rapport inria-00076312v1
Image document

Langage de Dyck et groupe symetrique

 Yves Cochet
[Rapport de recherche] RR-0222, INRIA. 1983
Rapport inria-00076336v1
Image document

Weight distribution of translates of linear codes and generalized Pless identities

 Paul Camion , B. Courteau , G. Fournier , S.V. Kanetkar
RR-0213, INRIA. 1983
Rapport inria-00076345v1
Image document

SIGNAL:Un langage pour le traitement du signal

 Paul Le Guernic , Albert Benveniste , Thierry Gautier
[Rapport de recherche] RR-0206, INRIA. 1983
Rapport inria-00076352v1
Image document

Sur l'effet des stocks tampons dans une fabrication en ligne.2eme partie

 P. Coillard , Jean-Marie Proth
RR-0200, INRIA. 1983
Rapport inria-00076358v1
Image document

Estimating the multiplicities of conflicts in multiple access channels

 Albert Greenberg , Philippe Flajolet , Richard E. Ladner
[Research Report] RR-0333, INRIA. 1984
Rapport inria-00076224v1
Image document

Executable specification of static semantics

 Thierry Despeyroux
[Research Report] RR-0295, INRIA. 1984, pp.19
Rapport inria-00076262v1
Image document

Qualitative properties of a nonlinear system for laminar flames without ignition temperature

 M. Marion
RR-0293, INRIA. 1984
Rapport inria-00076264v1
Image document

Discretisation d'une equation differentielle stochastique et calcul approche d'esperances de fonctionnelles de la solution

 Denis Talay
[Rapport de recherche] RR-0297, INRIA. 1984, pp.42
Rapport inria-00076260v1

A linear system-theoretic view of discrete-event processes

 Guy Cohen , Didier Dubois , Jean-Pierre Quadrat , Michel Viot
22nd Conference on Decision and Control (CDC 1983), IEEE Control Systems Society, Dec 1983, San Antonio, Texas, United States. pp.1039-1044, ⟨10.1109/CDC.1983.269680⟩
Communication dans un congrès hal-04231256v1
Image document

The content-addressable page manager of Sabre.A multi -micro Data base computer

 Georges Gardarin , P. Faudemay , Patrick Valduriez , Y. Viemont
[Research Report] RR-0284, INRIA. 1984
Rapport inria-00076274v1

Finding Model Objects in Range Data

 Radu Horaud , Robert Bolles
6th Europeean Conference on Artificial Intelligence (ECAI '84), Sep 1984, Pisa, Italy. pp.649--652
Communication dans un congrès inria-00589979v1
Image document

Guide d'utilisation et normes de programmation

 Paul-Louis George , Marina Vidrascu
[Rapport de recherche] RT-0042, INRIA. 1984, pp.84
Rapport inria-00070116v1
Image document

Recherche d'un lexique pour la denomination de commandes en messagerie electronique

 D. Tasset
RT-0032, INRIA. 1984, pp.89
Rapport inria-00070125v1
Image document

Mentor rapport.Manipulation de textes structures sous Mentor

 B. Melese
RT-0023, INRIA. 1983, pp.21
Rapport inria-00070133v1
Image document

Learning hierarchical clustering from examples

 Edwin Diday , J.V. Moreau
RR-0289, INRIA. 1984
Rapport inria-00076269v1
Page :