Search for dissertations about: "Theory"

Showing result 6 - 10 of 8391 swedish dissertations containing the word Theory.

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

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

    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

  4. 7. Combinatorial Slice Theory

    Author : Mateus de Oliveira Oliveira; Karl Meinke; Stefan Arnborg; Barbara König; KTH; []
    Keywords : 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

  5. 8. The Common Good in Common Goods - The Decommodification of Fundamental Resources through Law

    Author : Saki Bailey; Göteborgs universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; commons; common goods; shareable goods; legal theory; social theory; socio-legal theory; property theory; critical legal theory; critical approaches to law; post-capitalist approaches to law; post-marxist approaches to law; post-liberal approaches to law; legal foundations of the market; embedding the market; strategic decommodification; decommodification; democratization of the economy; equitable access to resources; social property relations; housing policy; housing law; third-sector housing; shared limited equity; community land trusts; housing cooperatives; baugruppen; bostadsrätt; resource specific analysis; economic analysis of resources; neoliberalism.;

    Abstract : This dissertation is divided into three parts. Part I analyzes the Commons as a post-capitalist strategy accomplished through law by developing an alternative social theory of the market as a social institution. READ MORE

  6. 9. Beyond Köhler theory : Molecular dynamics simulations as a tool for atmospheric science

    Author : Thomas Hede; Caroline Leck; Veli-Matti Kerminen; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Köhler theory; molecular dynamics; surface tension; aggregate; climate; atmosfärvetenskap och oceanografi; Atmospheric Sciences and Oceanography;

    Abstract : In this thesis, the results from molecular dynamics (MD) simulations of nanoaerosol clusters are discussed. The connecting link of these studies is the Köhler theory, which is the theory of condensational growth and activation of cloud droplets to form clouds. READ MORE

  7. 10. String Theory at the Horizon : Quantum Aspects of Black Holes and Cosmology

    Author : Martin Olsson; Ulf Danielsson; Lárus Thorlacius; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Theoretical physics; theoretical physics; string theory; black holes; cosmology; de Sitter space; c=1 matrix models; 2D string theory; topological string theory; conifolds; 4D BPS black holes; Gödel universe; closed time-like curves; Teoretisk fysik; Physics; Fysik;

    Abstract : String theory is a unified framework for general relativity and quantum mechanics, thus being a theory of quantum gravity. In this thesis we discuss various aspects of quantum gravity for particular systems, having in common the existence of horizons. READ MORE