Accueil du site > La recherche en mathématiques > Publications (HAL-INSMI)




Recherchez sur ce site


Publications (HAL-INSMI)

Aller à HAL-INSMI

Cette collection contient actuellement l’ensemble des documents répertoriés dans le domaine "mathématiques" de HAL, c’est-à-dire qu’elle inclut egalement des publications issues des equipes d’accueil universitaires et des laboratoires de l’INRIA et d’autres organismes, des cours du CIMPA, etc.


Les derniers dépôts dans la collection :

Articles dans des revues avec comité de lecture

  • On the minimization of the energy of a free-electron gas with constrained density function (2014)

    Auteur(s) : boka@math.jussieu.fr (Olivier Bokanowski).
    Fiche détaillée
    Résumé : One of the aims of density functional theory is to obtain properties of (ground) states of large systems, in particular their energy, by solving a nonlinear equation, involving only the parameters of a single electron. The oldest such theory is the Thomas-Fermi approach. Major developments are (...)
  • An abstract version of the concentration compactness principle (2014)

    Auteur(s) : ian.schindler@gmail.com (Ian Schindler).
    Fiche détaillée
    Résumé : In this paper the authors prove an abstract version of the well-known concentration compactness principle in Hilbert space. As an application they consider a class of elliptic problems on unbounded domains.
  • Semilinear equations on Hausdorff spaces with symmetries (2014)

    Auteur(s) : hal@ccsd.cnrs.fr (Marco Biroli).
    Fiche détaillée
    Résumé : The authors study existence problems for minimizers in Sobolev inequalities for Dirichlet forms on spaces of homogeneous type and for related semilinear elliptic equations. In order to do so they derive a concentration compactness principle for group shifts on Hausdorff (...)

Articles dans des revues sans comité de lecture

  • A MODEL OF METABOLIC PROCESSES IN A HETEROGENEOUS MILIEU: FUNCTIONAL AND NUMERICAL SOLUTIONS (2014)

    Auteur(s) : rcostala@snv.jussieu.fr (Robert Costalat).
    Fiche détaillée
    Résumé : A general system that can be used for the modelization of metabolic pathways dynamics in a heterogeneous milieu is presented. It consists in a set of nonlinear reaction-diffusion equations, involving a convection term originating from the transport of metabolites by an electric field. The (...)
  • The Nash problem of arcs (2014)

    Auteur(s) : camille.plenat@univ-amu.fr (Camille Plenat).
    Fiche détaillée
    Résumé : The paper is a state of the arts of the Nash problem of arcs in 2007.
  • A Kalman optimization approach for solving some industrial electronics problems (2014)

    Auteur(s) : rosario.toscano@enise.fr (Rosario Toscano).
    Fiche détaillée

Conférences invitées

  • Optimisation convexe pour estimation et tests non paramétriques (2014)

    Auteur(s) : juditsky@imag.fr (Anatoli Juditsky).
    Fiche détaillée
  • Convex optimization for nonparametric estimation and test (2014)

    Auteur(s) : juditsky@imag.fr (Anatoli Juditsky).
    Fiche détaillée
  • Nonparametric testing by convex optimization (2014)

    Auteur(s) : juditsky@imag.fr (Anatoli Juditsky).
    Fiche détaillée
    Résumé : We discuss a general approach to handling a class of nonparametric detection problems when the null and each particular alternative hypothesis states that the vector of parameters identifying the distribution of observations belongs to a convex compact. Our central result is a test for a pair (...)

Communications avec actes

  • Scheduling heuristics for on board sequential air conflict solving (2014)

    Auteur(s) : hal@ccsd.cnrs.fr (Nicolas Archambault).
    Fiche détaillée
    Résumé : The resolution of conflicts between n aircraft is highly combinational and cannot be optimally solved using classical mathematical optimization techniques. Using a priority order to solve a n-aircraft conflict is much easier but the solution is not optimal. FACES (free-flight autonomous (...)
  • Multi-CPU and multi-GPU hybrid computations of multi-scale scalar transport (2014)

    Auteur(s) : Jean-Matthieu.Etancelin@imag.fr (Jean-Matthieu Etancelin).
    Fiche détaillée
    Résumé : The transport of a scalar in a turbulent flow is a central issue in many fields such as combustion, environmental flows or multiphase flows. The problem to solve consists in the coupling of the incompressible Navier-Stokes equations with an advection-diffusion equation. The hybrid computing (...)
  • Separating air traffic flows by allocating 3D-trajectories (2014)

    Auteur(s) : hal@ccsd.cnrs.fr (David Gianazza).
    Fiche détaillée
    Résumé : This paper introduces two algorithms which allocate optimal separated 3D-trajectories to the main traffic flows. The first approach is a 1 vs. n strategy which applies an A* algorithm iteratively to each flow. The second is a global approach using a genetic algorithm, applied to a population of (...)

Communications sans actes

  • Une méthode de Branch and Bound par Intervalles appliquée à la résolution en vitesse de conflits aériens (2014)

    Auteur(s) : hal@ccsd.cnrs.fr (Nicolas Durand).
    Fiche détaillée
    Résumé : Deux avions en croisière à la même altitude séparés de moins de 5 miles nautiques sont dits en conflit. Le rôle du contrôleur aérien est d'éviter les situations de conflits en anticipant des manoeuvres de séparation (changement de cap ou de niveau de vol de l'un des deux avions). En modifiant légèrement (...)
  • Implementing an interval computation library for OCaml on x86/amd64 architectures (2014)

    Auteur(s) : hal@ccsd.cnrs.fr (Jean-Marc Alliot).
    Fiche détaillée
    Résumé : In this paper we present two implementation of interval arithmetics for Ocaml on x86/amd64 architectures. The first one is simply a binding to the classical MPFI/MPFR library. It provides access to multi-precision floating point arithmetic and multi-precision floating point interval arithmetic. (...)
  • Building possibility distribution based on confidence intervals of parameters of Gaussian mixtures (2014)

    Auteur(s) : hal@ccsd.cnrs.fr (Mohammad Ghasemi Hamed).
    Fiche détaillée
    Résumé : In parametric methods, building a probability distribution from data requires an a priori knowledge about the shape of the distribution. Once the shape is known, we can estimate the optimal parameters value from the data set. However, there is always a gap between the estimated parameters from (...)

Ouvrages scientifiques

  • Cryptography and Communications (2014)

    Auteur(s) : yves.aubry@univ-tln.fr (Yves Aubry).
    Fiche détaillée
    Résumé : This is a special issue of "Cryptography and Communications - Discrete Structures, Boolean functions and sequences" in the honor of Jacques Wolfmann.
  • The Defocusing NLS Equation and Its Normal Form (2014)

    Auteur(s) : benoit.grebert@univ-nantes.fr (Benoit Grebert).
    Fiche détaillée
    Résumé : The theme of this monograph is the nonlinear Schrödinger equation. This equation models slowly varying wave envelopes in dispersive media and arises in various physical systems such as water waves, plasma physics , solid state physics and nonlinear optics. More specifically, we consider the (...)
  • Aléatoire (2014)

    Auteur(s) : djalil@chafai.net (Djalil Chafaï).
    Fiche détaillée
    Résumé : Les textes réunis dans ce volume présentent plusieurs aspects des mathématiques de l'aléatoire et mettent en évidence les nombreux domaines d'applications où elles sont utilisées. Sylvie Méléard s'appuie sur la modélisation en dynamique des populations pour introduire les processus markoviens de saut. (...)

Chapîtres d'ouvrages scientifiques

  • First Order Methods for Nonsmooth Convex Large-Scale Optimization, II: Utilizing Problem's Structure (2014)

    Auteur(s) : juditsky@imag.fr (Anatoli Juditsky).
    Fiche détaillée
    Résumé : We present several state-of-the-art First Order methods for \well-structured" large-scale nonsmooth convex programs. In contrast to their \black-boxoriented" prototypes considered in Chapter 1, the methods in question utilize the problem structure in order to convert the original nonsmooth (...)
  • First Order Methods for Nonsmooth Convex Large-Scale Optimization, I : General Purpose Methods, (2014)

    Auteur(s) : juditsky@imag.fr (Anatoli Juditsky).
    Fiche détaillée
    Résumé : We discuss several state-of-the-art computationally cheap, as opposed to the polynomial time Interior Point algorithms, rst order methods for minimizing convex objectives over \simple" large-scale feasible sets. Our emphasis is on the general situation of a nonsmooth convex objective (...)
  • Euler et la mécanique newtonienne : d'une mécanique géométrique à la mécanique analytique (2014)

    Auteur(s) : sebastien.maronne@math.univ-toulouse.fr (Sébastien Maronne).
    Fiche détaillée

Directions d'ouvrages

  • La théorie de l'homotopie en perspective (2014)

    Auteur(s) : bhalimi@u-paris10.fr (Brice Halimi).
    Fiche détaillée
    Résumé :
  • Contexts, emergence and issues of Cartesian geometry : In honour of Henk Bos's 70th birthday (2014)

    Auteur(s) : hal@ccsd.cnrs.fr (June Barrow-Green).
    Fiche détaillée
    Résumé :
  • Statistical Models and Methods for Reliability and Survival Analysis (2014)

    Auteur(s) : vincent.couallier@u-bordeaux.fr (Vincent Couallier).
    Fiche détaillée
    Résumé : Statistical Models and Methods for Reliability and Survival Analysis brings together contributions by specialists in statistical theory as they discuss their applications providing up-to-date developments in methods used in survival analysis, statistical goodness of fit, stochastic processes (...)
  • Mathematical Physics of Quantum Mechanics (2014)

    Auteur(s) : asch@cpt.univ-mrs.fr (Joachim Asch).
    Fiche détaillée
    Résumé : At the QMath9 meeting, young scientists learn about the state of the art in the mathematical physics of quantum systems. Based on that event, this book offers a selection of outstanding articles written in pedagogical style comprising six sections which cover new techniques and recent results (...)
  • Parallel Computational Fluid Dynamics 2008 Lecture Notes in Computational Science and Engineering, (2014)

    Auteur(s) : Damien.tromeur-dervout@univ-lyon1.fr (Damien Tromeur-Dervout).
    Fiche détaillée
    Résumé : This book collects the proceedings of the Parallel Computational Fluid Dynamics 2008 conference held in Lyon, France. Contributed papers by over 40 researchers representing the state of the art in parallel CFD and architecture from Asia, Europe, and North America examine major developments in (...)

Autres publications

  • Hotelling Games on Networks: Efficiency of Equilibria (2014)

    Auteur(s) : fournier.gtn@gmail.com (Gaëtan Fournier).
    Fiche détaillée
    Résumé : We consider a Hotelling game where a finite number of retailers choose a location, given that their potential customers are distributed on a network. Retailers do not compete on price but only on location, therefore each consumer shops at the closest store. We show that when the number of (...)
  • DUT Gestion des Entreprises et des Administrations - Chapitre Probabilités (2014)

    Auteur(s) : hal@ccsd.cnrs.fr (Célia Jean-Alexis).
    Fiche détaillée
  • Rayon de Recouvrement des Codes de Reed-Muller affine (2014)

    Auteur(s) : hal@ccsd.cnrs.fr (Philippe Langevin).
    Fiche détaillée

Thèses

  • Formulation et études des problèmes de commande en co-manipulation robotique (2014)

    Auteur(s) : hal@ccsd.cnrs.fr (Sarra Jlassi).
    Fiche détaillée
    Résumé : Dans ce travail de thèse, nous abordons les problèmes de commande posés en co-manipulation robotique pour des tâches de manutention à travers un point de vue dont nous pensons qu'il n'est pas suffisamment exploité, bien qu'il a recourt à des outils classiques en robotique. Le problème de commande en (...)
  • Méthodes probabilistes pour l'évaluation de risques en production industrielle. (2014)

    Auteur(s) : julie.oger@cifre.org (Julie Oger).
    Fiche détaillée
    Résumé : Dans un contexte industriel compétitif, une prévision fiable du rendement est une information primordiale pour déterminer avec précision les coûts de production et donc assurer la rentabilité d'un projet. La quantification des risques en amont du démarrage d'un processus de fabrication permet des (...)
  • Analyse de quelques problèmes liés à l'équation de Ginzburg-Landau (2014)

    Auteur(s) : vicentiu.radulescu@math.cnrs.fr (Vicentiu Radulescu).
    Fiche détaillée
    Résumé : Cette thèse décrit quelques problèmes qualitatifs liés à l'équation de Ginzburg-Landau.

Habilitations

  • Contribution au traitement des conditions limites et d'interface dans le cadre de la Méthode des Éléments Finis (2014)

    Auteur(s) : franz.chouly@univ-fcomte.fr (Franz Chouly).
    Fiche détaillée
    Résumé : Ce mémoire présente quelques contributions à la prise en compte de diverses conditions limites ou d'interface lors de la résolution de problèmes par la méthode des éléments finis. Diverses techniques sont passées en revue, avec un focus sur celle de Nitsche. Les problèmes traités proviennent de la (...)
  • Analyse de quelques problèmes aux limites elliptiques non linéaires (2014)

    Auteur(s) : vicentiu.radulescu@math.cnrs.fr (Vicentiu Radulescu).
    Fiche détaillée
    Résumé : Ce Mémoire porte sur l'analyse qualitative de quelques classes de problèmes elliptiques non linéaires.
  • From local to global and back : a closed walk in mathematical programming and its applications (2014)

    Auteur(s) : sonia@recherche.enac.fr (Sonia Cafieri).
    Fiche détaillée
    Résumé : Ce document propose un parcours de mes travaux de recherche en optimisation, en passant par l'optimisation mixte en variables entières, l'optimisation non-linéaire continue locale et le clustering dans les réseaux (graphes). Le premier chapitre traite de la programmation non linéaire mixte en (...)

Cours

  • Algèbre et analyse tensorielles pour l'étude des milieux continus (2014)

    Auteur(s) : jean.garrigues@centrale-marseille.fr (Jean Garrigues).
    Fiche détaillée
    Résumé : Ce cours introduit les outils tensoriels nécessaires à l'étude de la mécanique des milieux continus (fluides et solides) : algèbre, analyse et applications. Les connaissances mathématiques préalables sont celles d'une classe préparatoire ou d'une seconde année de licence en (...)
  • Efficient C++ finite element computing with Rheolef (2014)

    Auteur(s) : hal@ccsd.cnrs.fr (Pierre Saramito).
    Fiche détaillée
    Résumé : Rheolef is a programming environment for finite element method computing. <br><br> This Book presents in details how some simple and more complex problems from solid and fluid mechanics can be solved, most of them in less than 20 lines of code. The concision and readability (...)
  • Basic concepts of representation theory (2014)

    Auteur(s) : amri@imsc.res.in (Amritanshu Prasad).
    Fiche détaillée

Rapports de Recherche

  • The Casimir warp drive:Is the Casimir Effect a valid candidate to generate and sustain a Natario warp drive spacetime bubble?? (2014)

    Auteur(s) : spacetimeshortcut@yahoo.com (Fernando Loup).
    Fiche détaillée
    Résumé : Warp Drives are solutions of the Einstein Field Equations that allows superluminal travel within the framework of General Relativity. There are at the present moment two known solutions: The Alcubierre warp drive discovered in $1994$ and the Natario warp drive discovered in $2001$. The major (...)
  • Penalization of a stochastic variational inequality modeling an elasto-plastic problem with noise (2014)

    Auteur(s) : mathieu.lauriere@gmail.com (Mathieu Laurière).
    Fiche détaillée
    Résumé : In a recent work of A.Bensoussan and J.Turi, it has been shown that the solution of a stochastic variational inequality modeling an elasto-plastic oscillator excited by a white noise has a unique invariant probability measure. The latter is useful for engineering in order to evaluate statistics (...)
  • Macroscopic models of collective motion with repulsion (2014)

    Auteur(s) : pierre.degond@gmail.com (Pierre Degond).
    Fiche détaillée
    Résumé : We study a system of self-propelled particles which interact with their neighbors via alignment and repulsion. The particle velocities result from self-propulsion and repulsion by close neighbors. The direction of self-propulsion is continuously aligned to that of the neighbors, up to some (...)

Documents sans référence de publication

  • Assessment of the 3D-separation of Air Traffic Flows (2014)

    Auteur(s) : hal@ccsd.cnrs.fr (David Gianazza).
    Fiche détaillée
    Résumé : This paper is a continuation of [1] and [2], where two algorithms were introduced, allocating optimal separated 3D-trajectories to the main traffic flows. The reader may also refer to [3] (PhD thesis, in french) for more details. In [1], these algorithms - an A* algorithm for the sequential (...)
  • Airspace block organization with metaheurisitics and partitioning packages (2014)

    Auteur(s) : hal@ccsd.cnrs.fr (Charles-Edmond Bichot).
    Fiche détaillée
    Résumé : In this paper, different metaheuristics applied on an air traffic control problem. This problem is a graph partitioning problem. It can be solved by classical methods which are spectral and multilevel methods. State-of-the-art public-domain graph partitioning packages, CHACO and METIS are used (...)
  • A tool to design Functional Airspace Blocks (2014)

    Auteur(s) : hal@ccsd.cnrs.fr (Charles-Edmond Bichot).
    Fiche détaillée
    Résumé : This paper focuses on the selection of a technical tool for the establishment of functional airspace blocks in Europe. This paper shows that the creation of functional airspace blocks is a partitioning problem. Some state-of-the-art partitioning libraries and two metaheuristics are applied to (...)