Made available in DSpace on 2016-04-01T17:54:36Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-08-21. Added 1 bitstream(s) on 2016-04-01T18:00:15Z : No. of bitstreams: 1 000859943.pdf: 1070364 bytes, checksum: 04d8c74205b7c2df31f68a75600abada (MD5) / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Técnicas de aprendizado de máquina, usualmente, objetivam aprender alguma superfície que separe amostras de classes diferentes por meio de sua representação vetorial. Entretanto, existem muitas aplicações que podem, eventualmente, perder informações essenciais e inerentes da estrutura dos dados em tal representação e, com o crescimento de base de dados com alta dimensionalidade, essas informações se tornam cada vez mais importantes. Os espaços de representação de dados com curvatura, baseados em trabalhos na area da Matemática e Física, têm despertado interesse por parte da comunidade de aprendizado de máquina com o intuito de resolver tal situação. Esses espaços de representação são baseados em tensores, os quais mantém a estrutura original dos dados, bem como permitem a utilização de variedades em superfícies com curvatura não nula. Esta dissertação de mestrado apresenta uma revisão bibliográfica sobre abordagens de aprendizado de máquina baseadas em tensores, bem como um referencial teórico sobre algebra multilinear. Também e apresentado um estudo da aplicabilidade do classificador Floresta de Caminhos Otimos, do inglês Optimum-Path Forest - OPF, em espaços tensoriais através da técnica Análise de Componentes Principais Multilineares, bem como a comparação dos resultados obtidos com outras técnicas conhecidas na literatura em contexto de reconhecimento em fotos e vídeos. Também foi demonstrado que o OPF pode obter maior acurácia em algumas situações quando se trabalha com características no espaço tensorial / Machine learning techniques usually learn some decision surface that separates samples from di erent classes by means of their vectorial representation. However, there exist many applications that might lose important information that are strongly related to the data itself. Additionally, such information has gained importance with the popularity of high-dimensional datasets. As such, works based on Mathematics and Physics, where curvature-based space representations have been used in several application, have gained attention by the machine learning community. Such representations are based on tensors, which keep the original structure of the data, as well as they allow us to use manifolds in curvature-based spaces. This master's dissertation presents a review of the literature with respect to tensor-based machine learning techniques, as well as a brief review about multilinear algebra. We also evaluate the performance of the Optimum-Path Forest classi er (OPF) in tensor-oriented spaces by means of the Multilinear Principal Component Analysis, as well as its comparison against with other related techniques is also performed. It is shown OPF can bene t from such feature space representation in some situations

Made available in DSpace on 2015-07-13T12:10:08Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-02-13. Added 1 bitstream(s) on 2015-07-13T12:25:43Z : No. of bitstreams: 1 000832525.pdf: 2129764 bytes, checksum: d2af9e6ba5e35d31cc21884b21d7aa31 (MD5) / Esta dissertação tem como objetivo desenvolver uma ferramenta paramétrica em linguagem de programação de software ANSYS (linguagem APDL) para se calcular a estrutura de um pórtico rolante de vigas centrais e reduzir o tempo gasto em horas de cálculo. Neste trabalho primeiro são apresentados os principais tipos de equipamentos bem como os próprios pórticos rolantes e para estes últimos descreve quais são seus tipos e quais os componentes compõem sua estrutura Descreve sobre a parametrização em linguagem APDL, sobre as principais solicitações atuantes que devem ser levadas em consideração durante o dimensionamento da estrutura, de acordo com as especificações da norma NBR8400. Apresenta como foi desenvolvida a ferramenta, quais são suas interfaces com o operador e qual o esquema de operação da mesma. Ao final relata sobre o ganho na economia de tempo ao se utilizar o programa e analisa os resultados, de tensão e deslocamento, obtidos com a simulação de um modelo gerado / This dissertation aims to develop a parametric tool in ANSYS software programming language (APDL language) to calculate the structure of a gantry crane of central beams and reduce the time spent in hours of calculation. This paper first presents the main types of equipment as well as the own gantry cranes, and for this latter describes what are their types and what components make up its structure. Describes about the parameterization in APDL language, about the main solicitations that should be taken into consideration during the dimensioning of the structure, according to the specifications of the standard NBR8400. Present show it was developed the tool, what are their interfaces with the operator and how it works. At the end relates about gaining in saving time when using the program and analyzes the results, of tension and displacement, obtained with the simulation of a generated model

Submitted by Erika Demachki (erikademachki@gmail.com) on 2015-05-18T18:27:17Z No. of bitstreams: 2 Dissertação - Jefferson dos Santos e Silva - 2015.pdf: 741852 bytes, checksum: 8cb431ec9a186100784d60268a133fcf (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Erika Demachki (erikademachki@gmail.com) on 2015-05-18T18:28:34Z (GMT) No. of bitstreams: 2 Dissertação - Jefferson dos Santos e Silva - 2015.pdf: 741852 bytes, checksum: 8cb431ec9a186100784d60268a133fcf (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-05-18T18:28:34Z (GMT). No. of bitstreams: 2 Dissertação - Jefferson dos Santos e Silva - 2015.pdf: 741852 bytes, checksum: 8cb431ec9a186100784d60268a133fcf (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2015-03-19 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / In this work, based on [9], describes an effective method for computing a consistent polycyclic presentation for the nonanbeian tensor square G G of a group G given by a consistent polycyclic presentation. / Este trabalho, baseado em [9], determina um efetivo método para calcular uma apresentação policíclica consistente para o quadrado tensorial não abeliano G G de um grupo G dado por uma apresentação policíclica consistente.

Orientador: Diego Sebastian Ledesma / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-26T22:36:25Z (GMT). No. of bitstreams: 1 Paula_PedroManfrimMagalhaesde_M.pdf: 1130226 bytes, checksum: bbd8d375ddf7846ed2eafe024103e682 (MD5) Previous issue date: 2015 / Resumo: Este trabalho apresenta um estudo sobre variedades Riemannianas que possuem um tensor de Bakry-Émery-Ricci com limitações. Inicialmente abordamos tanto aspectos da geometria Riemanniana tradicional como métricas e geodésicas, quanto aspectos mais avançados como as fórmulas de Bochner, Weitzenböck e o teorema de Hodge. Em seguida discutimos a convergência de Gromov-Hausdorff e suas propriedades, além de serem apresentados alguns teoremas como os de Kasue e Fukaya. Por fim estudamos as propriedades topológicas e geométricas de variedades com limitação no tensor de Bakry-Émery-Ricci e o comportamento de tais limitações com respeito à submersões e à convergência de Gromov-Hausdorff / Abstract: This work presents a study about Riemannian manifolds having a Bakry-Émery-Ricci tensor with bounds. Initially we approached both the traditional aspects of Riemannian geometry like metrics and geodesics, as more advanced aspects like the Bochner, Weitzenböck formulas and the Hodge's theorem. Then we discussed the Gromov-Hausdorff convergence and its properties, in addition to showing some theorems as those from Kasue and Fukaya. Lastly we studied the topological and geometric properties of manifolds with bounds on the Bakry-Émery-Ricci tensor and the behavior of these bounds with respect to submersions and the Gromov-Hausdorff convergence / Mestrado / Matematica / Mestre em Matemática

[pt] Um operador definido em um espaço de Hilbert é uniformemente estável se ele converge na topologia da norma para o operador nulo. O problema de Estabilidade Multiplicativa investiga quais são as classes de operadores que estabilizam uniformemente o operador original por uma perturbação multiplicativa. Neste trabalho colocamos este problema no contexto de produto tensorial e investigamos quais as classes que estabilizam multiplicativamente Contrações Fortemente Estáveis sob uma perturbação compacta. Em particular, apresentamos uma solução para o Problema de Estabilidade Multiplicativa para Contrações Fortemente Estáveis. / [en] An operator on a Hilbert space is uniformly stable if it converges to the null operator on the norm topology. The Multiplicative Stabilization Problem investigates which operators classes uniformly stabilize de original operator under multiplicative perturbation. This work consider the previous problem under the tensor product framework and investigates which operators classes multiplicative stabilize Strongly Stable Contraction under compact perturbations. We have established a solution to the Multiplicative Stabilization Problem for Strongly Stable Contractions.

Made available in DSpace on 2015-04-14T14:49:59Z (GMT). No. of bitstreams: 1 447661.pdf: 550622 bytes, checksum: 5a831618aedabce5554e131c45fcd8d9 (MD5) Previous issue date: 2012-03-22 / This work presents a formalism for modeling systems called Stochastic Automata Networks (SAN), SAN formalism aims to increase the abstraction s level and provides a sophisticated alternative model to the tadicional formalism of Markov Chains (MC). SAN uses both Classical (CTA) and Generalized Tensor Algebra (GTA) to simplify the matrix of transitions between states of the model. Despite all models described with GTA having at least one equivalent model described using CTA, and that the solution of certain models based on CTA could be faster than the equivalent GTA based model, this dissertation proposes an algorithm for translating a model described in GTA into the equivalent model described in CTA. It is expected that some models described using functions (using GTA) could be solved more quickly or taking less memory through the solution of its CTA-converted model / Este trabalho apresenta o formalismo para modelagem de sistemas chamado Redes de Aut?matos Estoc?sticos (SAN). O formalismo SAN tem o objetivo de aumentar o n?vel de abstra??o e oferece uma alternativa de modelagem mais sofisticada do que a proporcionada pelas tradicionais Cadeias de Markov (MC). Este formalismo utiliza a ?lgebra tensorial cl?ssica (CTA) e geralizada (GTA) para simplificar a matriz das transi??es entre os estados do modelo. Embora todos os modelos SAN descritos utilizando GTA possuam pelo menos um modelo equivalente descrito utilizando CTA, e que a solu??o de certos modelos utilizando CTA possa ser mais r?pido que o modelo equivalente que utiliza GTA, este trabalho prop?e um algoritmo para traduzir um modelo descrito em GTA para o modelo equivalente descrito em CTA. Espera-se com isto permitir que um modelo descrito utilizando fun??es (usando GTA) possa ser resolvido mais rapidamente ou ocupando menos mem?ria atrav?s da solu??o de seu modelo convertido para CTA

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-22T13:41:27Z No. of bitstreams: 1 SUENE FERREIRA CAMPOS - DISSERTAÇÃO PPGMAT 2008..pdf: 741113 bytes, checksum: 7fc13ffd22412553f540977137401f24 (MD5) / Made available in DSpace on 2018-07-22T13:41:27Z (GMT). No. of bitstreams: 1 SUENE FERREIRA CAMPOS - DISSERTAÇÃO PPGMAT 2008..pdf: 741113 bytes, checksum: 7fc13ffd22412553f540977137401f24 (MD5) Previous issue date: 2008-12 / Neste trabalho apresentamos um estudo sobre o comportamento das identidades polinomiais dos produtos tensoriais de álgebras T-primas sobre corpos infinitos com diferentes características. Mais precisamente, apresentamos o Teorema sobre Produto Tensorial (TPT), descrito por Kemer para corpos de característica zero, e verificamos a sua validade sobre corpos infinitos com característica positiva. Incialmente, a partir de resultados apresentados por Azevedo e Koshlukov, estudamos os T-ideais das álgebras M1,1(G) eG⊗G, para corpos infinitos com característica zero e característicap > 2. Aqui, G = G0⊕G1 é a álgebra de Grassmann de dimensão infinita eM1,1(G) é a subálgebra de M2(G) que consiste das matrizes de ordem 2 que têm na diagonal principal entradas emG0 e na diagonal secundária entradas emG1. Em seguida, utilizando métodos introduzidos por Regev e desenvolvidos por Azevedo, Fidélis e Koshlukov, verificamos a validade do TPT para corpos de característica positiva, quando o mesmo é restrito a polinômios multilineares. Finalmente, apresentamos alguns resultados obtidos por Alves, Azevedo, Fidélis e Koshlukov, que comprovam que o TPT é falso quando o corpo base é infinito e tem característicap>2. / In this work we present a study about the behavior of polynomial identities of tensor products of T-prime T-ideals over infinite fields of different characteristics. More precisely, we present the Tensor Product Theorem (TPT), described by Kemer for fields of characteristic zero, and verify its validity over infinite fields with positive characteristic. First, based on results of Azevedo and Koshlukov, we study the Tideals of the algebrasM1,1(G) eG⊗G, for infinite fields of characteristic zero and characteristicp>2. Here,G=G0 ⊕G1 is the Grassmann algebra of infinite dimension andM1,1(G) is the subalgebras ofM2(G) consisting of matrices of order2 which main diagonal entries are inG0 and the secondary diagonal entries are inG1. Second, using methods introduced by Regev and developed by Azevedo, Fidélis and Koshlukov, we verify the validity of the TPT for fields of positive characteristic, when it is restricted to multilinear polynomials. Finally, we present some results of Alves, Azevedo, Fidelis and Koshlukov, which show that the TPT is false when the basis field is infinite and has characteristicp>2.

Submitted by Izabel Franco (izabel-franco@ufscar.br) on 2016-09-23T19:38:10Z No. of bitstreams: 1 DissGCIF.pdf: 1709329 bytes, checksum: 237db6a30fde160e22a9171ebb48cdb8 (MD5) / Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-09-26T20:45:16Z (GMT) No. of bitstreams: 1 DissGCIF.pdf: 1709329 bytes, checksum: 237db6a30fde160e22a9171ebb48cdb8 (MD5) / Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-09-26T20:45:22Z (GMT) No. of bitstreams: 1 DissGCIF.pdf: 1709329 bytes, checksum: 237db6a30fde160e22a9171ebb48cdb8 (MD5) / Made available in DSpace on 2016-09-26T20:45:29Z (GMT). No. of bitstreams: 1 DissGCIF.pdf: 1709329 bytes, checksum: 237db6a30fde160e22a9171ebb48cdb8 (MD5) Previous issue date: 2015-04-22 / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / The nonabelian tensor square GG of a group G was introduced by R. K. Dennis [8] in a search for new homology functors having a close relationship to K-theory and it is based on the work of C. Miller [14]. Subsequently R. Brown and J.-L. Loday [6] discovered a topological significance for the tensor square, namely, that the third homotopy group of the suspension of an Eilenberg MacLane space K(G; 1) satisfies _3 �����SK(G; 1) _ _= ker(_1), where _1 : GG ! G is the “comutator homomorphism”: _1(gh) = [g; h] = ghg�����1h�����1, 8g; h 2 G. They also defined the tensor product GH of two distinct groups acting “compatibly” on each other and showed that it arose in a certain “universal crossed square”. The main purpose of this work is to present the first properties of the nonabelian tensor product of groups and its applications in homotopy theory. / O quadrado tensorial não-abeliano GG de um grupo G foi introduzido por R. K. Dennis [8] em uma busca por novos funtores de homologia tendo uma íntima relação com a K-teoria e é baseado no trabalho de C. Miller [14]. Após isso, R. Brown e J.-L. Loday [6] descobriram uma importância topológica para o quadrado tensorial, a saber, que o terceiro grupo de homotopia da suspensão de um espaço de Eilenberg MacLane K(G; 1) satisfaz _3 SK(G; 1) __= ker(_1), em que _1 : G G ! G é o “homomorfismo comutador”: _1(gh) = [g; h] = ghg1h1, 8g; h 2 G. Os autores também definiram o produto tensorial GH de dois grupos quaisquer agindo “compativelmente” um no outro e mostraram que este aparece em um certo “quadrado cruzado universal”. O objetivo desse trabalho é apresentar o produto tensorial de grupos não-abelianos, suas primeiras propriedades e a aplicação dele na teoria de homotopia. / Processo 2013/01245-7

The present thesis can be divided in three parts: 1) Quantum gate teleportation; 2) Numerical search of universal entanglers; 3) Connections between quantum information and number theory. Regarding the quantum gate teleportation, a separability criterion of normal matrices is used to find the analytical conditions of the preservation of separability under conjugation. That analytical condition allowed to find the general formula of an element of $mathbb{C}^{4}$ Clifford group, as well to understand the role of the basis of measurement in the quantum gate teleportation protocol. Considering the searching for universal entanglers, the same separability criterion of normal matrices was used as fitness function in a computational heuristics, in prder to find good candidates for universal entanglers in $mathbb{C}^{3} otimes mathbb{C}^{4}$ and $mathbb{C}^{4} otimes mathbb{C}^{4}$ Hilbert spaces. At last, in the connection of quantum information with the number theory, it is presented the study of the preparation and entanglement of several multi-qubit quantum states based in integer sequences, and the Riemannian quantum circuit, a quantum circuit whose eigenvalues are related to the zeros of the Riemann zeta function. The existence of such circuit proves that is always possible to construct a physical system related to a finite amount of zeros. / A presente tese està dividida em trÃs partes: 1) TeleportaÃÃo de portas quÃnticas; 2) Busca numÃrica por entrelaÃadores universais; 3) ConexÃes entre a informaÃÃo quÃntica e a teoria dos nÃmeros. No que diz a teleportaÃÃo de portas quÃnticas, um critÃrio de separabilidade para matrizes normais à usada para encontrar as condiÃÃes analÃticas da preservaÃÃo da separabilidade sob conjugaÃÃo. Tais condiÃÃes analÃticas permitiram encontrar a forma geral de um elemento do grupo de Clifford em $mathbb{C}^{4}$, assim como tambÃm entender o papel da base de mediÃÃo no protocolo de teleportaÃÃo de portas quÃnticas. Considerando a busca por entrelaÃadores universais, o mesmo critÃrio de separabilidade de matrizes normais foi utilizado como funÃÃo de aptidÃo em uma heurÃstica computacional aplicada para encontrar bons candidatos a entrelaÃadores universais nos espaÃos de Hilbert de dimensÃes $mathbb{C}^{3} otimes mathbb{C}^{4}$ e $mathbb{C}^{4} otimes mathbb{C}^{4}$. Por fim, sobre as conexÃes da informaÃÃo quÃntica com a teoria dos nÃmeros, à apresentado um estudo da preparaÃÃo e entrelaÃamento de vÃrios estados quÃnticos de mÃltiplos qubits baseados em sequÃncias de nÃmeros inteiros. Apresenta-se ainda o circuito quÃntico Riemanniano, um circuito quÃntico cujos autovalores sÃo relacionados aos zeros da funÃÃo Zeta de Riemann. A existÃncia deste circuito prova que à sempre possÃvel construir um sistema fÃsico relacionado a uma quantidade finita de zeros.

Submitted by João Arthur Martins (joao.arthur@ufpe.br) on 2015-03-11T18:17:21Z No. of bitstreams: 2 Dissertaçao Lailson de Moraes.pdf: 4634910 bytes, checksum: cbec580f8cbc24cb3feb2379a1d2dfbd (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Approved for entry into archive by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-13T13:02:06Z (GMT) No. of bitstreams: 2 Dissertaçao Lailson de Moraes.pdf: 4634910 bytes, checksum: cbec580f8cbc24cb3feb2379a1d2dfbd (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-13T13:02:06Z (GMT). No. of bitstreams: 2 Dissertaçao Lailson de Moraes.pdf: 4634910 bytes, checksum: cbec580f8cbc24cb3feb2379a1d2dfbd (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2013-08-19 / An important pre-processing step in machine learning systems is dimensionality reduction, which aims to produce compact representations of high-dimensional patterns. In computer vision applications, these patterns are typically images, that are represented by two-dimensional matrices. However, traditional dimensionality reduction techniques were designed to work only with vectors, what makes them a suboptimal choice for processing two-dimensional data. Another problem with traditional approaches for dimensionality reduction is that they operate either on a fully unsupervised or fully supervised way, what limits their efficiency in scenarios where supervised information is available only for a subset of the data. These situations are increasingly common because in many modern applications it is easy to produce raw data, but it is usually difficult to label it. In this study, we propose three dimensionality reduction methods that can overcome these limitations: Two-dimensional Semi-supervised Dimensionality Reduction (2D-SSDR), Two-dimensional Discriminant Principal Component Analysis (2D-DPCA), and Two-dimensional Semi-supervised Local Fisher Discriminant Analysis (2D-SELF). They work directly with two-dimensional data and can also take advantage of supervised information even if it is available only for a small part of the dataset. In addition, a fully supervised method, the Two-dimensional Local Fisher Discriminant Analysis (2D-LFDA), is proposed too. The methods are defined in terms of a two-dimensional framework, which was created in this study as well. The framework is capable of generally describing scatter-based methods for dimensionality reduction and can be used for deriving other two-dimensional methods in the future. Experimental results showed that, as expected, the novel methods are faster and more stable than the existing ones. Furthermore, 2D-SSDR, 2D-SELF, and 2D-LFDA achieved competitive classification accuracies most of the time when compared to the traditional methods. Therefore, these three techniques can be seen as viable alternatives to existing dimensionality reduction methods. / Um estágio importante de pré-processamento em sistemas de aprendizagem de máquina é a redução de dimensionalidade, que tem como objetivo produzir representações compactas de padrões de alta dimensionalidade. Em aplicações de visão computacional, estes padrões são tipicamente imagens, que são representadas por matrizes bi-dimensionais. Entretanto, técnicas tradicionais para redução de dimensionalidade foram projetadas para lidar apenas com vetores, o que as torna opções inadequadas para processar dados bi-dimensionais. Outro problema com as abordagens tradicionais para redução de dimensionalidade é que elas operam apenas de forma totalmente não-supervisionada ou totalmente supervisionada, o que limita sua eficiência em cenários onde dados supervisionados estão disponíveis apenas para um subconjunto das amostras. Estas situações são cada vez mais comuns por que em várias aplicações modernas é fácil produzir dados brutos, mas é geralmente difícil rotulá-los. Neste estudo, propomos três métodos para redução de dimensionalidade capazes de contornar estas limitações: Two-dimensional Semi-supervised Dimensionality Reduction (2DSSDR), Two-dimensional Discriminant Principal Component Analysis (2D-DPCA), e Twodimensional Semi-supervised Local Fisher Discriminant Analysis (2D-SELF). Eles operam diretamente com dados bi-dimensionais e também podem explorar informação supervisionada, mesmo que ela esteja disponível apenas para uma pequena parte das amostras. Adicionalmente, um método completamente supervisionado, o Two-dimensional Local Fisher Discriminant Analysis (2D-LFDA) é proposto também. Os métodos são definidos nos termos de um framework bi-dimensional, que foi igualmente criado neste estudo. O framework é capaz de descrever métodos para redução de dimensionalidade baseados em dispersão de forma geral e pode ser usado para derivar outras técnicas bi-dimensionais no futuro. Resultados experimentais mostraram que, como esperado, os novos métodos são mais rápidos e estáveis que as técnicas existentes. Além disto, 2D-SSDR, 2D-SELF, e 2D-LFDA obtiveram taxas de erro competitivas na maior parte das vezes quando comparadas aos métodos tradicionais. Desta forma, estas três técnicas podem ser vistas como alternativas viáveis aos métodos existentes para redução de dimensionalidade.