Search for dissertations about: "space complexity"

Showing result 1 - 5 of 311 swedish dissertations containing the words space complexity.

2. 1. Space in Proof Complexity

   Author : Marc Vinyals; Jakob Nordström; Yehudayoff Amir; KTH; []
   Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; proof complexity; resolution; polynomial calculus; cutting planes; space complexity; computational complexity; pebble games; communication complexity; CDCL; Computer Science; Datalogi;

   Abstract : ropositional proof complexity is the study of the resources that are needed to prove formulas in propositional logic. In this thesis we are concerned with the size and space of proofs, and in particular with the latter.Different approaches to reasoning are captured by corresponding proof systems. READ MORE

4. 2. Short Proofs May Be Spacious : Understanding Space in Resolution

   Author : Jakob Nordström; Johan Håstad; Albert Atserias; KTH; []
   Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Proof complexity; resolution; space; length; width; separation; lower bound; pebble game; pebbling formula; Beviskomplexitet; resolution; minne; längd; bredd; separation; undre gräns; pebblingspel; pebblingformel; Theoretical computer science; Teoretisk datalogi;

   Abstract : Om man ser på de bästa nu kända algoritmerna för att avgöra satisfierbarhet hos logiska formler så är de allra flesta baserade på den så kallade DPLL-metoden utökad med klausulinlärning. De två viktigaste gränssättande faktorerna för sådana algoritmer är hur mycket tid och minne de använder, och att förstå sig på detta är därför en fråga som har stor praktisk betydelse. READ MORE

5. 3. Lower Bounds and Trade-offs in Proof Complexity

   Author : Susanna F. de Rezende; Jakob Nordström; Amit Chakrabarti; KTH; []
   Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Proof complexity; trade-offs; lower bounds; size; length; space; Computer Science; Datalogi;

   Abstract : Propositional proof complexity is a field in theoretical computer science that analyses the resources needed to prove statements. In this thesis, we are concerned about the length of proofs and trade-offs between different resources, such as length and space. READ MORE

6. 4. Explorations of University Physics in Abstract Contexts : From de Sitter Space to Learning Space

   Author : Daniel Domert; Cedric Linder; Ulf Danielsson; Duncan Fraser; Uppsala universitet; []
   Keywords : NATURAL SCIENCES; NATURVETENSKAP; Physics; phenomenography; cosmology; de Sitter space; quantum mechanics; conceptual understanding; epistemology; physics equations; Fysik; Physics; Fysik; Physics with specialization in Physics Education; Fysik med inriktning mot fysikens didaktik;

   Abstract : This is a thesis which contributes to research in two different fields: theoretical physics and physics education research. The common link between these two research areas is that both involve explorations of abstract physics and mathematical representations, but from different perspectives. READ MORE

7. 5. "Walking in the Spirit" : The Complexity of Belonging in Two Pentecostal Churches in Durban, South Africa

   Author : Kristina Helgesson; Jan-Åke Alvarsson; Lars Hagborg; Rijk van Dijk; Uppsala universitet; []
   Keywords : HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; Cultural anthropology; Pentecostalism; phenomenology; belonging; South Africa; time; space; home; gender; hope; fear; balance; control; apartheid; anthropology of religion; Kulturantropologi; Cultural anthropology; Kulturantropologi; Cultural Anthropology; kulturantropologi;

   Abstract : Drawing on anthropological fieldwork carried out in the two Pentecostal congregations Red Hill and Olive Tree in Durban, South Africa, this dissertation discusses the complexity of the experience of belonging among the members. Red Hill is a ‘coloured’ congregation, while Olive Tree is ‘white’; a fact that in present-day South Africa still is of significance for the experience of belonging. READ MORE