Sökning: "lower bound"

Visar resultat 1 - 5 av 368 avhandlingar innehållade orden lower bound.

  1. 1. Lower Bounds and Trade-offs in Proof Complexity

    Författare :Susanna F. de Rezende; Jakob Nordström; Amit Chakrabarti; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Proof complexity; trade-offs; lower bounds; size; length; space; Computer Science; Datalogi;

    Sammanfattning : Propositional proof complexity is a field in theoretical computer science that analyses the resources needed to prove statements. In this thesis, we are concerned about the length of proofs and trade-offs between different resources, such as length and space. LÄS MER

  3. 2. 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

  4. 3. A random formula lower bound for ordered DLL extended with local symmetry recognition

    Författare :Olof Lindroth; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mathematical logic; Matematisk logik;

    Sammanfattning : .... LÄS MER

  5. 4. Nonlinear dynamics of strongly-bound magnetic vortex pairs

    Författare :Artem Bondarenko; Vladislav Korenivski; Gleb Kakazei; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; magnetic vortex; nonlinear mechanics; isolated resonance; nonlinear frequency tuning; chaotic dynamics; parametric interaction; Thiele equation; Monte Carlo simulations; Ito processes; bistability; tunneling magneto-resistance; Magnetisk-virvel; icke-linjär dynamik; isolerad resonans; icke-linjär frekvens-optimering; kaotisk dynamik; parametrisk interaktion; Thiele-ekvation; Monte Carlo-simuleringar; Ito-processer; bistabilitet; tunnelmagneto-resistans.; Fysik; Physics;

    Sammanfattning : This work is a study of nonlinear phenomena in vertically stacked pairs of magnetic vortices. New dynamic regimes are uncovered with a decrease in the inter-vortex separation to below the lateral vortex-core size. LÄS MER

  7. 5. Aspects on Chronic Venous Disease of the Lower Limb

    Författare :Gudmundur Danielsson; Malmö Institutionen för kliniska vetenskaper; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Kirurgi; ortopedi; traumatologi; Cardiovascular system; Kardiovaskulära systemet; traumatology; orthopaedics; Surgery; duplex ultrasound; foot volumetry; Chronic venous disease; CEAP classification;

    Sammanfattning : Controversies exist regarding both what is required for a proper diagnosis of chronic venous disease (CVD), and what treatment to offer patients. An objective evaluation is mandatory to individualize treatment. LÄS MER