Avancerad sökning

Visar resultat 1 - 5 av 2731 avhandlingar som matchar ovanstående sökkriterier.

  1. 1. 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

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

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

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

  4. 3. Theories of revolution : from Marx to the first Russian revolution

    Författare :Reidar Larsson; Uppsala universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Political science; Statsvetenskap;

    Sammanfattning : .... LÄS MER

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

  7. 5. 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