Sökning: "string"

Visar resultat 11 - 15 av 193 avhandlingar innehållade ordet string.

  1. 11. On Solving String Constraints

    Författare :Phi Diep Bui; Mohamed Faouzi Atig; Parosh Abdulla; Matthew Hague; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; String constraint solving; SMT; Verification;

    Sammanfattning : Software systems are deeply involved in diverse human activities as everyone uses a variety of software systems on a daily basis. It is essential to guarantee that software systems all work correctly. Two popular methods for finding failures of software systems are testing and model checking. LÄS MER

  3. 12. New horizons in string theory : bubble babble in search of darkness

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

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

  4. 13. Bosonic string field theory : operator formulation and string field functional formulation

    Författare :Per Sundell; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; string field theory; BRST-invariance; modular invariance; reggeon vertices; master equation; homotopy Lie algebras; sweing of riemann surfaces;

    Sammanfattning : .... LÄS MER

  5. 14. Aspects of vacuum moduli in string theory

    Författare :Matthew Magill; Magdalena Larfors; James Sparks; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; string compactifications; g structures; homological algebra; Theoretical Physics; Teoretisk fysik;

    Sammanfattning : In this thesis we explore geometric aspects of the space of vacua in supersymmetric string compactifications. More specifically, we will look at heterotic strings compactified on Calabi-Yau manifolds and, separately, G2 structure manifolds. LÄS MER

  7. 15. Arithmetic and Hyperbolic Structures in String Theory

    Författare :Daniel Persson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Instantons; Kac-Moody algebras; Spacelike singularities; String Theory;

    Sammanfattning : This thesis consists of an introductory text followed by two separate parts which may be read independently of each other. In Part I we analyze certain hyperbolic structures arising when studying gravity in the vicinity of spacelike singularities (the BKL-limit). LÄS MER