Search for dissertations about: "Theory of constraint"

Showing result 1 - 5 of 105 swedish dissertations containing the words Theory of constraint.

2. 1. Hardness of Constraint Satisfaction and Hypergraph Coloring : Constructions of Probabilistically Checkable Proofs with Perfect Completeness

   Author : Sangxia Huang; Johan Håstad; Rishi Saket; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Combinatorial optimization; approximation; inapproximability; hardness; probabilistically checkable proofs; pcp; perfect completeness; boolean constraint satisfaction problem; csp; graph coloring; hypergraph coloring; direct sum; superposition; label cover; Computer Science; Datalogi;

   Abstract : A Probabilistically Checkable Proof (PCP) of a mathematical statement is a proof written in a special manner that allows for efficient probabilistic verification. The celebrated PCP Theorem states that for every family of statements in NP, there is a probabilistic verification procedure that checks the validity of a PCP proof by reading only 3 bits from it. READ MORE

4. 2. Modelling and Verification of Real-Time Systems Using Timed Automata : Theory and Practice

   Author : Paul Pettersson; Wang Yi; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

   Abstract : During the last decade, model-checking techniques for the verification of timed system have been developed baaed on the theory of timed automata. The practical limitation in applying these techniques to industrial-size systems is the huge amount of time and memory needed to explore and store the state-space of the system model. READ MORE

5. 3. A Kerr-full Study of Higher-Spin Amplitudes : An on-shell construction of higher-spin amplitudes for black holes and strings

   Author : Paolo Pichini; Henrik Johansson; Donal O'Connell; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; scattering amplitudes; higher-spin theory; black holes; string theory; gravitational waves; Theoretical Physics; Teoretisk fysik;

   Abstract : Recently, it was shown that Kerr black holes can be described via the classical infinite-spin limit of a special class of scattering amplitudes in a massive higher-spin quantum field theory. Although this approach has successfully obtained state-of-the-art results for spinning black-hole binaries, only the three-point amplitude that describes Kerr is known in full generality and a full understanding of the underlying Lagrangian is still missing. READ MORE

6. 4. Label Cover Reductions for Unconditional Approximation Hardness of Constraint Satisfaction

   Author : Cenny Wenner; Johan Håstad; Viggo Kann; Irit Dinur; Stockholms universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Combinatorial Optimization; Complexity Theory; Approximation; Approximability; Inapproximability; Computational Hardness; NP; Optimization; Constraint Satisfaction; Kombinatorisk optimering; Komplexitetsteori; Beräkningsteori; Approximation; Approximerbarhet; Beräkningssvårighet; NP; Optimering; Vilkorssatisfiering; Vilkorsuppfyllning; Vilkorstillfredställand; datalogi; Computer Science;

   Abstract : Combinatorial optimization include such tasks as finding the quickest route to work, scheduling jobs to specialists, and placing bus stops so as to minimize commuter times. We consider problems where one is given a collection of constraints with the objective of finding an assignment satisfying as many constraints as possible, also known as Constraint Satisfaction Problems (CSPs). READ MORE

7. 5. Opportunistic Behavior in Industrial Marketing Relationships

   Author : Raeesah Chohan; Esmail Salehi-Sangari; Leyland Pitt; John B. Ford; Luleå tekniska universitet; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Opportunistic behavior; moral hazard; adverse selection; principal-agent; Agency Theory; professional agent; Theory of Relationship Constraints; client-advertising agency relationship; ex-ante; ex-post; formal constraint mechanisms; social constraint mechanisms; Industrial Marketing; Industriell marknadsföring;

   Abstract : As humans beings, we act to our advantage. In some cases, this is done to the detriment of others; also known as opportunistic behavior. READ MORE