Search for dissertations about: "theories"

Showing result 1 - 5 of 1594 swedish dissertations containing the word theories.

  1. 1. Quantifiers and Theories : A Lazy Approach

    Author : Peter Backeman; Philipp Rümmer; Jie-Hong Roland Jiang; Uppsala universitet; []
    Keywords : 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;

    Abstract : 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. READ MORE

  2. 2. User Consideration in Early Stages of Product Development : Theories and Methods

    Author : Jenny Janhager; Margareta Norell Bergendahl; MariAnne Karlsson; KTH; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Engineering design; Man-machine interaction; product development method; scenario technique; technical process; user; Konstruktionsteknik; Construction engineering; Konstruktionsteknik;

    Abstract : Traditional design theories have focused on technical functions and more or less disregard a product’s user involvement. The existing methods of ergonomic designare mostly intended for analysis activities. There is a need for new dynamic methods that focus on user-product interactions. READ MORE

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

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

    Abstract : 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. READ MORE

  4. 4. Results in Localization for Supersymmetric Gauge Theories

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

    Abstract : 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. READ MORE

  5. 5. Field Theories with a Twist

    Author : Louise Anderson; Chalmers University of Technology; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Extended Supersymmetry; Supersymmetric Gauge Theory; Topological Field Theories;

    Abstract : This thesis deals with topological field theories derived from maximally supersymmetric gauge theories. The main part of this work is the three appended research papers, each of which investigates some different aspect of these theories. READ MORE