Search for dissertations about: "open space pdf"

Showing result 1 - 5 of 206 swedish dissertations containing the words open space pdf.

  1. 1. Short Proofs May Be Spacious : Understanding Space in Resolution

    Author : Jakob Nordström; Johan Håstad; Albert Atserias; KTH; []
    Keywords : 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

  2. 2. Open Quantum Systems : Effects in Interferometry, Quantum Computation, and Adiabatic Evolution

    Author : Johan Åberg; Erik Sjöqvist; Sten Lunell; Vlatko Vedral; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Physics; Open Systems; Completely Positive Maps; Channels; Decoherence; Quantum Information; Quantum Computing; Adiabatic Approximation; Quantum Search; Time-Complexity; Fysik; Physics; Fysik;

    Abstract : The effects of open system evolution on single particle interferometry, quantum computation, and the adiabatic approximation are investigated.Single particle interferometry: Three concepts concerning completely positive maps (CPMs) and trace preserving CPMs (channels), named subspace preserving (SP) CPMs, subspace local channels, and gluing of CPMs, are introduced. READ MORE

  3. 3. Sobolev-Type Spaces : Properties of Newtonian Functions Based on Quasi-Banach Function Lattices in Metric Spaces

    Author : Lukáš Malý; Anders Björn; Jana Björn; Tomas Sjödin; Andrea Cianchi; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Newtonian space; Sobolev-type space; metric measure space; upper gradient; Sobolev capacity; Banach function lattice; quasi-normed space; rearrangement-invariant space; maximal operator; Lipschitz function; regularization; weak boundedness; density of Lipschitz functions; quasi-continuity; continuity; doubling measure; Poincaré inequality;

    Abstract : This thesis consists of four papers and focuses on function spaces related to first-order analysis in abstract metric measure spaces. The classical (i.e., Sobolev) theory in Euclidean spaces makes use of summability of distributional gradients, whose definition depends on the linear structure of Rn. READ MORE

  4. 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 : NATURVETENSKAP; NATURAL SCIENCES; 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

  5. 5. Compact sprawl : Exploring public open space and contradictions in urban density

    Author : Alexander Ståhle; Lars Marcus; Michael Batty; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Spatial morphology; Urban design; Public open space; Urban density; Landscape planning; Architecture; Arkitektur;

    Abstract : Twentieth century urbanization has left a tremendous footprint on the globe. It is generally speaking a spread out fragmented suburban and exurban landscape continuously growing according to what has been called sprawl-like development, increasing energy and automobile dependency, challenging urban sustainability. READ MORE