Avancerad sökning

Visar resultat 1 - 5 av 9 uppsatser som matchar ovanstående sökkriterier.

  1. 1. Simplifying multi-agent games with imperfect information against nature using predetermined strategies : Reducing the complexity of strategy synthesis for games by treating things in our control as if they were out of our control

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Oskar Malmström; [2023]
    Nyckelord :Multi-agent Games; Imperfect Information; Strategy Synthesis; Abstraction Construction; Fleragentsspel; Imperfekt Information; Strategisyntes; Abstraktionskonstruktion;

    Sammanfattning : We study games on graphs, where a coalition of agents work against an adversarial nature to achieve an objective. The agents have to collaborate while making their moves simultaneously, while receiving differing information about the state of the game and without a means of agent-to-agent communication. LÄS MER

  3. 2. Imaginary Specters, Imagined Listeners: The Undecidable in Graham Swift's Tomorrow and Mothering Sunday

    Kandidat-uppsats, Malmö universitet/Institutionen för konst, kultur och kommunikation (K3)

    Författare :Rebecca Weiger; [2021]
    Nyckelord :Swift; Female narrators; Specters; Silence; Derrida; Undecidability;

    Sammanfattning : This paper aims to investigate the possible connection between specters and silence in Graham Swift’s Tomorrow (2007) and Mothering Sunday (2016). In both novels, the protagonists predominantly speak in interior monologues, recounting the memories and secrets that haunt them, in what could be construed as an attempt to exorcise the ghosts of their past. LÄS MER

  4. 3. Investigating Strategic Hierarchical Information

    Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Lukas Finnveden; [2020]
    Nyckelord :;

    Sammanfattning : Multi-agent strategic planning is a field that seeks to model groups of agents who must cooperate to fulfil some goal. It is closely connected to the field of game theory, as games are used to model the interactions between players. LÄS MER

  5. 4. A contract language for modular specification and verification of temporal properties

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Lars Hummelgren; [2020]
    Nyckelord :;

    Sammanfattning : Deductive software verification is used to prove correctness of programs with respect to contracts. Contracts are commonly expressed on procedures of a program using Hoare logic. LÄS MER

  7. 5. Den instabila kulturen: en postmodernistisk studie av Guccis kampanj Utopian Fantasy

    Kandidat-uppsats, Lunds universitet/Avdelningen för modevetenskap

    Författare :Elena Bozinova; [2018]
    Nyckelord :fashion studies; postmodernism; fashion image; fashion photography; late capitalism; pastiche; simulacra; undecidable; Gucci; Arts and Architecture; Cultural Sciences;

    Sammanfattning : This dissertation intends to display how today’s culturally dominant features of postmodernism can be read in the fashion image. By doing a qualitative study of Gucci’s campaign Utopian Fantasy from Spring/Summer 2018, this thesis has located postmodern tendencies in the fashion image. LÄS MER