Sökning: "Dan Klein"

Hittade 3 avhandlingar innehållade orden Dan Klein.

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

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

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

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

    Författare :Leonie Klompstra; Tiny Jaarsma; Anna Strömberg; Felicity Astin; Linköpings universitet; []
    Nyckelord :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;

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

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

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

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