Sökning: "describing functions"

Visar resultat 16 - 20 av 175 avhandlingar innehållade orden describing functions.

  1. 16. Theory Exploration for Programs and Proofs

    Författare :Sólrún Einarsdóttir; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Theorem Proving; Automated Reasoning; Theory Exploration; Property-Based Testing; Functional Programming; Conjecture Generation; Artificial Intelligence; Coinduction;

    Sammanfattning : We have built two theory exploration systems, Cohipster and RoughSpec . Theory exploration is a method of automatically conjecturing properties about the functions and structures that appear in a computer program or a formalization of a mathematical theory. LÄS MER

  3. 17. Twisting it up the Quantum Way : On Matrix Models, q-deformations and Supersymmetric Gauge Theories

    Författare :Rebecca Lodin; Maxim Zabzine; Taro Kimura; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Matrix models; Virasoro constraints; Virasoro algebra; W algebra; q-deformations; Supersymmetric gauge theories; Theoretical Physics; Teoretisk fysik;

    Sammanfattning : The mathematical framework which quantum field theory constitutes has been very successful in describing nature. As an extension of such a framework, the idea of supersymmetry was introduced. This greatly simplified the mathematical description of the theories, making them more tractable. LÄS MER

  4. 18. Some new Friedrichs-type inequalities in domains with microinhomogeneous structure

    Författare :Yulia Koroleva; Luleå tekniska universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mathematics; Matematik;

    Sammanfattning : This Licentiate thesis is devoted to derive and discuss some new Friedrichs-type inequalities for functions, which belong to the Sobolev space $H^1$ in domains with microinhomogeneous structure and which vanish on a part of the boundary. The classical Friedrics inequality holds for functions from the space $\mathop{H^{\smash 1}}\limits^{\circ}$ with a constant depending only on the measure of the domain. LÄS MER

  5. 19. Places of Rest in Worlds of Ruin : Havens in Post-Apocalyptic Fiction

    Författare :Andreas Nyström; Åke Bergvall; Maria Holmgren Troy; Mathias Clasen; Karlstads universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Post-Apocalypse; Apocalypse; Science Fiction; Havens; Pastoral; Paradise; Mobility; Narrative Theory; English; Engelska;

    Sammanfattning : In the inhospitable and ruined landscapes of post-apocalyptic fiction there are often found havens, places of rest that provide contrast to the desolation of the wasteland. This study explores the generic functions of such havens. LÄS MER

  7. 20. A weighted correlation approach of the density functional theory for an inhomogeneous fluid at an interface

    Författare :Zhao Wang; Longcheng Liu; Ivars Neretnieks; Małgorzata Borówko; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; inhomogeneous fluid; interface; density functional theory;

    Sammanfattning : This doctoral thesis presents a newly developed density functional theory (DFT), i.e., the weighted correlation approach (WCA), to study the structural and thermodynamic properties of an inhomogeneous fluid at an interface. LÄS MER