Search for dissertations about: "satisfaction classes"

Showing result 1 - 5 of 13 swedish dissertations containing the words satisfaction classes.

2. 1. Satisfaction classes in nonstandard models of first-order arithmetic

   Author : Fredrik Engström; Göteborgs universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; satisfaction classes; models of arithmetic; models of arithmetic;

   Abstract : .... READ MORE

4. 2. On Some Combinatorial Optimization Problems : Algorithms and Complexity

   Author : Hannes Uppman; Peter Jonsson; Christer Bäckström; Ulf Nilsson; Stanislav Živný; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computational complexity; optimization; constraint satisfaction problem;

   Abstract : This thesis is about the computational complexity of several classes of combinatorial optimization problems, all related to the constraint satisfaction problems.A constraint language consists of a domain and a set of relations on the domain. For each such language there is a constraint satisfaction problem (CSP). READ MORE

5. 3. Complexity Dichotomies for CSP-related Problems

   Author : Gustav Nordh; Peter Jonsson; Andrei Krokhin; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Complexity; Constraint Satisfaction Problem; System of Equations; Nonmonotonic Logic; Circumscription; Abduction; Isomorphism; Computer science; Datavetenskap;

   Abstract : Ladner’s theorem states that if P ≠ NP, then there are problems in NP that are neither in P nor NP-complete. Csp(Γ) is a class of problems containing many well-studied combinatorial problems in NP. READ MORE

6. 4. Private Health Insurance in Sweden : Implications for the legitimacy of the public health care system

   Author : Linn Kullberg; Ulrika Winblad; Paula Blomqvist; Anna Bendz; Uppsala universitet; []
   Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Private health insurance; Voluntary health insurance; Public health care; Sweden; Hälso- och sjukvårdsforskning; Health Care Research;

   Abstract : The market for private health insurance (PHI) is growing in many countries with public, tax-funded health care systems. In Sweden, this development has generated an at times intense and polarised debate, exposing that the principles on which the public health care system rests in many aspects collide with the construction of PHI. READ MORE

7. 5. Violence prevention and conflict resolution

   Author : Karin Utas Carlsson; Malmö högskola; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Basic human needs; conflict resolution; culture of peace; human relations; non-violence; peace education; role-playing; school children; socialization; violence prevention; education; peace; social integration;

   Abstract : The objectives of the study were (1) to contribute to development of a theoretical basis for teaching violence prevention and conflict resolution, connecting the micro (inter-personal and intergroup) and macro (national, international and transnational) levels; and (2) to contribute to development of teaching methods with the aim of giving children skills in handling conflicts constructively. The perspective of the study is a social-psychological one where Human Needs Theory (Burton) plays an important role. READ MORE