[82] 
Up-to context proofs for the pi-calculus in the coq system.
D. Hirschkoff.
18 pages, janvier 1997, Noisy-Le-Grand
[81] 
Diffusions with a nonlinear irregular drift coefficient and probabilistic interpretation of generalized Burger's equations.
B. Jourdain.
16 pages, décembre 1996, Noisy-Le-Grand
[80] 
Propagation du chaos trajectorielle pour les lois de conservation scalaire.
B. Jourdain.
14 pages, décembre 1996, Noisy-Le-Grand
[77] 
On the perturbation methods for some nonlinear quantum chemistry models.
E. Cancès, C. Le Bris.
45 pages, novembre 1996, Noisy-Le-Grand
[76] 
Travel Times Computation for Dynamic Assignment Modelling.
C. Buisson, J.-P. Lebacque, J.-B. Lesort.
15 pages, novembre 1996, Noisy-Le-Grand
[75] 
High temperature regime for a multidimensional Sherrigton-Kirkpatrick model of spin glass.
A. Toubol.
34 pages, septembre 1996, Noisy-Le-Grand
[74] 
Volume-discrepancy of sequences and numerical tests.
B. Lapeyre, Y. J. Xiao.
16 pages, septembre 1996, Noisy-Le-Grand
[73] 
Variation of product function and numerical of some partial differential equations bylow-discrepancy sequences.
Y. J. Xiao.
7 pages, août 1996, Noisy-Le-Grand
[72] 
Convergence of moderatly interacting particle systems to a diffusion equation.
B. Jourdain.
23 pages, juillet 1996, Noisy-Le-Grand
[69] 
Existence of solution for a density-dependent magnetohydrodynamic equation.
J.-F. Gerbeau, C. Le Bris.
29 pages, juillet 1996,Noisy-Le-Grand
[68] 
Spurious velocities in the steady flow of an incompressible fluid subjected to external forces.
J.-F. Gerbeau,C. Le Bris, M. Bercovier.
22 pages, juin 1996, Noisy-le-Grand
[67] 
Formalization of SLD-Resolution in the calculus of inductive construction.
M. Jaume.
23 pages, juin 1996, Noisy-Le-Grand
[64] 
Fonctions d'échelles et nouvelles notions de moments.
A. Ezzine.
14 pages, mai 1996, Noisy-Le-Grand
[63] 
Nouvelles algèbres d'opérateurs caractérisés par leur décomposition sur une base d'ondelettes.
A. Ezzine.
22 pages, mai 1996, Noisy-Le-Grand
[62] 
Bisimulation proofs for the pi-calculus in the calculus of constructions.
D. Hirschkoff.
48 pages, avril 1996, Noisy-le-Grand
[61] 
Nodesat, an arithmetical tactic for the coq proof assistant.
D. Hirschkoff.
23 pages, avril 1996, Noisy-le-Grand
[60] 
Quadrature singulières et fonctions d'échelle.
A. Ezzine, A. Cohen.
4 pages, avril 1996, Noisy-le-Grand
[59] 
Instantaneous travel times for macroscopic traffic flow models.
J.-P. Lebacque.
34 pages, avril 1996, Noisy-le-Grand
[57] 
Multifractalité et formalisme multifractal pour les fonctions autosimilairesavec g peu régulière.
M. Ben Slimane.
15 pages, janvier 1996, Noisy-le-Grand
[56] 
Formalism multifractal et chirps logarithmiques pour les fonctions d'echelles.
M. Ben Slimane.
21 pages, novembre 1995, Noisy-le-Grand
[55] 
Multifractal formalism for selfsimilar functions under the action of nonlineardynamical systems.
M. Ben Slimane.
30 pages, octobre 1995, Noisy-le-Grand
[54] 
Multifractal formalism and anisotropic selfsimilar functions.
M. Ben Slimane.
32 pages, octobre 1995, Noisy-le-Grand
[50] 
Rate of convergence for computing expectations of stopping functionals of an alpha-mixing process.
M. Ben Alaya, G. Pagès.
23 pages, février 1996, Noisy-le-Grand
[49] 
Schémas TVD d'ordre élevé pour la résolution de l'équation de Burgers,.
S. Piperno.
23 pages, janvier 1996, Sophia Antipolis