WorldCat Identities

École doctorale de mathématiques et informatique (Talence, Gironde)

Overview
Works: 588 works in 594 publications in 2 languages and 769 library holdings
Roles: Other, Editor, Degree grantor
Publication Timeline
.
Most widely held works by Gironde) École doctorale de mathématiques et informatique (Talence
Leçons de mathématiques d'aujourd'hui by B Perthame( Book )

1 edition published in 2007 in French and held by 82 WorldCat member libraries worldwide

Leçons de mathématiques d'aujourd'hui( Book )

1 edition published in 2010 in French and held by 61 WorldCat member libraries worldwide

Leçons de mathématiques d'aujourd'hui( Book )

2 editions published in 2012 in French and held by 35 WorldCat member libraries worldwide

Ubiquité de la formule de Riemann-Hurwitz by Alexis Michel( )

2 editions published in 1992 in French and held by 3 WorldCat member libraries worldwide

On donne une méthode algébrique pour étudier les formules de translations du type Riemann-Hurwitz d'invariants arithmétiques. Les formules de Kuz'min-kida, sur l'invariant lambda, de Deuring-Shafarevitch sur l'invariant de Hasse-Witt et de Wingberg pour le groupe de Selmer entrent dans ce cadre. On en unifie les preuves et on obtient des résultats dans d'autres situations. On étend cette démarche dans un cas non-galoisien
Simulation numérique d'un écoulement diphasique multicomposant en milieu poreux by Nathalie Laquerie( Book )

2 editions published in 1997 in French and held by 2 WorldCat member libraries worldwide

Le but de la thèse est de simuler le lessivage par injection d'eau d'un aquifère pollué par un hydrocarbure. L'accent est mis sur la modélisation où l'on prend en compte de façon explicite les échanges entre les phases, sans faire l'hypothèse d'équilibre local. Ce modèle nous a conduit à étudier un système de convection-diffusion-réaction dans lequel les temps caractéristiques régissant les divers mécanismes mis en jeu sont très différents. Dans un premier temps, nous avons fait l'étude monodimensionnelle, afin de cerner les principales difficultés : non linéarité, dégénérescence, caractère hyperbolique des équations. Afin de traiter aussi précisément que possible ces trois phénomènes, un schéma basé sur la méthode des pas fractionnaires est mis en place. Pour résoudre la partie convection, nous avons utilisé les schémas de Roe et de Harten, puis un schéma basé sur la méthode MUSCL introduite par Van Leer. La partie diffusion est traitée de manière semi-implicite par un schéma aux différences finies centrées. La partie réaction se ramène à l'étude d'un système d'équations différentielles ordinaires, qui est traité de façon semi-implicite. Dans ces deux dernières parties, les non-linéarités sont résolues à l'aide de la méthode de Newton. Ensuite, le schéma proposé est étendu à la dimension deux. On présente quelques tests numériques pour prouver la faisabilité de la méthode
Segmentation d'images à base topologique by Luc Brun( Book )

2 editions published in 1996 in French and held by 2 WorldCat member libraries worldwide

La segmentation est un processus visant à extraire des objets présents dans une image. La plupart des méthodes de segmentation développées jusqu'à présent sont dévolues à une classe d'images particulière (photo satellite, image IRM, etc.). De plus l'information colorimétrique contenue dans les images est insuffisamment prise en compte. Le but de ce travail est de remédier à ces deux limitations. Nous proposons deux méthodes permettant d'extraire des informations pertinentes à partir d'ensembles de couleurs. Nous proposons de plus plusieurs méthodes de segmentation basés sur les cartes planaires et sur une représentation des régions par frontières inter-pixels. Ces méthodes sont très générales et utilisent un environnement de programmation permettant de développer rapidement des logiciels de segmentation
Automates cellulaires, automates à partitions et tas de sable by Jérôme Durand-Lose( Book )

2 editions published in 1996 in French and held by 2 WorldCat member libraries worldwide

Cette thèse s'intéresse dans un premier temps aux automates cellulaires réversibles, et dans un second temps aux tas de sable linéaires. Nous construisons diverses simulations reliant les automates cellulaires aux automates à partitions, en particulier celle des automates cellulaires réversibles par les automates à partitions réversibles, ce qui était une conjecture depuis 1990. Par des constructions successives, nous montrons que le ``Billiard ball model'' de Toffoli et Margolus est capable de simuler tous les automates à partitions réversibles de dimension 2. En rassemblant ces résultats, nous montrons qu'il existe des automates cellulaires réversibles capables de simuler tous les automates cellulaires réversibles de même dimension. Dans un espace linéaire, ``Tas de sable'' et ``Chip firing game'' sont équivalents. Nous portons notre attention sur le cas où les grains tombent un à un. Des motifs délimités par des signaux apparaissent au sein des configurations engendrées. Nous étudions la dynamique du système et démontrons un équivalent asymptotique. Nous étendons nos méthodes et nos résultats à d'autres types de configurations initiales. Dans chaque cas étudié, le temps parallèle est inférieur au temps séquentiel dans un rapport de l'ordre du nombre de piles mises en œuvre
Conception et analyse de schémas d'ordre très élevé distribuant le résidu : application à la mécanique des fluides by Adam Larat( )

1 edition published in 2009 in French and held by 2 WorldCat member libraries worldwide

Numerical simulations are nowadays a major tool in aerodynamic design in aeronautic, automotive, naval industry etc... One of the main challenges to push further the limits of the simulation codes is to increase their accuracy within a fixed set of resources (computational power and/or time). Two possible approaches to deal with this issue are either to contruct discretizations yielding, on a given mesh, very high order accurate solutions, or to construct compact, massively parallelizable schemes to minimize the computational time by means of a high performance parallel implementation. In this thesis, we try to combine both approaches by investigating the contruction and implementation of very high order Residual Distribution Schemes (RDS) with the most possible compact stencil. The manuscript starts with a review of the mathematical theory of hyperbolic Conservation Laws (CLs). The aim of this initial part is to highlight the properties of the analytical solutions we are trying to approximate, in order to be able to link these properties with the ones of the sought discrete solutions. Next, we describe the three main steps toward the construction of a very high order RDS: - The definition of higher order polynomial representations of the solution over polygons and polyhedra; - The design of low order compact conservative RD schemes consistent with a given (high degree) polynomial representation. Among these, particular accest is put on the simplest, given by a generalization of the Lax-Friedrich's (\LxF) scheme; - The design of a positivity preserving nonlinear transformation, mapping first-order linear schemes onto nonlinear very high order schemes. In the manuscript, we show formally that the schemes obtained following this procedure are consistent with the initial CL, that they are stable in L^∞ norm, and that they have the proper truncation error. Even though all the theoretical developments are carried out for scalar CLs, remarks on the extension to systems are given whenever possible. Unortunately, when employing the first order \LxF scheme as a basis for the construction of the nonlinear discretization, the final nonlinear algebraic equation is not well-posed in general. In particular, for smoothly varying solutions one observes the appearance of high frequency spurious modes. In order to kill these modes, a streamline dissipation term is added to the scheme. The analytical implications of this modifications, as well as its practical computation, are thouroughly studied. Lastly, we focus on a correct discretization of the boundary conditions for the very high order RDS proposed. The theory is then extensively verified on a variety of scalar two dimensional test cases. Both triangular, and hybrid triangular-quadrilateral meshes are used to show the generality of the approach. The results obtained in these tests confirm all the theoretical expectations in terms of accuracy and stability and underline some advantages of the hybrid grids. Next, we consider solutions of the two dimensional Euler equations of gas dynamics. The results obtained are quite satisfactory and yet, we are not able to obtain the desired convergence rates on problems involving solid wall boundaries. Further investigation of this problem is under way. We then discuss the parallel implementation of the schemes, and analyze and illustrate the performance of this implementation on large three dimensional problems. Due to the preliminary character and the complexity of these three dimensional problems, a rather qualitative discussion is made for these tests cases: the overall behavior seems to be the correct one, but more work is necessary to assess the properties of the schemes in three dimensions
Conception et mise en œuvre d'outils efficaces pour le partitionnement et la distribution parallèles de problèmes numériques de très grande taille by Cédric Chevalier( Book )

2 editions published in 2007 in French and held by 2 WorldCat member libraries worldwide

Cette thèse porte sur le partitionnement parallèle de graphes et essentiellement sur son application à la renumérotation de matrices creuses. Nous utilisons pour résoudre ce problème un schéma multi-niveaux dont nous avons parallélisé les phases de contraction et d'expansion. Nous avons ainsi introduit pour la phase de contraction un nouvel algorithme de gestion des conflits d'appariements distants, tout en améliorant les algorithmes déjà existants en leur associant une phase de sélection des communications les plus utiles. Concernant la phase d'expansion, nous avons introduit la notion de graphe bande qui permet de diminuer de manière très conséquente la taille du problème à traiter par les algorithmes de raffinement. Nous avons généralisé l'utilisation de ce graphe bande aux implantations séquentielles et parallèles de notre outil de partitionnement SCOTCH. Grâce à la présence du graphe bande, nous avons proposé une utilisation nouvelle des algorithmes génétiques dans le cadre de l'expansion en les utilisant comme heuristiques parallèles de raffinement de la partition
Plongement de surfaces continues dans des surfaces discrètes épaisses. by Bruno Dutailly( )

1 edition published in 2016 in French and held by 1 WorldCat member library worldwide

In the context of archaeological sciences, 3D images produced by Computer Tomography scanners are segmented into regions of interest corresponding to virtual objects in order to make some scientific analysis. These virtual objects are often used for the purpose of performing accurate measurements. Some of these analysis require extracting the surface of the regions of interest. This PhD falls within this framework and aims to improve the accuracy of surface extraction. We present in this document our contributions : first of all, the weighted HMH algorithm whose objective is to position precisely a point at the interface between two materials. But, applied to surface extraction, this method often leads to topology problems on the resulting surface. So we proposed two other methods : The discrete HMH method which allows to refine the 3D object segmentation, and the surface HMH method which allows a constrained surface extraction ensuring a topologically correct surface. It is possible to link these two methods on a pre-segmented 3D image in order to obtain a precise surface extraction of the objects of interest These methods were evaluated on simulated CT-scan acquisitions of synthetic objects and real acquisitions of archaeological artefacts
Développement de compteurs à scintillation hautes performances et de très basse radioactivité pour le calorimètre du projet SuperNEMO by Emmanuel Chauveau( )

1 edition published in 2010 in French and held by 1 WorldCat member library worldwide

SuperNEMO est un projet de détecteur de nouvelle génération pour la recherche de la décroissance double bêta sans émission de neutrinos. La technique expérimental déployée est dans la lignée du son prédécesseur NEMO3, combinant un trajectographe et un calorimètre, afin d'identifier non seulement les électrons des décroissances double bêta, mais également pour mesurer l'ensemble des composantes de bruit de fond du détecteur. Le projet vise ainsi une sensibilité de 10^26 ans sur la période du 82Se, ce qui permettrait de sonder une masse effective du neutrino de 50 meV. Pour atteindre cette sensibilité, le projet prévoit notamment de mettre en place un calorimètre composé d'un millier de compteur à scintillation de basse radioactivité, dont la résolution en énergie serait meilleure que 8 % FWHM pour des électrons de 1 MeV.Ce travail de thèse apporte une contribution importante dans les travaux de Recherche et Développements pour améliorer les performances des scintillateurs et photomultiplicateurs, et pour réduire leur radioactivité, avec notamment la conception d'un nouveau photomultiplicateur en collaboration avec Photonis
Étude de la répartition des automorphismes de Frobenius dans les groupes de Galois by Alexandre Bailleul( )

1 edition published in 2020 in French and held by 1 WorldCat member library worldwide

In this thesis, we are interested in multiple aspects of the theory of prime number races, initiated by Rubinstein and Sarnak in 1994. In the first chapter, we explain Rubinstein and Sarnak's method, we give an overview of extensions of their work, and we develop their method in a general setting, with the goal of weakening as much as possible their working hypothesis about the linear independence of the imaginary parts of non-trivial zeros of Dirichlet L-functions. In the second chapter, we are interested in the generalisation of problems of prime number races in the context of the distribution of Frobenius automorphisms in Galois groups of number field extensions. Following recent work of Fiorilli and Jouve, we highlight the influence that the vanishing at 1/2 of some Artin L-functions can have on such races. In the third and final chapter, we are interested in the same kind of questions as before in the context of extensions of function fields in one variable over finite fields, and we prove a new central limit theorem for superelliptic extensions
Analyse et modélisation des informations tonales dans la musique occidentale by Thomas Rocher( )

1 edition published in 2011 in French and held by 1 WorldCat member library worldwide

Les travau x d e cette thèse ont p ou r objet la m od élisation et l'an alyse d e l'harm onie d ans la m u siqu e occid entale. Cin q typ es d 'inform ation s ton ales sont d istingu és, d es n otes d e m u siqu e à la ton alité d 'u n m orceau . Les d ifférentes interaction s entre les informations tonales sont ensuite présentées et un modèle de l'harmonie est proposé, mettant en jeu ces interactions. Les méthodes d'analyse sont ensuite étudiées, en distinguant les différents types de rep résentation d e la m u siqu e : rep résentation sym boliqu e ou signal audio. Une nouvelle méthode d'estimation conjointe d'accords et de tonalités locales est ensuite proposée, et met en évidence les apports d'une approche temporelle multi-résolutions, ainsi que les bénéfices mutuelle de l'estimation conjointe. Une application de l'estimation d'accords à la recherche de similarité musicale est finalement proposée, et souligne l'apport du nouveau modèle de l'harmonie p rop os
Control and monitoring by wireless body area networks (WBANs) by Tariq Benmansour( )

1 edition published in 2020 in English and held by 1 WorldCat member library worldwide

The deployment of several biosensors on the human body for the collection of physiological data forms what is called a Wireless Body Area Network (WBAN). Thus, to ensure wireless communications between the different components of WBANs, the IEEE has established the IEEE 802.15.6 standard, which is an optimized communication standard for low-power devices that operate on, in, or around the human body (but not limited to humans). In this context, several simulation studies have been conducted in the literature to analyze and evaluate the performance of the IEEE 802.15.6 CSMA/CA access scheme. Also, efforts have been made to model this scheme to better analyze the characteristics of the standard in a more general context. However, these models are partially applicable to WBANs applications with heterogeneous network traffic.This thesis deals mainly with a challenge related to the modeling of the IEEE 802.15.6 standard to provide a tool for evaluation and analysis of this standard in various channel conditions and situations. We have tried, through the main contributions made in this thesis, to address the shortcomings noted in existing work as follows: the first contribution concerns an evaluation of the performance of the IEEE 802.15.6 standard using numerous queue management strategies, in a realistic medical setting (home monitoring of a patient with a heart problem). The second contribution proposes an LLQ (Low Latency Queuing) queue management model as a complement to the CSMA/CA protocol to efficiently meet the requirements of the standard in terms of Quality of Service (QoS) for certain types of applications.The third contribution deals with the proposal of an analytical model allowing the study of the CSMA/CA access scheme of the IEEE 802.15.6 standard, in terms of latency and packet delivery rate under the assumption that WBANs are composed of heterogeneous nodes and that each of them generates heterogeneous traffic in terms of priority.The last contribution proposes a security protocol called "Server-Based Secure Key Management for the IEEE 802.15.6 standard" (SBSKM) that allows the standard to address the vulnerability of impersonation attacks, by including a trusted server, responsible for the creation, initialization, and distribution of encryption keys and their renewal, as well as to guarantee the identity of sensors joining the network.Keywords: Body Area Networks (WBANs), IEEE 802.15.6 standard, renewal reward process, priority queues, and impersonation attacks
Etudes sur les équations de Ramanujan-Nagell et de Nagell-Ljunggren ou semblables by Benjamin Dupuy( )

1 edition published in 2009 in French and held by 1 WorldCat member library worldwide

Dans cette thèse, on étudie deux types d'équations diophantiennes. Une première partie de notre étude porte sur la résolution des équations dites de Ramanujan-Nagell Cx2+ b2mD = yn. Une deuxième partie porte sur les équations dites de Ngell-Ljunggren xp+ypx+y = pezq incluant le cas diagonal p = q. Les nouveaux réesultats obtenus seront appliqués aux équations de la forme xp + yp = Bzq. L'équation de Catalan-Fermat (cas B = 1) fera l'objet d'un traitement à part
Contrôle de la dynamique de la leucémie myéloïde chronique par Imatinib by Chahrazed Benosman( )

1 edition published in 2010 in French and held by 1 WorldCat member library worldwide

Modelling hematopoiesis represents a feature of our research. Hematopoietic stem cells (HSC) are undifferentiated cells, located in bone marrow, with unique abilities of self-renewal and differentiation (production of white cells, red blood cells and platelets).The process of hematopoiesis often exhibits abnormalities causing hematological diseases. In modelling Chronic Myeloid Leukemia (CML), a frequent hematological disease, we represent hematopoiesis of normal and leukemic cells by means of ordinary differential equations (ODE). Homeostasis of normal and leukemic cells are supposed to be different and depend on some lines of normal and leukemic HSC. We analyze the global dynamics of the model to obtain the conditions for regeneration of hematopoiesis and persistence of CML. We prove as well that normal and leukemic cells can not coexist for a long time. Imatinib is the main treatment of CML, with posology varying from 400 to 1000 mg per day. Some affected individuals respond to therapy with various levels being hematologic, cytogenetic and molecular. Therapy fails in two cases: the patient takes a long time to react, then suboptimal response occurs; or the patient resists after an initial response. Determining the optimal dosage required to reduce leukemic cells is another challenge. We approach therapy effects as an optimal control problem to minimize the cost of treatment and the level of leukemic cells. Suboptimal response, resistance and recovery forms are obtained through the influence of imatinib onto the division and mortality rates of leukemic cells. Hematopoiesis can be investigated according to age of cells. An age-structured system, describing the evolution of normal and leukemic HSC shows that the division rate of leukemic HSC plays a crucial role when determining the optimal control. When controlling the growth of cells under interspecific competition within normal and leukemic HSC, we prove that optimal dosage is related to homeostasis of leukemic HSC
Contribution à la modélisation et à la simulation numérique multi-échelle du transport cinétique électronique dans un plasma chaud by Jessy Mallet( )

1 edition published in 2012 in English and held by 1 WorldCat member library worldwide

In plasma physics, the transport of electrons can be described from a kinetic point of view or from an hydrodynamical point of view.Classically in kinetic theory, a Fokker-Planck equation coupled with Maxwell equations is used to describe the evolution of electrons in a collisional plasma. More precisely the solution of the kinetic equations is a non-negative distribution function f specifying the density of particles as a function of velocity of particles, the time and the position in space. In order to approximate the solution of such problems, many computational methods have been developed. Here, a deterministic method is proposed in a planar geometry. This method is based on different high order numerical schemes. Each deterministic scheme used presents many fundamental properties such as conservation of flux particles, preservation of positivity of the distribution function and conservation of energy. However the kinetic computation of this accurate method is too expensive to be used in practical computation especially in multi-dimensional space.To reduce the computational time, the plasma can be described by an hydrodynamic model. However for the new high energy target drivers, the kinetic effects are too important to neglect them and replace kinetic calculus by usual macroscopic Euler models.That is why an alternative approach is proposed by considering an intermediate description between the fluid and the kinetic level. To describe the transport of electrons, the new reduced kinetic model M1 proposed is based on a moment approach for Maxwell-Fokker-Planck equations. This moment model uses integration of the electron distribution function on the propagating direction and retains only the energy of particles as kinetic variable. The velocity variable is written in spherical coordinates and the model is written by considering the system of moments with respect to the angular variable. The closure of the moments system is obtained under the assumption that the distribution function is a minimum entropy function. This model is proved to satisfy fundamental properties such as the non-negativity of the distribution function, conservation laws for collision operators and entropy dissipation. Moreover an entropic discretization in the velocity variable is proposed on the semi-discrete model. Moreover the M1 model can be generalized to the MN model by considering N given moments. The N-moments model obtained also preserves fundamental properties such as conservation laws and entropy dissipation. The associated semi-discrete scheme is shown to preserve the conservation properties and entropy decay
Vers des outils efficaces pour la vérification de systèmes concurrents by Thomas Geffroy( )

1 edition published in 2017 in French and held by 1 WorldCat member library worldwide

Cette thèse cherche à résoudre en pratique le problème de couverture dans les réseaux de Petri et les systèmes de canaux à pertes (LCS). Ces systèmes sont intéressants à étudier car ils permettent de modéliser facilement les systèmes concurrents et les systèmes distribués. Le problème de couverture dans un système de transitions consiste à savoir si on peut, à partir d'un état initial arriver à un état plus grand qu'un état cible. La résolution de ce problème dans les systèmes de transitions bien structurés (WSTS) sera le sujet d'études de la première partie. Les réseaux de Petri et les LCS sont des WSTS. On donnera dans la première partie une méthode générale pour le résoudre rapidement en pratique. Cette méthode utilise des invariants de couverture, qui sont des sur-approximations de l'ensemble des états couvrables. La seconde partie sera consacrée aux réseaux de Petri. Elle présentera diverses comparaisons théoriques et pratiques de différents invariants de couverture. Nous nous intéresserons notamment à la combinaison de l'invariant classique de l'inéquation d'état avec une analyse de signe simple. Les LCS seront le sujet d'études de la troisième partie. On présentera une variante de l'inéquation d'état adaptée aux LCS ainsi que deux invariants qui retiennent des propriétés sur l'ordre dans lequel les messages sont envoyés. La thèse a mené à la création de deux outils, ICover et BML, pour résoudre le problème de couverture respectivement dans les réseaux de Petri et dans les LCS
Algorithmique distribuée asynchrone avec une majorité de pannes by David Bonnin( )

1 edition published in 2015 in French and held by 1 WorldCat member library worldwide

Segmentation spatio-temporelle et indexation vidéo dans le domaine des représentations hiérarchiques by Claire Morand( )

1 edition published in 2009 in French and held by 1 WorldCat member library worldwide

This thesis aims at proposing a solution of scalable object-based indexing of HD video flow compressed by MJPEG2000. In this context, on the one hand, we work in the hierarchical transform domain of the 9/7 Daubechies' wavelets and, on the other hand, the scalable representation implies to search for multiscale methods, from low to high resolution. The first part of this manuscript is dedicated to the definition of a method for automatic extraction of objects having their own motion. It is based on a combination of a robust global motion estimation with a morphological color segmentation at low resolution. The obtained result is then refined following the data order of the scalable flow. The second part is the definition of an object descriptor which is based on the multiscale histograms of the wavelet coefficients. Finally, the performances of the proposed method are evaluated in the context of scalable content-based queries
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.89 (from 0.88 for Ubiquité ... to 0.96 for Leçons de ...)

Associated Subjects
Alternative Names
École doctorale 39

École doctorale de mathématiques de Bordeaux

École doctorale de mathématiques et informatique (Bordeaux)

École doctorale de mathématiques et informatique de Bordeaux

École doctorale Mathématiques et informatique (Bordeaux)

École doctorale Mathématiques et informatique (Talence, Gironde)

ED 039

ED 39

ED039

ED39

EDMIB

Mathématiques et Informatique (Bordeaux)

Mathématiques et Informatique (Talence, Gironde)

Université Bordeaux I. UFR de Mathématiques et Informatique

Université de Bordeaux I, École doctorale de mathématiques et informatique

Languages
French (24)

English (2)