Sökning: "space complexity"
Visar resultat 1 - 5 av 384 avhandlingar innehållade orden space complexity.
1. Space in Proof Complexity
Sammanfattning : 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. LÄS MER
2. Short Proofs May Be Spacious : Understanding Space in Resolution
Sammanfattning : 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. LÄS MER
3. Lower Bounds and Trade-offs in Proof Complexity
Sammanfattning : 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. LÄS MER
4. Explorations of University Physics in Abstract Contexts : From de Sitter Space to Learning Space
Sammanfattning : 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. LÄS MER
5. Ta plats : Plats-specifika spel i dialog med feministisk teknovetenskap
Sammanfattning : Min utgångpunkt för den här avhandlingen är att undersöka hur ett spelande som utgår från spelarnas fysiska kroppar och publika platser kan få betydelse i städers vardagsliv. Jag utgår ifrån att den fysiska platsen och spelarens kropp får för lite uppmärksamhet i plats-specifika spel. LÄS MER