Search for dissertations about: "theory"

Showing result 1 - 5 of 7205 swedish dissertations containing the word theory.

  1. 1. Effective Distribution Theory

    Author : Fredrik Dahlgren; Viggo Stoltenberg-Hansen; Dag Normann; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Computable mathematics; computable analysis; domain theory; domain representations; distribution theory.; Mathematical logic; Matematisk logik;

    Abstract : In this thesis we introduce and study a notion of effectivity (or computability) for test functions and for distributions. This is done using the theory of effective (Scott-Ershov) domains and effective domain representations. READ MORE

  2. 2. Some binary response situations : theory and applications

    Author : Karin Dahmström; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : .... READ MORE

  3. 3. Future generations : A challenge for moral theory

    Author : Gustaf Arrhenius; Uppsala universitet; []
    Keywords : HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; Philosophy; future generations; population theory; population ethics; axiology; welfare; moral theory; social choice theory; impossibility theorems; Filosofi; Practical philosophy; Praktisk filosofi; Practical Philosophy; Praktisk filosofi;

    Abstract : For the last thirty years or so, there has been a search underway for a theory that canaccommodate our intuitions in regard to moral duties to future generations. The object ofthis search has proved surprisingly elusive. The classical moral theories in the literature allhave perplexing implications in this area. READ MORE

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

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

    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

  5. 5. Combinatorial Slice Theory

    Author : Mateus de Oliveira Oliveira; Karl Meinke; Stefan Arnborg; Barbara König; KTH; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Combinatorial Slice Theory; Partial Order Theory of Concurrency; Digraph Width Measures; Equational Logic;

    Abstract : Slices are digraphs that can be composed together to form larger digraphs.In this thesis we introduce the foundations of a theory whose aim is to provide ways of defining and manipulating infinite families of combinatorial objects such as graphs, partial orders, logical equations etc. READ MORE