No description available.

The thesis proposes an unsupervised representation learning method to predict 3D human pose from a 2D skeleton via a VAEGAN (Variational Autoencoder Generative Adversarial Network) hybrid network. The method learns to lift poses from 2D to 3D using selfsupervision and adversarial learning techniques. The method does not use images, heatmaps, 3D pose annotations, paired/unpaired 2Dto3D skeletons, 3D priors, synthetic 2D skeletons, multiview or temporal information in any shape or form. The 2D skeleton input is taken by a VAE that encodes it in a latent space and then decodes that latent representation to a 3D pose. The 3D pose is then reprojected to 2D for a constrained, selfsupervised optimization using the input 2D pose. Parallelly, the 3D pose is also randomly rotated and reprojected to 2D to generate a ’novel’ 2D view for unconstrained adversarial optimization using a discriminator network. The combination of the optimizations of the original and the novel 2D views of the predicted 3D pose results in a ’realistic’ 3D pose generation. The thesis shows that the encoding and decoding process of the VAE addresses the major challenge of erroneous and incomplete skeletons from 2D detection networks as inputs and that the variance of the VAE can be altered to get various plausible 3D poses for a given 2D input. Additionally, the latent representation could be used for crossmodal training and many downstream applications. The results on Human3.6M datasets outperform previous unsupervised approaches with less model complexity while addressing more hurdles in scaling the task to the real world. / Uppsatsen föreslår en oövervakad metod för representationslärande för att förutsäga en 3Dpose från ett 2D skelett med hjälp av ett VAE GAN (Variationellt Autoenkodande Generativt Adversariellt Nätverk) hybrid neuralt nätverk. Metoden lär sig att utvidga poser från 2D till 3D genom att använda självövervakning och adversariella inlärningstekniker. Metoden använder sig vare sig av bilder, värmekartor, 3D poseannotationer, parade/oparade 2D till 3D skelett, a priori information i 3D, syntetiska 2Dskelett, flera vyer, eller tidsinformation. 2Dskelettindata tas från ett VAE som kodar det i en latent rymd och sedan avkodar den latenta representationen till en 3Dpose. 3D posen är sedan återprojicerad till 2D för att genomgå begränsad, självövervakad optimering med hjälp av den tvådimensionella posen. Parallellt roteras dessutom 3Dposen slumpmässigt och återprojiceras till 2D för att generera en ny 2D vy för obegränsad adversariell optimering med hjälp av ett diskriminatornätverk. Kombinationen av optimeringarna av den ursprungliga och den nya 2Dvyn av den förutsagda 3Dposen resulterar i en realistisk 3Dposegenerering. Resultaten i uppsatsen visar att kodningsoch avkodningsprocessen av VAE adresserar utmaningen med felaktiga och ofullständiga skelett från 2D detekteringsnätverk som indata och att variansen av VAE kan modifieras för att få flera troliga 3D poser för givna 2D indata. Dessutom kan den latenta representationen användas för crossmodal träning och flera nedströmsapplikationer. Resultaten på datamängder från Human3.6M är bättre än tidigare oövervakade metoder med mindre modellkomplexitet samtidigt som de adresserar flera hinder för att skala upp uppgiften till verkliga tillämpningar.

Text in Afrikaans / Real empowerment of school learners requires preparing them for the age of technology. This empowerment can be achieved by developing their higher-order thinking skills. This is clearly the intention of the proposed South African FET National Curriculum Statements Grades 10 to 12 (Schools). This research shows that one method of developing higher-order thinking skills is to adopt an integrated curriculum approach. The research is based on the assumption that an integrated curriculum approach will produce learners with a more integrated knowledge structure which will help them to solve problems requiring higher-order thinking skills. These assumptions are realistic because the empirical results of several comparative research studies show that an integrated curriculum helps to improve learners' ability to use higher-order thinking skills in solving nonroutine problems. The curriculum mentions four kinds of integration, namely integration across different subject areas, integration of mathematics with the real world, integration of algebraic and geometric concepts, and integration into and the use of dynamic geometry software in the learning and teaching of geometry. This research shows that from a psychological, pedagogical, mathematical and historical perspective, the theme conic sections can be used as an integrating factor in the new proposed FET mathematics curriculum. Conics are a powerful tool for making the new proposed curriculum more integrated. Conics can be used as an integrating factor in the FET band by means of mathematical exploration, visualisation, relating learners' experiences of various parts of mathematics to one another, relating mathematics to the rest of the learners' experiences and also applying conics to solve real-life problems. / Mathematical Sciences / D.Phil. (Wiskundeonderwys)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Nesta dissertação é apresentada uma modelagem analítica para o processo evolucionário formulado pela Teoria da Evolução por Endossimbiose representado através de uma sucessão de estágios envolvendo diferentes interações ecológicas e metábolicas entre populações de bactérias considerando tanto a dinâmica populacional como os processos produtivos dessas populações. Para tal abordagem é feito uso do sistema de equações diferenciais conhecido como sistema de Volterra-Hamilton bem como de determinados conceitos geométricos envolvendo a Teoria KCC e a Geometria Projetiva. Os principais cálculos foram realizados pelo pacote de programação algébrica FINSLER, aplicado sobre o MAPLE. / This work presents an analytical approach for modeling the evolutionary process formulated by the Serial Endosymbiosis Theory represented by a succession of stages involving different metabolic and ecological interactions among populations of bacteria considering both the population dynamics and production processes of these populations. In such approach we make use of systems of differential equations known as Volterra-Hamilton systems as well as some geometric concepts involving the KCC Theory and the Projective Geometry. The main calculations were performed by the computer algebra software FINSLER based on MAPLE.

GaugThe first half of the thesis concerns Abelian vortices and Yang-Mills theory. It is proved that the 5 types of vortices recently proposed by Manton are actually symmetry reductions of (anti-)self-dual Yang-Mills equations with suitable gauge groups and symmetry groups acting as isometries in a 4-manifold. As a consequence, the twistor integrability results of such vortices can be derived. It is presented a natural definition of their kinetic energy and thus the metric of the moduli space was calculated by the Samols' localisation method. Then, a modified version of the Abelian–Higgs model is proposed in such a way that spontaneous symmetry breaking and the Bogomolny argument still hold. The Painlevé test, when applied to its soliton equations, reveals a complete list of its integrable cases. The corresponding solutions are given in terms of third Painlevé transcendents and can be interpreted as original vortices on surfaces with conical singularity. The last two chapters present the following results in projective differential geometry and Hamiltonians of hydrodynamic-type systems. It is shown that the projective structures defined by the Painlevé equations are not metrisable unless either the corresponding equations admit first integrals quadratic in first derivatives or they define projectively flat structures. The corresponding first integrals can be derived from Killing vectors associated to the metrics that solve the metrisability problem. Secondly, it is given a complete set of necessary and sufficient conditions for an arbitrary affine connection in 2D to admit, locally, 0, 1, 2 or 3 Killing forms. These conditions are tensorial and simpler than the ones in previous literature. By defining suitable affine connections, it is shown that the problem of existence of Killing forms is equivalent to the conditions of the existence of Hamiltonian structures for hydrodynamic-type systems of two components.

Text in Afrikaans / Real empowerment of school learners requires preparing them for the age of technology. This empowerment can be achieved by developing their higher-order thinking skills. This is clearly the intention of the proposed South African FET National Curriculum Statements Grades 10 to 12 (Schools). This research shows that one method of developing higher-order thinking skills is to adopt an integrated curriculum approach. The research is based on the assumption that an integrated curriculum approach will produce learners with a more integrated knowledge structure which will help them to solve problems requiring higher-order thinking skills. These assumptions are realistic because the empirical results of several comparative research studies show that an integrated curriculum helps to improve learners' ability to use higher-order thinking skills in solving nonroutine problems. The curriculum mentions four kinds of integration, namely integration across different subject areas, integration of mathematics with the real world, integration of algebraic and geometric concepts, and integration into and the use of dynamic geometry software in the learning and teaching of geometry. This research shows that from a psychological, pedagogical, mathematical and historical perspective, the theme conic sections can be used as an integrating factor in the new proposed FET mathematics curriculum. Conics are a powerful tool for making the new proposed curriculum more integrated. Conics can be used as an integrating factor in the FET band by means of mathematical exploration, visualisation, relating learners' experiences of various parts of mathematics to one another, relating mathematics to the rest of the learners' experiences and also applying conics to solve real-life problems. / Mathematical Sciences / D.Phil. (Wiskundeonderwys)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Nesta dissertação é apresentada uma modelagem analítica para o processo evolucionário formulado pela Teoria da Evolução por Endossimbiose representado através de uma sucessão de estágios envolvendo diferentes interações ecológicas e metábolicas entre populações de bactérias considerando tanto a dinâmica populacional como os processos produtivos dessas populações. Para tal abordagem é feito uso do sistema de equações diferenciais conhecido como sistema de Volterra-Hamilton bem como de determinados conceitos geométricos envolvendo a Teoria KCC e a Geometria Projetiva. Os principais cálculos foram realizados pelo pacote de programação algébrica FINSLER, aplicado sobre o MAPLE. / This work presents an analytical approach for modeling the evolutionary process formulated by the Serial Endosymbiosis Theory represented by a succession of stages involving different metabolic and ecological interactions among populations of bacteria considering both the population dynamics and production processes of these populations. In such approach we make use of systems of differential equations known as Volterra-Hamilton systems as well as some geometric concepts involving the KCC Theory and the Projective Geometry. The main calculations were performed by the computer algebra software FINSLER based on MAPLE.

Pour d non puissance d’un nombre premier, le nombre maximal de bases deux à deux décorrélées d’un espace de Hilbert de dimension d n’est pas encore connu. Dans ce mémoire, nous commençons par donner une construction de bases décorrélées en lien avec une famille de représentations irréductibles de l'algèbre de Lie su(2) et faisant appel aux sommes de Gauss.Puis nous étudions de façon systématique la possibilité de construire de telle bases au moyen des opérateurs de Pauli. 1) L’étude de la droite projective sur Zdm montre que, pour obtenir des ensembles maximaux de bases décorrélées à l’aide d'opérateurs de Pauli, il est nécessaire de considérer des produits tensoriels de ces opérateurs. 2) Les sous-modules lagrangiens de Zd2n, dont nous donnons une classification complète, rendent compte des ensembles maximalement commutant d'opérateurs de Pauli. Cette classification permet de savoir lesquels de ces ensembles sont susceptibles de donner des bases décorrélées : ils correspondent aux demi-modules lagrangiens, qui s'interprètent encore comme les points isotropes de la droite projective (P(Mat(n, Zd)²),ω). Nous explicitons alors un isomorphisme entre les bases décorrélées ainsi obtenues et les demi-modules lagrangiens distants, ce qui précise aussi la correspondance entre sommes de Gauss et bases décorrélées. 3) Des corollaires sur le groupe de Clifford et l’espace des phases discret sont alors développés.Enfin, nous présentons quelques outils inspirés de l’étude précédente. Nous traitons ainsi du rapport anharmonique sur la sphère de Bloch, de géométrie projective en dimension supérieure, des opérateurs de Pauli continus et nous comparons l'entropie de von Neumann à une mesure de l'intrication par calcul d'un déterminant. / For d not a power of a prime, the maximal number of mutually unbiased bases (MUBs) in a d-dimensional Hilbert space is still unknown. In this thesis, we begin by an original building of MUBs by means of Gauss sums, in relation with a family of irreducible representations of the Lie algebra su(2).Then, we sytematically study the possibility of building such bases by means of Pauli operators. 1) The study of the projective line on Zdm shows that, in order to obtain maximal sets of MUBs, tensorial products of these operators are in order. 2) Lagrangian submodules of Zd2n, of which we give a complete classification, account for maximally commuting sets of Pauli operators. This classification enables to know which of these sets are likely to yield unbiased bases. They correspond to Lagrangian half-modules that can be interpreted as the isotropic points of the projective line (P(Mat(n, Zd)²),ω). Hence, we establish an isomorphism between the unbiased bases thus obtained and distant Lagrangian half-modules, which precises by the way the correspondance between Gauss sums and MUBs. 3) Corollaries on the Clifford group and the finite phase space are then developed.Finally, we present some tools inspired by the previous study. We deal with the cross-ratio on the Bloch sphere and projective geometry in higher dimension, Pauli operators with continuous exponents and we compare von Neumann entropy with a determinantal measure of entanglement

One of the important parameters observed during extruded fibre fabrication is its diameter. The diameter can be measured with a single scanning camera assuming that the fibre section has a circular shape. As proved in practice, another important parameter is ovality, that is the rate of fibre flattening. This paper assumes that the fibre section shape is elliptical. In such a case, at least three different views on examined fibre are needed. Mathematical part of this paper is concerned with analytical description of fibre ovality measurement using two different approaches based on the knowledge of linear algebra, projective geometry and conic sections theory. Main goal of this paper is thus to use both mathematical theory and image analysis methods for ovality and diameter determination. Precise calcluation of such quantities is, however, conditioned on precise camera system calibration, which is described in the paper as well. Additionally, the work contains a brief mention of technical realization of ovality measurement and its possible difficulties.

Tato diplomová práce se zabývá využitím geometrické algebry pro kuželosečky (GAC) v autonomní navigaci, prezentované na pohybu robota v trubici. Nejprve jsou zavedeny teoretické pojmy z geometrických algeber. Následně jsou prezentovány kuželosečky v GAC. Dále je provedena implementace enginu, který je schopný provádět základní operace v GAC, včetně zobrazování kuželoseček zadaných v kontextu GAC. Nakonec je ukázán algoritmus, který odhadne osu trubice pomocí bodů, které umístí do prostoru pomocí středů elips, umístěných v obrazu, získaných obrazovým filtrem a fitovacím algoritmem.