PGMAT PROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA (PGMAT) INSTITUTO DE MATEMÁTICA E ESTATÍSTICA Téléphone/Extension: Indisponible
Dissertation/Thèse

Clique aqui para acessar os arquivos diretamente da Biblioteca Digital de Teses e Dissertações da UFBA

2024
Thèses
1
  • LUCAS SANTOS VIEIRA
  • Multivariate Simplex Regression Model (Inference, Diagnosis, Application)

  • Leader : JALMAR MANUEL FARFAN CARRASCO
  • MEMBRES DE LA BANQUE :
  • ALDO WILLIAM MEDINA GARAY
  • JALMAR MANUEL FARFAN CARRASCO
  • PATRICIA LEONE ESPINHEIRA OSPINA
  • Data: 26 févr. 2024


  • Afficher le Résumé
  • In the literature, there are well-established models to analyze measurable variables in the open interval (0.1) that represent rates, proportions or index; Among them are the models associated with the Beta and Simplex distributions. In practice, there is a need to have multivariate models, in particular the bivariate case. In this sense, the main objective of this work is to propose the Multivariate Simplex regression model (MRSM) via the copula function. Estimators for the parameters are found via the maximum likelihood (MV) method and, via a simulation study, their asymptotic behavior is studied. A diagnostic analysis such as: residual analysis and global influence (generalized Cook’s distance and likelihood departure) are developed, with the aim of identifying possible atypical and/or influential points and suitability of the model to the data. Finally, the results are applied to a set of real data to exemplify the developed methodology.

2
  • MICHELLE PEREIRA VALE DOS PASSOS
  • Identification of the Causal Effect in the Mediation Model with Latent Variables

  • Leader : LEILA DENISE ALVES FERREIRA AMORIM
  • MEMBRES DE LA BANQUE :
  • DANDARA DE OLIVEIRA RAMOS
  • LEILA DENISE ALVES FERREIRA AMORIM
  • ROSEMEIRE LEOVIGILDO FIACCONE
  • Data: 25 avr. 2024


  • Afficher le Résumé
  • Causal mediation analysis, which is based on potential responses (counterfactuals), is a commonly used method for decomposing the causal effect of an intervention on an outcome in several applications. This method is widely used in various areas of knowledge, particularly in epidemiology and social sciences. The most well-known methods are described in terms of continuous variables, especially linear models, and are used in situations where the variables are measured without error. In certain scenarios, however, the mediator and/or outcome may not be directly observed but can be potentially defined through latent class models. The goal of this dissertation is to assess how estimates of natural direct and indirect effects behave under the identification criteria used in the causal mediation models that involve categorical latent variables, using LCA, in situations that may include a latent mediator and/or outcome. The methods for computing the natural indirect effect (NIE) and the  natural direct effect (NDE) are expanded to situations where the categorical latent variables have more than two classes. We also propose the use of propensity scores in structural marginal models with latent variables. To evaluate the effectiveness of our proposed methods, Monte Carlo simulation studies were conducted under different scenarios of violation of causal identification assumptions. We illustrate all methodologies for estimating the NIE and NDE in situations involving categorical latent variables through the analysis of real data. Our analysis evaluates the effects of an intersectoral health promotion intervention, related to diet and physical activity patterns, on adolescents with obesity, where lifestyle is the mediator. We also evaluate the impact of municipal health management on the quality of child care by primary health care (PHC) teams, which is mediated by the quality of planning and organization of PHC services. The obtained results emphasize the significance of causal identification criteria to allow for the causal interpretation of mediated effects, which can provide valuable insights to advance knowledge. Additionally, the findings suggest potential areas for future research and underscore the importance of methodological rigor in estimating and identifying mediated causal effects.

3
  • JOSÉ GUILHERME SANTANA DE SENA
  • The unit-Lindley autoregressive and moving average model (ULARMA) applied to monitoring and forecasting continuous data in the unit interval

  • Leader : PAULO HENRIQUE FERREIRA DA SILVA
  • MEMBRES DE LA BANQUE :
  • Fábio Mariano Bayer
  • PAULO HENRIQUE FERREIRA DA SILVA
  • PAULO JORGE CANAS RODRIGUES
  • Data: 9 mai 2024


  • Afficher le Résumé
  • In this work, new statistical models are developed for the analysis of data that exhibit variation over time. In particular, when the variable (or characteristic) of interest is continuous in the interval (01), as is the case, for example, with rates, proportions and indices. Among the probability distributions in the unit interval that have been introduced in recent literature and have interesting and useful properties (e.g., a single parameter, a reparameterized version in terms of the mean, closed-form expressions for moments), the unit-Lindley distribution stands out. In this work, we propose the unit-Lindley autoregressive and moving average (ULARMA) model, as an extension of the unit-Lindley distribution for the case of autocorrelated data. Furthermore, to control future observations of the process, new control charts are also presented for monitoring and forecasting data of this type. Numerical simulation studies are carried out to evaluate the performance of estimation procedures (e.g., based on the conditional maximum likelihood method) and control charts (e.g., based on the time series model with a continuous response variable at (01) and described by the unit-Lindley distribution) proposed. Finally, the methodology developed here is illustrated in a real data set with information on maximum and minimum values of daily air relative humidity, in the Atacama Desert, located in the north of Chile, in order to verify its applicability in a practical context, when compared with traditional/existing techniques.

2023
Thèses
1
  • SANDRO LINS LOPES DE LUCENA
  • Joint survival analysis model of longitudinal data for binary data: inference, residuals and applications.

  • Leader : JALMAR MANUEL FARFAN CARRASCO
  • MEMBRES DE LA BANQUE :
  • JALMAR MANUEL FARFAN CARRASCO
  • LIZANDRA CASTILHO FABIO
  • KLÉBER NAPOLEÂO NUNES DE OLIVEIRA BARROS
  • Data: 30 janv. 2023


  • Afficher le Résumé
  • Survival analysis is widely used in several areas of knowledge, for example, in health, economics, engineering, etc. Parametric, semi-parametric and non-parametric models were developed to study the variable time until the occurrence of an event of interest, for example, the death of an individual, the failure of an electronic component, etc. When there is proportionality of risks, between two groups for example, researchers have used Cox’s proportional hazards model (Cox, 1972). The presence of variables observed over time is common, this type of variable is commonly known as longitudinal variables. In practice, it is common to find situations in which the interest is to study the time until the occurrence of the event of interest in the presence of variables observed over time, for example, studies with patients with Acquired Immunodeficiency Syndrome (AIDS), which aim to study the time until the patient’s death in the presence of the CD4 lymphocyte count variable, which is observed longitudinally. The joint models for survival data and longitudinal data are suitable for obtaining information about practical situations involving survival date and longitudinal date. This dissertation work studies practical situations in which the longitudinal variable is binary, for example, if the patient’s lifetime is affected by patient’s satisfaction or non-satisfaction with their life. We found maximum likelihood estimates via two stages and via the Expectation-Maximization (EM) algorithm. The computationally two-stage approach is less costly. In the first stage, we use the Generalized linear mixed models (GLMMs) for binary data; we find the mean population estimate. In the second stage, the mean estimate, obtained in the first stage, is considered as an explanatory variable in the Cox’s proportional hazards model. Via Monte Carlo simulation, we evaluated the asymptotic behavior of the maximum likelihood estimators via two gains and studied the empirical distribution
    of Martingale, quantile, deviance, NRSP and NMSP residuals. Resampling methods like Jackknife, Bootstrap and extensions were used in order to find the bias of the maximum likelihood estimators obtained in two gains. Finally, a data set is used to validate the developed methodology.

2
  • Bruna Lima Moreira
  • The Zassenhaus conjecture

  • Leader : NICOLA SAMBONET
  • MEMBRES DE LA BANQUE :
  • MANUELA DA SILVA SOUZA
  • MARTINO GARONZI
  • NICOLA SAMBONET
  • Data: 9 juin 2023


  • Afficher le Résumé
  • In the mid 1960’s, the german mathematician Hans J. Zassenhaus, inspired by
    Gram Higman’s thesis and the work of Ian Hughes and Kenneth R. Pearson, stated several
    conjectures that changed radically the field of research in group rings. Since then many
    papers have been published about these conjectures, where either an affirmative answer
    is settled for some specific case, or some counterexamples are determined. Still, it is only
    very recently that Florian Eisele and Leo Margolis, based on some joint work with Ángel
    del Rı́o, have found a counterexample for the only conjecture which has been left open.
    This fact motivated the writing of this dissertation.

3
  • Nayguel de Castro Costa
  • Active deep learning for seismic facies classification

  • Leader : PAULO JORGE CANAS RODRIGUES
  • MEMBRES DE LA BANQUE :
  • GEORGE TEODORO
  • ALEXSANDRO GUERRA CERQUEIRA
  • FERNANDA FIGUEIREDO FARIAS
  • PAULO HENRIQUE FERREIRA DA SILVA
  • PAULO JORGE CANAS RODRIGUES
  • Data: 14 juin 2023


  • Afficher le Résumé
  • Seismic facies interpretation is a critical aspect of oil and gas exploration, yet it is not practical for human interpreters to thoroughly analyze every part of the data as the volume and resolution of seismic data increases. To address this issue, deep learning-based interpretation methods have gained attention. However, acquiring a sufficiently large and accurately labeled training dataset within project timelines remains challenging. To overcome this obstacle, active learning methods have been proposed. They reduce the number of required training labels by creating an optimized labeled training set from unlabeled data.


    In this study, we developed an end-to-end encoding-decoding deep neural network for seismic facies classification and applied an active learning workflow with three distinct query strategies. The research was made using the Parihaka public dataset. Additionally, We introduced a unique bootstrap-based strategy to assess the confidence interval for the active learning curves. Our results showed comparable outcomes to the baseline model could be achieved using less than half of the labeled training dataset, even when employing rudimentary methods, such as random sampling. Notably, uncertainty sampling proved to be the most effective among the query strategies studied, as it has the potential to not only prioritize the most informative images but also identify uninformative ones. These promising findings suggest that incorporating active learning techniques can enhance the practicality and efficiency of deep learning-based seismic interpretation by reducing the reliance on large, labeled training datasets.

4
  • Drahcir Alexander Blanco Garcia
  • ASYMMETRIC FUBINI-STUDY METRIC ON THE TOTAL GRASSMANNIAN

  • Leader : ANDRE LUIS GODINHO MANDOLESI
  • MEMBRES DE LA BANQUE :
  • ANDRE LUIS GODINHO MANDOLESI
  • BENIGNO OLIVEIRA ALVES
  • PERFILINO EUGENIO FERREIRA JUNIOR
  • Data: 29 juin 2023


  • Afficher le Résumé
  • There are several applications for metrics on Grassmannians, such as machine learning, wireless communication, and computer vision. However, computing the distances between subspaces of different dimensions presents challenges, especially due to the dimensional asymmetry of these subspaces. Therefore, it is necessary to use asymmetric metrics to deal with this situation. In this work, we extend the Fubini-Study metric as an asymmetric angle, which has useful properties and is easy to compute.

5
  • MIRELE PEREIRA DA SILVA
  • Combinatorial properties of virtual braid groups

  • Leader : OSCAR EDUARDO OCAMPO URIBE
  • MEMBRES DE LA BANQUE :
  • JOSE GREGORIO RODRIGUEZ NIETO
  • IGOR DOS SANTOS LIMA
  • OSCAR EDUARDO OCAMPO URIBE
  • Data: 10 juil. 2023


  • Afficher le Résumé
  • In this work, we study some combinatorial properties of virtual braids, such as the lower central series of the virtual braid group $VB_n$ and also the kernels of two different projections of $VB_n$ onto the symmetric group $S_n$. These kernels are respectively the group of virtual pure braids $VP_n$ and the normal closure of the Artin braid group, denoted by $H_n$ and also known as $KB_n$. We describe the relationships between $H_n$ and $VP_n$, as well as the extended pure braid group $EP_n$, which is the kernel of the projection from $H_n$ to $S_n$. This name is motivated by the fact that $EP_n$ is precisely the intersection of $H_n$ and $VP_n$. Finally, we provide presentation for $EP_n$ in the cases where $n=2$ and $n=3$.

6
  • Gabriele de Jesus Silva
  • Virtual singular braid groups

  • Leader : OSCAR EDUARDO OCAMPO URIBE
  • MEMBRES DE LA BANQUE :
  • OLGA PATRICIA SALAZAR DIAZ
  • KISNNEY EMILIANO DE ALMEIDA
  • OSCAR EDUARDO OCAMPO URIBE
  • Data: 12 juil. 2023


  • Afficher le Résumé
  • In this work, we present a study on some properties of the group $VSG_n$, which represents virtual singular braids for $n \geq 2$. We define numerical invariants for the virtual singular braids, obtained through word exponents in $VSG_n$, and describe the kernel of these homomorphisms. We identify all possible homomorphisms from the group $VSG_n$ to the symmetric group $S_n$, considering conjugation. In the particular case where $n = 2$, we present a description and a presentation for the kernel in each case. For all possible homomorphisms, decompositions of $VSG_n$ were obtained as semi-direct products of the kernel of the homomorphism and the symmetric group.
7
  • RAFAEL MOREIRA PAULO
  • Thermodynamic formalism for interval maps.

  • Leader : VILTON JEOVAN VIANA PINHEIRO
  • MEMBRES DE LA BANQUE :
  • YURI LIMA
  • PAULO CESAR RODRIGUES PINTO VARANDAS
  • VILTON JEOVAN VIANA PINHEIRO
  • Data: 31 juil. 2023


  • Afficher le Résumé
  • The aim of this work is to present some of the known results about the existence and uniqueness of equilibrium states for transitive interval maps. For this, we do not use the more classical approach of Hofbauer-Keller Towers, we used zooming measures (generalizations of expanding measures) and Markov maps induced by zooming returns. With this we obtain results on the equilibrium states among the expanding measures and, for Hölder potentials that favor the expansive measures, we show the existence and uniqueness of the equilibrium state.

8
  • Suêde Santos Barbosa
  • PVF copula: Literature review and new results

  • Leader : PAULO HENRIQUE FERREIRA DA SILVA
  • MEMBRES DE LA BANQUE :
  • ADRIANO KAMIMURA SUZUKI
  • GIOVANA OLIVEIRA SILVA
  • PAULO HENRIQUE FERREIRA DA SILVA
  • Data: 11 sept. 2023


  • Afficher le Résumé
  • Every joint probability distribution brings with it information about the individual behavior of each variable (marginal distributions) and the dependency structure that guides the relationship between them. Statistical modeling through copula functions provides an individual analysis of these elements, enabling a detailed study of the association structures that guide a random vector. A copula of interest (and object of study of this dissertation) is the Power Variance Function (PVF) copula. It starts from the univariate three-parameter PVF distribution, derived as an extension of the positive stable distribution. The PVF copula class comprises a family of Archimedean copula that includes Clayton, Gumbel and Inverse Gaussian copulas as special cases. Through a methodological approach of literature review, it was possible to present in this work a general review of copulas, containing the main definitions, basic properties, Sklar's theorem, Fréchet-Hoeffding bounds, dependence/association measures and parametric families, as well as identifying the main known results regarding the PVF copula, both in the bivariate and multivariate cases. In addition to the usual dependency measures (Kendall's 𝜏 and Spearman's 𝜌), other measures like Blomqvist's 𝛽 and Gini's 𝛾 were investigated; in this sense, simulations of the PVF copula dependence measures with different values (i.e., different combinations of parameters) were performed. In addition, discussions were developed about the relationship of the BB9 copula with the PVF copula; specifically, we presented a demonstration that the PVF copula is a subclass of the Archimedean copula. Finally, three methods for generating data from the PVF copula and its special cases, as well as simulation and case studies, were provided.

9
  • CARLOS ENRIQUE GERBASI GOMEZ
  • Non-uniform hyperbolicity and maximal entropy measure in Complex Dynamics

  • Leader : CARLOS ALBERTO SIQUEIRA LIMA
  • MEMBRES DE LA BANQUE :
  • GERARDO ANDRÉS HONORATO GUTIÉRREZ
  • CARLOS ALBERTO SIQUEIRA LIMA
  • KLEYBER MOTA DA CUNHA
  • Data: 2 oct. 2023


  • Afficher le Résumé
  • In this dissertation, we will study two forms of non-uniform hyperbolicity: semi-
    hyperbolic rational functions and those that satisfy the Collet-Eckmann topological con-
    dition. The goal is to present a characterization of these types of hyperbolicity in relation to the measure of maximal entropy. This work will include an analysis of the concept of hyperbolicity and its connection with semi-hyperbolicity and the TCE (Collet-Eckmann) condition. All the work is based on an article written by Rivera-Letelier [The maximal entropy measure detects non-uniform hyperbolicity. Mathematical research letters, 2010].

10
  • Gabriella Conceição e Silva
  • The Slice theorem

  • Leader : BENIGNO OLIVEIRA ALVES
  • MEMBRES DE LA BANQUE :
  • BENIGNO OLIVEIRA ALVES
  • ANDRE LUIS GODINHO MANDOLESI
  • PATRÍCIA MARÇAL
  • Data: 21 nov. 2023


  • Afficher le Résumé
  • Our goal in this work is to study the classic and celebrated Slice Theorem. Initially proven by Koszul, the Slice Theorem states that given a proper action of a Lie group on a manifold, there exists a slice passing through each point in M , i.e., a submanifold transversal to the orbit passing through the given point with some special properties. This theorem is a fundamental tool in the Theory of Transformation Groups. This result allows us to reduce the study of a Lie group action near an orbit to the study of the
    geometry transversal to the orbit.

11
  • JOEZITO COSTA DOS SANTOS JUNIOR
  • Markov chains and mixing times

  • Leader : DIRK ERHARD
  • MEMBRES DE LA BANQUE :
  • TERTULIANO FRANCO SANTOS FRANCO
  • OTAVIO DE MACEDO MENEZES
  • RENATO SOARES DOS SANTOS
  • Data: 6 déc. 2023


  • Afficher le Résumé
  • In this work, we study tools that allow modeling mixing times of Markov chains. We use total variation distance and coupling between Markov chains to investigate their convergence rate, i.e., the time required for the stationary distribution to be well approximated after t steps, given an initial distribution.

2022
Thèses
1
  • LUIZ FELIPE DE JESUS BORGES
  • Geometry of hyperbolic equations which are Laplace or Darboux integrable 

  • Leader : DIEGO CATALANO FERRAIOLI
  • MEMBRES DE LA BANQUE :
  • JOÃO PAULO DOS SANTOS
  • DIEGO CATALANO FERRAIOLI
  • JAIME LEONARDO ORJUELA CHAMORRO
  • Data: 18 févr. 2022


  • Afficher le Résumé
  • In this master thesis we will consider the hyperbolic equations of the form F(x,y,u,ux,uy,uxx,uxy,uyy0with the aim of studying the geometric aspects of Laplace and Darboux methods. In Chapter 1 we will start with the basic of classical theory of Laplace transformations and Laplace invariants for linear hyperbolic equations. In particular, in the first two sections 1.1-1.2 of that Chapter, we will present the necessary preliminaries on the line congruences used to construct Laplace transformations of surfaces in R3. Subsequently, by minig the ideas behind Laplace transformations of surfaces, in Section 1.3 we will introduce the Laplace transformations and Laplace invariants for linear hyperbolic equations.Then, coming to the last two sections, in Section 1.4 we will discuss the equivalence problem of linear hyperbolic equations, whereas Section 1.5 we will discuss some properties of the equations that are preriodic with respect to Laplace transformations. Later, in Chapter 2, we will approach the hyperbolic equations as submanifolds of jet spaces. In Section 2.1 we will provide a short review of the main geometric aspects of the theory of jet bundle.Then in Section 2.2 we will discuss the notion of characteristics for second-order partial differential equations, whereas in Section 2.3 we will study the fundamental properties of characteristic vector fields on the infinite prolongation of a second-order equation. Subsequently, in Section 2.4, we will introduce the notion of Darboux integrability together with some examples that provie a first insight to the Darboux integration method. Later in Section 2.5, we will present the universal linearization and its equivalent forms in terms of the projected Lie derivatives with respect to the characteristic vector fields, together with the definition of generalized Laplace invariants for an hyperbolic equation. Finally, in Section 2.6 we will study a criterion for Darboux integrability, in terms of generalized Laplace invariants.

2
  • ELIVAN NERI LIMA
  • Contribution to the Theory of Robustly Transitive Diffeomorphisms

  • Leader : CRISTINA LIZANA ARANEDA
  • MEMBRES DE LA BANQUE :
  • PABLO DANIEL CARRASCO CORREA
  • CRISTINA LIZANA ARANEDA
  • VILTON JEOVAN VIANA PINHEIRO
  • Data: 8 mars 2022


  • Afficher le Résumé
  • The aim of this dissertation is to present an example of a robustly transitive $C^1$-diffeomorphism defined on a Riemannian compact manifold without boundary introduced by [Berger-Carrasco'2014]. Such an example is a partially hyperbolic, dynamically coherent, and robustly transitive skew-product [Carrasco-Obata'2021].
3
  • LUCAS EBER FLORIANO DE OLIVEIRA
  • Residual analysis for the time-dependent generalized logistic model (GTDL)

  • Leader : JALMAR MANUEL FARFAN CARRASCO
  • MEMBRES DE LA BANQUE :
  • EDER ANGELO MILANI
  • JALMAR MANUEL FARFAN CARRASCO
  • NIVEA BISPO DA SILVA
  • Data: 11 mars 2022


  • Afficher le Résumé
  • Several researchers have used the traditional Cox proportional hazards model, which has a simple interpretation and can be extended to incorporate time-dependent covariates; however, it is observed that in the practice, the data set does not always fit this model because they do not satisfy the usual properties of proportionality of failure rates and the effect of the covariate over time cannot be detected. In this work we have studied the modelling of survival data using the time-dependent generalized logistic model (GTDL). The use of this model is a significant alternative proposed by Mackenzie (1996) that satisfy the presupposition of non-proportionality of risks. In order to assess the goodness of fit of the model, we introduced Cox-Snell, modified Cox-Snell, martingale, deviance, randomized quantile, NMSP and NRSP residuals. We conducted a simulation study via Monte Carlo to investigate the asymptotic behaviour of the maximum likelihood estimators of the GTDL model obtained through the direct maximization of the log-likelihood function, for cases where the survival function is proper and when we have a model of cure fraction. Also, another simulation study is conducted to know the empirical distribution of residuals. Finally, we applied the methodologies studied to a set of data available in the literature involving patients with lung cancer.

4
  • VALERIA CONCEIÇÃO DOS SANTOS
  • Robustly Transitive Endomorphisms displaying Critical Points

  • Leader : CRISTINA LIZANA ARANEDA
  • MEMBRES DE LA BANQUE :
  • WAGNER RANTER GOUVEIA DA SILVA
  • CRISTINA LIZANA ARANEDA
  • EDGAR MATIAS DA SILVA
  • Data: 5 mai 2022


  • Afficher le Résumé
  • We present in this work examples of robustly transitive endomorphisms with critical points in the 2-torus and in the Klein Bottle, introduced by Lizana and Ranter in 2019, see [12]. Such examples are homotopic to expanding maps, C1-robustly transitive, partially hyperbolic, admit a family of unstable cones fields and exhibit critical points.

5
  • RAFAEL DO SACRAMENTO LOPES
  • Lie Methods in Group Theory

  • Leader : NICOLA SAMBONET
  • MEMBRES DE LA BANQUE :
  • IGOR DOS SANTOS LIMA
  • MANUELA DA SILVA SOUZA
  • NICOLA SAMBONET
  • Data: 17 mai 2022


  • Afficher le Résumé
  • Based on the monografies of Michael Vaughan–Lee [6] and of Charles R. Leedham-Green
    and Susan McKay [4], this work focuses on the study of two constructions associating
    Lie algebras to p-groups. These are used to solve the Restricted Burnside Problem and
    the Coclass Conjectures, with the aim of translating a problem of group theory into the
    theory of Lie algebras. To some extent, the two problems are of opposite nature, and
    necessarily the associated Lie algebras are distinct. On the other hand, the method shows
    great analogies, and in both cases the construction is based on the behaviour of powers
    and commutators in a suitable descending central series.

6
  • JANARA RAMOS NASCIMENTO
  • Restriction semigroups with inverse skeleton and their semigroup algebras

  • Leader : GEORG WILHELM KLEIN
  • MEMBRES DE LA BANQUE :
  • GEORG WILHELM KLEIN
  • ELEN DEISE ASSIS BARBOSA
  • PAULA MURGEL VELOSO
  • Data: 14 juin 2022


  • Afficher le Résumé
  • In this work we study restriction semigroups with inverse skeleton based on the article of G. M. S. Gomes, C. Santa-Clara and F. Soares from 2015, using basic concepts of semigroup theory and (semi)group rings. The aim is to investigate possible generalizations of fundamental results of Domanov and Munn on the semiprimitivity of semigroup rings.

7
  • DIEGO LIMA BOMFIM
  • Forcing Axioms and Choice Principles

  • Leader : SAMUEL GOMES DA SILVA
  • MEMBRES DE LA BANQUE :
  • CHARLES JAMES GLYN MORGAN
  • MARCELO DIAS PASSOS
  • SAMUEL GOMES DA SILVA
  • Data: 27 oct. 2022


  • Afficher le Résumé
  • This dissertation will focus on the correlation between the ideas of forcing axioms and
    choice principles that makes the similarity of the latter much more evident. We show a
    clearer and more objective proof of how the full axiom of choice can be seen as a "global"
    axiom of forcing, an original result due to Stevo Todorcevic. At last, we explore ideas for
    an original research that studies forcing axioms for certain classes of trees.

8
  • JAIR CARNEIRO DE OLIVEIRA
  • Lorentzs group and the starry sky of Penrose.

  • Leader : BENIGNO OLIVEIRA ALVES
  • MEMBRES DE LA BANQUE :
  • BENIGNO OLIVEIRA ALVES
  • MIGUEL ANGEL JAVALOYES VICTORIA
  • MARCOS MARTINS ALEXANDRINO DA SILVA
  • Data: 2 déc. 2022


  • Afficher le Résumé
  • In this work, we will present some properties of the Lorentz
    group and verify that one of its subgroups is isomorphic to the orientation-
    preserving Möbius transformation group. In addition, we will describe and interpret what
    R. Penrose said about isomorphism and the appearance of stars in the sky of two observers

2021
Thèses
1
  • EDUARDO SAMPAIO PIMENTA
  • Construction of the Dawson-Watanabe Process

  • Leader : TERTULIANO FRANCO SANTOS FRANCO
  • MEMBRES DE LA BANQUE :
  • DIRK ERHARD
  • HUBERT LACOIN
  • TERTULIANO FRANCO SANTOS FRANCO
  • Data: 4 mars 2021


  • Afficher le Résumé
  • This dissertation aims at the construction of the Dawson-Watanabe process as a scaling limit of the branching Brownian motion, the latter being also related here to the solution of a heat equation with a source. The existence of the Dawson-Watanabe process (also called super Brownian motion or superprocess) is a consequence that this process is a solution to a martingal problem obtained through the scale limit of the branching Brownian motion. The proof follows the classic structure of tightness and uniqueness of limit points, and the uniqueness, in this followed path, results from the characterization of the Dawson-Watanabe process as a dual solution of a certain partial differential equation.

2
  • JUAN CARLOS ARROYAVE BLANCO
  • Hydrdynamics of TASEP via Microscopic Characteristics

  • Leader : TERTULIANO FRANCO SANTOS FRANCO
  • MEMBRES DE LA BANQUE :
  • DIRK ERHARD
  • PABLO AUGUSTO FERRARI
  • TERTULIANO FRANCO SANTOS FRANCO
  • Data: 5 mars 2021


  • Afficher le Résumé
  • In this work, we study the hydrodynamic limit for the totally asymmetric simple exclusion process (TASEP) which converges for the solution of Burgers equation; this convergence can be seen by means of two facts and to prove them we will need notions
    such as the tagged particle, second class particles and the flux and also some results on these as the law of large numbers and coupling. The proof of this main result will be divided into two parts: the shock case and the rarefaction case.

3
  • IAGO ALVES ALMEIDA
  • External Automorphisms of Partially Commutative Groups

  • Leader : KISNNEY EMILIANO DE ALMEIDA
  • MEMBRES DE LA BANQUE :
  • IGOR DOS SANTOS LIMA
  • KISNNEY EMILIANO DE ALMEIDA
  • NICOLA SAMBONET
  • Data: 26 juil. 2021


  • Afficher le Résumé
  • Let $\Gamma$ be a finite simple graph, with a set of vertices $V$. Consider the group $A_{\Gamma}=\langle V \,|\, R\rangle$, where $R$ is formed by the elements $aba^{-1}b^{-1}$ for each pair of vertices $a$ and $b$ adjacent in $\Gamma$. So $A_{\Gamma}$ is said group
    partially commutative, or ``Right-angled Artin Group''. Partially commutative groups encompass a wide variety of groups, ranging from $F_n$ free groups to free abelian groups
    $\mathbb{Z}^n$. We aim to prove that the group $Out(A_\Gamma)$ is residually finite, based mainly on two articles by Charney and Vogtmann who carried out the study of properties already
    known and shared between $Out(F_n)$ and $Out(\mathbb{Z}^n)\simeq GL(n,\mathbb{Z})$, among them the property of being residually finite.

4
  • LEANDRO CORREIA ARAÚJO
  • Markov chains in continuous time and Dynkin's Theorem

  • Leader : DIRK ERHARD
  • MEMBRES DE LA BANQUE :
  • AUGUSTO QUADROS TEIXEIRA
  • DIRK ERHARD
  • TERTULIANO FRANCO SANTOS FRANCO
  • Data: 29 juil. 2021


  • Afficher le Résumé
  • In this work we study continuous time Markov chains and their basic properties, obtaining the Global  Balance Equation, which establishes a relationship between stationary measurements of a chain and its infinitesimal generator. Furthermore, we analyse two continuous chains in a finite weighted graph, which have the same associated discrete chain and whose covariance is given by a Green's Function. We finished with Dynkin and Eisenbaum's Isomorphism Theorems. 

5
  • TATIANA FELIX DA MATTA
  • New binary regression models using symmetric and asymmetric link functions

  • Leader : PAULO HENRIQUE FERREIRA DA SILVA
  • MEMBRES DE LA BANQUE :
  • FRANCISCO LOUZADA NETO
  • PAULO HENRIQUE FERREIRA DA SILVA
  • PAULO JORGE CANAS RODRIGUES
  • Data: 6 août 2021


  • Afficher le Résumé
  • Regression models with binary response variables (1 - occurrence of the event of interest or "success'', 0 - non-occurrence of the event of interest or "failure'') have been intensively applied in several areas of knowledge, such as health, finance, industry, among others. Traditionally, the most used model in binary regression has been the logistic regression model. However, it uses the logit link function, which is a symmetric link function and may not be suitable in certain situations, for example, when one of the response variable classes is disproportionate to the other (imbalanced data set). The main aim of this work is to present new binary regression models using symmetric and asymmetric link functions. The parameter estimation of the proposed models (namely, the double Lindley, asymmetric double Lindley, power double Lindley, and reversal power double Lindley binary regression models) is performed with the classical maximum likelihood method. In order to compare and select the "best'' model among the different distributions, information criteria (AIC and BIC) and measures of predictive performance (AUC, balanced accuracy, sensitivity, specificity, positive and negative predictive values, F1-Score, Matthews correlation coefficient, among others) are used. Through the analysis of two real data sets, one on breast cancer, obtained from the University of California, Irvine's (UCI) Machine Learning Repository, and another on a competition promoted by Santander Bank for the Kaggle community, we show that models using the proposed link functions can provide a better fit and predictive ability than models using standard links, such as logit.

6
  • ÊNIO CARLOS DA SILVA LEITE
  • Polynomail identities fot the Jordan algebra of the upper triangular matrices of order 2

  • Leader : MANUELA DA SILVA SOUZA
  • MEMBRES DE LA BANQUE :
  • VIVIANE RIBEIRO TOMAZ DA SILVA
  • ELEN DEISE ASSIS BARBOSA
  • MANUELA DA SILVA SOUZA
  • Data: 19 août 2021


  • Afficher le Résumé
  • Let K be an infinity field and UJ2(K) the Jordan algebra of upper triangular matrices of order 2. Up to a graded isomorphism, the algebra UJ2(K) admits the following G-gradings: trivial, associative, classic, scalar and Klein. Based on [8], this work gives a proof that, up to a graded isomorphism, the only G-gradings of UJ2(K) are the aforementioned. Futhermore, we present a graded polinomial identities description of UJ2(K) for these gradings, and we also exhibit basis to gradings identities of UJ2(K) were K is a infinity field with characteristic different from 2 and from 3 in trivial grading case, and characteristic different from 2 in the other gradings.

7
  • LAÍS SILVA SACRAMENTO
  • Methods with propensity score for impact evaluation in data with  longitudinal dependence structure 

  • Leader : ROSEMEIRE LEOVIGILDO FIACCONE
  • MEMBRES DE LA BANQUE :
  • MARCEL DE TOLEDO VIEIRA
  • NIVEA BISPO DA SILVA
  • ROSEMEIRE LEOVIGILDO FIACCONE
  • Data: 28 oct. 2021


  • Afficher le Résumé
  • Causal inference in Statistics considers statistical approaches to establish a causal relationship between manipulable variables (treatment/intervention) and an outcome and it has been vastly developed methodologically in the last few decades. It is well-known that selection bias is likely to lead to incorrect inference in observational studies. Matching methods have been used as an alternative to the definition of comparison groups through the computation of propensity scores. Traditionally, the use of Propensity Score Matching (PSM) involves data analysis of observational studies under assumption of independence of the sample units.The underlying assumption, however, can be rather unreasonable when repeated measures of the outcome are collected in a longitudinal study. Recently, methods have being proposed to incorporate PSM into diverse dependency structures in the statistical model's framework (Li et al, 2013 e Arpino et al, 2016). When the treatment is initiated sequentially during a period of time, a class of longitudinal matching methods have also being proposed in the literature to emulate a random experiment (Li et al, 2001; Lu, 2005; Thomas et al, 2020). The goal of this dissertation is to systematically organize and summarize the statistical methodology involving propensity scores for the estimation of causal effects when analyzing data with longitudinal dependency structure. These methodologies are illustrated with the analysis of three datasets with different longitudinal dependency structure

2020
Thèses
1
  • LAION LIMA BOAVENTURA
  • Control Chart for process learnining: CEP flexibility with Artificial Intelligence  (AI)

  • Leader : ROSEMEIRE LEOVIGILDO FIACCONE
  • MEMBRES DE LA BANQUE :
  • ANGELO MARCIO OLIVEIRA SANT ANNA
  • DANILO MARCONDES FILHO
  • ROSEMEIRE LEOVIGILDO FIACCONE
  • Data: 14 févr. 2020


  • Afficher le Résumé
  • In this work, we use Artificial Intelligence and Statistical Process Control techniques in two real data sets from the civil construction area, in the presence of covariates and continuous and categorical observations. The data represent the daily ceramic laying process under observation of interest (customer satisfaction levels for the first data set and process cost for the second data set) in four explanatory variables to this process. For process monitoring, based on the Multiple Regression Control Chart proposed by Haworth (1996), the traditional p-Chart for attribute control, and some control tools that use artificial intelligence, two new types of graphs control are developed. Called the Classification Control Chart and Prediction Control Chart for Continuous Responses, its development was based on concepts of statistical modeling (parametric and nonparametric), as well as resampling processes using machine learning and artificial intelligence. Firstly, some classification and regression models, competitive in their predictive capacity, are presented in such a way that the selected modeling results in estimates as close as possible to the real values. For this, using machine learning techniques, performance metrics are compared. Next, resampling procedures, such as Cross-Validation k- textit fold, are proposed in order to ensure maximum information extraction from the data that will be used to construct the control limits of the graphs. Simulation studies were performed with the objective of comparing, based on the Average Run Length (ARL), the process monitoring performance of the proposed graphs in different simulated scenarios.

2
  • FERNANDO HUMBERTO DE ALMEIDA MORAES NETO
  • Convolutional neural network ensemble for mamography classification

  • Leader : RICARDO FERREIRA DA ROCHA
  • MEMBRES DE LA BANQUE :
  • FRANCISCO LOUZADA NETO
  • RICARDO FERREIRA DA ROCHA
  • VINICIUS FERNANDO CALSALVARA
  • Data: 19 févr. 2020


  • Afficher le Résumé
  • Cancer is the name given to a set of more than 100 diseases that have in common the disordered growth of cells that invade tissues and organs, according to the INCA – Instituto Nacional de Câncer. In 2018, approximately 18 million new cancer cases were diagnosed worldwide. Among these, breast cancer is the one that most affects women worldwide. In Brazil, between 2018 and 2019, breast cancer incidence estimates are 59,700 new cases, with 29.5% of cancers in women, according to the INCA. One way to diagnose breast cancer is by capturing radiographic images(mammograms) for patients at high risk. Mammography is able to identify suspicious changes in cancer before the onset of symptoms and its analysis is done by radiologists, who check for the existence of breast cancer. One way to help these professionals to classify mammography images is to use some computational techniques. Diagnosis based on computational techniques can help the doctor make a more accurate decision.
    A computational technique widely used to analyze images are the CNN - Convolutional Neural Networks, its use can improve the diagnosis of breast cancer by helping radiologists and doctors. This work has the general objective of demonstrating the benefits of implementing CNN’s for cancer prediction in radiographic data.
    For this, a database provided by the oncology hospital ACCamargo, which specializes in the diagnosis, treatment and research of cancer, was used. A combination of models with transfer of learning was used to classify these images obtaining an ACC of 84.66%.

3
  • MATEUS MAIA MARQUES
  • Random Machines: the random kernel space for constructing a new support vector ensemble

  • Leader : ANDERSON LUIZ ARA SOUZA
  • MEMBRES DE LA BANQUE :
  • ANDERSON LUIZ ARA SOUZA
  • FRANCISCO LOUZADA NETO
  • MARCOS ENNES BARRETO
  • Data: 28 févr. 2020


  • Afficher le Résumé
  • In this dissertation, a new model combination approach was proposed using the random selection of kernel functions in the construction of a bagging based on support vector machine classifiers. Over the past few years, the use of multiple classifiers to obtain a better predictive capacity has been consolidated. In this sense, to obtain a better result, we seek to combine models that are stronger and as diverse as possible. The proposed method, Random Machines, seeks to use the models of machine support vectors that are traditionally strong and to introduce diversity in the combination through randomness between kernel functions. This process was generalized both for classification tasks and for regression tasks, which was successful when compared to the traditional combination of this type of model. In addition, Random Machines were compared with well-established combination methods such as Random Forest, demonstrating the competitiveness of the proposed algorithm. Finally, the method was applied to three new, unprecedented real-world problem resolutions and resulting in satisfactory performance.

4
  • SAVIO SILVA SANTANA
  • C^1-Structural stability for diffeomorphisms

  • Leader : PAULO CESAR RODRIGUES PINTO VARANDAS
  • MEMBRES DE LA BANQUE :
  • ANTONIO TEOFILO ATAIDE DO NASCIMENTO
  • PAULO CESAR RODRIGUES PINTO VARANDAS
  • VITOR DOMINGOS MARTINS DE ARAUJO
  • Data: 20 mars 2020


  • Afficher le Résumé
  • This work presents a proof of the C^1-structural stability for C^2-diffeomorphisms which are Axiom A and satisfy the strong transversality condition, defined on a smooth compact and boundaryless manifold.

5
  • Hugo Ribeiro Santana
  • PREDICTING SOCCER MATCH RESULTS USING REGRESSION MODELS FOR COUNT DATA

  • Leader : PAULO HENRIQUE FERREIRA DA SILVA
  • MEMBRES DE LA BANQUE :
  • PAULO HENRIQUE FERREIRA DA SILVA
  • LEILA DENISE ALVES FERREIRA AMORIM
  • LUIS ERNESTO BUENO SALASAR
  • Data: 19 juin 2020


  • Afficher le Résumé
  • Football is the most popular sport in many countries of the world. It is of interest to many bettors to know how many goals will be scored in a match and to analyze the probabilities predicted by statistical models before making decisions. The Poisson regression model is the main ally in predicting the number of goals scored by the teams, as it is present in the vast majority of related files (articles, dissertations, monographs, among others). However, when considering count data that exhibit excess dispersion, the negative binomial model appears as an alternative. This work aims to expand the universe of available models to predict football match results, estimating the probabilities of each possible result (home win, draw and away win) and including unprecedented applications of some models to football data, such as COM-Poisson, Bell and Poisson-Shanker. The bivariate versions of the Poisson and negative binomial models were also considered. The applications were made for the matches of the Brazilian Championship Series A 2019 and of the Spanish La Liga 2018-19. The models considered in this work showed a good predictive performance, according to the Brier Score measure.

2019
Thèses
1
  • JOEDSON DE JESUS SANTANA
  • Dispersive equations and well-posedness of a linear equation of  Airy type

  • Leader : VANESSA BARROS DE OLIVEIRA
  • MEMBRES DE LA BANQUE :
  • VANESSA BARROS DE OLIVEIRA
  • HENRIQUE BARBOSA DA COSTA
  • MARCIO CAVALCANTE DE MELO
  • Data: 20 févr. 2019


  • Afficher le Résumé
  • In this work we will study partial differential equations (PDE), especially those of the dispersive type. An important example of dispersive PDE is the Korteweg-de Vries. We prove the global well-posedness (GWP) of this equation in Sobolev spaces. We also prove GWP for a linear equation of the Airy type. The main tool will be Plancherel theorem and the method of characteristics.

2
  • DJAVAN SILVA SANTOS
  • Ideals of multipolynomials between Banach spaces

  • Leader : JOILSON OLIVEIRA RIBEIRO
  • MEMBRES DE LA BANQUE :
  • JOILSON OLIVEIRA RIBEIRO
  • JUAN ANDRES GONZALEZ MARIN
  • NACIB ANDRÉ GURGEL
  • Data: 22 févr. 2019


  • Afficher le Résumé
  • In this work we deal with an unified approach to the ideals of multilinear applications and homogeneous polynomials that Velanga when introduced in [18] and called it the ideal of multi-polynomial. In addition, we will show in what sense classical results on the previous theory are recovered and we will present a series of natural examples of multipolynomial ideals.
3
  • Paulo Cesar Cerqueira dos Santos Júnior
  • A quotient of the Artin braid group related to crystallographic groups

  • Leader : OSCAR EDUARDO OCAMPO URIBE
  • MEMBRES DE LA BANQUE :
  • DACIBERG LIMA GONÇALVES
  • JOHN GUASCHI
  • OSCAR EDUARDO OCAMPO URIBE
  • Data: 11 mars 2019


  • Afficher le Résumé
  • Let $n\ge 3$. We studied the quotient group $B_n/[P_n, P_n]$ from the Artin braid group $B_n$ by the commutator subgroup of the Artin pure braid group $P_n$. The group $B_n/[P_n, P_n]$ is a crystallographic group that has no even-order element and has infinite elements of odd order. We also showed that there is a one-to-one correspondence between the conjugacy classes of  finite odd-order elements of $B_n/[P_n,P_n]$ with the  the conjugacy classes of  finite odd-order elements of the symmetric group $S_n$ and we realized the abelian subgroups of odd order of $S_n$ in $B_n/[P_n,P_n]$. In the case of $n=3$ we studied crystallographic subgroups of $B_3/[P_3, P_3]$ of dimension $3$. In this work we used as a main reference Gonçalves, Guaschi and Ocampo (2017). In addition to what was done in [Gonçalves, Guaschi and Ocampo 2017] , we studied the conjugacy classes of infinite order elements in $B_3/[P_3, P_3]$ and the Coxeter's quotient in $B_n/[P_n, P_n]$. 

4
  • CAIO LIMA SILVA
  • Linear representations of braid groups

  • Leader : OSCAR EDUARDO OCAMPO URIBE
  • MEMBRES DE LA BANQUE :
  • DACIBERG LIMA GONÇALVES
  • JOHN GUASCHI
  • OSCAR EDUARDO OCAMPO URIBE
  • Data: 12 mars 2019


  • Afficher le Résumé
  • In this work we shall study the so-called Artin braid group and some of its linear representations. One problem that remained open for a long time was the linearity of the Artin braid group. Motivated by this, we will see the contribution of Burau's representation of the braid group to this questioning, as well as the representation of Gassner in the context of the pure braid group.

5
  • ENATHIELLE THIALA SOUZA DE ANDRADE
  • Selection Principles, Topological Games, Star Covering Properties and Generalizations

  • Leader : SAMUEL GOMES DA SILVA
  • MEMBRES DE LA BANQUE :
  • SAMUEL GOMES DA SILVA
  • RODRIGO ROQUE DIAS
  • VLADIMIR PESTOV
  • Data: 3 mai 2019


  • Afficher le Résumé
  • This paper addresses the best known selection principles and uses the topological games associated with them to study results that involve the topological spaces that satisfy these principles. For example, we will show that if $ X $ is a Lindelöf space such that $ | X | <$ cov ($ \ mathcal {M} $), then player $ ONE $ has no winning strategy for $ G_1 (\ mathcal {O} _X, \ mathcal {O} _X) $ '', and this proves that `` Every Lindelöf space with a cardinality smaller than cov $ (\ mathcal {M}) $ is a Rothberger space ' '. In this dissertation we will also study $ D $ - spaces, selectively c.c.c. and star selection principles. We present proofs for relevant results of the literatura, such as ``Every  $T_1$ Menger space is a $ D-space '', which is demonstrated via games (using another result whose proof is presented in detail in the dissertation, which is " $ X $ is a Menger space if, and only if, $ ONE $ does not have a winning strategy for $ G \ textrm {fin}} (\ mathcal {O} _X, \ mathcal {O} _X $ '').  As $T_1$  Menger spaces  are D-spaces, one concludes that a counterexample to the conjecture `` All Lindelöf space and regular is a D-space? '', which remains unanswered since the 1970?s, can not be a Menger space.

6
  • ANA CLAUDIA DA SILVA BATISTA
  • Multivariate Statistical Process Control Based on Copula Functions

  • Leader : PAULO HENRIQUE FERREIRA DA SILVA
  • MEMBRES DE LA BANQUE :
  • GIOVANA OLIVEIRA SILVA
  • PAULO HENRIQUE FERREIRA DA SILVA
  • ROBERTO DA COSTA QUININO
  • Data: 23 mai 2019


  • Afficher le Résumé
  • Statistical Process Control (SPC) is a powerful set of tools used to solve problems in order to reduce variability and obtain stability of services or production processes (Montgomery, 2016). The Control Chart is a widely used process monitoring technique, whose main goal is to detect the occurrence of special causes that lead to the change of process as soon as it occurs. A major challenge in statistical quality control is the monitoring and detection of changes in quality characteristics evaluated simultaneously. The multivariate process control chart based on the Hotelling's T2 statistic is the most popular for monitoring the mean vector. However, it assumes that the data follow a multivariate normal distribution (which in practice rarely occurs) and are uncorrelated. Baíllo and Cuevas (2006) proposed the use of tolerance regions obtained from density level set estimates as a detection tool. On the other hand, Verdier (2013) suggested the use of copula-based models, which are simple and flexible tools for multivariate modeling, for obtaining such estimates. In this work, we present an extension of the non-normal approach based on copula functions introduced by Verdier (2013), that is, we explore the trivariate copulas case in addition to the bivariate one. For both situations, we consider the parametric and semi-parametric approaches (the latter one, with the use of kernel margins, as in Verdier, 2013), and we also present a totally non-parametric approach. Thus, we first compared the tolerance region derived from the copula modeling with the usual one based on the Hotelling’s T2 statistic, both constructed under the approach of density level set estimation. The simulations performed here allowed the variation of: (i) the original data distribution, where we considered the parametric (parametric copula and marginal distributions), semi-parametric (parametric copula and kernel margins) and non-parametric (nonparametric copula) cases; (ii) the association degree of association among the variables (weak, moderate and strong); (iii) and the magnitude of changes in the mean vector. Finally, we applied the proposed methodology to a bivariate data set on measurements of the deflection and curvature from brass and steel bimetal thermostats, as well as a trivariate data set related to water quality measured by pH, nitrates and phosphates. Both data sets are available in the MSQC package (Santos-Fernández, 2016) of the R software.

7
  • CAIO BATALHA DIAS OLIVEIRA
  • Support Vectors Models in time series: an application to cryptocurrencies

  • Leader : ANDERSON LUIZ ARA SOUZA
  • MEMBRES DE LA BANQUE :
  • ANDERSON LUIZ ARA SOUZA
  • LUIS APARECIDO MILAN
  • MARCELO MAGALHAES TADDEO
  • Data: 7 juin 2019


  • Afficher le Résumé
  • In several cases, it is necessary to predict continuous time-dependent variables. As a particular case of this work, we have an interest in predicting the price of cryptocurrencies, which are increasingly popular, where it is seen a high growth and high price variability. In this sense, we aim to forecast the daily closing price of bitcoin, etherium and dash using the support vector machine theory, as well as an adaptation of this methodology to the case of time series forecasting, called recurrent SRV . The results obtained show a substantial gain in the daily forecast, surpassing traditional methods.

8
  • GLAENE SANTOS SANTIAGO MENDONCA
  • Isometries of comlplex hyperbolic plane

  • Leader : JAIME LEONARDO ORJUELA CHAMORRO
  • MEMBRES DE LA BANQUE :
  • JAIME LEONARDO ORJUELA CHAMORRO
  • DIEGO CATALANO FERRAIOLI
  • NIKOLAI ALEXANDROVITCH GOUSSEVSKII
  • Data: 14 juin 2019


  • Afficher le Résumé
  • The main goal of this work is to classify the isometries of complex hyperbolic
    plane
    H^2_C
    by studying their fixed points. To this end, we introduce H ^2_C as an open set of
    complex projective plane. We study the disc model, the Siegel domain, and horospherical
    coordinates to understand its distance function, the Bergman metric, its isometry group
    P U (2, 1), and its totally geodesic submanifolds. The elements of PU (2, 1) will be seen as
    collineations induced by matrices of SU (2, 1), so the classification will be done through
    the study of the eigenvalues of such matrices.

9
  • ANA CAROLINA DE CARVALHO MANÇUR
  • Curvatures in Kähler varieties

  • Leader : MATHIEU MOLITOR
  • MEMBRES DE LA BANQUE :
  • ELIANE DA SILVA DOS SANTOS
  • EZIO DE ARAUJO COSTA
  • MATHIEU MOLITOR
  • Data: 19 juil. 2019


  • Afficher le Résumé
  • In this work we will discuss the notion of curvature in the particular context of the Kähler varieties. We will study Ricci's curvature and show that in the case of the Kähler varieties this can be described by a particularly simple formula in complex coordinates.
    We will also study the holomorphic sectional curvature, which is an analog of the sectional curvature in the real case, and which, as in the real case, characterizes the curvature tensor of the Kähler variety considered.
    In addition, we will comment on the case where the holomorphic sectional curvature is constant and the corresponding classification.

10
  • TAÍS JESUS DE BRITO
  • Multifractal analysis and large deviations for almost-additive sequences

  • Leader : THIAGO BOMFIM SAO LUIZ NUNES
  • MEMBRES DE LA BANQUE :
  • ANDERSON REIS DA CRUZ
  • AUGUSTO ARMANDO DE CASTRO JUNIOR
  • THIAGO BOMFIM SAO LUIZ NUNES
  • Data: 30 août 2019


  • Afficher le Résumé
  • This paper is an attempt a topological description of the multifractal formalism associated  to the uniformly expanding dynamics and non-necessarily additive observable sequences, motivated by the study of Lyapunov exponents in high dimension. We prove that in this context the topological entropy of a level set is equal to the total topological entropy of the system minus a large deviation rate associated to the unique measure of maximum entropy. To obtain this result we prove a large deviations principle in which the rate function has good properties, in particular it is a strictly convex function and comes from a Legendre transform. All work was based on an article by Bomfim and Varandas, 2015.

11
  • MARISLEANE MOREIRA DE OLIVEIRA ANDRADE
  • Propensity Score in Multilevel Data 

  • Leader : ROSEMEIRE LEOVIGILDO FIACCONE
  • MEMBRES DE LA BANQUE :
  • LILIA CAROLINA CARNEIRO DA COSTA
  • ROSEMEIRE LEOVIGILDO FIACCONE
  • SHEILA REGINA DOS SANTOS PEREIRA
  • Data: 24 oct. 2019


  • Afficher le Résumé
  • Recently there has been an increase in the use of methodology involving propensity score to minimize selection bias in observational studies which the aim is to observe causal relationships. The definition of propensity score is the probability one has to receive a treatment, given the covariates measured at the baseline. Also, a propensity score can be used to adjust treatment effect through pairing or weighing, using the inverse of this probability. Propensity score matching demands several implementation steps such as propensity score estimation, selecting a matching algorithm, and evaluating the intervention effects. A great portion of researches that use propensity score as an approach, assumes independence of observations. However, in studies of many fields of knowledge such as education, social science, and even health, the research design has a hierarchical structure with aggregated individuals. When it comes to multilevel structured data, the propensity score estimation must take into account the effect different levels have on an observation. For this multilevel context, the quality os the matching between the treated and control group and the estimate of the treatment were evaluated through a simulation study proceded from different models for the propensity score estimation. At last, the methodology used in this paper was applied to a real data set exploring the effect of the Bolsa Família program on nutritional status through BMI in a multilevel household survey conducted in Camaçari - Bahia, from October 2011 to January 2012.

12
  • LEYDIANE RIBEIRO CAMPOS
  • Dinâmica das Transformações de Intercâmbio de Intervalos.

  • Leader : KLEYBER MOTA DA CUNHA
  • MEMBRES DE LA BANQUE :
  • KLEYBER MOTA DA CUNHA
  • EDGAR MATIAS DA SILVA
  • MARIA JOSÉ PACÍFICO
  • Data: 24 oct. 2019


  • Afficher le Résumé
  • The objective of this work is to study the conjugation by homeomorphism between time interval and pattern exchange transformations. We will prove that C ^ 2 - connection between interval exchange (without periodic orbit) and pattern is equivalent to C ^ ω - connection and that this conjugation belongs to the family of homeomorphisms h_k. In the case d = 3, we show that the related range (without periodic orbit) is C ^ 0-conjugated in a minimal and solely ergonomic pattern. Furthermore, it gives examples where the conjugation is C ^ ω by pieces, and C ^ 1 but not C ^ 2. Finally, we have a criterion about the presence of conjugation between affinity and pattern interval transformations, and an invariant measure. equivalent to the measure of limited density variation and limited inverse.


     
     
     
     
     
13
  • DAVI VIEIRA BARBOSA
  • Bayesian Networks: some structure estimation algorithms and their applications

  • Leader : ANDERSON LUIZ ARA SOUZA
  • MEMBRES DE LA BANQUE :
  • ANDERSON LUIZ ARA SOUZA
  • LILIA CAROLINA CARNEIRO DA COSTA
  • FRANCISCO LOUZADA NETO
  • Data: 19 nov. 2019


  • Afficher le Résumé
  • In this dissertation, the problem of Bayesian networks (BNs) structure estimation from data is addressed. This structure represents, in a clear and graphical way, the joint probability distribution of the variables involved in a problem, through its conditional independence relations among the considered space. Due to its huge search space, structure estimation from data has been intensively studied and is considered the most challenging task related to working with BNs. In this context, this work started with a systematic literature review (SLR) with the goals of understanding how Bayesian network’s studies have been developed through the last two decades and in which fields and how this technique has been applied. In a second step, a new BNs structure estimation algorithm is proposed, based on a methodology applied to the context of genetic interaction. Finally, the generated structures and algorithm’s performance are compared to that of two commonly used algorithms in the literature, through simulation in four data sets, two artificial and two real, related to finance and real estate fields.

14
  • GILMARA SANTOS BISPO
  • Inference in Models with Distal Outcomes: A Bayesian Perspective

  • Leader : LEILA DENISE ALVES FERREIRA AMORIM
  • MEMBRES DE LA BANQUE :
  • ALINE ARAUJO NOBRE
  • LEILA DENISE ALVES FERREIRA AMORIM
  • MARCELO MAGALHAES TADDEO
  • Data: 19 déc. 2019


  • Afficher le Résumé
  • Models with distal responses aim to evaluate the effect of categorical latent variables on an observed dependent variable that can be binary, counting or continuous. Frequentist approaches have recently been proposed to estimate latent effects on distal responses. These strategies consider simultaneous modeling of the latent class and its effect on the distal response by using Bayes rule from latent class analysis (LCA) with covariates, or by incorporating the measurement errors obtained in the LCA directly for modeling the distal response. Some of the most common procedures for classifying individuals attenuate parameter estimates. Bayesian statistical methods incorporate uncertainty in inferences by associating a priori probability distribution to the parameters, which are updated during the procedure, resulting in a posteriori distribution. In this work alternative strategies for estimating latent effects in distal responses are proposed using Bayesian inference. In addition, the proposed methodologies advance in the estimation of latent variable effects allowing the adjustment for additional observed covariates via regression models. Monte Carlo simulation studies were conducted to evaluate properties of the proposed methods in finite samples. Illustration of these methodologies is performed with analysis of the 2016 National Student Performance Examination (ENADE) data. Simulation results show that the Simultaneous Bayesian (BS) method leads to a substantial reduction of the bias in estimating the effects of the latent classes on distal responses, besides allowing the inclusion of additional covariates in the model.

2018
Thèses
1
  • ALEXANDRO TELES DE OLIVEIRA
  • Statistical Modeling for Bivariate Financial Data Using Survival Analysis and Coping Functions.
  • Leader : PAULO HENRIQUE FERREIRA DA SILVA
  • MEMBRES DE LA BANQUE :
  • PAULO HENRIQUE FERREIRA DA SILVA
  • ROSEMEIRE LEOVIGILDO FIACCONE
  • ADRIANO KAMIMURA SUZUKI
  • Data: 24 août 2018


  • Afficher le Résumé
  • In this work we used Survival Analysis techniques in two sets of financial data in the presence of covariables and censored observations. The data represent the times until the occurrence of the event of interest (churn for the first set of data and default for the second set of data) in different credit products. Some models of non-default and non-default survival were proposed and assumed for marginal distributions in the presence of competitive causes with different activation mechanisms (Odd Weibull-Poisson models). Copulation functions (Clayton, Clayton Rotated 90 degrees, Frank, Gumbel, Farlie-Gumbel-Morgenstern, Plackett, Gaussian and Student t) were used in the study of dependence between failure times of the same individual. For inferential purposes, a classical approach was considered using the Inference Function for Margins (IFM), proposed by Joe and Xu (1996), whose results were compared to those obtained using the method of maximum likelihood, which makes the estimation of the parameters in a single stage

2
  • VICTOR BORGES CARNEIRO
  • Morse Decomposition for Non-Autonomous Processes

  • Leader : HENRIQUE BARBOSA DA COSTA
  • MEMBRES DE LA BANQUE :
  • EDER RITIS ARAGAO COSTA
  • HENRIQUE BARBOSA DA COSTA
  • THIAGO BOMFIM SAO LUIZ NUNES
  • Data: 31 août 2018


  • Afficher le Résumé
  • In this work, we conduct an introductory study on the theory of evolution processes (autonomous or not), exploring the asymptotic of processes which amit a structure of atraction, on the proper sense of each context. Furthermore, we investigate the existence of a Lyapunov function associated to a dinamically gradient processes, establishing, under certain conditions, the equivalence between these and gradient processes. For these purpose, Morse Theory becomes a fundamental tool. As a consequence of this result, we obtain the stability of gradient processes under pertubation.

3
  • CRÍSIA RAMOS DE OLIVEIRA
  • ISOPARAMETRIC SUBVARITIES OF THE HYPERBOLIC SPACE

  • Leader : JAIME LEONARDO ORJUELA CHAMORRO
  • MEMBRES DE LA BANQUE :
  • DIEGO CATALANO FERRAIOLI
  • ELIANE DA SILVA DOS SANTOS
  • JAIME LEONARDO ORJUELA CHAMORRO
  • Data: 27 sept. 2018


  • Afficher le Résumé

  • The goal of this work is to present an introduction to the study of isoparametric submanifolds of the hyperbolic space. To this end, give an introduction to the theory of isometric immersions between semi-Riemannian manifolds, and deduce the fundamental equations of first and second order. In addition, we study basic notions of the geometry of isoparametric submanifolds in Lorentz space like the curvature normals, parallel and focal manifolds, and Weyl group. Finally theorem about decomposition of isoparametric submanifolds of hyperbolic space by adapting the in point of view of [12] (where the 1-forms language is used) to the language of tangent and normal sections.

4
  • GABRIEL AQUINO BARRETO
  • On the Category of Deductive Systems

  • Leader : CIRO RUSSO
  • MEMBRES DE LA BANQUE :
  • CIRO RUSSO
  • DARLLAN CONCEICAO PINTO
  • HUGO LUIZ MARIANO
  • Data: 28 sept. 2018


  • Afficher le Résumé
  • This dissertation is an investigation into the theory of deductive systems and their interpretations following the quantale-theoretical approach of C. Russo, which is based on the theory developed by N. Galatos and C. Tsinakis. Our aim is to provide an abstract algebraic framework and propose a category which are able to describe and characterize interpretations and equivalences among propositional deductive systems over arbitrary languages.

2005
Thèses
1
  • ELLA RODRIGUES DE ARAUJO

  • Differential Forms in Lie Groups and the Mobile Referential Method.

  • Leader : MARCO ANTONIO NOGUEIRA FERNANDES
  • MEMBRES DE LA BANQUE :
  • MARCO ANTONIO NOGUEIRA FERNANDES
  • ISAAC COSTA LAZARO
  • PEDRO ANTONIO HINAJARA VERA
  • Data: 8 avr. 2005


  • Afficher le Résumé
  • The main objective of this work is to present the Mobile Referential Method, which consists of choosing a reference that moves with the observer along a "trajectory". That is, for each point of a variety M, it is possible to define an appropriate orthonormal referential, that allows to define differential forms invariant wij in M, that is, forms that do not change with the action of a group of LIE G. These forms differentials will allow to decide when two submanifolds of M are locally isometric, that is, differ only locally, by a transformation of G.

SIGAA | STI/SUPAC - - | Copyright © 2006-2024 - UFBA