Sökning: "effective notch"

Visar resultat 1 - 5 av 5103 avhandlingar innehållade orden effective notch.

  1. 1. Effective Distribution Theory

    Detta är en avhandling från Uppsala : Matematiska institutionen

    Författare :Fredrik Dahlgren; Uppsala universitet.; [2007]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computable mathematics; computable analysis; domain theory; domain representations; distribution theory.; MATHEMATICS Algebra; geometry and mathematical analysis Mathematical logic; MATEMATIK Algebra; geometri och analys Matematisk logik;

    Sammanfattning : In this thesis we introduce and study a notion of effectivity (or computability) for test functions and for distributions. This is done using the theory of effective (Scott-Ershov) domains and effective domain representations. LÄS MER

  2. 2. Effective SAT Solving

    Detta är en avhandling från Göteborg : University of Gothenburg

    Författare :Niklas Sörensson; Göteborgs universitet.; Gothenburg University.; [2008]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : A growing number of problem domains are successfully being tackled by SAT solvers. This thesis contributes to that trend by pushing the state-of-the-art of core SAT algorithms and their implementation, but also in several important application areas. LÄS MER

  3. 3. Cluster Effective Field Theory

    Detta är en avhandling från Gothenburg : Chalmers tekniska högskola

    Författare :EMIL RYBERG; [2016]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; effective field theory; charge radius; resonant state; renormalization; radiative capture; halo nuclei; power counting; nuclear physics; few-body physics;

    Sammanfattning : Halo nuclei are loosely bound systems consisting of a core plus valence nucleon(s). In so called Halo, or Cluster, effective field theory, the core of the halo nucleus is treated as an effective degree-of-freedom without internal structure. LÄS MER

  4. 4. Effective Domains and Admissible Domain Representations

    Detta är en avhandling från Uppsala : Acta Universitatis Upsaliensis

    Författare :Göran Hamrin; Viggo Stoltenberg-Hansen; Erik Palmgren; Dieter Spreen; [2005]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Logic; symbolic and mathematical; domain theory; admissible domain representation; cartesian closure; effective domains; κ-sequential space; limit space; Matematisk logik; MATHEMATICS Algebra; geometry and mathematical analysis Mathematical logic; MATEMATIK Algebra; geometri och analys Matematisk logik;

    Sammanfattning : This thesis consists of four papers in domain theory and a summary. The first two papers deal with the problem of defining effectivity for continuous cpos. LÄS MER

  5. 5. Effective Domains and Admissible Domain Representations

    Detta är en avhandling från Uppsala : Uppsala universitet

    Författare :Göran Hamrin; Viggo Stoltenberg-Hansen; Erik Palmgren; Dieter Spreen; [2005]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Logic; symbolic and mathematical; domain theory; admissible domain representation; cartesian closure; effective domains; κ-sequential space; limit space; Matematisk logik; Matematik; Mathematics;

    Sammanfattning : This thesis consists of four papers in domain theory and a summary. The first two papers deal with the problem of defining effectivity for continuous cpos. LÄS MER