Search for dissertations about: "resolution"

Showing result 1 - 5 of 2284 swedish dissertations containing the word resolution.

  1. 1. SLDFA-resolution : computing answers for negative queries

    University dissertation from Linköping : Univ

    Author : Torbjörn Näslund; Linköpings universitet.; Linköpings universitet.; [1990]

    Abstract : The notion of SLDNF-resolution gives a theoretical foundation for implementation of logic programming languages. However, a major drawback of SLDNF-resolution is that for negative queries it can not produce answers other than yes or no. Thus, only a limited class of negative queries can be handled. READ MORE

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

    University dissertation from Stockholm : KTH

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

  3. 3. Neural limits of visual resolution

    University dissertation from Göteborg

    Author : Zoran Popovic; Göteborgs universitet.; Gothenburg University.; [2003]
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; cell separation; cortical magnification; detection; estimated receptive field; high-pass filtered optotypes; nyquist limit; psychophysics; resolution; ganglion cells;

    Abstract : Aims: The aim of this thesis was to formulate a model of retinal neural circuitry in humans based on morphological estimates of retinal cone and ganglion cell populations, to compare results based on this model to psychophysical measurements of visual resolution and identify the retinal neural factors that limit visual resolution.Materials & Methods: Total displacement of central ganglion cells from foveal cones was obtained by estimating the length of fibers of Henle in four human retinas along the nasal or vertical hemi-meridians. READ MORE

  4. 4. Deposition and Resolution of AA Amyloid

    University dissertation from Linköping : Linköping University Electronic Press

    Author : Sofia N. Nyström; Linköpings universitet.; Linköpings universitet.; [2009]
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; AA-amyloid; autophagy; resolution; MEDICINE Morphology; cell biology; pathology; MEDICIN Morfologi; cellbiologi; patologi;

    Abstract : Amyloidosis is a group of protein misfolding diseases characterized by extracellulardeposition of fibrillar protein aggregates. Today more than 25 different human amyloidogenicproteins have been identified, causing a variety of pathological conditions that includeAlzheimer’s disease, type 2 diabetes and prion diseases. READ MORE

  5. 5. Chemoenzymatic Resolution in Dynamic Systems Screening, Classification and Asymmetric Synthesis

    University dissertation from Stockholm : KTH Royal Institute of Technology

    Author : Yan Zhang; KTH.; [2013]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; constitutional dynamic chemistry; dynamic systemic resolution; dynamic kinetic resolution; enzyme catalysis; transesterification; enzyme promiscuity; asymmetric synthesis; pattern recognition; self-inhibition.;

    Abstract : This  thesis  is  divided  into  four  parts,  all  centered  around  Constitutional Dynamic  Chemistry  (CDC)  and  Dynamic  Kinetic  Resolution  (DKR)  using biocatalysts for selective transformations, and their applications in screening of bioactive compounds, organic synthesis, and enzyme classification.   In  part  one,  an  introduction  to  CDC  and  DKR  is  presented,  illustrating  the basic  concepts,  practical  considerations  and  potential  applications  of  such dynamic systems, thus providing the background information for the studies in the following chapters. READ MORE