Advanced search

Found 3 swedish dissertations matching the above criteria.

  1. 1. An Approach to Diagnosability Analysis for Interacting Finite State Systems

    Author : Dan Lawesson; Ulf Nilsson; Inger Klein; Albert Benveniste; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Model-based diagnosis; abstraction; finite state systems; discrete event systems; Computer science; Datalogi;

    Abstract : Fault isolation is the process of reasoning required to find the cause of a system failure. In a model-based approach, the available information is a model of the system and some observations. READ MORE

  2. 2. Physical activity in patients with heart failure : motivations, self-efficacy and the potential of exergaming

    Author : Leonie Klompstra; Tiny Jaarsma; Anna Strömberg; Felicity Astin; Linköpings universitet; []
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Heart failure; physical activity; exercise; motivation; self-efficacy; exergame; Hartfalen; lichamelijke activiteit; bewegen; motivatie; self-efficacy; exergame;

    Abstract : Background: Adherence to recommendations for physical activity is low in patients with heart failure (HF). It is essential to explore to what extent and why patients with HF are physically active. READ MORE

  3. 3. Characterization and analysis of the astrometric errors in the global astrometric solution for Gaia

    Author : Berry Holl; Astronomi - Genomgår omorganisation; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Astrometry; Catalogs; Methods: data analysis; statistical; numerical; analytical; Space vehicles: instruments; Instrumentation: detectors;

    Abstract : The space astrometry mission Gaia, planned for launch in 2013 by the European Space Agency (ESA), will provide the most comprehensive and accurate catalogue of astrometric data for galactic and astrophysical research in the coming decades. It will observe roughly one billion stars, quasars and other point like objects for which the five astrometric parameters (position, parallax and proper motion) will be determined. READ MORE