Sökning: "0 theories"

Visar resultat 1 - 5 av 548 avhandlingar innehållade orden 0 theories.

  1. 1. Exact Results in Five-Dimensional Gauge Theories : On Supersymmetry, Localization and Matrix Models

    Författare :Anton Nedelin; Joseph Minahan; Ivan Kostov; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Supersymmetric localization; Matrix Models; Chern-Simons theory; Supersymmetric Field Theories; 2; 0 theories; Theoretical Physics; Teoretisk fysik;

    Sammanfattning : Gauge theories are one of the corner stones of modern theoretical physics. They describe the nature of all fundamental interactions and have been applied in multiple branches of physics. The most challenging problem of gauge theories, which has not been solved yet, is their strong coupling dynamics. LÄS MER

  3. 2. Quantifiers and Theories : A Lazy Approach

    Författare :Peter Backeman; Philipp Rümmer; Jie-Hong Roland Jiang; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Automated Reasoning; Automated Theorem Proving; SMT; Unification; Datavetenskap med inriktning mot inbyggda system; Computer Science with specialization in Embedded Systems;

    Sammanfattning : In this thesis we study Automated Theorem Proving (ATP) as well as Satisfiability Modulo Theories (SMT) and present lazy strategies for improving reasoning within these areas. A lazy strategy works by simplifying a problem, and gradually refines the abstraction only when necessary. LÄS MER

  4. 3. Results in Localization for Supersymmetric Gauge Theories

    Författare :Anastasios Gorantis; Joseph A. Minahan; Kimyeong Lee; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Supersymmetric localization; Matrix models; Supersymmetric field theories; Cohomological field theories; Chiral algebras; Theoretical Physics; Teoretisk fysik;

    Sammanfattning : The strong coupling dynamics of Quantum Field Theories with gauge symmetries constitutes a profound problem in Theoretical Physics. Supersymmetric theories offer rare instances where this elusive problem is tractable and can be a valuable source of information and intuition. LÄS MER

  5. 4. Moralen, barnet eller vetenskapen? : En studie av tradition och förändring i lärarutbildningen

    Författare :Agneta Linné; Lars-Magnus Engström; Donald Broady; Ulf P. Lundgren; Daniel Kallós; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Teacher education; educational sociology; educational history; educational theories; social theories; curriculum research; curriculum theory; theories of cultural reproduction; Education; Pedagogik;

    Sammanfattning : Tradition and change in compulsory school teacher education are studied historically, using the theoretical framework of curriculum theory and theory of cultural reproduction. The concepts of classification and framing are used as analytic devices. LÄS MER

  7. 5. Six-dimensional theories with (2,0) supersymmetry

    Författare :Pär Arvidsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : In this thesis the so called (2,0) theories in six dimensions are discussed. These theories are of special interest because they do not contain dynamical gravity despite their high dimensionality. LÄS MER