Sökning: "theory"

Visar resultat 1 - 5 av 9056 avhandlingar innehållade ordet theory.

  1. 1. Effective Distribution Theory

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

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

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

    Författare :Karin Dahmström; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : .... LÄS MER

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

    Författare :Gustaf Arrhenius; Uppsala universitet; []
    Nyckelord :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;

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

  5. 4. Dunkla vanor. Om teori och referenspraktik i samhällsvetenskaplig forskning

    Författare :Daniel Uhnoo; Göteborgs universitet; Göteborgs universitet; Gothenburg University; []
    Nyckelord :Theory; theory of science; theory development; citations; citation analysis; academic writing; organization theory; social work; social services;

    Sammanfattning : The purpose of this thesis is to study how social scientists use theoretical citations in scientific publications in research about organizations and the social services sector. This thesis can be characterized as being theory driven where examples from the research practice within the social sciences are used as departure points for discussion. LÄS MER

  7. 5. 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