Sökning: "Sven Sandberg"

Hittade 3 avhandlingar innehållade orden Sven Sandberg.

  1. 1. Games and Probabilistic Infinite-State Systems

    Detta är en avhandling från Uppsala : Universitetsbiblioteket

    Författare :Sven Sandberg; Uppsala universitet.; Uppsala universitet.; [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. De ortu atque incrementis feudalismi dissertatio cujus partem primam ... p. p. Mag. Sveno Lundblad stip. reg. et Gustavus Ad. Sandberg stip. Victorin. Vestrogothi in Audit. Gustav. die VIII Jun. MDCCCXIV. Horis a. m. solitis

    Detta är en avhandling från Upsaliæ excudebant Stenhammar et Palmblad

    Författare :Sven Lundblad; Uppsala universitet.; [1814]

    Sammanfattning : .... LÄS MER

  3. 3. Känsliga bitar : Text- och kontextstudier i sentimental populärsång

    Detta är en avhandling från Umeå : Umeå universitet

    Författare :Karin Strand; Umeå universitet.; [2003]
    Nyckelord :HUMANIORA; HUMANITIES; Literature; cultural studies; gender studies; kitsch; lyrics; nostalgia; popular culture; popular music; schlager; sentimentality; Litteraturvetenskap; HUMANITIES and RELIGION Aesthetic subjects Literature; HUMANIORA och RELIGIONSVETENSKAP Estetiska ämnen Litteraturvetenskap; Literature; litteraturvetenskap;

    Sammanfattning : The dissertation is a study of a song type that was popular during the whole of the twentieth century: the sentimental schlager. As a sub-genre of the dance and high-spirited mainstream schlager these songs are characterized by nostalgia and sentimentality. LÄS MER