Sökning: "lower bound"
Visar resultat 1 - 5 av 368 avhandlingar innehållade orden lower bound.
1. Lower Bounds and Trade-offs in Proof Complexity
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
2. Short Proofs May Be Spacious : Understanding Space in Resolution
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. A random formula lower bound for ordered DLL extended with local symmetry recognition
Sammanfattning : .... LÄS MER
4. Nonlinear dynamics of strongly-bound magnetic vortex pairs
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
5. Aspects on Chronic Venous Disease of the Lower Limb
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