Sökning: "computer games"

Visar resultat 1 - 5 av 132 avhandlingar innehållade orden computer games.

  1. 1. Games and Probabilistic Infinite-State Systems

    Författare :Sven Sandberg; Parosh Abdulla; Luca de Alfaro; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; 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;

    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. Power Games : Rules and Roles in Second Life

    Författare :Maria Bäcke; Blekinge Tekniska högskola; []
    Nyckelord :SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; HUMANITIES; HUMANIORA; NATURVETENSKAP; HUMANIORA; NATURAL SCIENCES; HUMANITIES; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; performance; role-play; Second Life; online worlds; virtual worlds; virtual; digital space; rules; hierarchies; subversion; power; negotiation; make-believe; digital games; online world; virtuality; reality; hierarchy; authority; governing; Media and Communication Studies; Medie- och kommunikationsvetenskap;

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

  5. 5. Playing and Learning Across Locations: : Indentifying Factors for the Design of Collaborative Mobile Learning

    Författare :Daniel Spikol; Marcelo Milrad; Jakob Tholander; Växjö universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Computer Supported Collaborative Learning; Mobile; Location-based services; Pervasive computing; Ubiquitous computing; Design-based research; Co-Design; Education; Games; Computer science; Datavetenskap; Other information technology; Övrig informationsteknik; Media Technology; Media Technology;

    Sammanfattning : The research presented in this thesis investigates the design challenges associated with the development and use of mobile applications and tools for supporting collaboration in educational activities. These technologies provide new opportunities to promote and enhance collaboration by engaging learners in a variety of activities across different places and contexts. LÄS MER