1996

1996

    [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, dcembre 1996, Noisy-Le-Grand
    [80] 
    Propagation du chaos trajectorielle pour les lois de conservation scalaire.
    B. Jourdain.
    14 pages, dcembre 1996, Noisy-Le-Grand
    [77] 
    On the perturbation methods for some nonlinear quantum chemistry models.
    E. Cancs, 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