Sökning: "scientific theories"
Visar resultat 1 - 5 av 2481 avhandlingar innehållade orden scientific theories.
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
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
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
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