.:. Consultation > Liste par année > 2000 .:.

251 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Streaming over the Internet : State-of-the-Art Techniques and Prototypes Mignot J.-C. N° RR-4073 (2000) [inria-00072560 - version 1]

New Codecs : State-of-the-Art Techniques and Prototypes Mignot J.-C. N° RR-4074 (2000) [inria-00072559 - version 1]

Vers la certification du compilateur v5 d'Esterel dans Coq Kaplan-Terrasse D. N° RR-4092 (2000) [inria-00072540 - version 1]

On time averaging in Organised Eddy Simulation Modelling Abalakin I., Dervieux A. N° RR-4040 (2000) [inria-00072598 - version 1]

Implementing a Variant of the Kanatani's Estimation Method Viéville T., Lingrand D., Gaspard F. N° RR-4050 (2000) [inria-00072587 - version 1]

The peaking Phenomenon and Singular Perturbations : An Extension of Tikhonov's Theorem Lobry C., Sari T. N° RR-4051 (2000) [inria-00072586 - version 1]

Graphes de dépendance pour les démonstrateurs de théorèmes intéractifs Bertot Y., Pons O., Pottier L. N° RR-4052 (2000) [inria-00072585 - version 1]

Quotients dans le CCI Pottier L. N° RR-4053 (2000) [inria-00072584 - version 1]

Using Markers to Compensate Displacements in MRI Volume Sequences Viéville T. N° RR-4054 (2000) [inria-00072583 - version 1]

Some Improvements on Multipartite Table Methods De Dinechin F., Tisserand A. N° RR-4059 (2000) [inria-00072577 - version 1]