Search for dissertations about: "theory"
Showing result 1 - 5 of 7205 swedish dissertations containing the word theory.
-
1. Effective Distribution Theory
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. Some binary response situations : theory and applications
Abstract : .... READ MORE
-
3. Future generations : A challenge for moral theory
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. Univalent Types, Sets and Multisets : Investigations in dependent type theory
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. Combinatorial Slice Theory
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
