Search for dissertations about: "set theory mathematics"

Showing result 1 - 5 of 268 swedish dissertations containing the words set theory mathematics.

2. 1. Univalent Types, Sets and Multisets : Investigations in dependent type theory

   Author : Håkon Robbestad Gylterud; Erik Palmgren; Nicola Gambino; Stockholms universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; type theory; homotopy type theory; dependent types; constructive set theory; databases; formalisation; agda; Mathematics; matematik;

   Abstract : This thesis consists of four papers on type theory and a formalisation of certain results from the two first papers in the Agda language. We cover topics such as models of multisets and sets in Homotopy Type Theory, and explore ideas of using type theory as a language for databases and different ways of expressing dependencies between terms. READ MORE

4. 2. Mathematical models of biological interactions

   Author : Linnéa Gyllingberg; David J.T. Sumpter; Kolbjörn Tunström; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Mathematics with specialization in Applied Mathematics; Matematik med inriktning mot tillämpad matematik;

   Abstract : Mathematical models are used to describe and analyse different types of biological interactions.  From self-propelled particle models capturing the collective motion of fish schools to models in mathematical neuroscience describing the interactions between neurons to individual-based models of ecological interactions. READ MORE

5. 3. Geometry and Critical Configurations of Multiple Views

   Author : Fredrik Kahl; Matematik LTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; algebra; algebraic geometry; field theory; Number Theory; Matematik; Mathematics; reconstruction; image sequence; absolute conic; critical motions; critical surfaces; perspective projection; affine geometry; Euclidean geometry; multiple view geometry; projective geometry; group theory; Talteori; fältteori; algebraisk geometri; gruppteori; Mathematical logic; set theory; combinatories; Matematisk logik; mängdlära; kombinatorik;

   Abstract : This thesis is concerned with one of the core problems in computer vision, namely to reconstruct a real world scene from several images of it. The interplay between the geometry of the scene, the cameras and the images is analyzed. READ MORE

6. 4. Stability theory in finite variable logic

   Author : Marko Djordjevic; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Mathematics; MATEMATIK; MATHEMATICS; MATEMATIK; Mathematics; Matematik;

   Abstract : This thesis studies finite variable theories. To be more precise. complete Ln -theories, where Ln is the set of formulas in a first order language L in which at most n distinct variables occur. These need not be complete in the usual first order sense. READ MORE

7. 5. Extreme points of the Vandermonde determinant in numerical approximation, random matrix theory and financial mathematics

   Author : Asaph Keikara Muhumuza; Sergei Silvestrov; Anatoliy Malyarenko; Karl Lundengård; Milica Rancic; Olga Liivapuu; Mälardalens högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Mathematics Applied Mathematics; matematik tillämpad matematik;

   Abstract : This thesis discusses the extreme points of the Vandermonde determinant on various surfaces, their applications in numerical approximation, random matrix theory and financial mathematics. Some mathematical models that employ these extreme points such as curve fitting, data smoothing, experimental design, electrostatics, risk control in finance and method for finding the extreme points on certain surfaces are demonstrated. READ MORE