Sökning: "finite order invariant"

Visar resultat 1 - 5 av 24 avhandlingar innehållade orden finite order invariant.

  1. 1. Deductive Program Analysis with First-Order Theorem Provers

    Författare :Simon Robillard; Chalmers tekniska högskola; []
    Nyckelord :HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Automated theorem proving; Program semantics; Program Verification; Program analysis; Automated reasoning; First-order logic;

    Sammanfattning : Software is ubiquitous in nearly all aspects of human life, including safety-critical activities. It is therefore crucial to analyze programs and provide strong guarantees that they perform as expected. LÄS MER

  3. 2. A Study of Smooth Functions and Differential Equations on Fractals

    Författare :Anders Pelander; Anders Öberg; Svante Janson; Alexander Teplyaev; Tom Lindström; Uppsala universitet; []
    Nyckelord :Mathematical analysis; Analysis on fractals; p.c.f. fractals; Sierpinski gasket; Laplacian; differential equations on fractals; infinite dimensional i.f.s.; invariant measure; harmonic functions; smooth functions; derivatives; products of random matrices; Matematisk analys;

    Sammanfattning : In 1989 Jun Kigami made an analytic construction of a Laplacian on the Sierpiński gasket, a construction that he extended to post critically finite fractals. Since then, this field has evolved into a proper theory of analysis on fractals. The new results obtained in this thesis are all in the setting of Kigami's theory. LÄS MER

  4. 3. Constructions in higher-dimensional Auslander-Reiten theory

    Författare :Andrea Pasquali; Martin Herschend; Petter Andreas Bergh; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Representation theory; higher-dimensional Auslander-Reiten theory; Postnikov diagram; 2-representation finite algebra; self-injective algebra; quiver with potential; skew group algebra; Mathematics; Matematik;

    Sammanfattning : This thesis consists of an introduction and five research articles about representation theory of algebras.Papers I and II focus on the tensor product of algebras from the point of view of higher-dimensional Auslander-Reiten theory. In Paper I we consider the tensor product Λ of two algebras which are n- respectively m-representation finite. LÄS MER

  5. 4. Singular Ginzburg-Landau Vortices

    Författare :Mats Aigner; Matematik (naturvetenskapliga fakulteten); []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mathematics; singularities; Ginzburg-Landau; vortices; Matematik;

    Sammanfattning : In this thesis we study the critical Ginzburg-Landau action, defined on fields in the plane which are allowed to have a finite number of singularities. We show that a topological invariant, the degree, can be defined under the assumption of finite action only. LÄS MER

  7. 5. Model reduction for diffusion systems

    Författare :Bharath Bhikkaji; Torsten Söderström; Uppsala universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Signal Processing; Signalbehandling;

    Sammanfattning : Diffusion phenomena has been studied with a lot of interest, for a long time, due to its historical and practical significance. In the recent days it has thrown a lot of interest among control engineers, as more and more practical systems, varying from stock markets to environmental pollution, have been observed to involve diffusion. LÄS MER