Sökning: "bredd"

Visar resultat 1 - 5 av 59 avhandlingar innehållade ordet bredd.

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

    Författare :Jakob Nordström; Johan Håstad; Albert Atserias; KTH; []
    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; Theoretical computer science; 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. 2. Modeling Width in Spatial Optimization in Raster Space

    Författare :Lindsi Seegmiller; Takeshi Shirabe; Lars Harrie; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; raster-based geographic information system; spatial optimization; region selection; width; optimal routing; raster data modeling; distortion; corridor; rasterbaserat geografiskt informationssystem; rumslig optimering; regionval; bredd; optimal routing; rasterdatamodellering; distorsion; korridor; Geoinformatik; Geoinformatics;

    Sammanfattning : Given a grid of cells, each of which is assigned a numerical value quantifying its utility (or cost) for a certain use, a popular type of problem in geographic information science is raster-based spatial optimization. Such problems commonly seek to find a set of cells that maximizes (or minimizes) that utility (or cost) while adhering to a given set of constraints. LÄS MER

  4. 3. Bridge Overhang Slabs with Edge Beams : LCCA and Structural Analysis for the Development of New Concepts

    Författare :José Javier Veganzones Muñoz; Costin Pacoste; Raid Karoumi; Lars Pettersson; Rui Vaz Rodrigues; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Overhang slab; Edge beam; Life-cycle Cost Analysis; Non-linear FE-analysis; Design methods; Shear force; Failure mode; Effective width; Minimal width.; Konsolplattor; Kantbalkar; Livscykelkostnadsanalys; Icke-linjär FE-analys; Dimensioneringsmetoder; Tvärkrafter; Brott; Fördelningsbredd; Minimal bredd.; Bro- och stålbyggnad; Structural Engineering and Bridges;

    Sammanfattning : Bridge edge beams are associated with high life-cycle costs because of the need of maintenance, which also causes traffic disturbances. For this reason, the Swedish Transport Administration started a project to find better solutions. One of the proposals was a design without edge beam. LÄS MER

  5. 4. Three - dimensional ultrasound studies of the cervix in pregnancy

    Författare :Linas Rovas; Malmö Institutionen för kliniska vetenskaper; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; andrology; gynaecology; Obstetrics; Prostaglandin .; Labor induction .; Spontaneous delivery .; Pregnancy .; Cervix uteri .; Blood flow indices .; Doppler ultrasound .; Three-dimensional imaging .; sexuality; reproduction; Obstetrik; sexualitet; reproduktion; gynekologi; andrologi;

    Sammanfattning : The aim of this thesis was to evaluate cervical physiological changes by three-dimensional (3D) ultrasound during pregnancy and to investigate the ability of 3D power Doppler to predict time to spontaneous and induced delivery in prolonged pregnancy. The thesis is based on five studies: reproducibility of cervical measurements by 3D power Doppler ultrasound (study I), reference data representative normal findings of the cervix assessed by 3D ultrasound during pregnancy (studies II, III) and the ability of 3D power Doppler to predict time to spontaneous and induced delivery in prolonged pregnancy. LÄS MER

  7. 5. Electron beam sizes and lifetimes at MAX II and MAX III

    Författare :Anders Rosborg; Lunds universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Electron accelerator; Storage ring; Synchrotron light source; Synchrotron radiation; Electron beam profile; Emittance; Beam size; Fysicumarkivet A:2012:Hansson; Lifetime; Bunch length; Landau cavities;

    Sammanfattning : The MAX II and MAX III synchrotron light sources at MAX-lab provide synchrotron radiation for experiments in a wide variety of research fields. The synchrotron radiation is emitted by ultra-relativistic electrons circulating in electron storage rings. LÄS MER