Sökning: "0 theories"

Visar resultat 1 - 5 av 476 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 :NATURAL SCIENCES; NATURVETENSKAP; 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

  2. 2. Quantifiers and Theories : A Lazy Approach

    Författare :Peter Backeman; Philipp Rümmer; Jie-Hong Roland Jiang; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; 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

  3. 3. Results in Localization for Supersymmetric Gauge Theories

    Författare :Anastasios Gorantis; Joseph A. Minahan; Kimyeong Lee; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; 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

  4. 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 :SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; Teacher education; educational sociology; educational history; educational theories; social theories; curriculum research; curriculum theory; theories of cultural reproduction; Pedagogik; Education;

    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

  5. 5. 3D Gesture Recognition and Tracking for Next Generation of Smart Devices : Theories, Concepts, and Implementations

    Författare :Shahrouz Yousefi; Haibo Li; Touradj Ebrahimi; KTH; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; 3D gestural interaction; gesture recognition; gesture tracking; 3D visualization; 3D motion analysis; augmented environments; Media Technology; Medieteknik;

    Sammanfattning : The rapid development of mobile devices during the recent decade has been greatly driven by interaction and visualization technologies. Although touchscreens have signicantly enhanced the interaction technology, it is predictable that with the future mobile devices, e.g. LÄS MER