![](../cermics-biblio.jpg)
1996
Up-to context proofs for the pi-calculus in the coq system.
D. Hirschkoff.
18 pages, janvier 1997, Noisy-Le-Grand
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
Propagation du chaos trajectorielle pour les lois de conservation scalaire.
B. Jourdain.
14 pages, décembre 1996, Noisy-Le-Grand
On the perturbation methods for some nonlinear quantum chemistry models.
E. Cancès, C. Le Bris.
45 pages, novembre 1996, Noisy-Le-Grand
Travel Times Computation for Dynamic Assignment Modelling.
C. Buisson, J.-P. Lebacque, J.-B. Lesort.
15 pages, novembre 1996, Noisy-Le-Grand
High temperature regime for a multidimensional Sherrigton-Kirkpatrick model of spin glass.
A. Toubol.
34 pages, septembre 1996, Noisy-Le-Grand
Volume-discrepancy of sequences and numerical tests.
B. Lapeyre, Y. J. Xiao.
16 pages, septembre 1996, Noisy-Le-Grand
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
Convergence of moderatly interacting particle systems to a diffusion equation.
B. Jourdain.
23 pages, juillet 1996, Noisy-Le-Grand
Existence of solution for a density-dependent magnetohydrodynamic equation.
J.-F. Gerbeau, C. Le Bris.
29 pages, juillet 1996,Noisy-Le-Grand
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
Formalization of SLD-Resolution in the calculus of inductive construction.
M. Jaume.
23 pages, juin 1996, Noisy-Le-Grand
Fonctions d'échelles et nouvelles notions de moments.
A. Ezzine.
14 pages, mai 1996, Noisy-Le-Grand
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
Bisimulation proofs for the pi-calculus in the calculus of constructions.
D. Hirschkoff.
48 pages, avril 1996, Noisy-le-Grand
Nodesat, an arithmetical tactic for the coq proof assistant.
D. Hirschkoff.
23 pages, avril 1996, Noisy-le-Grand
Quadrature singulières et fonctions d'échelle.
A. Ezzine, A. Cohen.
4 pages, avril 1996, Noisy-le-Grand
Instantaneous travel times for macroscopic traffic flow models.
J.-P. Lebacque.
34 pages, avril 1996, Noisy-le-Grand
Multifractalité et formalisme multifractal pour les fonctions autosimilairesavec g peu régulière.
M. Ben Slimane.
15 pages, janvier 1996, Noisy-le-Grand
Formalism multifractal et chirps logarithmiques pour les fonctions d'echelles.
M. Ben Slimane.
21 pages, novembre 1995, Noisy-le-Grand
Multifractal formalism for selfsimilar functions under the action of nonlineardynamical systems.
M. Ben Slimane.
30 pages, octobre 1995, Noisy-le-Grand
Multifractal formalism and anisotropic selfsimilar functions.
M. Ben Slimane.
32 pages, octobre 1995, Noisy-le-Grand
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
Schémas TVD d'ordre élevé pour la résolution de l'équation de Burgers,.
S. Piperno.
23 pages, janvier 1996, Sophia Antipolis
Up-to context proofs for the pi-calculus in the coq system.
D. Hirschkoff.
18 pages, janvier 1997, Noisy-Le-Grand
D. Hirschkoff.
18 pages, janvier 1997, Noisy-Le-Grand
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
B. Jourdain.
16 pages, décembre 1996, Noisy-Le-Grand
Propagation du chaos trajectorielle pour les lois de conservation scalaire.
B. Jourdain.
14 pages, décembre 1996, Noisy-Le-Grand
B. Jourdain.
14 pages, décembre 1996, Noisy-Le-Grand
On the perturbation methods for some nonlinear quantum chemistry models.
E. Cancès, C. Le Bris.
45 pages, novembre 1996, Noisy-Le-Grand
E. Cancès, C. Le Bris.
45 pages, novembre 1996, Noisy-Le-Grand
Travel Times Computation for Dynamic Assignment Modelling.
C. Buisson, J.-P. Lebacque, J.-B. Lesort.
15 pages, novembre 1996, Noisy-Le-Grand
C. Buisson, J.-P. Lebacque, J.-B. Lesort.
15 pages, novembre 1996, Noisy-Le-Grand
High temperature regime for a multidimensional Sherrigton-Kirkpatrick model of spin glass.
A. Toubol.
34 pages, septembre 1996, Noisy-Le-Grand
A. Toubol.
34 pages, septembre 1996, Noisy-Le-Grand
Volume-discrepancy of sequences and numerical tests.
B. Lapeyre, Y. J. Xiao.
16 pages, septembre 1996, Noisy-Le-Grand
B. Lapeyre, Y. J. Xiao.
16 pages, septembre 1996, Noisy-Le-Grand
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
Y. J. Xiao.
7 pages, août 1996, Noisy-Le-Grand
Convergence of moderatly interacting particle systems to a diffusion equation.
B. Jourdain.
23 pages, juillet 1996, Noisy-Le-Grand
B. Jourdain.
23 pages, juillet 1996, Noisy-Le-Grand
Existence of solution for a density-dependent magnetohydrodynamic equation.
J.-F. Gerbeau, C. Le Bris.
29 pages, juillet 1996,Noisy-Le-Grand
J.-F. Gerbeau, C. Le Bris.
29 pages, juillet 1996,Noisy-Le-Grand
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
J.-F. Gerbeau,C. Le Bris, M. Bercovier.
22 pages, juin 1996, Noisy-le-Grand
Formalization of SLD-Resolution in the calculus of inductive construction.
M. Jaume.
23 pages, juin 1996, Noisy-Le-Grand
M. Jaume.
23 pages, juin 1996, Noisy-Le-Grand
Fonctions d'échelles et nouvelles notions de moments.
A. Ezzine.
14 pages, mai 1996, Noisy-Le-Grand
A. Ezzine.
14 pages, mai 1996, Noisy-Le-Grand
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
A. Ezzine.
22 pages, mai 1996, Noisy-Le-Grand
Bisimulation proofs for the pi-calculus in the calculus of constructions.
D. Hirschkoff.
48 pages, avril 1996, Noisy-le-Grand
D. Hirschkoff.
48 pages, avril 1996, Noisy-le-Grand
Nodesat, an arithmetical tactic for the coq proof assistant.
D. Hirschkoff.
23 pages, avril 1996, Noisy-le-Grand
D. Hirschkoff.
23 pages, avril 1996, Noisy-le-Grand
Quadrature singulières et fonctions d'échelle.
A. Ezzine, A. Cohen.
4 pages, avril 1996, Noisy-le-Grand
A. Ezzine, A. Cohen.
4 pages, avril 1996, Noisy-le-Grand
Instantaneous travel times for macroscopic traffic flow models.
J.-P. Lebacque.
34 pages, avril 1996, Noisy-le-Grand
J.-P. Lebacque.
34 pages, avril 1996, Noisy-le-Grand
Multifractalité et formalisme multifractal pour les fonctions autosimilairesavec g peu régulière.
M. Ben Slimane.
15 pages, janvier 1996, Noisy-le-Grand
M. Ben Slimane.
15 pages, janvier 1996, Noisy-le-Grand
Formalism multifractal et chirps logarithmiques pour les fonctions d'echelles.
M. Ben Slimane.
21 pages, novembre 1995, Noisy-le-Grand
M. Ben Slimane.
21 pages, novembre 1995, Noisy-le-Grand
Multifractal formalism for selfsimilar functions under the action of nonlineardynamical systems.
M. Ben Slimane.
30 pages, octobre 1995, Noisy-le-Grand
M. Ben Slimane.
30 pages, octobre 1995, Noisy-le-Grand
Multifractal formalism and anisotropic selfsimilar functions.
M. Ben Slimane.
32 pages, octobre 1995, Noisy-le-Grand
M. Ben Slimane.
32 pages, octobre 1995, Noisy-le-Grand
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
M. Ben Alaya, G. Pagès.
23 pages, février 1996, Noisy-le-Grand
Schémas TVD d'ordre élevé pour la résolution de l'équation de Burgers,.
S. Piperno.
23 pages, janvier 1996, Sophia Antipolis
S. Piperno.
23 pages, janvier 1996, Sophia Antipolis