Search for dissertations about: "computer science games"

Showing result 1 - 5 of 82 swedish dissertations containing the words computer science games.

  1. 1. Games and Probabilistic Infinite-State Systems

    University dissertation from Uppsala : Universitetsbiblioteket

    Author : Sven Sandberg; Uppsala universitet.; Uppsala universitet.; [2007]
    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; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik 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

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

    University dissertation from Uppsala : Universitetsbiblioteket

    Author : Daniel Spikol; Växjö universitet.; [2008]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer Supported Collaborative Learning; Mobile; Location-based services; Pervasive computing; Ubiquitous computing; Design-based research; Co-Design; Education; Games; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap; Other information technology; Övrig informationsteknik; Media Technology; Media Technology;

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

  3. 3. Power Games Rules and Roles in Second Life

    University dissertation from Karlskrona : Blekinge Institute of Technology

    Author : Maria Bäcke; Blekinge Tekniska Högskola.; [2011]
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; HUMANIORA; HUMANITIES; power; digital games; online world; Second Life; virtuality; reality; role-play; hierarchy; authority; governing; subversion; performance; online worlds; virtual worlds; virtual; digital space; rules; hierarchies; negotiation; make-believe;

    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

  4. 4. Expressing emotions through vibration for perception and control

    University dissertation from Umeå : Umeå universitet, Institutionen för tillämpad fysik och elektronik

    Author : Shafiq ur Réhman; Umeå universitet.; [2010]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Multimodal Signal Processing; Mobile Communication; Vibrotactile Rendering; Locally Linear Embedding; Object Detection; Human Facial Expression Analysis; Lip Tracking; Object Tracking; HCI; Expectation-Maximization Algorithm; Lipless Tracking; Image Analysis; Visually Impaired.; TECHNOLOGY Information technology Signal processing; TEKNIKVETENSKAP Informationsteknik Signalbehandling; TECHNOLOGY Information technology Image analysis; TEKNIKVETENSKAP Informationsteknik Bildanalys; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap; TECHNOLOGY Information technology Telecommunication; TEKNIKVETENSKAP Informationsteknik Telekommunikation; TECHNOLOGY Information technology Systems engineering; TEKNIKVETENSKAP Informationsteknik Systemteknik; datoriserad bildanalys; Computerized Image Analysis; Computing Science; administrativ databehandling; Electronics; elektronik; Systems Analysis; systemanalys;

    Abstract : This thesis addresses a challenging problem: “how to let the visually impaired ‘see’ others emotions”. We, human beings, are heavily dependent on facial expressions to express ourselves. A smile shows that the person you are talking to is pleased, amused, relieved etc. READ MORE

  5. 5. Hierarchical Variance Reduction Techniques for Monte Carlo Rendering

    University dissertation from Umeå : Umeå universitet, Institutionen för tillämpad fysik och elektronik

    Author : Petrik Clarberg; Lund University.; Lunds universitet.; [2012]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; computer graphics; Monte Carlo methods; importance sampling; hierarchical techniques; rendering;

    Abstract : Ever since the first three-dimensional computer graphics appeared half a century ago, the goal has been to model and simulate how light interacts with materials and objects to form an image. The ultimate goal is photorealistic rendering, where the created images reach a level of accuracy that makes them indistinguishable from photographs of the real world. READ MORE