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