Avancerad sökning

Hittade 4 avhandlingar som matchar ovanstående sökkriterier.

  1. 1. Games and Probabilistic Infinite-State Systems

    Författare :Sven Sandberg; Parosh Abdulla; Luca de Alfaro; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; program verification; model checking; determinacy; strategy improvement; infinite games; parity games; mean payoff games; stochastic games; Büchi games; reachability games; limiting average; limiting behavior; Markov chains; infinite-state systems; lossy channel systems; vector addition systems; noisy Turing machines; Computer science; Datavetenskap;

    Sammanfattning : Computer programs keep finding their ways into new safety-critical applications, while at the same time growing more complex. This calls for new and better methods to verify the correctness of software. We focus on one approach to verifying systems, namely that of model checking. LÄS MER

  3. 2. Objective Chance : A Study in the Lewisian Tradition

    Författare :George Masterton; Lars-Göran Johansson; Ulf Danielsson; Carl Hoefer; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Theoretical philosophy; Teoretisk filosofi; Theoretical Philosophy; Teoretisk filosofi;

    Sammanfattning : This dissertation explores the notion of objective chance as reasonable degree of belief given what might loosely be called our ultimate evidence. The goal is to develop a notion of objective chance that is broadly Humean: where chance ascriptions are construed as projected, De Dicto, physical modalities. LÄS MER

  4. 3. The Macroeconomics of the Term Structure of Interest Rates

    Författare :Paolo Zagaglia; Matthew Lindquist; Refet S. Gurkaynak; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; term structure of interest rates; monetary policy; money market; Economics; Nationalekonomi; Economics; nationalekonomi;

    Sammanfattning : This thesis consists of four papers, summarized as follows. "The Term Structure of Interest Rates and the Monetary Transmission Mechanism" This paper provides empirical evidence that the term structure of interest rates is an integral part of the monetary transmission mechanism. LÄS MER

  5. 4. Essays on Macroeconomics

    Författare :José Elías Gallegos Dago; Per Krusell; Alexandre Kohlhas; Gaetano Gaballo; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Macroeconomics; Monetary Policy; Inequality; Financial Frictions; Information Frictions; Noisy Information; Behavioral Frictions; Bounded Rationality; Economics; nationalekonomi;

    Sammanfattning : Monetary Policy and Liquidity Constraints: Evidence from the Euro AreaWe quantify the relationship between the response of output to monetary policy shocks and the share of liquidity constrained households. We do so in the context of the euro area, using a Local Projections Instrumental Variables estimation. LÄS MER