La présente thèse porte sur différentes questions émanant de la géométrie spectrale. Ce domaine des mathématiques fondamentales a pour objet d'établir des liens entre la géométrie et le spectre d'une variété riemannienne. Le spectre d'une variété compacte fermée M munie d'une métrique riemannienne $g$ associée à l'opérateur de Laplace-Beltrami est une suite de nombres non négatifs croissante qui tend vers l’infini. La racine carrée de ces derniers représente une fréquence de vibration de la variété. Cette thèse présente quatre articles touchant divers aspects de la géométrie spectrale. Le premier article, présenté au Chapitre 1 et intitulé « Superlevel sets and nodal extrema of Laplace eigenfunctions », porte sur la géométrie nodale d'opérateurs elliptiques. L’objectif de mes travaux a été de généraliser un résultat de L. Polterovich et de M. Sodin qui établit une borne sur la distribution des extrema nodaux sur une surface riemannienne pour une assez vaste classe de fonctions, incluant, entre autres, les fonctions propres associées à l'opérateur de Laplace-Beltrami. La preuve fournie par ces auteurs n'étant valable que pour les surfaces riemanniennes, je prouve dans ce chapitre une approche indépendante pour les fonctions propres de l’opérateur de Laplace-Beltrami dans le cas des variétés riemanniennes de dimension arbitraire. Les deuxième et troisième articles traitent d'un autre opérateur elliptique, le p-laplacien. Sa particularité réside dans le fait qu'il est non linéaire. Au Chapitre 2, l'article « Principal frequency of the p-laplacian and the inradius of Euclidean domains » se penche sur l'étude de bornes inférieures sur la première valeur propre du problème de Dirichlet du p-laplacien en termes du rayon inscrit d’un domaine euclidien. Plus particulièrement, je prouve que, si p est supérieur à la dimension du domaine, il est possible d'établir une borne inférieure sans aucune hypothèse sur la topologie de ce dernier. L'étude de telles bornes a fait l'objet de nombreux articles par des chercheurs connus, tels que W. K. Haymann, E. Lieb, R. Banuelos et T. Carroll, principalement pour le cas de l'opérateur de Laplace. L'adaptation de ce type de bornes au cas du p-laplacien est abordée dans mon troisième article, « Bounds on the Principal Frequency of the p-Laplacian », présenté au Chapitre 3 de cet ouvrage. Mon quatrième article, « Wolf-Keller theorem for Neumann Eigenvalues », est le fruit d'une collaboration avec Guillaume Roy-Fortin. Le thème central de ce travail gravite autour de l'optimisation de formes dans le contexte du problème aux valeurs limites de Neumann. Le résultat principal de cet article est que les valeurs propres de Neumann ne sont pas toujours maximisées par l'union disjointe de disques arbitraires pour les domaines planaires d'aire fixée. Le tout est présenté au Chapitre 4 de cette thèse. / The main topic of the present thesis is spectral geometry. This area of mathematics is concerned with establishing links between the geometry of a Riemannian manifold and its spectrum. The spectrum of a closed Riemannian manifold M equipped with a Riemannian metric g associated with the Laplace-Beltrami operator is a sequence of non-negative numbers tending to infinity. The square root of any number of this sequence represents a frequency of vibration of the manifold. This thesis consists of four articles all related to various aspects of spectral geometry. The first paper, “Superlevel sets and nodal extrema of Laplace eigenfunction”, is presented in Chapter 1. Nodal geometry of various elliptic operators, such as the Laplace-Beltrami operator, is studied. The goal of this paper is to generalize a result due to L. Polterovich and M. Sodin that gives a bound on the distribution of nodal extrema on a Riemann surface for a large class of functions, including eigenfunctions of the Laplace-Beltrami operator. The proof given by L. Polterovich and M. Sodin is only valid for Riemann surfaces. Therefore, I present a different approach to the problem that works for eigenfunctions of the Laplace-Beltrami operator on Riemannian manifolds of arbitrary dimension. The second and the third papers of this thesis are focused on a different elliptic operator, namely the p-Laplacian. This operator has the particularity of being non-linear. The article “Principal frequency of the p-Laplacian and the inradius of Euclidean domains” is presented in Chapter 2. It discusses lower bounds on the first eigenvalue of the Dirichlet eigenvalue problem for the p-Laplace operator in terms of the inner radius of the domain. In particular, I show that if p is greater than the dimension, then it is possible to prove such lower bound without any hypothesis on the topology of the domain. Such bounds have previously been studied by well-known mathematicians, such as W. K. Haymann, E. Lieb, R. Banuelos, and T. Carroll. Their papers are mostly oriented toward the case of the usual Laplace operator. The generalization of such lower bounds for the p-Laplacian is done in my third paper, “Bounds on the Principal Frequency of the p-Laplacian”. It is presented in Chapter 3. My fourth paper, “Wolf-Keller theorem of Neumann Eigenvalues”, is a joint work with Guillaume Roy-Fortin. This paper is concerned with the shape optimization problem in the case of the Laplace operator with Neumann boundary conditions. The main result of our paper is that eigenvalues of the Neumann boundary problem are not always maximized by disks among planar domains of given area. This joint work is presented in Chapter 4.

Cette thèse est dédiée à la résolution numérique tridimensionnelle des équations de Maxwell harmoniques, par des méthodes de décomposition de domaine couplant des résolutions par équations intégrales entre elles. Pour traiter les problèmes de diffraction d'ondes, la méthode des équations intégrales est un outil précieux. Elle consiste à paramétrer le champ électromagnétique solution par une source définie sur la surface de l'objet diffractant, solution d'une nouvelle équation linéaire (l'équation intégrale). Pour des applications à haute fréquence, le grand nombre d'inconnues (de l'ordre du million) nous oblige à utiliser un solveur itératif pour résoudre l'équation intégrale. Le problème du conditionnement des systèmes linéaires est alors crucial. De récents développements ont permis de construire une équation intégrale performante (la GCSIE) et de conditionnement stable avec la montée en fréquence. Cependant, la présence d'une cavité large et résonnante dans l'objet diffractant (telle que la cavité moteur d'un avion) dégrade le conditionnement de cette équation. Nous proposons deux méthodes de décomposition de domaine (DDM) afin de découpler le problème de la cavité du problème extérieur. La première (DDM en Y) s'exprime en fonction des opérateurs Dirichlet-to-Neumann Y, qui sont synthétisés via la résolution de problèmes métalliques par équations intégrales dans chaque sous-domaine. La seconde (DDM en S) s'exprime en fonction des opérateurs de scattering S, synthétisés par résolution de problèmes de type métal-impédant, donc bien posés à toute fréquence. La DDM en S permet ainsi de se débarrasser des phénomènes de résonance dans les cavités. Nous proposons dans un premier temps un préconditionneur analytique pour la DDM en Y, basé sur l'opérateur électromagnétique de simple couche. Nous calculons ensuite les modes guidés le long d'un cylindre infini tangent à la cavité près de l'interface, et nous diagonalisons les opérateurs Dirichlet-to-Neumann et scattering dans la base des traces de modes guidés sur l'interface. On extrait de cette étude deux préconditionneurs spectraux respectivement pour la DDM en Y et la DDM en S. Les résultats numériques confirment l'efficacité des préconditionneurs proposés / This work is dedicated to the numerical solution of the tridimensional harmonic Maxwell equations, using domain decomposition methods coupling integral equations between them. To deal with scattering problems, integral equations methods are a precious tool. They allow to look for the electromagnetic field by parameterizing it with a source only defined on the boundary of the scattering object, solution of a new linear equation (the integral equation). For applications at high frequency, the great number of unknowns forces the use of iterative methods. To accelerate the solution of integral equations, one moreover has to ensure the good condition number of the linear systems, or to propose well-suited preconditioners. An efficient method, the GCSIE, was developed in Onera. It is an intrinsically well-conditioned integral equation whose condition number remains stable whith the frequency increase. However, the existence of large and resonant cavities (such as air intakes) deteriorates the condition number. In order to circumvent this problem, we propose two domain decomposition methods (DDM) allowing to decouple the exterior problem from the problem of the cavities. The first one (Y-DDM) is based on Dirichlet-to-Neumann operators Y, which are built through the solution of metallic problems using integral equations in each subdomain. The second one (S-DDM) is based on scattering operators S, built through the solution of problems of metallic-impedant type, which are well-posed at any frequency. The S-DDM allows to avoid the resonance phenomena inside the cavities. First, we propose an analytic preconditioner for the Y-DDM, based on the electromagnetic single layer operator. We then calculate the modes guided along an artificial infinite cylinder, that is tangent to the cavity near the interface. We diagonalize the Dirichlet-to-Neumann and scattering operators in the basis of the traces of the guided modes on the interface. We deduce from this study two spectral preconditioners for the Y-DDM and the S-DDM. The numerical results confirm the efficiency of the employed preconditioners.

Metodologias para obtenção do tamanho amostral para estimar a concentração de organismos em água de lastro e verificar normas internacionais são desenvolvidas sob uma abordagem bayesiana. Consideramos os critérios da cobertura média, do tamanho médio e da minimização do custo total sob os modelos Poisson com distribuição a priori gama e binomial negativo com distribuição a priori Pearson Tipo VI. Além disso, consideramos um processo Dirichlet como distribuição a priori no modelo Poisson com o propósito de obter maior flexibilidade e robustez. Para fins de aplicação, implementamos rotinas computacionais usando a linguagem R. / Sample size methodologies for estimating the organism concentration in ballast water and for verifying international standards are developed under a Bayesian approach. We consider the criteria of average coverage, of average length and of total cost minimization under the Poisson model with a gamma prior distribution and the negative binomial model with a Pearson type VI prior distribution. Furthermore, we consider a Dirichlet process as a prior distribution in the Poisson model with the purpose to gain more flexibility and robustness. For practical applications, we implemented computational routines using the R language.

No description available.

Dirichlet regression models can be used to analyze a set of variables lying in a bounded interval that sum up to a constant (e.g., proportions, rates, compositions, etc.) exhibiting skewness and heteroscedasticity, without having to transform the data. There are two parametrization for the presented model, one using the common Dirichlet distribution's alpha parameters, and a reparametrization of the alpha's to set up a mean-and-dispersion-like model. By applying appropriate link-functions, a GLM-like framework is set up that allows for the analysis of such data in a straightforward and familiar way, because interpretation is similar to multinomial logistic regression. This paper gives a brief theoretical foundation and describes the implementation as well as application (including worked examples) of Dirichlet regression methods implemented in the package DirichletReg (Maier, 2013) in the R language (R Core Team, 2013). (author's abstract) / Series: Research Report Series / Department of Statistics and Mathematics

Les GNSS sont désormais largement présents dans le domaine des transports. Actuellement, la communauté scientifique désire développer des applications nécessitant une grande précision, disponibilité et intégrité.Ces systèmes offrent un service de position continu. Les performances sont définies par les paramètres du système mais également par l’environnement de propagation dans lequel se propagent les signaux. Les caractéristiques de propagation dans l’atmosphère sont connues. En revanche, il est plus difficile de prévoir l’impact de l’environnement proche de l’antenne, composé d’obstacles urbains. L’axe poursuivit par le LEOST et le LAGIS consiste à appréhender l’environnement et à utiliser cette information en complément de l’information GNSS. Cette approche vise à réduire le nombre de capteurs et ainsi la complexité du système et son coût. Les travaux de recherche menés dans le cadre de cette thèse permettent principalement de proposer des modélisations d'erreur de pseudodistances et des modélisations de l'état de réception encore plus réalistes. Après une étape de caractérisation de l’erreur, plusieurs modèles d’erreur de pseudodistance sont proposés. Ces modèles sont le mélange fini de gaussiennes et le mélange de processus de Dirichlet. Les paramètres du modèle sont estimés conjointement au vecteur d’état contenant la position grâce à une solution de filtrage adaptée comme le filtre particulaire Rao-Blackwellisé. L’évolution du modèle de bruit permet de s'adapter à l’environnement et donc de fournir une localisation plus précise. Les différentes étapes des travaux réalisés dans cette thèse ont été testées et validées sur données de simulation et réelles. / Today, the GNSS are largely present in the transport field. Currently, the scientific community aims to develop transport applications with a high accuracy, availability and integrity. These systems offer a continuous positioning service. Performances are defined by the system parameters but also by signal environment propagation. The atmosphere propagation characteristics are well known. However, it is more difficult to anticipate and analyze the impact of the propagation environment close to the antenna which can be composed, for instance, of urban obstacles or vegetation.Since several years, the LEOST and the LAGIS research axes are driven by the understanding of the propagation environment and its use as supplementary information to help the GNSS receiver to be more pertinent. This approach aims to reduce the number of sensors in the localisation system, and consequently reduces its complexity and cost. The work performed in this thesis is devoted to provide more realistic pseudorange error models and reception channel model. After, a step of observation error characterization, several pseudorange error models have been proposed. These models are the finite gaussian mixture model and the Dirichlet process mixture. The model parameters are then estimated jointly with the state vector containing position by using adapted filtering solution like the Rao-Blackwellized particle filter. The noise model evolution allows adapting to an urban environment and consequently providing a position more accurate.Each step of this work has been tested and evaluated on simulation data and real data.

Title: Baire and Harmonic Functions Author: Petr Pošta Department: Department of Mathematical Analysis Supervisor: prof. RNDr. Jaroslav Lukeš, DrSc., Department of Mathematical Analysis Abstract: The present thesis consists of six research papers. The first four articles deal with topics related to potential theory, Baire-one functions and its important subclasses, in particular differences of semicontinuous functions. The first paper is devoted to the stability of the Dirichlet problem for which a new criterion in terms of Poisson equation is provided. The second paper improves the recent result obtained by Lukeš et al. It shows that the classical Dirichlet solution belongs to the B1/2 subclass of Baire-one functions. A generalization of this result to the abstract context of the Choquet theory on functions spaces is provided. Finally, an abstract Dirichlet problem for the boundary condition belonging to the class of differences of semincontinuous functions is discussed. The third paper concentrates on the Lusin-Menshov property and the approximation of Baire- one and finely continuous functions by differences of semicontinuous and finely continuous functions. It provides an exposition of topologies (various density topologies as well as the fine topologies in both linear and non-linear potential...

Submitted by (lucia.rodrigues@ufrpe.br) on 2017-03-28T15:03:54Z No. of bitstreams: 1 Danilo Albuquerque de Campos.pdf: 453917 bytes, checksum: 1b07ec11128857b2e96af37543e335fe (MD5) / Made available in DSpace on 2017-03-28T15:03:55Z (GMT). No. of bitstreams: 1 Danilo Albuquerque de Campos.pdf: 453917 bytes, checksum: 1b07ec11128857b2e96af37543e335fe (MD5) Previous issue date: 2014-08-22 / In this work we are interested in showing three algorithms rational approximation of square roots by methods unknown or underutilized by teachers of elementary and secondary education. We begin by defining numerical sequence and convergence of sequences, will discuss the need to expand the concept of rational number and demonstrate the irrationality of the diagonal of a square. Prove an important theorem known in the literature as Dirichlet’s theorem and finally elencaremos three methods of approximating the square roots of natural non-perfect square numbers, very simple to be worked on in the classroom that are rational algorithm aproximção of Hiero of Alexandria, Theon’s Ladder and the Pell-Fermat equation, sende latter discursão fundamental to who will perform on the relationship of the three methods presented. / Neste trabalho estamos interessados em mostrar três algoritmos de aproximação racional de raízes quadradas por métodos pouco utilizados ou desconhecidos pelos professores do ensino fundamental e médio. Iniciaremos definindo sequência numérica e convergência de sequências, discutiremos sobre a necessidade de ampliação do conceito de número racional e demonstraremos a irracionalidade da diagonal de um quadrado. Provaremos um importante Teorema conhecido na literatura como o Teorema de Dirichlet, e por fim elencaremos três métodos de aproximação de raízes quadradas de números naturais não quadrados perfeitos, muito simples de serem trabalhados em sala de aula que são: O algoritmo de aproximação racional de Hierão de Alexandria, A escada de Theon e a Equação de Pell-Fermat, sendo este último fundamental para discussão que iremos realizar sobre a relação dos três métodos apresentados.

Ce manuscrit propose une approche méthodologique pour la constitution d’une chaîne complète de vidéosurveillance pour des environnements naturellement encombrés. Nous identifions et levons un certain nombre de verrous méthodologiques et technologiques inhérents : 1) à l’acquisition de séquences vidéo en milieu naturel, 2) au traitement d’images, 3) au suivi multi-cibles, 4) à la découverte et la modélisation de motifs comportementaux récurrents, et 5) à la fusion de données. Le contexte applicatif de nos travaux est la surveillance apicole, et en particulier, l’étude des trajectoires des abeilles en vol devant la ruche. De ce fait, cette thèse se présente également comme une étude de faisabilité et de prototypage dans le cadre des deux projets interdisciplinaires EPERAS et RISQAPI (projets menées en collaboration avec l’INRA Magneraud et le Muséum National d’Histoire Naturelle). Il s’agit pour nous informaticiens et pour les biologistes qui nous ont accompagnés, d’un domaine d’investigation totalement nouveau, pour lequel les connaissances métiers, généralement essentielles à ce genre d’applications, restent encore à définir. Contrairement aux approches existantes de suivi d’insectes, nous proposons de nous attaquer au problème dans l’espace à trois dimensions grâce à l’utilisation d’une caméra stéréovision haute fréquence. Dans ce contexte, nous détaillons notre nouvelle méthode de détection de cibles appelée segmentation HIDS. Concernant le calcul des trajectoires, nous explorons plusieurs approches de suivi de cibles, s’appuyant sur plus ou moins d’a priori, susceptibles de supporter les conditions extrêmes de l’application (e.g. cibles nombreuses, de petite taille, présentant un mouvement chaotique). Une fois les trajectoires collectées, nous les organisons selon une structure de données hiérarchique et mettons en œuvre une approche Bayésienne non-paramétrique pour la découverte de comportements émergents au sein de la colonie d’insectes. L’analyse exploratoire des trajectoires issues de la scène encombrée s’effectue par classification non supervisée, simultanément sur des niveaux sémantiques différents, et où le nombre de clusters pour chaque niveau n’est pas défini a priori mais est estimé à partir des données. Cette approche est dans un premier temps validée à l’aide d’une pseudo-vérité terrain générée par un Système Multi-Agents, puis dans un deuxième temps appliquée sur des données réelles. / This manuscript provides the basis for a complete chain of videosurveillence for naturally cluttered environments. In the latter, we identify and solve the wide spectrum of methodological and technological barriers inherent to : 1) the acquisition of video sequences in natural conditions, 2) the image processing problems, 3) the multi-target tracking ambiguities, 4) the discovery and the modeling of recurring behavioral patterns, and 5) the data fusion. The application context of our work is the monitoring of honeybees, and in particular the study of the trajectories bees in flight in front of their hive. In fact, this thesis is part a feasibility and prototyping study carried by the two interdisciplinary projects EPERAS and RISQAPI (projects undertaken in collaboration with INRA institute and the French National Museum of Natural History). It is for us, computer scientists, and for biologists who accompanied us, a completely new area of investigation for which the scientific knowledge, usually essential for such applications, are still in their infancy. Unlike existing approaches for monitoring insects, we propose to tackle the problem in the three-dimensional space through the use of a high frequency stereo camera. In this context, we detail our new target detection method which we called HIDS segmentation. Concerning the computation of trajectories, we explored several tracking approaches, relying on more or less a priori, which are able to deal with the extreme conditions of the application (e.g. many targets, small in size, following chaotic movements). Once the trajectories are collected, we organize them according to a given hierarchical data structure and apply a Bayesian nonparametric approach for discovering emergent behaviors within the colony of insects. The exploratory analysis of the trajectories generated by the crowded scene is performed following an unsupervised classification method simultaneously over different levels of semantic, and where the number of clusters for each level is not defined a priori, but rather estimated from the data only. This approach is has been validated thanks to a ground truth generated by a Multi-Agent System. Then we tested it in the context of real data.

Dans un nombre croissant d'applications, les perturbations rencontrées s'éloignent fortement des modèles classiques qui les modélisent par une gaussienne ou un mélange de gaussiennes. C'est en particulier le cas des bruits impulsifs que nous rencontrons dans plusieurs domaines, notamment celui des télécommunications. Dans ce cas, une modélisation mieux adaptée peut reposer sur les distributions alpha-stables. C'est dans ce cadre que s'inscrit le travail de cette thèse dont l'objectif est de concevoir de nouvelles méthodes robustes pour l'estimation conjointe état-bruit dans des environnements impulsifs. L'inférence est réalisée dans un cadre bayésien en utilisant les méthodes de Monte Carlo séquentielles. Dans un premier temps, cette problématique a été abordée dans le contexte des systèmes de transmission OFDM en supposant que les distorsions du canal sont modélisées par des distributions alpha-stables symétriques. Un algorithme de Monte Carlo séquentiel a été proposé pour l'estimation conjointe des symboles OFDM émis et des paramètres du bruit $\alpha$-stable. Ensuite, cette problématique a été abordée dans un cadre applicatif plus large, celui des systèmes non linéaires. Une approche bayésienne non paramétrique fondée sur la modélisation du bruit alpha-stable par des mélanges de processus de Dirichlet a été proposée. Des filtres particulaires basés sur des densités d'importance efficaces sont développés pour l'estimation conjointe du signal et des densités de probabilité des bruits / In signal processing literature, noise's sources are often assumed to be Gaussian. However, in many fields the conventional Gaussian noise assumption is inadequate and can lead to the loss of resolution and/or accuracy. This is particularly the case of noise that exhibits impulsive nature. The latter is found in several areas, especially telecommunications. $\alpha$-stable distributions are suitable for modeling this type of noise. In this context, the main focus of this thesis is to propose novel methods for the joint estimation of the state and the noise in impulsive environments. Inference is performed within a Bayesian framework using sequential Monte Carlo methods. First, this issue has been addressed within an OFDM transmission link assuming a symmetric alpha-stable model for channel distortions. For this purpose, a particle filter is proposed to include the joint estimation of the transmitted OFDM symbols and the noise parameters. Then, this problem has been tackled in the more general context of nonlinear dynamic systems. A flexible Bayesian nonparametric model based on Dirichlet Process Mixtures is introduced to model the alpha-stable noise. Moreover, sequential Monte Carlo filters based on efficient importance densities are implemented to perform the joint estimation of the state and the unknown measurement noise density