Search for dissertations about: "Dan Klein"

Found 3 swedish dissertations containing the words Dan Klein.

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

    University dissertation from Institutionen för datavetenskap

    Author : Dan Lawesson; Ulf Nilsson; Inger Klein; Albert Benveniste; [2005]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Model-based diagnosis; abstraction; finite state systems; discrete event systems; TECHNOLOGY Information technology Computer science Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap 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

    University dissertation from Linköping : Linköping University Electronic Press

    Author : Leonie Klompstra; Tiny Jaarsma; Anna Strömberg; Felicity Astin; [2016]
    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

    University dissertation from Department of Astronomy and Theoretical Physics, Lund University

    Author : Berry Holl; [2012]
    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