Visar resultat 1 - 5 av 9056 avhandlingar innehållade ordet theory.
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
Sammanfattning : .... LÄS MER
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
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
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