Search for dissertations about: "Marcus Nilsson"

Showing result 1 - 5 of 12 swedish dissertations containing the words Marcus Nilsson.

  2. 1. Communication, with and through wearable computers

    Author : Marcus Nilsson; Luleå tekniska universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Pervasive Mobile Computing; Distribuerade datorsystem;

    Abstract : This thesis presents research on wearable computers and their usage in communication. The wearable computer is looked upon as a tool for communication between people but also on how it can be used in communication with the environment. READ MORE

  4. 2. Monomial Dynamical Systems in the Fields of p-adic Numbers and Their Finite Extensions

    Author : Marcus Nilsson; Andrei Khrennikov; Bertin Diarra; Växjö universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; p-adic numbers; discrete dynamical systems; number of cycles; perturbation; roots of unity; Möbius inversion; distribution of prime numbers; MATHEMATICS; MATEMATIK; Mathematics; Matematik;

    Abstract : .... READ MORE

  5. 3. Regular model checking

    Author : Marcus Nilsson; Bengt Jonsson; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Abstract : We present regular model checking, a framework for algorithmic verification of infinite-state systems with, e.g., queues, stacks, integers, or a parameterized linear topology. States are represented by strings over a finite alphabet and the transition relation by a regular length-preserving relation on strings. READ MORE

  6. 4. Mediated and Mobile Communication for Experts

    Author : Marcus Nilsson; Kristina Groth; Dag Svanæs; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; beyond being there; trauma; mediated communication; mdtm; wearable computers; Människa-datorinteraktion; Human-computer Interaction;

    Abstract : This thesis focuses on systems for mediated communication that run on mobile technology. The aim has been to give an answer to the question about what require- ments there are for situation awareness for domain experts when communication is secondary and supports the primary task. READ MORE

  7. 5. Regular Model Checking

    Author : Marcus Nilsson; Bengt Jonsson; Parosh Aziz Abdulla; Kim Larsen; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; formal methods; model checking; verification; regular sets; Computer science; Datavetenskap;

    Abstract : A major current challenge in the area of program verification is to extend its applicability to infinite-state systems. A system can be infinite-state because it operates on unbounded data structures, such as queues, stacks, integers, etc., or because its description is parameterized by the number of components inside the system. READ MORE