Sökning: "space science"

Visar resultat 1 - 5 av 1091 avhandlingar innehållade orden space science.

  1. 1. Space Craft Globalization and Governmentality in Regional Development

    Detta är en avhandling från Karlstad : Karlstads universitet

    Författare :Andreas Öjehag-Pettersson; Karlstads universitet.; [2015]
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Assemblage; Space; Territory; Multimodal Discourse Analysis; Innovation; Competitiveness; Statsvetenskap; Political Science;

    Sammanfattning : This thesis explores two related purposes. First, it theoretically investigates how the broad literature on globalization is nested in debates concerning the nature of concepts such as space and territory. LÄS MER

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

    Detta är en avhandling från Stockholm : KTH

    Författare :Jakob Nordström; KTH.; [2008]
    Nyckelord :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; MATHEMATICS Applied mathematics Theoretical computer science; MATEMATIK Tillämpad matematik Teoretisk datalogi;

    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. 3. Space in Proof Complexity

    Detta är en avhandling från Stockholm : KTH Royal Institute of Technology

    Författare :Marc Vinyals; KTH.; [2017]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; proof complexity; resolution; polynomial calculus; cutting planes; space complexity; computational complexity; pebble games; communication complexity; CDCL; Computer Science; Datalogi;

    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

  4. 4. Discrete Scale-Space Theory and the Scale-Space Primal Sketch

    Detta är en avhandling från Stockholm : KTH Royal Institute of Technology

    Författare :Tony Lindeberg; KTH.; [1991]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer vision; low-level processing; scale-space; diffusion; Gaussian filtering; discrete smoothing; primal sketch; segmentation; descriptive elements; scale detection; image structure; focus-of-attention; tuning low-level processing; blob detection; edge detection; edge focusing; histogram analysis; junction classification; perceptual grouping; texture analysis; critical points; classification of blob events; bifurcations; drift velocity; density of local extrema; multi-scale representation; digital signal processing; Computer Science; Datalogi;

    Sammanfattning : This thesis, within the subfield of computer science known as computer vision, deals with the use of scale-space analysis in early low-level processing of visual information. The main contributions comprise the following five subjects:The formulation of a scale-space theory for discrete signals. LÄS MER

  5. 5. Space Plasma Dynamics Instabilities, Coherent Vortices and Covariant Parametrization

    Detta är en avhandling från Uppsala : Acta Universitatis Upsaliensis

    Författare :David Sundkvist; Uppsala universitet.; [2005]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Space and plasma physics; space physics; plasma; instabilities; turbulence; coherent structures; vortex; self-organization; magnetosphere; waves; electromagnetism; covariant; space instrumentation; Rymd- och plasmafysik; NATURAL SCIENCES Physics Geocosmophysics and plasma physics Space physics; NATURVETENSKAP Fysik Geokosmofysik och plasmafysik Rymdfysik;

    Sammanfattning : The magnetospheric cusps are two funnel-like regions of Earth's magnetosphere where solar wind plasma can have direct access to the ionosphere. The cusps are very dynamic regions where wave-particle interactions continuously take place and redistribute energy among different particle populations. LÄS MER