Sökning: "Undecidable"
Visar resultat 1 - 5 av 9 uppsatser innehållade ordet Undecidable.
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)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
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)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
3. Investigating Strategic Hierarchical Information
Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)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
4. A contract language for modular specification and verification of temporal properties
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)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
5. Den instabila kulturen: en postmodernistisk studie av Guccis kampanj Utopian Fantasy
Kandidat-uppsats, Lunds universitet/Avdelningen för modevetenskapSammanfattning : 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