Sökning: "determinacy"

Hittade 3 avhandlingar innehållade ordet determinacy.

  1. 1. Games and Probabilistic Infinite-State Systems

    Detta är en avhandling från Uppsala : Universitetsbiblioteket

    Författare :Sven Sandberg; Parosh Abdulla; Luca de Alfaro; [2007]
    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; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik 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

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

    Detta är en avhandling från Uppsala : Filosofiska institutionen

    Författare :George Masterton; Lars-Göran Johansson; Ulf Danielsson; Carl Hoefer; [2010]
    Nyckelord :HUMANIORA; HUMANITIES; HUMANITIES and RELIGION History and philosophy subjects Philosophy subjects Theoretical philosophy; HUMANIORA och RELIGIONSVETENSKAP Historisk-filosofiska ämnen Filosofiämnen 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

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

    Detta är en avhandling från Stockholm : Department of Economics, Stockholm University

    Författare :Paolo Zagaglia; Matthew Lindquist; Refet S. Gurkaynak; [2009]
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; term structure of interest rates; monetary policy; money market; SOCIAL SCIENCES Business and economics Economics; SAMHÄLLSVETENSKAP Ekonomi 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