Sökning: "Recursion"
Visar resultat 16 - 20 av 48 avhandlingar innehållade ordet Recursion.
16. Multipole moments of axisymmetric spacetimes
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
17. A framework for reasoning about Erlang code
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
18. Multi-period valuation of insurance liabilities subject to capital requirements
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
19. Guarded Recursive Types in Type Theory
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
20. Dynamic Plate and Shell Equations Using Power Series Expansions - Applications Including Elasticity, Poroelasticity and Fluid Loading
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