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

Filtrer vos résultats

125 résultats
Page :
triés par

Genetic distances from mRNA sequences

 R. Grantham , Christian Gautier
The Science of Nature Naturwissenschaften, 1980, 67, pp.93-94
Article dans une revue hal-00697913v1
Image document

Solving large zero-one-linear programming problems

 H. Crowder , E.L. Johnson , M.W. Padberg
RR-0089, INRIA. 1981
Rapport inria-00076472v1
Image document

Global smooth solution of Cauchy problems for a class of quasilinear hyperbolic systems

 L. Hsiao , T.T. Li
RR-0083, INRIA. 1981
Rapport inria-00076478v1
Image document

The fluid-dynamic limit of a model Boltzmann equation in the presence of a shock

 R. Caflish
RR-0081, INRIA. 1981
Rapport inria-00076480v1
Image document

The Russian method for linear inequalities III:bounded integer programming

 M.W. Padberg , M.R. Rao
RR-0078, INRIA. 1981
Rapport inria-00076483v1
Image document

On the necessity of the solvable conditions of the typical boundary value problems for quasilinear hyperbolic systems

 T.T. Li , W.T. Yu
RR-0075, INRIA. 1981
Rapport inria-00076486v1
Image document

Performance analysis of compaction techniques for map representation in geographic databases

 P. Boursier , M. Scholl
RR-0058, INRIA. 1981
Rapport inria-00076503v1
Image document

Laboratoire d'informatique théorique et programmation

 M. Nivat
RR-0054, INRIA. 1981
Rapport inria-00076507v1
Image document

On the evaluation of the size of the answer of a relational query

 Patrick Richard
[Research Report] RR-0051, INRIA. 1980
Rapport inria-00076510v1
Image document

Étude de schémas numériques de l'élastodynamique linéaire

 A. Bamberger , Guy Chavent , P. Lailly
[Rapport de recherche] RR-0041, INRIA. 1980
Rapport inria-00076520v1
Image document

Optimisation de la gestion sur disque des bibliothèques de programmes

 J.Y. Babonneau , M. Carpentier , G. Morisset
[Rapport de recherche] RR-0036, INRIA. 1980
Rapport inria-00076525v1
Image document

Analysis and performance evaluation of some hyperchannel access protocols

 O. Spaniol
[Research Report] RR-0020, INRIA. 1980
Rapport inria-00076541v1
Image document

Un problème de thermoélasticité à solutions périodiques

 J.M. Viano Rey
RR-0091, INRIA. 1981
Rapport inria-00076470v1
Image document

Effet de variations de la forme du codage sur l'evaluation de longueurs.

 P. Falzon
RT-0007, INRIA. 1981, pp.31
Rapport inria-00070147v1
Image document

Some syntactic and categorical constructions of lambda-calculus models

 Gérard Berry
[Research Report] RR-0080, INRIA. 1981, pp.48
Rapport inria-00076481v1

A distributed control system for industrial plants

 Jean-Michel Ayache , B. Carrichon , Michel Devy , Michel Diaz , B. Potin , et al.
Euromicro 80 Conference, 1980, London, United Kingdom
Communication dans un congrès inria-00444517v1

Codon frequencies in 119 individual genes confirm consistent choices of degenerate bases according to genome type

 R. Grantham , Christian Gautier , Manolo Gouy
Nucleic Acids Research, 1980, 8 (9), pp.1893-1912. ⟨10.1093/nar/8.9.1893⟩
Article dans une revue hal-00697920v1

Nucleic acid sequences handbook

 Christian Gautier , Manolo Gouy , Monique Jacobzone , Richard Grantham
Praeger, 1-2, 1981
Ouvrages hal-02087468v1
Image document

Contrôle ponctuel avec contraintes sur l'état

 L.W. White
RR-0066, INRIA. 1981
Rapport inria-00076495v1
Image document

Antennes radiogoniométriques de faibles dimensions

 A. Meritet
[Rapport de recherche] RR-0048, INRIA. 1980
Rapport inria-00076513v1
Image document

On the strong maximum principle for some piecewise linear finite element approximative problems of non-positive type

 Vitoriano Ruas
[Research Report] RR-0043, INRIA. 1980
Rapport inria-00076518v1
Image document

Une équation non linéaire intervenant en solidification

 A. Bermudez , Ch. Saguez
[Rapport de recherche] RR-0034, INRIA. 1980
Rapport inria-00076527v1
Image document

A complete proof of correctness of the Knuth-Bendix completion algorithm

 Gérard Huet
[Research Report] RR-0025, INRIA. 1980
Rapport inria-00076536v1
Image document

Geometrically isolated/nonisolated solutions and their approximation

 H.B. Keller
[Research Report] RR-0022, INRIA. 1980
Rapport inria-00076539v1
Image document

Pertubation du domaine d'intégration pour une inéquation variationnelle elliptique

 Alain Dervieux , Ch. Saguez
RR-0057, INRIA. 1981
Rapport inria-00076504v1
Image document

Completeness and the expressive power of next time temporal logical system by semantic tableau method

 O. Katai
RR-0109, INRIA. 1981
Rapport inria-00076451v1
Image document

Non convex methods for computing free boundary equilibria of axially symmetric plasmas

 B. Heron , M. Sermange
RR-0108, INRIA. 1981
Rapport inria-00076452v1
Image document

Factorisation des polynomes de Fq[X]

 Paul Camion
RR-0093, INRIA. 1981
Rapport inria-00076468v1
Image document

Task allocation between man and computer for an electronic appointement book

 Alain Michard
RR-0085, INRIA. 1981
Rapport inria-00076476v1
Image document

Queueing algorithms with breakdowns in data bases modelling

 François Baccelli , T. Znati
[Research Report] RR-0050, INRIA. 1980
Rapport inria-00076511v1
Page :