Search for dissertations about: "Theory framework"

Showing result 1 - 5 of 1558 swedish dissertations containing the words Theory framework.

  2. 1. A Framework for the Coordination of Complex Systems’ Development

    Author : Lars Taxén; Bengt Lennartsson; Roland Ekinge; Christian Berggren; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; system theory; telecommunication systems; framework; Activity Domain Theory; Computer science; Datavetenskap;

    Abstract : This study is about the coordination of complex systems’ development. A Framework has been designed and deployed by the author in the development practice of Ericsson, a major supplier of telecommunication systems on the global market. The main purpose of the study is to investigate the impacts on coordination from the Framework. READ MORE

  4. 2. 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

  5. 3. Localic Categories of Models and Categorical Aspects of Intuitionistic Ramified Type Theory

    Author : Johan Lindberg; Erik Palmgren; Peter LeFanu Lumsdaine; Henrik Forssell; Benno van den Berg; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Topos theory; predicative topos theory; ramified type theory; type theory; localic groupoids; Mathematics; matematik;

    Abstract : This thesis contains three papers, all in the general area of categorical logic, together with an introductory part with some minor results and proofs of known results which does not appear to be (easily) available in the literature.In Papers I and II we investigate the formal system Intuitionistic Ramified Type Theory (IRTT), introduced by Erik Palmgren, as an approach to predicative topos theory. READ MORE

  6. 4. New horizons in string theory : bubble babble in search of darkness

    Author : Suvendu Giri; Ulf Danielsson; Bert Vercnocke; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; String theory; black holes; dark energy; de Sitter; cosmological constant; M-theory; braneworld; anti de Sitter; Theoretical Physics; Teoretisk fysik;

    Abstract : It was discovered nearly two decades ago that we live in an accelerating universe that is dominated by dark energy. Understanding the origin of such an energy has turned out to be a very difficult open question in physics, and calls on the need for a fundamental theory like string theory. READ MORE

  7. 5. Geometry and Critical Configurations of Multiple Views

    Author : Fredrik Kahl; Matematik LTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; algebra; algebraic geometry; field theory; Number Theory; Matematik; Mathematics; reconstruction; image sequence; absolute conic; critical motions; critical surfaces; perspective projection; affine geometry; Euclidean geometry; multiple view geometry; projective geometry; group theory; Talteori; fältteori; algebraisk geometri; gruppteori; Mathematical logic; set theory; combinatories; Matematisk logik; mängdlära; kombinatorik;

    Abstract : This thesis is concerned with one of the core problems in computer vision, namely to reconstruct a real world scene from several images of it. The interplay between the geometry of the scene, the cameras and the images is analyzed. READ MORE