Sökning: "Recursion"

Visar resultat 16 - 20 av 48 avhandlingar innehållade ordet Recursion.

  1. 16. Multipole moments of axisymmetric spacetimes

    Författare :Thomas Bäckdahl; Magnus Herberthson; Brian Edgar; Kjell Rosquist; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; multipole moments; axisymmetry; spacetimes; prescribed; solutions; static; stationary; Kerr; Weyl; Ernst; Theory of relativity; gravitation; Relativitetsteori; gravitation;

    Sammanfattning : In this thesis we study multipole moments of axisymmetric spacetimes. Using the recursive definition of the multipole moments of Geroch and Hansen we develop a method for computing all multipole moments of a stationary axisymmetric spacetime without the use of a recursion. LÄS MER

  3. 17. A framework for reasoning about Erlang code

    Författare :Lars-Åke Fredlund; RISE; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : We present a framework for formal reasoning about the behaviour of software written in Erlang, a functional programming language with prominent support for process based concurrency, message passing communication and distribution. The framework contains the following key ingredients: a specification language based on the mu-calculus and first-order predicate logic, a hierarchical small-step structural operational semantics of Erlang, a judgement format allowing parameterised behavioural assertions, and a Gentzen style proof system for proving validity of such assertions. LÄS MER

  4. 18. Multi-period valuation of insurance liabilities subject to capital requirements

    Författare :Hampus Engsner; Filip Lindskog; Mathias Lindholm; Albrecher Hansjörg; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : In the papers presented here, approaches to multi-period valuation of a liability cashflow in runoff, subject to repeated capital requirements, are developed and analyzed. The valuation approaches are inspired by current risk-based regulatory frameworks for the insurance industry, and consistent with the fundamental principles underlying them. LÄS MER

  5. 19. Guarded Recursive Types in Type Theory

    Författare :Andrea Vezzosi; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; sized types; induction; coinduction; type theory; totality; guarded types; Agda;

    Sammanfattning : In total functional (co)programming valid programs are guaranteed to always produce (part of) their output in a finite number of steps.Enforcing this property while not sacrificing expressivity has beenchallenging. LÄS MER

  7. 20. Dynamic Plate and Shell Equations Using Power Series Expansions - Applications Including Elasticity, Poroelasticity and Fluid Loading

    Författare :Anders Hägglund; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; approximate boundary conditions; series expansion; Biot equations; vibrations; cylindrical shell; dispersion curves; plate theory; thin shells; porous plate;

    Sammanfattning : Thin structures are used in a wide range of engineering applications. The subject of this thesis is the derivation of approximate equations for the dynamics of thin plates and shells using series expansion methods. LÄS MER