Sökning: "längd"

Visar resultat 1 - 5 av 187 avhandlingar innehållade ordet längd.

  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

  2. 2. Risk markers and incidence of atrial fibrillation in northern Sweden

    Författare :Cecilia Johansson; Lars Johansson; Jonas Andersson; Marcus Lind; Marie Eriksson; Mårten Rosenqvist; Umeå universitet; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Atrial fibrillation; atrial flutter; incidence; provoking factors; types of atiral fibrillation; stroke risk; alcohol consumption; problem drinking; weight; height; weight change; normal blood pressure; high normal blood pressure; Förmaksflimmer; förmaksfladder; incidens; provocerande faktorer; typer av förmaksflimmer; strokerisk; alkoholkonsumtion; alkoholproblem; vikt; längd; viktförändring; normalt blodtryck; högt normalt blodtryck; medicin; Medicine;

    Sammanfattning : Background: Atrial fibrillation (AF) is the most common clinically significant arrythmia with a prevalence of approximately 3% in the general population. Less is known about the incidence of AF. In order to reduce the incidence of AF, it is of essence to identify modifiable risk factors for the disease. LÄS MER

  3. 3. ”De va svinhögt typ 250 kilo” : Förskolebarns mätande av längd, volym och tid i legoleken

    Författare :Anders Albinsson; Maria Simonsson; Joakim Samuelsson; Eva Riesbeck; Linköpings universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Lego play; length height; quantity; time; measurement; reference points; physical and cultural tools; informal and formal mathematical concepts.;

    Sammanfattning : The purpose of the dissertation is to study, describe and analyses which comparative measurement activities preschool children construct and use, and how they solve problems and communicate when they use the comparative measurement activities whilst playing with Lego (“the Lego play”). The measurement activities chosen are length/height, quantity and time. LÄS MER

  4. 4. Anal fistulae - Three-dimensional endoanal ultrasound and outcomes of collagen plug treatment

    Författare :Ursula Fält; Kirurgi; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; analfistel; Crohns sjukdom; kryptoglandulär fistel; kollagenplugg; komplicerad analfistel; tredmensionellt endoanalt ultraljud; analkanalens längd; analkanalens anatomi; anal fistula; Crohn s disease; cryptoglandular fistula; anal fistula plug; Complex anal fistula; three-dimensional endoanal ultrasound; anal canal length; anal canal anatomy;

    Sammanfattning : Background: The treatment of complex anal fistulae remains a therapeutic challenge. Early anal fistula plug (AFP) studies showed high success rates, while later reports demonstrated success rate of 13-100% at usual follow-up of 6-24 months. LÄS MER

  5. 5. Connecting CMR and Physiology : Expanding the capabilities of cardiovascular magnetic resonance in quantifying physiology

    Författare :Felicia Seemann; Avdelningen för Biomedicinsk teknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Kardiovaskulär magnetresonanstomografi; Fysiologi; Atrioventrikulär klaffplansrörlighet; Mitralisflöde; Tryck-volym loopar; Kraft-längd loopar; Cardiovascular magnetic resonance; Physiology; Atrioventricular plane displacement; Transmitral flow; pressure-volume loops; Ventricular force-length loops;

    Sammanfattning : The assessment of cardiovascular physiology is crucial to facilitate clinical diagnostics, treatment, and research. Physiology and anatomy can be assessed noninvasively using cardiovascular magnetic resonance (CMR), a versatile and reliable medical imaging modality free from ionizing radiation. LÄS MER