The goal of this thesis is the development of a fast and robust algorithm that is able to detect patterns in flow fields independent from their orientation and adequately visualize the results for a human user. This thesis is an interdisciplinary work in the field of vector field visualization and the field of pattern recognition. A vector field can be best imagined as an area or a volume containing a lot of arrows. The direction of the arrow describes the direction of a flow or force at the point where it starts and the length its velocity or strength. This builds a bridge to vector field visualization, because drawing these arrows is one of the fundamental techniques to illustrate a vector field. The main challenge of vector field visualization is to decide which of them should be drawn. If you do not draw enough arrows, you may miss the feature you are interested in. If you draw too many arrows, your image will be black all over. We assume that the user is interested in a certain feature of the vector field: a certain pattern. To prevent clutter and occlusion of the interesting parts, we first look for this pattern and then apply a visualization that emphasizes its occurrences. In general, the user wants to find all instances of the interesting pattern, no matter if they are smaller or bigger, weaker or stronger or oriented in some other direction than his reference input pattern. But looking for all these transformed versions would take far too long. That is why, we look for an algorithm that detects the occurrences of the pattern independent from these transformations. In the second part of this thesis, we work with moment invariants. Moments are the projections of a function to a function space basis. In order to compare the functions, it is sufficient to compare their moments. Normalization is the act of transforming a function into a predefined standard position. Moment invariants are characteristic numbers like fingerprints that are constructed from moments and do not change under certain transformations. They can be produced by normalization, because if all the functions are in one standard position, their prior position has no influence on their normalized moments. With this technique, we were able to solve the pattern detection task for 2D and 3D flow fields by mathematically proving the invariance of the moments with respect to translation, rotation, and scaling. In practical applications, this invariance is disturbed by the discretization. We applied our method to several analytic and real world data sets and showed that it works on discrete fields in a robust way.

In the area of steering behaviours of autonomous agents and crowd simulations, there is a plethora of methods for executing the simulations. A very hard-to-achieve goal of crowd simulations is to make them seem natural and accurately reflect real-life crowds. A very important criterion for this goal is to have the agents avoid collisions, both with each other and with the environment. A less important, but important nonetheless, criterion is to not let the time taken or distance covered to reach the goal in the simulation be too high, compared with when not implementing collision avoidance. This paper proposes and explores a novel method of enhancing vector field-based steering with rule-based deviations to implement collision avoidance. This method is called ’DevVec’ (’Deviation + Vector Field steering’). The rules which are used for the deviations are extracted from a user survey, and they describe what the agent should do in different collision avoidance scenarios. The viability of DevVec is tested by comparing it with another already established method, called ’Gradient-based Steering’, in terms of fulfilling the criteria mentioned above. Both methods are used to simulate pedestrians moving throughout different scenes. The results suggest that DevVec has potential, but would require additional time and resources, and perhaps a few changes in future works to be presented in its best possible version. / Inom ämnesområdet för styrbeteenden hos autonoma agenter och simuleringar av folkmassor finns det många metoder för att framställa dessa simuleringar. Ett väldigt svåruppnåeligt mål för denna typ av simuleringar är få dem att verka naturliga och verklighetstrogna. Ett viktigt kriterie för detta mål är att få agenterna att undvika kollisioner, både med varandra och med den kringliggande omgivningen. Ett mindre viktigt, men viktigt oavsett, kriterie är att inte låta en agent ta för lång tid eller gå för långt för att nå sitt mål i simuleringen, i jämförelse med när de inte försöka undvika hinder. Denna studie presenterar och utforskar en ny metod som utökar en vektorfältsbaserat styralgoritm med regelbaserade avvikelser för att ta hänsyn till att undvika kollisioner. Denna nya metod kallas för ’DevVec’ (’Deviation + Vector Field steering’). Reglerna som används för avvikelserna är framtagna från en enkät, och de beskriver vad en agent borde göra vid olika kollision-scenarion. Användbarheten av DevVec prövas genom att jämföra den med en redan etablerad metod som kallas för ’Gradientbaserad styrning’, med avseende på de ovan nämnda kriterierna. Båda metoderna används för att simulera fotgängare i olika omgivningar. Resultaten antyder att DevVec har potential, men att det krävs ytterligare tid och resurser, och troligtvis några ändringar i framtiden för att framställa den bästa möjliga versionen.

The first aim of this PhD Thesis is devoted to the study of geodesic distances defined on a subdomain of a Carnot group, which are bounded both from above and from below by fixed multiples of the Carnot–Carathéodory distance. Then one shows that the uniform convergence, on compact sets, of these distances can be equivalently characterized in terms of Gamma-convergence of several kinds of variational problems. Moreover, it investigates the relation between the class of intrinsic distances, their metric derivatives and the sub-Finsler convex metrics defined on the horizontal bundle. The second purpose is to obtain the integral representation of some classes of local functionals, depending on a family of vector fields, that satisfy a weak structure assumption. These functionals are defined on degenerate Sobolev spaces and they are assumed to be not translations-invariant. Then one proves some Gamma-compactness results with respect to both the strong topology of L^p and the strong topology of degenerate Sobolev spaces.

[pt] Arnold no seu trabalho The asymptotic Hopf Invariant and its applications de 1986, considerou sobre um domínio (ômega maiúsculo) compacto de R3 com bordo suave e homología trivial campos X e Y de divergência nula e tangentes ao bordo de (ômega maiúsculo) e definiu o índice de enlaçamento assintótico lk(X; Y ) e o invariante de Hopf associados a X e Y pela integral I(X; Y ) igual a (integral em ômega maiúsculo de alfa produto d-beta), onde (d-alfa) igual a iX-vol e (d-beta) igual a iy-vol, e mostrou que I(X; Y ) igual a lk(X; Y ). Agora, no presente trabalho estenderemos estas definições de índices de enlaçamento assintótico lk(fi maiúsculo,xi maiúsculo) e de invariante de Hopf I(fi maiúsculo,xi maiúsculo), onde (fi maiúsculo) e (xi maiúsculo) são ações de Rk e de Rs, k mais s igual a n-1, respectivamente de difeomorfismos que preservam volume em (ômega maiúsculo n) a bola unitária fechada em Rn e mostraremos que lk (fi maiúsculo, xi maiúsculo) igual a I(fi maiúsculo,xi maiúsculo). / [en] V.I. Arnold, in his paper The algebraic Hopf invariant and its applications published in 1986, considered a compact domain (ômega maiúsculo) in R3 with a smooth boundary and trivial homology and two divergence free vector fields X and Y in (ômega maiúsculo) tangent to the boundary. He defined an asymptotic linking invariant lk(X; Y ) and a Hopf invariant associated to X and Y by the integral I(X; Y ) equal (integral em ômega maiúsculo de alfa produto d-beta) where (d-alfa) equal iX-vol e (d-beta) equal iy- vol. He showed that que I(X; Y ) equal lk(X; Y ). In the present work we extend these definitions of the asymptotic linking invariant lk(fi capital letter,xi capital letter) and the Hopf invariant I(fi maiúsculo,xi capital letter) where (fi capital letter) and (xi capital letter) are actions Rk and Rs, k plus s equal n-1 by volume preserving diffeomorphisms, on the closed unit ball (ômega capital letter n) in and we show lk (fi capital letter, xi capital lette r equal I(ficapital letter ,xi capital letter).

Submitted by Franciele Moreira (francielemoreyra@gmail.com) on 2018-03-28T11:58:56Z No. of bitstreams: 2 Dissertação - Jeferson Arley Poveda Contreras - 2018.pdf: 763599 bytes, checksum: 6800571168e0aa9de85d151e4c912725 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-03-29T11:29:24Z (GMT) No. of bitstreams: 2 Dissertação - Jeferson Arley Poveda Contreras - 2018.pdf: 763599 bytes, checksum: 6800571168e0aa9de85d151e4c912725 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-03-29T11:29:24Z (GMT). No. of bitstreams: 2 Dissertação - Jeferson Arley Poveda Contreras - 2018.pdf: 763599 bytes, checksum: 6800571168e0aa9de85d151e4c912725 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-03-07 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / The goal of this work is study limit cycles of piecewise smooth vector fields. First, we present the basic theory, passing through the areas of analysis, qualitative theory of differential equations and algebra. We also present basic concepts of Filippov fields, which are indispensable for the study of piecewise smooth fields. In chapter one, was the main topic, a general method for finding limit cycles will be described; in the second chapter limit cycles are found in a piecewise smooth vector field with non-degenerate center being perturbed by a piecewise polynomial vector field. In the fourth chapter, we study limit cycles in piecewise smooth Hamiltonian fields. / O objetivo deste trabalho é estudar ciclos limite de campos de vetores suaves por parte. Primeiro apresentaremos a teoria básica, passando pelas áreas de análise, teoria qualitativa das equações diferenciais e álgebra. Apresentamos também conceitos básicos de campos de Filippov, os quais são imprescindíveis para o estudo dos campos suaves por partes. No capítulo dos, como tópico principal, será descrito um método geral para encontrar ciclos limite; no segundo três são encontrados ciclos limites em um campo de vetores suave por partes com um centro não degenerado sendo perturbado por um polinômio. No quarto capitulo estudaremos os ciclos limites de campos de vetores Hamiltonianos por parte.

Made available in DSpace on 2014-06-11T19:26:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-03-12Bitstream added on 2014-06-13T19:06:40Z : No. of bitstreams: 1 cardin_pt_me_sjrp.pdf: 780321 bytes, checksum: 2c76fcd2cf98ce623cf8bc779edb3379 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Nesta dissertação estudamos critérios para determinar a existência, a não existência e a unicidade de ciclos limites de campos de vetores planares. Mais especificamente, estudamos equações de Lienard Äx + f(x; _ x) _ x + g(x) = 0; onde f e g satisfazem determinadas hip¶oteses. Em particular estudamos a equa»c~ao de van der Pol Äx + (x2 ¡ 1) _ x + x = 0; a qual é conhecida da teoria dos circuitos elétricos. Provamos a existência e a unicidade de ciclos limites para estas equações. Por fim estudamos a equação de van der Pol com o parâmetro 1 e o fenômeno canard que ocorre ao considerarmos um parâmetro adicional ®: As técnicas utilizadas s~ao as usuais de Análise Assintótica. / In this work we study the existence, the non existence and the uniqueness of limit cycles of planar vector felds. More specifically, we study Lienard equations Äx+f(x; _ x) _ x+g(x) = 0; where f and g satisfy some hypothesis. In particular we study the van der Pol equation Äx + (x2 ¡ 1) _ x + x = 0; which is knew of the circuit theory. We prove the existence and the uniqueness of limit cycles for these equations. In the last part we study the van der Pol equation with the parameter 1 and the canard phenomenon which appears when we consider an additional parameter ®: The techniques employed are the usual in the Asymptotic Analysis.

This dissertation deals with customised image analysis tools in cancer research. In the field of biomedical sciences, mathematical imaging has become crucial in order to account for advancements in technical equipment and data storage by sound mathematical methods that can process and analyse imaging data in an automated way. This thesis contributes to the development of such mathematically sound imaging models in four ways: (i) automated cell segmentation and tracking. In cancer drug development, time-lapse light microscopy experiments are conducted for performance validation. The aim is to monitor behaviour of cells in cultures that have previously been treated with chemotherapy drugs, since atypical duration and outcome of mitosis, the process of cell division, can be an indicator of successfully working drugs. As an imaging modality we focus on phase contrast microscopy, hence avoiding phototoxicity and influence on cell behaviour. As a drawback, the common halo- and shade-off effect impede image analysis. We present a novel workflow uniting both automated mitotic cell detection with the Hough transform and subsequent cell tracking by a tailor-made level-set method in order to obtain statistics on length of mitosis and cell fates. The proposed image analysis pipeline is deployed in a MATLAB software package called MitosisAnalyser. For the detection of mitotic cells we use the circular Hough transform. This concept is investigated further in the framework of image regularisation in the general context of imaging inverse problems, in which circular objects should be enhanced, (ii) exploiting sparsity of first-order derivatives in combination with the linear circular Hough transform operation. Furthermore, (iii) we present a new unified higher-order derivative-type regularisation functional enforcing sparsity of a vector field related to an image to be reconstructed using curl, divergence and shear operators. The model is able to interpolate between well-known regularisers such as total generalised variation and infimal convolution total variation. Finally, (iv) we demonstrate how we can learn sparsity promoting parametrised regularisers via quotient minimisation, which can be motivated by generalised Eigenproblems. Learning approaches have recently become very popular in the field of inverse problems. However, the majority aims at fitting models to favourable training data, whereas we incorporate knowledge about both fit and misfit data. We present results resembling behaviour of well-established derivative-based sparse regularisers, introduce novel families of non-derivative-based regularisers and extend this framework to classification problems.

Submitted by isabela.moljf@hotmail.com (isabela.moljf@hotmail.com) on 2016-08-15T14:53:56Z No. of bitstreams: 1 hugorolandojachohancco.pdf: 1087180 bytes, checksum: 30f544acc78e47c2892563f8ab257478 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-08-19T14:01:42Z (GMT) No. of bitstreams: 1 hugorolandojachohancco.pdf: 1087180 bytes, checksum: 30f544acc78e47c2892563f8ab257478 (MD5) / Made available in DSpace on 2016-08-19T14:01:42Z (GMT). No. of bitstreams: 1 hugorolandojachohancco.pdf: 1087180 bytes, checksum: 30f544acc78e47c2892563f8ab257478 (MD5) Previous issue date: 2016-07-18 / Consideramos os campos vetoriais C1 sobre uma variedade riemanniana compacta, sem bordo, de dimensão finita n, com n ≥3. Uma classe homoclínica de um campo vetorial é o fecho de conjunto de pontos homoclínicos transversais associados com uma órbita periódica hiperbólica. Neste trabalho, provamos que as classes homoclínicas para um conjunto residual de campos vetoriais C1 são conjuntos neutrais, mais ainda, a classe homoclínica é a intersecção dos fechos do conjunto estável e o conjunto instável. Como consequencia das propriedades do conjuntos neutrais, provamos as propriedades genéricas das classes homoclínicas. Assim, provamos que as classes homoclínicas de campos vetoriais C1-genérico X são conjuntos transitivos maximais, saturados e que dependem continuamente da órbita periódica. Também provamos que uma classe homoclínica de X não apresentam ciclos de X formados por classes homoclínicas de X. Além disso, uma classe homoclínica de X é isolado se, e somente se, é Ω-isolado. Mais ainda, é isolado, se a classe homoclínica é hiperbólica. Todas estas propriedades são bem conhecidos para campos vetoriais estruturalmente estáveis e Axioma A. / We consider the vector fields C1 on a compact Riemannian manifold, boundaryless of finite dimension n, with n ≥3. A homoclinic class of a vector field is the closure of the set transverse homoclinic point associated with a hyperbolic periodic orbit. In this work, we prove that the homoclinic classes for a residual set of vector fields C1, are neutral sets, moreover, the homoclinic class is the intersection of the closure the stable set and unstable set. As a consequence of the properties of the neutral sets, we prove the generic properties of homoclinic classes. Thus, we proved that in the homoclinic classes of generic C1 vector fields X are maximal transitive sets, saturated and depend continuously on the periodic orbit. We also proved that a homoclinic class X, does not exhibit cycles of X formed by homoclinic class of X. Furthermore, homoclinic class X is isolated if it only if it is Ω-isolated. But still, it is isolated, the homoclinic class is hyperbolic. All these properties are well known to structurally stable vector fields and Axiom A.

Cette thèse traite de la reconstruction d'hypersurfaces au sein de champs de normales en dimension quelconque et trouve des applications dans l’analyse des empreintes digitales (lignes dermiques), des images satellites météorologiques (lieux de turbulence) et astrophysiques (bras de galaxies) ainsi que dans l’analyse stratigraphique des images sismiques (horizons). Les méthodes développées s’appuient sur la minimisation d’une équation aux dérivées partielles non linéaire reliant une hypersurface au pendage déduit d’un champ de normales. Elles prennent en compte des contraintes diverses telles que des points de passages, des frontières, des bornes et des discontinuités. La contribution principale de la thèse réside dans l’introduction d’un changement d’espace du pendage qui permet de reconstruire aussi bien des hypersurfaces exprimées sous des formes implicites dans les repères de définition des champs de normales que des horizons sismiques de manière rapide et interactive. Deux schémas de reconstruction d’horizons sismiques unidimensionnels présentant une discontinuité d’amplitude et de lieu inconnus sont également proposés. / This thesis deals with the reconstruction of hypersurfaces from a finite-dimensional normal vector field. Application scopes can be found in the analysis of fingerprints (epidermal ridges), meteorological images (eddies and cyclones), astrophysical images (galaxy arms) and in the stratigraphic analysis of seismic images (horizons). The hypersurfaces are obtained by solving a non-linear partial derivative equation relied on the local dip deduced from a normal vector field. Several constraints such as boundaries, bounds, points belonging to the hypersurface or discontinuities can be considered.The major contribution of this thesis consists in a local dip transformation which allows to reconstruct implicit hypersurfaces as well as seismic horizons by a fast and interactive method. Two schemes dedicated to the reconstruction of discontinuous one-dimensional seismic horizons are also proposed when the discontinuity location and jump are unknown.

Quasi-hom-Lie algebras (qhl-algebras) were introduced by Larsson and Silvestrov (2004) as a generalisation of hom-Lie algebras, which are a deformation of Lie algebras. Lie algebras are defined by an operation called bracket, [·,·], and a three-term Jacobi identity. By the theorem from Hartwig, Larsson, and Silvestrov (2003), this bracket and the three-term Jacobi identity are deformed into a new bracket operation, <·,·>, and a six-term Jacobi identity, making it a quasi-hom-Lie algebra. Throughout this thesis we deform the Lie algebra sl2(F), where F is a field of characteristic 0. We examine the quasi-deformed relations and six-term Jacobi identities of the following polynomial algebras: F[t], F[t]/(t2), F[t]/(t3), F[t]/(t4), F[t]/(t5), F[t]/(tn), where n is a positive integer ≥2, and F[t]/((t-t0)3). Larsson and Silvestrov (2005) and Larsson, Sigurdsson, and Silvestrov (2008) have already examined some of these cases, which we repeat for the reader's convenience. We further investigate the following σ-twisted derivations, and how they act in the different cases of mentioned polynomial algebras: the ordinary differential operator, the shifted difference operator, the Jackson q-derivation operator, the continuous q-difference operator, the Eulerian operator, the divided difference operator, and the nilpotent imaginary derivative operator. We also introduce a new, general, σ-twisted derivation operator, which is σ(t) as a polynomial of degree k.