Essays about: "Anders Lundstedt"

Found 3 essays containing the words Anders Lundstedt.

  1. 1. Realizability in Coq

    University essay from KTH/Matematik (Avd.)

    Author : Anders Lundstedt; [2015]
    Keywords : Coq; formalization; partial combinatory algebra; realizability; Coq; formalisering; partiell kombinatorisk algebra; realiserbarhet;

    Abstract : This thesis describes a Coq formalization of realizability interpretations of arithmetic. The realizability interpretations are based on partial combinatory algebras—to each partial combinatory algebra there is an associated realizability interpretation. I construct two partial combinatory algebras. READ MORE

  3. 2. The Effects of Asset Return Correlation Errors in the Creditmetrics Framework

    University essay from KTH/Matematik (Inst.)

    Author : Simon Gunnarsson; Anders Lundstedt; [2011]
    Keywords : ;

    Abstract : To determine risk of a bond portfolio one might assume that the obligors' asset returns follow a multivariate normal distribution with certain correlations. We investigate how errors in the estimates of these correlations aect portfolio risk measures, where the CreditMetrics framework is used to model portfolio behavior. READ MORE

  4. 3. Mekaniserad ungskogsbehandling för röjning och skörd

    University essay from SLU/Dept. of Silviculture

    Author : Anders Lundstedt; Andreas Säterlönn; [2004]
    Keywords : ungskog; röjning; skörd;

    Abstract : Earlier attempts at mechanising pre-commercial thinning have been met with varying degrees of success. Most attempts have been based on techniques where residual stems are straddled. Early treatment is essential to limit damage on residual trees. READ MORE