Sökning: "anders lundstedt"

Hittade 4 uppsatser innehållade orden anders lundstedt.

  1. 1. Realizability in Coq

    Master-uppsats, KTH/Matematik (Avd.)

    Författare :Anders Lundstedt; [2015]
    Nyckelord :Coq; formalization; partial combinatory algebra; realizability; Coq; formalisering; partiell kombinatorisk algebra; realiserbarhet;

    Sammanfattning : 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. LÄS MER

  3. 2. Den verklighetsnära koden : En studie hur IT-branschens teknik kan implementeras i gymnasiet

    Uppsats för yrkesexamina på grundnivå, Institutionen för pedagogik, psykologi och idrottsvetenskap, PPI

    Författare :Anders Lundstedt; [2013]
    Nyckelord :Databaser; Gymnasieskolan; IT-företag; Programmering; Systemutveckling; Webbdesign;

    Sammanfattning : Att synliggöra verkligheten i undervisningen är en utmaning. Särskilt att få in aktuell teknik in i datorundervisningen på gymnasienivå. Detta eftersom IT-branschen aldrig står still, ny teknik utvecklas ständigt och branschen är därmed tvungen att hänga med i denna utveckling. LÄS MER

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

    Kandidat-uppsats, KTH/Matematik (Inst.)

    Författare :Simon Gunnarsson; Anders Lundstedt; [2011]
    Nyckelord :;

    Sammanfattning : 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. LÄS MER

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

    L3-uppsats, SLU/Dept. of Silviculture

    Författare :Anders Lundstedt; Andreas Säterlönn; [2004]
    Nyckelord :ungskog; röjning; skörd;

    Sammanfattning : 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. LÄS MER