Sökning: "undecidable"

Visar resultat 6 - 9 av 9 uppsatser innehållade ordet undecidable.

  1. 6. Undecidable decisions : an application of agonistic pluralism to an environmental conflict case from post-political Austria

    Master-uppsats, SLU/Dept. of Urban and Rural Development

    Författare :Thomas Schallhart; [2017]
    Nyckelord :environmental conflict; agonistic pluralism; democracy; agonism; antagonism; post-politics; politicization; depoliticization; natural resource management; participation;

    Sammanfattning : As natural resource management is inherently riddled with different opinions and ensuing conflicts, there is no consensus that doesn’t necessarily exclude parts of society. At the same time, there is a need to manage natural resources in order to prevent their depletion by a few. LÄS MER

  3. 7. Collaboration in Multi-agent Games : Synthesis of Finite-state Strategies in Games of Imperfect Information

    Master-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)

    Författare :Edvin Lundberg; [2017]
    Nyckelord :Multi-agent games; multiagent games; multi-agent system; imperfect information; imperfect recall; collaboration; imperfect communication; finite-state strategy; concurrent games; concurrent system; strategy synthesis; strategy construction; automated programming; automated problem solving; automated collaboration; verification; knowledge-based subset construction; knowledge tracking;

    Sammanfattning : We study games where a team of agents needs to collaborate against an adversary to achieve a common goal. The agents make their moves simultaneously, and they have different perceptions about the system state after each move, due to different sensing capabilities. LÄS MER

  4. 8. Questioning the boundaries between fast- and slow fashion.

    Master-uppsats, Stockholms universitet/Företagsekonomiska institutionen

    Författare :Emma Mardell; [2016]
    Nyckelord :Fashion; Fast fashion; Slow fashion; Deconstsm; Undecidable; Categorization; Poststructuralism; Postmodernism; Hegemonic market;

    Sammanfattning : Individual’s existential ambivalence has according to Jacques Derrida, one of the foremost proponents of post-structuralism, led to a continuous demand for structure (Cooper, 1989). Categories, used as structural tools, are however often hierarchically organized, where one category is more preferable than the other, also referred to as binary oppositions. LÄS MER

  5. 9. Algorithmic Analysis of Lossy Channel Machines Using Small Models

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Ali Jonathan Sharyari; [2016]
    Nyckelord :;

    Sammanfattning : Verification of infinite-state systems is in general an undecidable problem, but nevertheless, solid correctness results are important in many real-life applications. It is commonly the case that such algorithms rely on unbounded buffers for their operation, communication protocols being a typical example. LÄS MER