Search for dissertations about: "Computer games"

Showing result 1 - 5 of 123 swedish dissertations containing the words Computer games.

  2. 1. Games and Probabilistic Infinite-State Systems

    Author : Sven Sandberg; Parosh Abdulla; Luca de Alfaro; Uppsala universitet; []
    Keywords : 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; Computer science; Datavetenskap;

    Abstract : 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. READ MORE

  4. 2. Power Games : Rules and Roles in Second Life

    Author : Maria Bäcke; Blekinge Tekniska högskola; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; HUMANIORA; HUMANITIES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; performance; role-play; Second Life; online worlds; virtual worlds; virtual; digital space; rules; hierarchies; subversion; power; negotiation; make-believe; Media and Communication Studies;

    Abstract : This study investigates how the members of four different role-playing communities on the online platform Second Life perform social as well as dramatic roles within their community. The trajectories of power influencing these roles are my main focus. READ MORE

  5. 3. Perception of Computer Games in Non-Gaming Contexts

    Author : Mats Wiklund; Love Ekenberg; Jakob Palme; Staffan Björk; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer games; Games; Learning; Communication; Computer and systems science; Data- och systemvetenskap; Computer and Systems Sciences; data- och systemvetenskap;

    Abstract : As computer games have evolved from single-player entities to complex, highly communicative on-line game worlds, their potential to fill different roles in society has grown. One aspect of this change is that various forms of computer mediated communication may become increasingly associated with games in various ways. READ MORE

  6. 4. Exploring Game Design through Human-AI Collaboration

    Author : Alberto Alvarez; Jose Font; Julian Togelius; Steve Dahlskog; Nancy L Russo; Georgios N. Yannakakis; Malmö universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer Games; Human-AI Collaboration; Mixed-Initiative; Procedural Content Generation; Quality Diversity; Computational Creativity; Interaktionsdesign; Interaktionsdesign;

    Abstract : Game design is a hard and multi-faceted task that intertwines different gameplay mechanics, audio, level, graphic, and narrative facets. Games' facets are developed in conjunction with others with a common goal that makes games coherent and interesting. READ MORE

  7. 5. Exploring the Dynamic Properties of Interaction in Mixed-Initiative Procedural Content Generation

    Author : Alberto Alvarez; Jose Font; Steve Dahlskog; Julian Togelius; Nancy L Russo; Sebastian Risi; Malmö universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Mixed-Initiative; Procedural Content Generation; Quality Diversity; Computer Games; Evolutionary Algorithms;

    Abstract : As AI develops, grows, and expands, the more benefits we can have from it. AI is used in multiple fields to assist humans, such as object recognition, self-driving cars, or design tools. However, AI could be used for more than assisting humans in their tasks. READ MORE