Sökning: "scientific theories"
Visar resultat 1 - 5 av 2732 avhandlingar innehållade orden scientific theories.
1. Quantifiers and Theories : A Lazy Approach
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
2. User Consideration in Early Stages of Product Development : Theories and Methods
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
3. Theories of revolution : from Marx to the first Russian revolution
Sammanfattning : .... LÄS MER
4. Exact Results in Five-Dimensional Gauge Theories : On Supersymmetry, Localization and Matrix Models
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
5. Results in Localization for Supersymmetric Gauge Theories
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