Sökning: "Set theory"

Visar resultat 1 - 5 av 1003 avhandlingar innehållade orden Set theory.

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

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

    Sammanfattning : 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. LÄS MER

  2. 2. How to Set Rational Environmental Goals : theory and applications

    Författare :Karin Edvardsson; John Cantwell; Erik Carlson; KTH; []
    Nyckelord :HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; goal-setting; rationality; precision; evaluability; approachability; motivity; coherence; operationalization; goal conflicts; environmental objectives; sustainable development; Philosophy subjects; Filosofiämnen;

    Sammanfattning : Environmental goals are commonly set to guide work towards ecological sustainability. The aim of this thesis is to develop a precise terminology for the description of goals in terms of properties that are important in their practical use as decision-guides and to illustrate how it can be used in evaluations of environmental policy. LÄS MER

  3. 3. Geometry and Critical Configurations of Multiple Views

    Författare :Fredrik Kahl; Matematik LTH; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  4. 4. Homotopy Theory and TDA with a View Towards Category Theory

    Författare :Sebastian Öberg; Wojciech Chachólski; David Blanc; KTH; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Homotopy theory; Topological Data Analysis; Category theory; Mapping spaces; Homotopy commutative diagrams; Matematik; Mathematics;

    Sammanfattning : This thesis contains three papers. Paper A and Paper B deal with homotopy theory and Paper C deals with Topological Data Analysis. All three papers are written from a categorical point of view.In Paper A we construct categories of short hammocks and show that their weak homotopy type is that of mapping spaces. LÄS MER

  5. 5. Fuzzy Set Theory Applied to Make Medical Prognoses for Cancer Patients

    Författare :Hang Zettervall; Blekinge Tekniska Högskola; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; Fuzzy set theory; the Mamdani fuzzy control system; the Sugeno controller; fuzzy c-means clustering analysis; point set approximation; linguistic models; the 2-tuple linguistic representations; the hesitant fuzzy linguistic term sets;

    Sammanfattning : As we all know the classical set theory has a deep-rooted influence in the traditional mathematics. According to the two-valued logic, an element can belong to a set or cannot. In the former case, the element’s membership degree will be assigned to one, whereas in the latter case it takes the zero value. LÄS MER