Sökning: "Set theory"

Visar resultat 6 - 10 av 1201 avhandlingar innehållade orden Set theory.

1. 6. Homotopy Theory and TDA with a View Towards Category Theory

   Författare :Sebastian Öberg; Wojciech Chachólski; David Blanc; KTH; []
   Nyckelord :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

3. 7. Studies on Fantasmical Anatomies

   Författare :Anne Juren; André Lepecki; Sandra Noeth; Victoria Perez Royo; Stockholms konstnärliga högskola; []
   Nyckelord :HUMANIORA; HUMANITIES; Choreography; Feldenkrais Method®; anatomy; fantasmical; speculative gestures; somatic practices; dislocation; dissection; dissociation; treatment; operation; fragmentation; blind gaze; non-expression; dance; movement; language; poetry; voice; touch; Foley; psychoanalysis; crisis; encounter; critical awareness; sensorial transference; co-regulation; body proxy; trans-interiority; symptom; practitioner; patient; session; lesson; L’Effet-Mère; mother tongue; very too close; very too far; diffraction; dérive drift ; Utbildning på forskarnivå i performativa och mediala praktiker; Third-Cycle Studies in Performative and Mediated Practices;

   Sammanfattning : Studies on Fantasmical Anatomies is an ongoing transdisciplinary artistic research, which encompasses the spectrum of experiences and practices that I have developed as a choreographer, dancer and Feldenkrais practitioner. My interest in anatomy and somatic practices grew out of multiple shoulder dislocations. LÄS MER

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

   Författare :Hang Zettervall; Blekinge Tekniska Högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; 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

5. 9. Relations in Dependent Type Theory

   Författare :Carlos Gonzalía; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formalized mathematics; relational systems; category theory; programming logics; constructive type theory; logical frameworks; relational database model;

   Sammanfattning : This thesis investigates how to express and reason about relational concepts and methods inside the constructive logical framework of Martin-Löf's monomorphic type theory. We cover several areas where the notion of relation is central, and show how to formalize the basic concepts of each area. LÄS MER

7. 10. Evaluating credal set theory as a belief framework in high-level information fusion for automated decision-making

   Författare :Alexander Karlsson; Sten F. Andler; Ronnie Johansson; Lars Karlsson; Galina Rogova; Örebro universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; High-level information fusion; belief framework; credal set theory; Bayesian theory; Computer science; Datavetenskap; TECHNOLOGY; TEKNIKVETENSKAP; Information technology; Informationsteknik; Datalogi; Computer and Systems Science; Teknik;

   Sammanfattning : High-level information fusion is a research field in which methods for achieving an overall understanding of the current situation in an environment of interest are studied. The ultimate goal of these methods is to provide effective decision-support for human or automated decision-making. LÄS MER